feat(207): Make groth16 generated contracts (a bit) more user friendly.

keep-starknet-strange · Oct 9, 2024 · 416d240 · 416d240
1 parent dd0cee4
commit 416d240
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/hydra/garaga/starknet/groth16_contract_generator/generator_risc0.py b/hydra/garaga/starknet/groth16_contract_generator/generator_risc0.py
@@ -142,7 +142,7 @@ def gen_risc0_groth16_verifier(
                 small_Q
             );
             if check == true {{
-                return Option::Some(groth16_proof.public_inputs);
+                return Option::Some(claim_digest);
             }} else {{
                 return Option::None;
             }}

diff --git a/src/contracts/risc0_verifier_bn254/src/groth16_verifier.cairo b/src/contracts/risc0_verifier_bn254/src/groth16_verifier.cairo
@@ -84,7 +84,7 @@ mod Risc0Groth16VerifierBN254 {
                 small_Q
             );
             if check == true {
-                return Option::Some(groth16_proof.public_inputs);
+                return Option::Some(claim_digest);
             } else {
                 return Option::None;
             }