Module darkfi::zk

source ·



  • 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



  • 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.