This survey compared the implementation systems similar to Ethereum, and analyzed the difficulties and possibilities of parallel execution of transactions.

This article will focus on the Lookup argument, one of the tools that enables OlaVM to achieve high performance.

OlaVM's current progress and future plans

Tinyram is a simple RISC random-access machine with byte-addressable random-access memory and input tapes.

The concept of Verkle Tree was launched in 2018. This article will mainly introduce the principle of VerkleTree.

This paper elaborates the miden proof system architecture in detail.

Analyze the technical similarities and differences between Zcash and Aleo, and understand the design principles of private transactions.

This article interprets Cairo instructions in detail from multiple perspectives, involving state transitions, transition logic, instruction verification, instruction examples, etc.

This paper explains in detail the zero-knowledge proof algorithm Marlin based on the R1CS proof system.

In the constraint system of ZKVM, it may be possible to design a memory access mechanism at the VM level to reduce the scale of zk constraints.

This article details some optimization methods for the MSM algorithm.

This article will mainly analyze the implementation process of the STARK algorithm from the code level to help you have a deeper understanding of the STARK algorithm.

This article responds to several questions raised by Daira Hopwood, the main author of the Zcash protocol, for OlaVM, and introduces the design idea of ​​the Sinsemilla hash function and its application in OlaVM.

This article describes the architecture, design, assembly instructions, advantages, etc. of TinyRAM.