zkMemory
The Framework To Create Any zkVMs
zkMemory is the universal memory prover in Zero-Knowledge Proof
Handling the zk-proof generation for memory operations within the zkVM
Proof-System Agnostic
❤️ Build arbitrary zkVM to do ZK-rollups for any blockchain.
❤️ Utilized zkMemory as a backend of off-chain storage.
Future-Proof Design
❤️ Utilized zkMemory as a module to reduce the cost of development.
❤️ Implement arbitrary CPU architecture.
❤️ Build proof-system agnostic verifiable runtime.
A Framework In Modular Design
❤️ Build arbitrary zkVM to do ZK-rollups for any blockchain.
❤️ Utilized zkMemory as a backend of off-chain storage.
Modular Framework
For zkVM
learn more
Supporting arbitrary instruction set
The modular approach allows zkVMs to support arbitrary instruction sets by using an instruction set emulator. This module translates instructions from the target instruction set into a format that can be processed by the other modules in the zkVM.
Generic tool to build different architecture
A modular zkVM can serve as a generic tool for building different architectures by providing a foundation upon which various components can be added or removed. This flexibility allows for the creation of zkVMs tailored to specific needs,
Proof-system agnostic, allowed proofs to be verified different back-end
One of the key benefits of a modular approach is the ability to make the zkVM proof-system agnostic. This means that the zkVM can be designed to work with a variety of different proof systems, such as zk-SNARKs, zk-STARKs, or other emerging technologies.
Adopt Incrementally Verifiable Computation
Incrementally verifiable computation (IVC) is a technique that allows for the verification of a computation in stages, rather than all at once. This can be particularly useful for long-running computations or computations with complex dependencies.
A powerful building block for creating secure and efficient zkVMs
Built By Orochi Network
Developers can design zkVM applications with customized instruction sets and architecture,
enabling to tailor the virtual machine to specific needs
Execution Trace
We describe execution trace, which are used to prove memory consistency from a memory M and a computation process of N steps.
learn more
1000+
Download over time
2
Versions published
Key Statistics
zkMemory paper has been downloaded over 1000 times and has undergone 2 major updates, demonstrating its growing popularity and commitment to continuous improvement.
explore
Our zkMemory
Research
build with orochi
Client Spotlight
Embrace The Future With The Best Partner“Orochi has been with us from the start, providing crucial support and expertise to build our gaming ecosystem. Working with their skilled team has been a privilege, and together, we're creating top-notch gaming infrastructure for Ancient8. Proud to have Orochi as a key partner!”
Zane
Core contributor of Ancient8