Re-exports§
pub use vm::ZkCircuit;
pub use vm_heap::empty_witnesses;
pub use vm_heap::Witness;
pub use proof::Proof;
pub use proof::ProvingKey;
pub use proof::VerifyingKey;
Modules§
- debug 🔒
- ZK gadget implementations
- Proof creation API
- tracer 🔒Trace computation of intermediate values in circuit
- Halo2 zkas virtual machine
- VM heap variable definitions and utility functions VM heap type abstractions
Enums§
Functions§
- Export witness.json which can be used by zkrunner for debugging circuits Note that this function makes liberal use of unwraps so it could panic.
- Import witness.json which can be used to debug or benchmark circuits. Note that if the path or provided json is incorrect then this function will panic.
- Call this before
Proof::create()
to perform type checks on the witnesses and check the amount of provided instances are correct.