Closed Dimo99 closed 1 year ago
My guess is there should be an easy way to use this verifier to verify circom circuits.
Found out how to convert verifying key, proof and public inputs. Into proof_c, prepared_input and qap using the initialize function.
verifying key
proof
public inputs
proof_c
prepared_input
qap
initialize
My guess is there should be an easy way to use this verifier to verify circom circuits.