diff --git a/Cargo.lock b/Cargo.lock index bcd1c996..fa7c43d2 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1398,7 +1398,7 @@ dependencies = [ [[package]] name = "circuit-cairo-verifier" version = "0.1.0" -source = "git+https://github.com/starkware-libs/stwo-circuits?rev=9ff7fc8#9ff7fc864a3817f2cd82d2f2f4dee3636748710c" +source = "git+https://github.com/starkware-libs/stwo-circuits?rev=618db0a#618db0a21e68fdf91db8b839227bf7258a543cf7" dependencies = [ "cairo-air 1.2.2 (git+https://github.com/starkware-libs/stwo-cairo?rev=0a5e70b7)", "circuit-common", @@ -1416,7 +1416,7 @@ dependencies = [ [[package]] name = "circuit-common" version = "0.1.0" -source = "git+https://github.com/starkware-libs/stwo-circuits?rev=9ff7fc8#9ff7fc864a3817f2cd82d2f2f4dee3636748710c" +source = "git+https://github.com/starkware-libs/stwo-circuits?rev=618db0a#618db0a21e68fdf91db8b839227bf7258a543cf7" dependencies = [ "circuits", "circuits-stark-verifier", @@ -1430,7 +1430,7 @@ dependencies = [ [[package]] name = "circuit-prover" version = "0.1.0" -source = "git+https://github.com/starkware-libs/stwo-circuits?rev=9ff7fc8#9ff7fc864a3817f2cd82d2f2f4dee3636748710c" +source = "git+https://github.com/starkware-libs/stwo-circuits?rev=618db0a#618db0a21e68fdf91db8b839227bf7258a543cf7" dependencies = [ "circuit-common", "circuit-verifier", @@ -1451,7 +1451,7 @@ dependencies = [ [[package]] name = "circuit-serialize" version = "0.1.0" -source = "git+https://github.com/starkware-libs/stwo-circuits?rev=9ff7fc8#9ff7fc864a3817f2cd82d2f2f4dee3636748710c" +source = "git+https://github.com/starkware-libs/stwo-circuits?rev=618db0a#618db0a21e68fdf91db8b839227bf7258a543cf7" dependencies = [ "circuits", "circuits-stark-verifier", @@ -1461,7 +1461,7 @@ dependencies = [ [[package]] name = "circuit-verifier" version = "0.1.0" -source = "git+https://github.com/starkware-libs/stwo-circuits?rev=9ff7fc8#9ff7fc864a3817f2cd82d2f2f4dee3636748710c" +source = "git+https://github.com/starkware-libs/stwo-circuits?rev=618db0a#618db0a21e68fdf91db8b839227bf7258a543cf7" dependencies = [ "circuit-common", "circuits", @@ -1476,7 +1476,7 @@ dependencies = [ [[package]] name = "circuits" version = "0.1.0" -source = "git+https://github.com/starkware-libs/stwo-circuits?rev=9ff7fc8#9ff7fc864a3817f2cd82d2f2f4dee3636748710c" +source = "git+https://github.com/starkware-libs/stwo-circuits?rev=618db0a#618db0a21e68fdf91db8b839227bf7258a543cf7" dependencies = [ "blake2", "hashbrown 0.15.5", @@ -1490,7 +1490,7 @@ dependencies = [ [[package]] name = "circuits-stark-verifier" version = "0.1.0" -source = "git+https://github.com/starkware-libs/stwo-circuits?rev=9ff7fc8#9ff7fc864a3817f2cd82d2f2f4dee3636748710c" +source = "git+https://github.com/starkware-libs/stwo-circuits?rev=618db0a#618db0a21e68fdf91db8b839227bf7258a543cf7" dependencies = [ "circuits", "hashbrown 0.15.5", diff --git a/crates/privacy_circuit_verify/Cargo.toml b/crates/privacy_circuit_verify/Cargo.toml index b2dbce03..08c7f0e0 100644 --- a/crates/privacy_circuit_verify/Cargo.toml +++ b/crates/privacy_circuit_verify/Cargo.toml @@ -36,12 +36,12 @@ stwo-cairo-serialize = { git = "https://github.com/starkware-libs/stwo-cairo", r stwo-cairo-common = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "0a5e70b7" } # stwo circuits -circuit-cairo-verifier = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "9ff7fc8" } -circuits-stark-verifier = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "9ff7fc8" } -circuits = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "9ff7fc8" } -circuit-serialize = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "9ff7fc8" } -circuit-common = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "9ff7fc8" } -circuit-verifier = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "9ff7fc8" } +circuit-cairo-verifier = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "618db0a" } +circuits-stark-verifier = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "618db0a" } +circuits = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "618db0a" } +circuit-serialize = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "618db0a" } +circuit-common = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "618db0a" } +circuit-verifier = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "618db0a" } # stwo stwo = { version = "2.2.0" } diff --git a/crates/privacy_circuit_verify/src/consts.rs b/crates/privacy_circuit_verify/src/consts.rs index 133e7aa1..9d9a44b9 100644 --- a/crates/privacy_circuit_verify/src/consts.rs +++ b/crates/privacy_circuit_verify/src/consts.rs @@ -36,7 +36,7 @@ pub const PRIVACY_BOOTLOADER_JSON: &[u8] = include_bytes!( ); pub const CIRCUIT_OUTPUT_ADDRESSES: [usize; 3] = [3, 4, 2]; pub const PRIVACY_RECURSION_CIRCUIT_PREPROCESSED_ROOT: [u32; 8] = [ - 660814213, 1644929400, 1719380572, 1563331739, 925907163, 437112022, 929302389, 574632232, + 1573981902, 1069113805, 1792032830, 1315817085, 256782222, 1874301472, 654802805, 1407352920, ]; pub const CAIRO_LOG_BLOWUP_FACTOR: u32 = 3; pub const CAIRO_TRACE_LOG_SIZE: u32 = 20; diff --git a/crates/privacy_prove/Cargo.toml b/crates/privacy_prove/Cargo.toml index 1aca37c6..1b7ea8bf 100644 --- a/crates/privacy_prove/Cargo.toml +++ b/crates/privacy_prove/Cargo.toml @@ -43,13 +43,13 @@ stwo-cairo-serialize = { git = "https://github.com/starkware-libs/stwo-cairo", r stwo-cairo-common = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "0a5e70b7" } # stwo circuits -circuit-cairo-verifier = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "9ff7fc8" } -circuits-stark-verifier = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "9ff7fc8" } -circuits = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "9ff7fc8" } -circuit-serialize = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "9ff7fc8" } -circuit-prover = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "9ff7fc8" } -circuit-common = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "9ff7fc8" } -circuit-verifier = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "9ff7fc8" } +circuit-cairo-verifier = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "618db0a" } +circuits-stark-verifier = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "618db0a" } +circuits = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "618db0a" } +circuit-serialize = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "618db0a" } +circuit-prover = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "618db0a" } +circuit-common = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "618db0a" } +circuit-verifier = { git = "https://github.com/starkware-libs/stwo-circuits", rev = "618db0a" } # stwo stwo = { version = "2.2.0", features = ["parallel"] }