Function darkfi::zk::debug::zkas_type_checks

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

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