Commit 9e0064d
authored
Refreshes proof.bin + public_inputs.bin (10x) against the freshly-
redeployed shared AckiNackiBridge on Sepolia:
0xCdFd6Cef70F68d0849310cD970F8ef8F8E4b4fdb
Previous fixtures were bound to Sergey's mock bridge
0x99c37fb75326ae6953ebbbdcd261ec331df4ce82 which no longer exists
in any operational deploy. The new deploy is wired to Circle
canonical Sepolia USDC (0x1c7D4B196Cb0C7B01d743Fbc6116a902379C7238)
so third-party devs can fund deposits from the public Circle faucet.
VkBlob unchanged — 5006 B, 12 PI, FIXED_KECCAK_CAPACITY=64,
witness-independent per bridge's export_deposit_proof_set.rs.
Producer: bridge repo `deposit_proof_fixes` @ dce5550 via
scripts/sync_deposit_opcode_fixtures_to_tvm_sdk.sh.
Validated by the existing regression suite:
- test_zkhalo2_with_vk_deposit_10_real_proofs (all 10 ACCEPT)
- round_trip_deposit_rlc_real_proof_returns_true
- deposit_rlc_cache_reused_across_two_invocations
- test_zkhalo2_with_vk_corrupt_proof_rejects
- deposit_rlc_flipped_proof_byte_rejected_as_false
- test_zkhalo2_with_vk_mismatched_public_inputs_reject
Result: 6 passed, 0 failed.
1 parent 0bd3a03 commit 9e0064d
20 files changed
File tree
- tvm_vm/halo2_test_data/deposit_10proofs
- proof_00
- proof_01
- proof_02
- proof_03
- proof_04
- proof_05
- proof_06
- proof_07
- proof_08
- proof_09
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
0 commit comments