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.