Feat/update proof systems #1299

0xMimir · 2025-08-13T13:44:04Z

Update proof systems and algebra to new version

mina-p2p-messages/src/bigint.rs

tools/fuzzing/src/transaction_fuzzer/generator.rs

dannywillems · 2025-09-02T09:21:43Z

Cargo.toml

-o1-utils = { git = "https://github.com/openmina/proof-systems", rev = "f461b4b" }
-poly-commitment = { git = "https://github.com/openmina/proof-systems", rev = "f461b4b" }
+# UNCOMMENTED_IN_CI mina-curves = { git = "https://github.com/openmina/proof-systems", rev = "d1912bca54d2609296b9af9d09ad1ef78702e203", features = [ "32x9" ] }
+kimchi = { git = "https://github.com/openmina/proof-systems", rev = "d1912bca54d2609296b9af9d09ad1ef78702e203" }


As described in the issue #1153, we would like to remove this dependency on openmina/proof-systems, and rely on o1-labs/proof-systems. We need to backport the changes into o1-labs/proof-systems.

See #1299 (comment)

See o1-labs/proof-systems#3328

o1-labs/proof-systems#3326

o1-labs/proof-systems#3327

From openmina/proof-systems@4362faa, I don't understand:

nor

I created #1367, but it would require your approvals on o1-labs/proof-systems#3328 and o1-labs/proof-systems#3326

Regarding the Self::to_biguint there was a weird compilation issue, where for some reason the function was not found

Cargo.toml

CHANGELOG.md

dannywillems · 2025-09-02T11:50:47Z

From the fork of openmina/proof-systems: secret_multiply_with_curve_point can be removed, as now we have the field secret public in mina-signer. You can use directly the code:

let scaled_message_hash = vrf_message_hash_curve_point.mul(producer_key.secret.into_scalar()).into_affine()

Co-authored-by: Danny Willems <[email protected]>

dannywillems · 2025-09-04T16:03:40Z

Timeout for bootstrap-test, record-replay-tests and scenario-tests are increased in another PR.
scenario-tests is failing, we will have to fix it in a follow-up. Accepting as is for now.

0xMimir force-pushed the feat/update-proof-systems branch 18 times, most recently from 6662c7a to be3ed6a Compare August 14, 2025 12:29

dannywillems force-pushed the feat/update-proof-systems branch from 576c591 to 93e94f4 Compare August 14, 2025 13:56

0xMimir force-pushed the feat/update-proof-systems branch 11 times, most recently from de3df2a to 7738a15 Compare August 20, 2025 13:12