Skip to content

Commit

Permalink
fix: prevent honk proof from getting stale inputs on syncs (#8293)
Browse files Browse the repository at this point in the history
#8092 didn't write the autogenerated inputs to the cached version of
`verify_honk_proof` so it now breaks on each sync.
  • Loading branch information
TomAFrench authored Aug 30, 2024
1 parent f5e388d commit 2598108
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion barretenberg/acir_tests/update_verify_honk_proof_inputs.py
Original file line number Diff line number Diff line change
@@ -1,11 +1,13 @@
import json
import shutil

# Paths to the input files
proof_file_path = "acir_tests/assert_statement_recursive/proofs/honk_proof_a_fields.json"
vk_file_path = "acir_tests/assert_statement_recursive/target/honk_vk_fields.json"

# Path to the output TOML file
output_toml_path = "../../noir/noir-repo/test_programs/execution_success/verify_honk_proof/Prover.toml"
output_toml_path = "../../noir/verify_honk_proof/Prover.toml"
output_toml_path_2 = "../../noir/noir-repo/test_programs/execution_success/verify_honk_proof/Prover.toml"

# Read the proof from the JSON file
with open(proof_file_path, "r") as proof_file:
Expand Down Expand Up @@ -38,4 +40,6 @@
with open(output_toml_path, "w") as output_toml_file:
output_toml_file.write(toml_content)

shutil.copy(output_toml_path, output_toml_path_2)

print(f"Prover.toml has been successfully created at {output_toml_path}")

0 comments on commit 2598108

Please sign in to comment.