本次调研对比了类似以太坊的实现系统，分析了交易并行执行的难点和可能性。

本文将重点介绍使得OlaVM获得高性能的工具之一，Lookup argument。

当前进展和下一步规划。

在ZKVM的约束系统中，或许可以在VM层面去设计内存访问机制，以减少zk约束的规模。

分析Zcash和Aleo的技术异同，理解隐私交易的设计原理。

本文从多个角度对Cairo指令进行了详细解读，涉及状态转换、转换逻辑、指令校验、指令示例等。

本文回应了Zcash协议的主要作者Daira Hopwood针对OlaVM提出的几点问题，同时介绍了Sinsemilla 哈希函数的设计思想及其在OlaVM 中的应用。

本文对基于R1CS的证明系统的零知识证明算法Marlin进行了详细解读。

Multi-Scalar Multiplication (MSM) 是计算多个乘法运算之和的算法。由于群运算相对于有限域中元素的加法和乘法是复杂的，MSM算法的目标是尽可能减少群运算的次数。本文详细介绍了一些针对MSM算法的优化方法。

miden是⼀个基于stark技术的zkVM实现方案。它的底层是基于winterfell这个zkp库来生成stark证明和对证明进行验证。本文对miden证明系统架构进行了详细阐述。

作为不需要可信设置的零知识证明算法代表之一，STARK 算法被应用于 StarkNet 生态的各个项目中，比如 dydx、ImmutableX 等，并表现出了不俗的性能。本文将主要从代码层面剖析 STARK 算法的实现过程，帮助大家对 STARK 算法有更深入的理解。

Verkle Tree作为ETH2.0升级的一个重要部分，其相比于Merkle Tree，在Proof的大小上，有着很大的提升。Verkle Tree的概念在2018年推出，本文将主要介绍VerkleTree的原理。

Tinyram是一个简单的RISC随机存取机器，具有字节寻址的 random-access memory 和 input tapes。本文重点介绍了Tinyram的指令集和电路约束。

我们讲了TinyRAM的架构，设计，汇编指令等，介绍了它的优势：可以⽤来便捷的进⾏非确定性计算。尤其在零知识证明系统中，有更多的发挥空间。最后介绍了两种TinyRAM架构的性能对⽐，在⽣成的⻔数量和时间以及proof⼤小上，冯诺依曼架构都更胜⼀筹。