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.