Module circom_tester Copy item path Source CircomResult Result of proving + verifying a Circom circuit CircuitKeys Contains the Groth16 proving key (pk),
verifying key (vk), and the processed verifying key (pvk). Inputs Storage for Circom input signals.
Wraps a hashmap of String → InputValue. SignalKey InputValue Represents a single Circom input value generate_keys Generates Groth16 proving + verifying keys for a Circom circuit.
This operation is expensive and should be done once when testing
many input combinations. load_keys Loads Groth16 keys from a binary proving key file. prove_and_verify Proves and verifies a Circom circuit, generating keys on each call prove_and_verify_with_keys Proves and verifies a Circom circuit using precomputed Groth16 keys.
This is the preferred function when repeated proofs must be generated.