no_std flag

.github/workflows/ci.yml

@@ -79,6 +79,11 @@ jobs:
   check_no_std:
     name: Check no_std
     runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        rust:
+          - stable
+          - nightly
     steps:
       - name: Checkout
         uses: actions/checkout@v2

Cargo.toml

@@ -5,19 +5,19 @@ authors = ["arkworks contributors"]
 edition = "2021"
 
 [dependencies]
-ark-crypto-primitives = { version="^0.4.0", features = ["merkle_tree", "sponge"] }
+ark-crypto-primitives = { default-features = false, features = ["merkle_tree", "sponge"], version="^0.4.0" }
 ark-ff = { version = "0.4" }
 ark-poly = { version = "0.4.2" }
 ark-std = { version="^0.4.0" }
 ark-serialize = { version = "0.4" }
 ark-test-curves = { version = "0.4", features = [ "bls12_381_curve" ] }
 blake2 = { version = "0.10" }
 blake3 = { version = "1.5.0" }
+itertools = "0.13.0"
 lazy_static = { version = "1.4" }
 poseidon-paramgen = { version  = "0.4" }
 rand = { version = "0.8" }
 sha3 = { version = "0.10" }
-itertools = "0.13.0"
 
 [patch.crates-io]
 ark-crypto-primitives = { git= "https://github.com/arkworks-rs/crypto-primitives" }

src/crypto/fs/blake3.rs

@@ -1,4 +1,5 @@
 use ark_crypto_primitives::sponge::{Absorb, CryptographicSponge};
+use ark_std::{vec, vec::Vec};
 use blake3::Hasher;
 
 #[derive(Default, Clone, Copy)]

src/crypto/merkle_tree/blake2.rs

