Stark continuous read-only memory example (#940)

* create file * continuity and single value constraint * imp air * permutation constraint * evaluate function for SingleValueConstraint * add last element constraint * add public inputs * add sort function for the trace * add integration test * fix clippy * fix constraints * add documentation * handle possible panic * rename variables * fix doc --------- Co-authored-by: Nicole <[email protected]> Co-authored-by: jotabulacios <[email protected]> Co-authored-by: Nicole Graus <[email protected]>
lambdaclass · Dec 5, 2024 · e443c93 · e443c93
1 parent fc33967
commit e443c93
Show file tree

Hide file tree

Showing 3 changed files with 481 additions and 0 deletions.
diff --git a/provers/stark/src/examples/mod.rs b/provers/stark/src/examples/mod.rs
@@ -4,5 +4,6 @@ pub mod fibonacci_2_cols_shifted;
 pub mod fibonacci_2_columns;
 pub mod fibonacci_rap;
 pub mod quadratic_air;
+pub mod read_only_memory;
 pub mod simple_fibonacci;
 pub mod simple_periodic_cols;