add circom compat to solidity groth16 convertion

This commit is contained in:
Dmitriy Ryajov 2024-02-14 12:29:16 -06:00
parent 5f1c1bb3df
commit 65a1f19626
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4

View File

@ -614,8 +614,10 @@ proc onProve(
error "Unable to generate proof", err = err.msg
return failure(err)
trace "Proof generated successfully"
success proof.toGroth16Proof()
let groth16Proof = proof.toGroth16Proof()
trace "Proof generated successfully", groth16Proof
success groth16Proof
else:
warn "Prover not enabled"
failure "Prover not enabled"