feat: expand trace decoder tests (#394)

* feat: expand trace decoder tests

* chore: show json parsing error details

* fix: change testing image

* fix: run tests in release mode

* feat: parallel execution

* fix: comment

* fix: nit

* fix: disable cdk erigon tests until we generate witness files

* fix: format

* fix: review

* fix: review

* fix: nit

.github/workflows/ci.yml

@@ -45,7 +45,7 @@ jobs:
 
   test_trace_decoder:
     name: Test trace_decoder
-    runs-on: ubuntu-latest
+    runs-on: zero-ci
     timeout-minutes: 30
     if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')"
     steps:
@@ -61,10 +61,9 @@ jobs:
           cache-on-failure: true
 
       - name: Test in trace_decoder subdirectory
-        run: cargo test --manifest-path trace_decoder/Cargo.toml
+        run: cargo test --release --manifest-path trace_decoder/Cargo.toml -- --nocapture
         env:
-          RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0
-          RUST_LOG: 1
+          RUST_LOG: info
           CARGO_INCREMENTAL: 1
           RUST_BACKTRACE: 1
 

.github/workflows/jerigon.yml

@@ -86,7 +86,7 @@ jobs:
           ETH_RPC_URL="$(kurtosis port print cancun-testnet el-2-erigon-lighthouse ws-rpc)"
           cd zero_bin/tools
           rm -rf proofs/* circuits/* ./proofs.json test.out verify.out leader.out
-          OUTPUT_TO_TERMINAL=true RUN_VERIFICATION=true ./prove_rpc.sh 0x2 0x8 $ETH_RPC_URL jerigon true 3000 100
+          OUTPUT_TO_TERMINAL=true RUN_VERIFICATION=true ./prove_rpc.sh 0x2 0x5 $ETH_RPC_URL jerigon true 3000 100
           echo "Proving blocks in real mode finished"
           
       - name: Shut down network

trace_decoder/Cargo.toml

@@ -39,6 +39,12 @@ winnow = { workspace = true }
 criterion = { workspace = true }
 pretty_env_logger = { workspace = true }
 serde_json = { workspace = true }
+prover = { workspace = true }
+serde_path_to_error = { workspace = true }
+plonky2_maybe_rayon = { workspace = true }
+alloy-rpc-types-eth = "0.1.4"
+rstest = "0.21.0"
+
 
 [[bench]]
 name = "block_processing"

trace_decoder/src/type1.rs

@@ -428,12 +428,13 @@ fn iter_leaves(node: Node) -> Box<dyn Iterator<Item = (Vec<U4>, IterLeaf)>> {
 }
 
 #[test]
-fn test() {
-    for (ix, case) in
-        serde_json::from_str::<Vec<super::Case>>(include_str!("test_cases/zero_jerigon.json"))
-            .unwrap()
-            .into_iter()
-            .enumerate()
+fn test_tries() {
+    for (ix, case) in serde_json::from_str::<Vec<super::Case>>(include_str!(
+        "../tests/data/tries/zero_jerigon.json"
+    ))
+    .unwrap()
+    .into_iter()
+    .enumerate()
     {
         println!("case {}", ix);
         let instructions = crate::wire::parse(&case.bytes).unwrap();

trace_decoder/src/type2.rs

@@ -224,12 +224,13 @@ fn iter_leaves(node: Node) -> Box<dyn Iterator<Item = (BitVec, Either<[u8; 32],
 }
 
 #[test]
-fn test() {
-    for (ix, case) in
-        serde_json::from_str::<Vec<super::Case>>(include_str!("test_cases/hermez_cdk_erigon.json"))
-            .unwrap()
-            .into_iter()
-            .enumerate()
+fn test_tries() {
+    for (ix, case) in serde_json::from_str::<Vec<super::Case>>(include_str!(
+        "../tests/data/tries/hermez_cdk_erigon.json"
+    ))
+    .unwrap()
+    .into_iter()
+    .enumerate()
     {
         println!("case {}", ix);
         let instructions = crate::wire::parse(&case.bytes).unwrap();