Recursive Circuit Trait + framework (#21)

* moving array access to own file

* wip

* adding benchmark + test

* fmt

* no logging on CI

* adding repeated poseidon

* csv output

Author: nikkolasg

Cargo.lock

@@ -9,7 +9,7 @@ edition = "2021"
 anyhow = "1.0.75"
 itertools = "0.12.0"
 ethers = { version ="2.0.11", default-features = false, features = ["rustls"]}
-plonky2 = {version = "0.1.4", features = ["std"]}
+plonky2 = { version = "0.1.4" }
 
 # supporting latest plonky2
 plonky2_crypto = { git = "https://github.com/nikkolasg/plonky2-crypto" , branch = "feat/serialization" }
@@ -21,6 +21,9 @@ eth_trie = { git = "https://github.com/nikkolasg/eth-trie.rs" }
 rlp = "0.5.2"
 sha3 = "0.10.8"
 bincode = "1.3.3"
+hashbrown = "0.14.3"
+log = "0.4.14"
+env_logger = "0.9.0"
 
 [dev-dependencies]
 anyhow = "1.0.75"

Cargo.toml

@@ -1,17 +1,16 @@
 #[cfg(test)]
 mod tests {
     use anyhow::Result;
-    use log::{log_enabled, Level, LevelFilter};
     use plonky2::field::types::Field;
     use plonky2::iop::target::Target;
     use plonky2::iop::witness::PartialWitness;
     use plonky2::plonk::circuit_builder::CircuitBuilder;
     use plonky2::plonk::circuit_data::CircuitConfig;
     use plonky2::plonk::config::{GenericConfig, PoseidonGoldilocksConfig};
-    use std::env;
-    use std::io::Write;
     use std::time::Instant;
 
+    use crate::benches::init_logging;
+
     #[test]
     fn compare_quin_random_access() -> Result<()> {
         use crate::rlp::quin_selector;
@@ -78,19 +77,7 @@ mod tests {
 
         (0..(array_bits_of_length_max + 1))
             .map(comparison)
-            .fold(Ok(()), |r, state| state.and(r))
-    }
-
-    /// Sets RUST_LOG=debug and initializes the logger
-    /// if it hasn't been enabled already.
-    fn init_logging() {
-        if !log_enabled!(Level::Debug) {
-            env::set_var("RUST_LOG", "debug");
-            env_logger::builder()
-                .format(|buf, record| writeln!(buf, "    {}", record.args()))
-                .init();
-            log::set_max_level(LevelFilter::Debug);
-        }
+            .try_fold((), |acc, item| Ok(acc).and(item))
     }
 
     /// Compares the gate counts, LDE size, build time, proving time, and verification time

src/.DS_Store

@@ -1 +1,19 @@
-mod circuit;
+use std::env;
+
+use log::{log_enabled, Level, LevelFilter};
+use std::io::Write;
+mod array_access;
+#[cfg(test)]
+mod recursion;
+
+/// Sets RUST_LOG=debug and initializes the logger
+/// if it hasn't been enabled already.
+pub(crate) fn init_logging() {
+    if !log_enabled!(Level::Debug) {
+        env::set_var("RUST_LOG", "debug");
+        env_logger::builder()
+            .format(|buf, record| writeln!(buf, "    {}", record.args()))
+            .init();
+        log::set_max_level(LevelFilter::Debug);
+    }
+}