Release v0.15.1 : Bump RiscZero constants to v1.2 (#268)

keep-starknet-strange · Dec 11, 2024 · 0738436 · 0738436
1 parent 7c0993f
commit 0738436
Show file tree

Hide file tree

Showing 11 changed files with 96 additions and 96 deletions.
diff --git a/hydra/garaga/starknet/groth16_contract_generator/examples/proof_risc0.json b/hydra/garaga/starknet/groth16_contract_generator/examples/proof_risc0.json
@@ -1,5 +1,5 @@
 {
-    "seal": "0x50bd1769096d29a4e342d93785757cde64ef07c09f317481f0ee9274f14281dc501c1b2e036ee070b7bd75b4f0253f7349afaa4074d73f77b09de60dd82d3fbeba8cc4a10dab619b389ed53ddfc3113e055729ff430a82f57d7edc24821e782653b9f1ba00558126e75bcb392a9a58d45af8489f4441d77e91d10c11dcea70c33c93f3ba03dab52a25735bb04f2526ec7289c1ee8912f921c4f5d380a5f906782f60044a0d44d7005528e1821e458e7bf108777452b2327ba1998710aa62e1e106858a302c0fe02760c5fda0000e039d263b2cc918eb2539da008bbbe7007f767d45d22d18f589ab466da35e0d0bfc300af4b0bc941a9897a863b48a2deb5f057c2f512c",
-    "image_id": "0xd01c15afa768a05b213a9e5fcdcc5724a2947e00098c7ec34ccbe2946bbc0013",
+    "seal": "0xc101b42b25016dc12080c5100a9841f324669460144c96d23619bb9e828e3a192c80ecfd1140eb491e6ba0b4b81afb4ff447e32cb9be3cecf003dc14959d680ae60dc11e040b0a98edd1abab11587de8a32f0095c37c7e43c03d7e5a709e0807c9c53a39127863b8b8ab606ee7527f4d1ff30a497b9c5c716b27946b68aad4408b6ab4d52bba359168a56baabe40a0da71463ccbeccab13c67e2029feb661b9e582cd1902fed2fbba2aa46f12326baf8e2b3bc85a413b25fed59692c4db8f6c3368bdbba2e0a48d161ea889d685b4ac1bd82c8ae190d35e656fd42d1086b362ad521acd22a62b65806ae08d4ca6ad0d6665bf8f4c9bd84717dc200adcd24e0cada3a621c",
+    "image_id": "0x01ebed7f56116d9fdbae4a81c29c07daf43b17a1d5e4dd6eb0e971d689ccf88a",
     "journal": "0x6a75737420612073696d706c652072656365697074"
 }
diff --git a/hydra/garaga/starknet/groth16_contract_generator/parsing_utils.py b/hydra/garaga/starknet/groth16_contract_generator/parsing_utils.py
@@ -18,9 +18,9 @@
 from garaga.precompiled_circuits.multi_miller_loop import MultiMillerLoopCircuit
 
 # https://github.com/risc0/risc0-ethereum/blob/main/contracts/src/groth16/ControlID.sol
-RISC0_CONTROL_ROOT = 0x8B6DCF11D463AC455361B41FB3ED053FEBB817491BDEA00FDB340E45013B852E
+RISC0_CONTROL_ROOT = 0x8CDAD9242664BE3112ABA377C5425A4DF735EB1C6966472B561D2855932C0469
 RISC0_BN254_CONTROL_ID = (
-    0x05A022E1DB38457FB510BC347B30EB8F8CF3EDA95587653D0EAC19E1F10D164E
+    0x04446E66D300EB7FB45C9726BB53C793DDA407A62E9601618BB43C5C14657AC0
 )
 
 

diff --git a/pyproject.toml b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "maturin"
 
 [project]
 name = "garaga"
-version = "0.15.0"
+version = "0.15.1"
 requires-python = ">=3.10,<3.11"
 dependencies = [
   "fastecdsa",

diff --git a/src/Scarb.toml b/src/Scarb.toml
@@ -1,6 +1,6 @@
 [package]
 name = "garaga"
-version = "0.14.0"
+version = "0.15.1"
 edition = "2023_10"
 licence = "MIT"
 keywords = ["zk", "snarks", "curve", "pairing", "groth16", "plonk", "bls", "elliptic", "signature"]

diff --git a/src/contracts/risc0_verifier_bn254/src/groth16_verifier_constants.cairo b/src/contracts/risc0_verifier_bn254/src/groth16_verifier_constants.cairo
@@ -2,21 +2,21 @@ use garaga::definitions::{G1Point, G2Point, E12D, G2Line, u384, u288};
 use garaga::groth16::Groth16VerifyingKey;
 
 pub const N_FREE_PUBLIC_INPUTS: usize = 2;
-// CONTROL ROOT USED : 0x8b6dcf11d463ac455361b41fb3ed053febb817491bdea00fdb340e45013b852e
-// CONTROL_ROOT_0 : 0x3f05edb31fb4615345ac63d411cf6d8b
-// CONTROL_ROOT_1 : 0x2e853b01450e34db0fa0de1b4917b8eb
-// BN254 CONTROL ID USED : 0x5a022e1db38457fb510bc347b30eb8f8cf3eda95587653d0eac19e1f10d164e
+// CONTROL ROOT USED : 0x8cdad9242664be3112aba377c5425a4df735eb1c6966472b561d2855932c0469
+// CONTROL_ROOT_0 : 0x4d5a42c577a3ab1231be642624d9da8c
+// CONTROL_ROOT_1 : 0x69042c9355281d562b4766691ceb35f7
+// BN254 CONTROL ID USED : 0x4446e66d300eb7fb45c9726bb53c793dda407a62e9601618bb43c5c14657ac0
 pub const T: G1Point = G1Point {
     x: u384 {
-        limb0: 0xed34354ea97abcd6f3efcd6e,
-        limb1: 0x1e426ccc162967384079cce0,
-        limb2: 0x2ec91d8fc6a29a01,
+        limb0: 0xebb965721eb4af9f6949e2b,
+        limb1: 0xa75fa146dd3c81e9bf0d8d1d,
+        limb2: 0x2b861a1a797c17ab,
         limb3: 0x0,
     },
     y: u384 {
-        limb0: 0xdc16a7262c33a333dc0f48f2,
-        limb1: 0xecee79cf3a8e34bc6346a8b1,
-        limb2: 0xcf7590e442c5dfb,
+        limb0: 0x2c91cd670109a3f468862e7f,
+        limb1: 0x1cc46565e82743edcd0ece27,
+        limb2: 0x17546941087b4a40,
         limb3: 0x0,
     },
 }; // IC[0] + IC[1] * CONTROL_ROOT_0 + IC[2] * CONTROL_ROOT_1 + IC[5] * BN254_CONTROL_ID

diff --git a/tools/garaga_rs/Cargo.lock b/tools/garaga_rs/Cargo.lock
diff --git a/tools/garaga_rs/Cargo.toml b/tools/garaga_rs/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "garaga_rs"
-version = "0.15.0"
+version = "0.15.1"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

diff --git a/tools/garaga_rs/src/calldata/full_proof_with_hints/groth16.rs b/tools/garaga_rs/src/calldata/full_proof_with_hints/groth16.rs
@@ -296,12 +296,12 @@ pub mod risc0_utils {
 
     pub fn get_risc0_constants() -> (BigUint, BigUint) {
         let risc0_control_root = BigUint::from_str_radix(
-            "8B6DCF11D463AC455361B41FB3ED053FEBB817491BDEA00FDB340E45013B852E",
+            "8CDAD9242664BE3112ABA377C5425A4DF735EB1C6966472B561D2855932C0469",
             16,
         )
         .unwrap();
         let risc0_bn254_control_id = BigUint::from_str_radix(
-            "05A022E1DB38457FB510BC347B30EB8F8CF3EDA95587653D0EAC19E1F10D164E",
+            "04446E66D300EB7FB45C9726BB53C793DDA407A62E9601618BB43C5C14657AC0",
             16,
         )
         .unwrap();