Module darkfi::zk

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

• gadget
  ZK gadget implementations
• halo2
• proof
  Proof creation API
• vm
  Halo2 zkas virtual machine
• vm_heap
  VM heap variable definitions and utility functions VM heap type abstractions

Functions

• assign_free_advice