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

本文將重點介紹使得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的架構、設計、彙編指令、優勢等。