Project: zkMemory Timeline Audited 29 Sep 2023, Complete Milestone 1: Implement state machine for zkMemory 10 Oct 2023, Complete Milestone 5: RAMenPaSTA: Parallelizable Scalable Transparent Arguments of Knowledge for RAM Programs 15 Mar 2024, Complete Milestone 2: Support KZG Commitment for zkMemory 5th Jun 2024, Complete Milestone 4: Merkle tree commitment fallback mode and Milestone 3: Integrate Verkle tree with KZG commitment 08 Oct 2024, Complete Milestone 6: Support Nova & SuperNova

Hanh Tang (NTU), Minh Pham (Orochi Network), and Chiro Hiro (Orochi Network) Generalize the memory for zkVM (zkMemory) The idea is to create an independent module that can be used by any zkVM. You might aware that the memory can be constructed as a simple state machine with $2$ instructions READ and WRITE, and configurable WORD_SIZE. Our memory state machine is only able access the exactly WORD_SIZE for every executed instruction. That is, if you want to access arbitrary data size, it must be translated to multiple accesses. These instructions need to be satisfied following conditions: READ instructionREAD on a memory was not wrote should return 0 EveryREAD access for the same location, must have the value to be equal to the previous WRITE.

chiro@orochi.network Voluteer at Agenda Whoami? Intro to ZKP Overview Specification Growth potential