Customizable memory proof engine

zkMemory supports multiple proof engines for memory proof generation, providing flexibility and different advantages:

• Halo2: Our primary proof engine
• Nova: Work in progress
• SuperNova: Work in progress

Each engine offers unique capabilities such as:

• Parallelization options
• Shorter proof sizes
• Support for recursive proofs
• Custom optimization features
• ...

You can also implement your own VM architecture and proof engine by extending the standard structs StandardMachine and StandardInstruction or implementing the following traits AbstractStateMachine, AbstractInstruction.

This extensible architecture allows you to tailor the proof system to your specific requirements while maintaining compatibility with the zkMemory framework.

Currently, engines beyond Halo2 are under active development. Orochi encourages the community to explore our implementations (linked above) and welcomes contributions aimed at improving and diversifying this feature for the public good.