Module darkfi::zk::debug

source ·

Functions§

  • export_witness_json
    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
    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.
  • zkas_type_checks
    Call this before Proof::create() to perform type checks on the witnesses and check the amount of provided instances are correct.