Add FRI layer 0 commitment

starkware-libs · Nov 27, 2024 · 1cd7436 · 1cd7436
1 parent fa8c976
commit 1cd7436
Show file tree

Hide file tree

Showing 23 changed files with 9,409 additions and 1,759 deletions.
diff --git a/stwo_cairo_verifier/.tool-versions b/stwo_cairo_verifier/.tool-versions
@@ -1,2 +1,2 @@
-scarb nightly-2024-11-09
-starknet-foundry 0.32.0
+scarb nightly-2024-11-19
+starknet-foundry 0.33.0
diff --git a/stwo_cairo_verifier/README.md b/stwo_cairo_verifier/README.md
@@ -26,9 +26,9 @@ Modify [`Scarb.toml`](./Scarb.toml) to use [Starknet Foundary](https://github.co
 
 ```diff
 [dev-dependencies]
-- cairo_test = "2.8.0"
-+ snforge_std = { git = "https://github.com/foundry-rs/starknet-foundry", tag = "v0.32.0" }
-+ assert_macros = "2.8.0"
+- cairo_test = "2.8.5"
++ snforge_std = { git = "https://github.com/foundry-rs/starknet-foundry", tag = "v0.33.0" }
++ assert_macros = "2.8.5"
 +
 + [scripts]
 + test = "snforge test --max-n-steps 100000000"

diff --git a/stwo_cairo_verifier/Scarb.toml b/stwo_cairo_verifier/Scarb.toml
@@ -6,14 +6,8 @@ edition = "2024_07"
 [lib]
 casm = true
 
-[cairo]
-# TODO(andrew): Remove once inlining bug fixed as increases step counts by about 3x.
-inlining-strategy = "avoid"
-
 [tool.fmt]
 sort-module-level-items = true
 
 [dependencies]
-
-[dev-dependencies]
-cairo_test = "2.8.4"
+cairo_test = "2.8.5"
diff --git a/stwo_cairo_verifier/src/channel.cairo b/stwo_cairo_verifier/src/channel.cairo
@@ -61,14 +61,8 @@ pub impl ChannelImpl of ChannelTrait {
     fn draw_base_felts(ref self: Channel) -> [BaseField; FELTS_PER_HASH] {
         let mut cur = self.draw_felt252().into();
         [
-            extract_m31(ref cur),
-            extract_m31(ref cur),
-            extract_m31(ref cur),
-            extract_m31(ref cur),
-            extract_m31(ref cur),
-            extract_m31(ref cur),
-            extract_m31(ref cur),
-            extract_m31(ref cur),
+            extract_m31(ref cur), extract_m31(ref cur), extract_m31(ref cur), extract_m31(ref cur),
+            extract_m31(ref cur), extract_m31(ref cur), extract_m31(ref cur), extract_m31(ref cur),
         ]
     }