本次調研對比了類似以太坊的實現系統，分析了交易並行執行的難點和可能性。

本文將重點介紹使得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⼤小上，馮諾依曼架構都更勝⼀籌。