Function darkfi::zk::zkas_type_checks

source ·
pub fn zkas_type_checks(
    circuit: &ZkCircuit,
    binary: &ZkBinary,
    instances: &[Base]
) -> Result<()>
Expand description

Call this before Proof::create() to perform type checks on the witnesses and check the amount of provided instances are correct.