Commit eee8562
workspace: bump privacy-circuit-verify-v1 and privacy-prove to v0.14.3-rc-1
Follow-up to #14241 (which moved both to v0.14.3-rc-0). v0.14.3-rc-1 is the
proving-utils tag of commit c0b937b (PR starkware-libs/proving-utils#355,
"Bump stwo-circuits."), which advances the stwo-circuits revision from
9ff7fc8 to 618db0a. privacy-circuit-verify-v0 stays on 580135e.
stwo-circuits changes the on-chain proof bytes, so regenerate the three
serialized proof fixtures:
- proof_flow/proof.bin (apollo_integration_tests) via
`cargo test -p starknet_os_flow_tests --features
starknet_transaction_prover/stwo_proving --release generate_proof_fixtures
-- --ignored`
- example_proof.bin (apollo_transaction_converter) via
`cargo test -p starknet_transaction_prover --features stwo_proving
--release -- --ignored regenerate_proof_fixtures`
- regression_test/0.14.3/example_proof.bin (starknet_proof_verifier) is a
copy of the apollo_transaction_converter fixture.
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>1 parent 8e1aed5 commit eee8562
5 files changed
Lines changed: 45 additions & 45 deletions
File tree
- crates
- apollo_integration_tests/resources/proof_flow
- apollo_transaction_converter/resources
- starknet_proof_verifier/resources/regression_test/0.14.3
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
335 | 335 | | |
336 | 336 | | |
337 | 337 | | |
338 | | - | |
339 | | - | |
| 338 | + | |
| 339 | + | |
340 | 340 | | |
341 | 341 | | |
342 | 342 | | |
| |||
Binary file not shown.
Binary file not shown.
Binary file not shown.
0 commit comments