zkmemory-logo

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

contact us
image
zkMemory-feature-icon
Proof-System Agnostic

❤️ Build arbitrary zkVM to do ZK-rollups for any blockchain.
❤️ Utilized zkMemory as a backend of off-chain storage.

zkMemory-feature-icon
Future-Proof Design

❤️ Utilized zkMemory as a module to reduce the cost of development.
❤️ Implement arbitrary CPU architecture.
❤️ Build proof-system agnostic verifiable runtime.

zkMemory-feature-icon
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
img
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
slide-img

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

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!”

client-avt

Zane

Core contributor of Ancient8

Stay up to date with the latest news,
announcements, and articles.