feat: add no-std support for starky

Signed-off-by: Brandon H. Gomes <bhgomes@pm.me>

starky/Cargo.toml

@@ -5,14 +5,17 @@ version = "0.1.0"
 edition = "2021"
 
 [features]
-default = ["parallel"]
+default = ["parallel", "std", "timing"]
 parallel = ["plonky2/parallel", "maybe_rayon/parallel"]
+std = ["anyhow/std", "plonky2/std"]
+timing = ["plonky2/timing"]
 
 [dependencies]
-anyhow = "1.0.40"
-env_logger = "0.9.0"
-itertools = "0.10.0"
-log = "0.4.14"
-maybe_rayon = { path = "../maybe_rayon" }
-plonky2 = { path = "../plonky2", default-features = false, features = ["timing"] }
-plonky2_util = { path = "../util" }
+anyhow = { version = "1.0.40", default-features = false }
+itertools = { version = "0.10.0", default-features = false }
+log = { version = "0.4.14", default-features = false }
+maybe_rayon = { path = "../maybe_rayon", default-features = false }
+plonky2 = { path = "../plonky2", default-features = false }
+
+[dev-dependencies]
+env_logger = { version = "0.9.0", default-features = false }

starky/src/constraint_consumer.rs

@@ -1,3 +1,5 @@
+use alloc::vec;
+use alloc::vec::Vec;
 use core::marker::PhantomData;
 
 use plonky2::field::extension::Extendable;

starky/src/fibonacci_stark.rs

@@ -1,3 +1,5 @@
+use alloc::vec;
+use alloc::vec::Vec;
 use core::marker::PhantomData;
 
 use plonky2::field::extension::{Extendable, FieldExtension};

starky/src/get_challenges.rs

@@ -1,3 +1,5 @@
+use alloc::vec::Vec;
+
 use plonky2::field::extension::Extendable;
 use plonky2::field::polynomial::PolynomialCoeffs;
 use plonky2::fri::proof::{FriProof, FriProofTarget};

starky/src/lib.rs

@@ -2,10 +2,14 @@
 #![allow(clippy::too_many_arguments)]
 #![allow(clippy::type_complexity)]
 #![feature(generic_const_exprs)]
+#![cfg_attr(not(feature = "std"), no_std)]
+
+extern crate alloc;
+
+mod get_challenges;
 
 pub mod config;
 pub mod constraint_consumer;
-mod get_challenges;
 pub mod permutation;
 pub mod proof;
 pub mod prover;

starky/src/permutation.rs

@@ -1,5 +1,8 @@
 //! Permutation arguments.
 
+use alloc::vec;
+use alloc::vec::Vec;
+
 use itertools::Itertools;
 use maybe_rayon::*;
 use plonky2::field::batch_util::batch_multiply_inplace;

starky/src/proof.rs

@@ -1,3 +1,6 @@
+use alloc::vec;
+use alloc::vec::Vec;
+
 use itertools::Itertools;
 use maybe_rayon::*;
 use plonky2::field::extension::{Extendable, FieldExtension};

starky/src/prover.rs

@@ -1,3 +1,4 @@
+use alloc::vec::Vec;
 use core::iter::once;
 
 use anyhow::{ensure, Result};
@@ -15,8 +16,7 @@ use plonky2::iop::challenger::Challenger;
 use plonky2::plonk::config::{GenericConfig, Hasher};
 use plonky2::timed;
 use plonky2::util::timing::TimingTree;
-use plonky2::util::transpose;
-use plonky2_util::{log2_ceil, log2_strict};
+use plonky2::util::{log2_ceil, log2_strict, transpose};
 
 use crate::config::StarkConfig;
 use crate::constraint_consumer::ConstraintConsumer;

starky/src/recursive_verifier.rs

@@ -1,3 +1,4 @@
+use alloc::vec::Vec;
 use core::iter::once;
 
 use anyhow::{ensure, Result};

starky/src/stark.rs

@@ -1,3 +1,6 @@
+use alloc::vec;
+use alloc::vec::Vec;
+
 use plonky2::field::extension::{Extendable, FieldExtension};
 use plonky2::field::packed::PackedField;
 use plonky2::fri::structure::{
@@ -7,7 +10,7 @@ use plonky2::fri::structure::{
 use plonky2::hash::hash_types::RichField;
 use plonky2::iop::ext_target::ExtensionTarget;
 use plonky2::plonk::circuit_builder::CircuitBuilder;
-use plonky2_util::ceil_div_usize;
+use plonky2::util::ceil_div_usize;
 
 use crate::config::StarkConfig;
 use crate::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsumer};

starky/src/stark_testing.rs

@@ -1,3 +1,6 @@
+use alloc::vec;
+use alloc::vec::Vec;
+
 use anyhow::{ensure, Result};
 use plonky2::field::extension::{Extendable, FieldExtension};
 use plonky2::field::polynomial::{PolynomialCoeffs, PolynomialValues};
@@ -7,8 +10,7 @@ use plonky2::iop::witness::{PartialWitness, Witness};
 use plonky2::plonk::circuit_builder::CircuitBuilder;
 use plonky2::plonk::circuit_data::CircuitConfig;
 use plonky2::plonk::config::{GenericConfig, Hasher};
-use plonky2::util::transpose;
-use plonky2_util::{log2_ceil, log2_strict};
+use plonky2::util::{log2_ceil, log2_strict, transpose};
 
 use crate::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsumer};
 use crate::stark::Stark;

starky/src/util.rs

@@ -1,3 +1,5 @@
+use alloc::vec::Vec;
+
 use itertools::Itertools;
 use plonky2::field::polynomial::PolynomialValues;
 use plonky2::field::types::Field;

starky/src/verifier.rs

@@ -1,3 +1,4 @@
+use alloc::vec::Vec;
 use core::iter::once;
 
 use anyhow::{anyhow, ensure, Result};