@@ -1,4 +1,8 @@
-use std::{borrow::Borrow, marker::PhantomData};
+use ark_std::{
+    borrow::Borrow,
+    marker::PhantomData,
+    {vec, vec::Vec},
+};
 
 use ark_crypto_primitives::{
     crh::{CRHScheme, TwoToOneCRHScheme},

src/crypto/merkle_tree/blake3.rs

@@ -1,4 +1,8 @@
-use std::{borrow::Borrow, marker::PhantomData};
+use ark_std::{
+    borrow::Borrow,
+    marker::PhantomData,
+    {vec, vec::Vec},
+};
 
 use super::HashCounter;
 use ark_crypto_primitives::{

src/crypto/merkle_tree/mock.rs

@@ -1,4 +1,8 @@
-use std::{borrow::Borrow, marker::PhantomData};
+use ark_std::{
+    borrow::Borrow,
+    marker::PhantomData,
+    {vec, vec::Vec},
+};
 
 use ark_crypto_primitives::{
     crh::{CRHScheme, TwoToOneCRHScheme},

src/crypto/merkle_tree/mod.rs

@@ -4,7 +4,12 @@ pub mod mock;
 pub mod poseidon;
 pub mod sha3;
 
-use std::{borrow::Borrow, marker::PhantomData, sync::atomic::AtomicUsize};
+use ark_std::{
+    borrow::Borrow,
+    marker::PhantomData,
+    sync::atomic::AtomicUsize,
+    {vec, vec::Vec},
+};
 
 use ark_crypto_primitives::crh::CRHScheme;
 use ark_serialize::CanonicalSerialize;
@@ -24,19 +29,19 @@ impl HashCounter {
     pub(crate) fn add() -> usize {
         HASH_COUNTER
             .counter
-            .fetch_add(1, std::sync::atomic::Ordering::SeqCst)
+            .fetch_add(1, ark_std::sync::atomic::Ordering::SeqCst)
     }
 
     pub fn reset() {
         HASH_COUNTER
             .counter
-            .store(0, std::sync::atomic::Ordering::SeqCst)
+            .store(0, ark_std::sync::atomic::Ordering::SeqCst)
     }
 
     pub fn get() -> usize {
         HASH_COUNTER
             .counter
-            .load(std::sync::atomic::Ordering::SeqCst)
+            .load(ark_std::sync::atomic::Ordering::SeqCst)
     }
 }
 

src/crypto/merkle_tree/poseidon.rs

@@ -1,4 +1,4 @@
-use std::{borrow::Borrow, marker::PhantomData};
+use ark_std::{borrow::Borrow, marker::PhantomData, vec::Vec};
 
 use ark_crypto_primitives::crh::poseidon;
 use ark_crypto_primitives::sponge::poseidon::PoseidonSponge;

src/crypto/merkle_tree/sha3.rs

@@ -1,4 +1,8 @@
-use std::{borrow::Borrow, marker::PhantomData};
+use ark_std::{
+    borrow::Borrow,
+    marker::PhantomData,
+    {vec, vec::Vec},
+};
 
 use super::HashCounter;
 use ark_crypto_primitives::{

src/direct/ldt.rs

@@ -3,7 +3,7 @@ use ark_crypto_primitives::{
     sponge::{Absorb, CryptographicSponge},
 };
 use ark_ff::FftField;
-use ark_std::marker::PhantomData;
+use ark_std::{marker::PhantomData, vec::Vec};
 
 use crate::{
     direct::{config::DirectConfig, prover::DirectProver, verifier::DirectVerifier},

src/direct/proof.rs

@@ -3,6 +3,7 @@ use ark_crypto_primitives::{
     sponge::{Absorb, CryptographicSponge},
 };
 use ark_ff::FftField;
+use ark_std::vec::Vec;
 
 use crate::utils::squeeze_integer;
 

src/direct/prover.rs

@@ -4,7 +4,7 @@ use ark_crypto_primitives::{
 };
 
 use ark_ff::FftField;
-use ark_std::marker::PhantomData;
+use ark_std::{marker::PhantomData, vec::Vec};
 
 use crate::{
     direct::{config::DirectConfig, proof::DirectProof},

src/direct/verifier.rs

@@ -3,7 +3,7 @@ use ark_crypto_primitives::{
     sponge::{Absorb, CryptographicSponge},
 };
 use ark_ff::FftField;
-use ark_std::marker::PhantomData;
+use ark_std::{marker::PhantomData, vec::Vec};
 
 use crate::{
     direct::{config::DirectConfig, proof::DirectProof},

src/domain.rs

@@ -1,9 +1,8 @@
-use std::ops::Deref;
-
 use ark_ff::FftField;
 use ark_poly::{
     EvaluationDomain, GeneralEvaluationDomain, MixedRadixEvaluationDomain, Radix2EvaluationDomain,
 };
+use ark_std::ops::Deref;
 
 #[derive(Debug, Clone)]
 pub struct Domain<F: FftField> {
@@ -164,7 +163,7 @@ impl<F: FftField> Deref for Domain<F> {
 
 #[cfg(test)]
 mod tests {
-    use std::collections::HashSet;
+    use ark_std::collections::HashSet;
 
     use super::*;
     use crate::crypto::fields::Field64 as TestField;

src/lib.rs

@@ -1,3 +1,4 @@
+#![no_std]
 pub mod crypto;
 pub mod direct;
 pub mod domain;

src/poly_utils/bs08.rs

@@ -1,5 +1,6 @@
 use ark_ff::Field;
 use ark_poly::{univariate::DensePolynomial, DenseUVPolynomial, Polynomial};
+use ark_std::{vec, vec::Vec};
 
 use crate::utils;
 

src/poly_utils/folding.rs

@@ -1,5 +1,6 @@
 use ark_ff::Field;
 use ark_poly::{univariate::DensePolynomial, Polynomial};
+use ark_std::vec::Vec;
 
 use crate::poly_utils::interpolation;
 

src/poly_utils/interpolation.rs

@@ -2,6 +2,7 @@ use ark_ff::{batch_inversion, FftField, Field};
 use ark_poly::{
     univariate::DensePolynomial, DenseUVPolynomial, Evaluations, Polynomial, Radix2EvaluationDomain,
 };
+use ark_std::{vec, vec::Vec};
 
 use crate::utils;
 

src/poly_utils/quotient.rs

@@ -1,5 +1,6 @@
 use ark_ff::{FftField, Field};
 use ark_poly::{univariate::DensePolynomial, Polynomial};
+use ark_std::vec::Vec;
 
 use super::interpolation;
 
@@ -67,6 +68,7 @@ pub fn quotient_with_hint<'a, F: Field>(
 #[cfg(test)]
 mod tests {
     use ark_poly::DenseUVPolynomial;
+    use ark_std::vec;
     use rand::Rng;
 
     use super::*;

src/stir/config.rs

@@ -2,6 +2,7 @@ use ark_crypto_primitives::{
     merkle_tree::{Config as MerkleConfig, LeafParam, TwoToOneParam},
     sponge::CryptographicSponge,
 };
+use ark_std::vec::Vec;
 
 pub struct STIRConfig<M: MerkleConfig, S: CryptographicSponge> {
     pub folding_factor: usize,

src/stir/ldt.rs

@@ -9,6 +9,7 @@ use ark_crypto_primitives::{
 };
 use ark_ff::{FftField, PrimeField};
 use ark_std::marker::PhantomData;
+use ark_std::vec::Vec;
 
 pub struct STIR<F, M, S, W>
 where

src/stir/mod.rs

@@ -12,6 +12,7 @@ mod tests {
     use ark_poly::univariate::DensePolynomial;
     use ark_poly::DenseUVPolynomial;
     use ark_std::test_rng;
+    use ark_std::vec;
 
     use crate::{
         crypto::{fields::Field256, fs, merkle_tree},

src/stir/proof.rs

@@ -4,6 +4,7 @@ use ark_crypto_primitives::{
 };
 use ark_ff::{batch_inversion, Field};
 use ark_poly::{univariate::DensePolynomial, Polynomial};
+use ark_std::vec::Vec;
 
 use super::config::STIRConfig;
 

src/stir/prover.rs

@@ -5,6 +5,7 @@ use ark_crypto_primitives::{
 use ark_ff::{FftField, PrimeField};
 use ark_poly::Polynomial;
 use ark_std::marker::PhantomData;
+use ark_std::vec::Vec;
 
 use crate::{
     ldt::Prover,

src/stir/prover_state.rs

@@ -4,6 +4,7 @@ use ark_crypto_primitives::{
 };
 use ark_ff::{FftField, PrimeField};
 use ark_poly::{univariate::DensePolynomial, DenseUVPolynomial, EvaluationDomain, Polynomial};
+use ark_std::{vec, vec::Vec};
 
 use crate::{
     domain::Domain,

src/stir/verifier.rs

@@ -5,6 +5,7 @@ use ark_crypto_primitives::{
 use ark_ff::{FftField, PrimeField};
 use ark_poly::Polynomial;
 use ark_std::marker::PhantomData;
+use ark_std::vec::Vec;
 
 use crate::{
     ldt::Verifier,

src/stir/verifier_state.rs

@@ -7,6 +7,7 @@ use ark_poly::{
     univariate::DensePolynomial, DenseUVPolynomial, EvaluationDomain, Polynomial,
     Radix2EvaluationDomain,
 };
+use ark_std::{vec, vec::Vec};
 use itertools::izip;
 
 use crate::{

src/utils.rs

@@ -1,4 +1,4 @@
-use std::collections::BTreeSet;
+use ark_std::{collections::BTreeSet, vec, vec::Vec};
 
 use ark_crypto_primitives::sponge::CryptographicSponge;
 

src/witness/single.rs

@@ -4,6 +4,7 @@ use ark_crypto_primitives::{
 };
 use ark_ff::FftField;
 use ark_poly::{univariate::DensePolynomial, Polynomial};
+use ark_std::vec::Vec;
 
 use crate::{
     domain::Domain,