committed proof.bin, renamed everything to hypercube

Author: erabinov

Cargo.lock

@@ -59,17 +59,17 @@ p3-uni-stark = { git = "https://github.com/erabinov/Plonky3/", branch = "clone_c
 
 
 #hypercube verifier
-slop-basefold = { path = "crates/basefold" }
-slop-algebra = { path = "crates/algebra" }
-slop-sumcheck = { path = "crates/sumcheck" }
-slop-multilinear = { path = "crates/multilinear" }
-slop-utils = { path = "crates/utils" }
-slop-merkle-tree = { path = "crates/merkle-tree" }
-slop-commit = { path = "crates/commit" }
-slop-tensor = { path = "crates/tensor" }
-slop-alloc = { path = "crates/alloc" }
-slop-jagged = { path = "crates/jagged" }
-slop-stacked = { path = "crates/stacked" }
+hypercube-basefold = { path = "crates/basefold" }
+hypercube-algebra = { path = "crates/algebra" }
+hypercube-sumcheck = { path = "crates/sumcheck" }
+hypercube-multilinear = { path = "crates/multilinear" }
+hypercube-utils = { path = "crates/utils" }
+hypercube-merkle-tree = { path = "crates/merkle-tree" }
+hypercube-commit = { path = "crates/commit" }
+hypercube-tensor = { path = "crates/tensor" }
+hypercube-alloc = { path = "crates/alloc" }
+hypercube-jagged = { path = "crates/jagged" }
+hypercube-stacked = { path = "crates/stacked" }
 sp1-primitives = { path = "crates/primitives" }
 sp1-derive = { path = "crates/derive" }
 hypercube-stark = { path = "crates/stark" }

Cargo.toml

@@ -11,5 +11,6 @@ categories.workspace = true
 hypercube-recursion-machine = {workspace = true}
 bincode = "1.3.3"
 clap = { version = "4.5.9", features = ["derive", "env"] }
+ratatui = "0.29.0"
 [lints]
 workspace = true

cli/Cargo.toml

@@ -41,7 +41,7 @@ fn main() {
 \_______)|/       \____/  |/     \|   \_/   |/       (_______/|/   \__/(_______/(_______)|/ \___/ (_______/            
                                                                                                                        
                                                                                                                        
-                                                                                                                                         (
+                                                                                                                                         
                        .+------+     +------+     +------+     +------+     +------+.
                      .' |    .'|    /|     /|     |      |     |\     |\    |`.    | `.
                     +---+--+'  |   +-+----+ |     +------+     | +----+-+   |  `+--+---+
@@ -50,6 +50,8 @@ fn main() {
                     |.'    | .'    |/     |/      |      |      \|     \|    `. |   `. |
                     +------+'      +------+       +------+       +------+      `+------+
 
+
+                    
  _______  _______  _______  _______  _______             _______  _______ _________ _______ _________ _______  ______  
 (  ____ )(  ____ )(  ___  )(  ___  )(  ____ \  |\     /|(  ____ \(  ____ )\__   __/(  ____ \\__   __/(  ____ \(  __  \ 
 | (    )|| (    )|| (   ) || (   ) || (    \/  | )   ( || (    \/| (    )|   ) (   | (    \/   ) (   | (    \/| (  \  )

cli/src/main.rs

@@ -1,5 +1,5 @@
 [package]
-name = "slop-algebra"
+name = "hypercube-algebra"
 version.workspace = true
 edition.workspace = true
 license.workspace = true

crates/algebra/Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "slop-alloc"
+name = "hypercube-alloc"
 version.workspace = true
 edition.workspace = true
 license.workspace = true

crates/alloc/Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "slop-basefold"
+name = "hypercube-basefold"
 version.workspace = true
 edition.workspace = true
 license.workspace = true
@@ -9,14 +9,14 @@ categories.workspace = true
 
 [dependencies]
 p3-field = { workspace = true }
-slop-multilinear = { workspace = true }
+hypercube-multilinear = { workspace = true }
 p3-challenger = { workspace = true }
-slop-utils = { workspace = true }
-slop-commit = { workspace = true }
-slop-tensor = { workspace = true }
-slop-alloc = { workspace = true }
+hypercube-utils = { workspace = true }
+hypercube-commit = { workspace = true }
+hypercube-tensor = { workspace = true }
+hypercube-alloc = { workspace = true }
 p3-baby-bear = { workspace = true }
-slop-merkle-tree = { workspace = true }
+hypercube-merkle-tree = { workspace = true }
 
 thiserror = "1.0"
 itertools = "0.12.0"

crates/basefold/Cargo.toml

@@ -1,8 +1,8 @@
 use derive_where::derive_where;
 use p3_field::{AbstractField, TwoAdicField};
 use serde::{Deserialize, Serialize};
-use slop_alloc::{Backend, CpuBackend, HasBackend};
-use slop_tensor::Tensor;
+use hypercube_alloc::{Backend, CpuBackend, HasBackend};
+use hypercube_tensor::Tensor;
 use std::{
     borrow::{Borrow, BorrowMut},
     marker::PhantomData,

crates/basefold/src/code.rs

@@ -5,8 +5,8 @@ use p3_baby_bear::BabyBear;
 use p3_challenger::{CanObserve, DuplexChallenger, FieldChallenger, GrindingChallenger};
 use p3_field::{extension::BinomialExtensionField, ExtensionField, TwoAdicField};
 use serde::{de::DeserializeOwned, Deserialize, Serialize};
-use slop_commit::TensorCs;
-use slop_merkle_tree::{my_bb_16_perm, MerkleTreeTcs, Perm, Poseidon2BabyBearConfig};
+use hypercube_commit::TensorCs;
+use hypercube_merkle_tree::{my_bb_16_perm, MerkleTreeTcs, Perm, Poseidon2BabyBearConfig};
 
 use crate::{BasefoldVerifier, FriConfig};
 

crates/basefold/src/config.rs

@@ -2,9 +2,9 @@ use itertools::Itertools;
 use p3_challenger::{CanObserve, CanSampleBits, FieldChallenger, GrindingChallenger};
 use p3_field::{AbstractExtensionField, AbstractField, TwoAdicField};
 use serde::{Deserialize, Serialize};
-use slop_commit::{TensorCs, TensorCsOpening};
-use slop_multilinear::{Evaluations, MultilinearPcsVerifier, Point};
-use slop_utils::reverse_bits_len;
+use hypercube_commit::{TensorCs, TensorCsOpening};
+use hypercube_multilinear::{Evaluations, MultilinearPcsVerifier, Point};
+use hypercube_utils::reverse_bits_len;
 use thiserror::Error;
 
 use crate::{BasefoldConfig, DefaultBasefoldConfig};