Implement test engine

.gitignore

@@ -173,3 +173,5 @@ redis-server/
 
 *.plonky2_targets
 *.plonky2_circuit
+
+.DS_Store

casper-finality-proofs/Cargo.toml

@@ -9,10 +9,25 @@ edition = "2021"
 name = "weigh_justification_and_finalization"
 path = "bin/weigh_justification_and_finalization.rs"
 
+[[bin]]
+name = "test_engine"
+path = "src/test_engine/bin/main.rs"
+
 [dependencies]
-plonky2 = { git = "https://github.com/mir-protocol/plonky2.git", default-features = false}
+plonky2 = { git = "https://github.com/mir-protocol/plonky2.git", default-features = false }
 plonky2x = { git = "https://github.com/succinctlabs/succinctx.git", branch = "main" }
+curta = { git = "https://github.com/succinctlabs/curta", branch = "main" }
 serde = { version = "1.0.187", features = ["derive"] }
 serde_json = "1.0.103"
+serde_derive = "1.0.188"
 ethers = { version = "2.0" }
+primitive-types = "0.12.2"
+colored = "2.0.4"
+anyhow = "1.0.75"
+crossbeam = "0.8.2"
+strum = { version = "0.25", features = ["derive"] }
+serde_yaml = "0.9.25"
+once_cell = "1.18.0"
+walkdir = "2.4.0"
 itertools = { version = "0.10.0", default-features = false }
+clap = { version = "4.4.6", features = ["derive"] }

casper-finality-proofs/bin/lib.rs

@@ -0,0 +1 @@
+pub mod casper_finality_proofs;

casper-finality-proofs/src/hash_test.rs

@@ -0,0 +1,42 @@
+use itertools::Itertools;
+use plonky2x::{
+    backend::circuit::Circuit,
+    frontend::eth::{beacon::vars::BeaconValidatorVariable, vars::BLSPubkeyVariable},
+    prelude::{
+        Bytes32Variable, CircuitBuilder, CircuitVariable, Div, PlonkParameters, U64Variable,
+    },
+};
+
+#[derive(Debug, Clone)]
+pub struct HashTestCircuit;
+
+impl Circuit for HashTestCircuit {
+    fn define<L: PlonkParameters<D>, const D: usize>(builder: &mut CircuitBuilder<L, D>) {
+        let a = builder.read::<Bytes32Variable>();
+        let b = builder.read::<Bytes32Variable>();
+
+        let slot = builder.read::<U64Variable>();
+
+        let c = builder.sha256(
+            a.0 .0
+                .iter()
+                .chain(b.0 .0.iter())
+                .cloned()
+                .collect_vec()
+                .as_slice(),
+        );
+
+        let slots_per_epoch = U64Variable::constant(builder, 32);
+
+        let epoch = slot.div(slots_per_epoch, builder);
+
+        let mut validator = builder.read::<BeaconValidatorVariable>();
+
+        validator.pubkey = BLSPubkeyVariable::constant(builder, [0; 48]);
+
+        builder.write(c);
+        builder.write(epoch);
+
+        builder.write(validator);
+    }
+}

casper-finality-proofs/src/lib.rs

@@ -1,2 +1,6 @@
-pub mod weigh_justification_and_finalization;
 pub mod checkpoint;
+pub mod hash_test;
+pub mod test;
+pub mod test_engine;
+pub mod test_lte;
+pub mod weigh_justification_and_finalization;

casper-finality-proofs/src/test.rs

@@ -0,0 +1,18 @@
+use plonky2x::{
+    backend::circuit::Circuit,
+    prelude::{CircuitBuilder, PlonkParameters, Variable},
+};
+
+#[derive(Debug, Clone)]
+pub struct TestCircuit;
+
+impl Circuit for TestCircuit {
+    fn define<L: PlonkParameters<D>, const D: usize>(builder: &mut CircuitBuilder<L, D>) {
+        let a = builder.read::<Variable>();
+        let b = builder.read::<Variable>();
+
+        let c = builder.add(a, b);
+
+        builder.write::<Variable>(c);
+    }
+}