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

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

OlaVM当前进展和下一步规划

Tinyram是一个简单的RISC随机存取机器，具有字节寻址的random-access memory和input tapes。

Verkle Tree的概念在2018年推出，本文将主要介绍VerkleTree的原理。

本文对miden证明系统架构进行了详细阐述。

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

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

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

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

本文详细介绍了一些针对MSM算法的优化方法。

本文将主要从代码层面剖析 STARK算法的实现过程，帮助大家对STARK算法有更深入的理解。

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

本文讲述了TinyRAM的架构、设计、汇编指令、优势等。