Merge pull request #2873 from o1-labs/dw/rename-arrabiata

Arrabbiata: use arrabbiata instead of arrabiata
o1-labs · Dec 11, 2024 · 155b329 · 155b329
2 parents 83906b8 + 3aea474
commit 155b329
Show file tree

Hide file tree

Showing 24 changed files with 12 additions and 12 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [workspace]
 members = [
-    "arrabiata",
+    "arrabbiata",
     "book",
     "turshi",
     "curves",
@@ -81,7 +81,7 @@ tinytemplate = "1.1"
 wasm-bindgen = "=0.2.90"
 
 
-arrabiata = { path = "./arrabiata", version = "0.1.0" }
+arrabbiata = { path = "./arrabbiata", version = "0.1.0" }
 folding = { path = "./folding", version = "0.1.0" }
 groupmap = { path = "./groupmap", version = "0.1.0" }
 internal-tracing = { path = "./internal-tracing", version = "0.1.0" }

diff --git a/arrabiata/Cargo.toml → arrabbiata/Cargo.toml b/arrabiata/Cargo.toml → arrabbiata/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "arrabiata"
+name = "arrabbiata"
 version = "0.1.0"
 repository = "https://github.com/o1-labs/proof-systems"
 homepage = "https://o1-labs.github.io/proof-systems/"
@@ -8,7 +8,7 @@ edition = "2021"
 license = "Apache-2.0"
 
 [[bin]]
-name = "arrabiata"
+name = "arrabbiata"
 path = "src/main.rs"
 
 [dependencies]

diff --git a/arrabiata/README.md → arrabbiata/README.md b/arrabiata/README.md → arrabbiata/README.md
@@ -1,4 +1,4 @@
-## Arrabiata - a generic recursive zero-knowledge argument implementation based on folding schemes
+## Arrabbiata - a generic recursive zero-knowledge argument implementation based on folding schemes
 
 ### Motivation
 

diff --git a/arrabiata/notes.md → arrabbiata/notes.md b/arrabiata/notes.md → arrabbiata/notes.md
diff --git a/arrabiata/src/column_env.rs → arrabbiata/src/column_env.rs b/arrabiata/src/column_env.rs → arrabbiata/src/column_env.rs
diff --git a/arrabiata/src/columns.rs → arrabbiata/src/columns.rs b/arrabiata/src/columns.rs → arrabbiata/src/columns.rs
diff --git a/arrabiata/src/constraints.rs → arrabbiata/src/constraints.rs b/arrabiata/src/constraints.rs → arrabbiata/src/constraints.rs
diff --git a/arrabiata/src/interpreter.rs → arrabbiata/src/interpreter.rs b/arrabiata/src/interpreter.rs → arrabbiata/src/interpreter.rs
diff --git a/arrabiata/src/lib.rs → arrabbiata/src/lib.rs b/arrabiata/src/lib.rs → arrabbiata/src/lib.rs
diff --git a/arrabiata/src/logup.rs → arrabbiata/src/logup.rs b/arrabiata/src/logup.rs → arrabbiata/src/logup.rs
diff --git a/arrabiata/src/main.rs → arrabbiata/src/main.rs b/arrabiata/src/main.rs → arrabbiata/src/main.rs
@@ -1,4 +1,4 @@
-use arrabiata::{
+use arrabbiata::{
     interpreter::{self, InterpreterEnv},
     witness::Env,
     IVC_CIRCUIT_SIZE, MIN_SRS_LOG2_SIZE, POSEIDON_STATE_SIZE,

diff --git a/arrabiata/src/poseidon_3_60_0_5_5_fp.rs → arrabbiata/src/poseidon_3_60_0_5_5_fp.rs b/arrabiata/src/poseidon_3_60_0_5_5_fp.rs → arrabbiata/src/poseidon_3_60_0_5_5_fp.rs
diff --git a/arrabiata/src/poseidon_3_60_0_5_5_fq.rs → arrabbiata/src/poseidon_3_60_0_5_5_fq.rs b/arrabiata/src/poseidon_3_60_0_5_5_fq.rs → arrabbiata/src/poseidon_3_60_0_5_5_fq.rs
diff --git a/arrabiata/src/proof.rs → arrabbiata/src/proof.rs b/arrabiata/src/proof.rs → arrabbiata/src/proof.rs
diff --git a/arrabiata/src/prover.rs → arrabbiata/src/prover.rs b/arrabiata/src/prover.rs → arrabbiata/src/prover.rs
diff --git a/arrabiata/src/verifier.rs → arrabbiata/src/verifier.rs b/arrabiata/src/verifier.rs → arrabbiata/src/verifier.rs
diff --git a/arrabiata/src/witness.rs → arrabbiata/src/witness.rs b/arrabiata/src/witness.rs → arrabbiata/src/witness.rs
diff --git a/arrabiata/tests/constraints.rs → arrabbiata/tests/constraints.rs b/arrabiata/tests/constraints.rs → arrabbiata/tests/constraints.rs
@@ -1,7 +1,7 @@
 use num_bigint::BigInt;
 use std::collections::HashMap;
 
-use arrabiata::{
+use arrabbiata::{
     columns::Gadget,
     constraints,
     interpreter::{self, Instruction},

diff --git a/arrabiata/tests/utils.rs → arrabbiata/tests/utils.rs b/arrabiata/tests/utils.rs → arrabbiata/tests/utils.rs
diff --git a/arrabiata/tests/witness.rs → arrabbiata/tests/witness.rs b/arrabiata/tests/witness.rs → arrabbiata/tests/witness.rs
@@ -1,6 +1,6 @@
 use ark_ec::{AffineRepr, Group};
 use ark_ff::{PrimeField, UniformRand};
-use arrabiata::{
+use arrabbiata::{
     interpreter::{self, Instruction, InterpreterEnv},
     poseidon_3_60_0_5_5_fp,
     witness::Env,

diff --git a/arrabiata/tests/witness_utils.rs → arrabbiata/tests/witness_utils.rs b/arrabiata/tests/witness_utils.rs → arrabbiata/tests/witness_utils.rs
@@ -3,7 +3,7 @@
 //! A user is expected to use the gadget methods.
 //! The API of the utilities is more subject to changes.
 
-use arrabiata::{interpreter::InterpreterEnv, witness::Env, POSEIDON_STATE_SIZE};
+use arrabbiata::{interpreter::InterpreterEnv, witness::Env, POSEIDON_STATE_SIZE};
 use mina_curves::pasta::{Fp, Fq, Pallas, Vesta};
 use num_bigint::BigInt;
 use o1_utils::FieldHelpers;

diff --git a/mvpoly/tests/monomials.rs b/mvpoly/tests/monomials.rs
@@ -575,7 +575,7 @@ fn test_build_from_variable_next_row_with_offset_given() {
 fn test_from_expr_ec_addition() {
     // Simulate a real usecase
     // The following lines/design look similar to the ones we use in
-    // o1vm/arrabiata
+    // o1vm/arrabbiata
     #[derive(Clone, Copy, PartialEq)]
     enum Column {
         X(usize),

diff --git a/mvpoly/tests/prime.rs b/mvpoly/tests/prime.rs
@@ -365,7 +365,7 @@ fn test_evaluation_predefined_polynomial() {
 fn test_from_expr_ec_addition() {
     // Simulate a real usecase
     // The following lines/design look similar to the ones we use in
-    // o1vm/arrabiata
+    // o1vm/arrabbiata
     #[derive(Clone, Copy, PartialEq)]
     enum Column {
         X(usize),