Debug Evm verifier test

integration/Cargo.toml

@@ -20,6 +20,7 @@ tokio.workspace = true
 revm = { version = "3.5.0", default-features = false, features = ["std"] }
 snark-verifier = { git = "https://github.com/scroll-tech/snark-verifier", branch = "develop" }
 snark-verifier-sdk = { git = "https://github.com/scroll-tech/snark-verifier", branch = "develop", default-features = false, features = ["loader_halo2", "loader_evm", "halo2-pse"] }
+aggregator = { git = "https://github.com/scroll-tech/zkevm-circuits.git", branch = "v0.13"}
 
 halo2_proofs.workspace = true
 prover.workspace = true

integration/tests/bundle_tests.rs

@@ -37,3 +37,91 @@ fn gen_bundle_proving_task(batch_proof_files: &[&str]) -> BundleProvingTask {
 
     BundleProvingTask { batch_proofs }
 }
+
+
+#[test]
+fn test_evm_verifier_from_layer5() {
+    use prover::{
+        io::load_snark,
+        config::LayerId,
+        utils::read_env_var, 
+    };
+    use integration::test_util::PARAMS_DIR;
+    use itertools::Itertools;
+    use prover::config::AGG_DEGREES;
+
+    let output_dir = init_env_and_log("test_evm_verifer");
+
+    let layer5_snark_path = read_env_var(
+        "LAYER5_SNARK", 
+        "tests/test_data/recursion_snark_layer5.json".to_string());
+    let snark = load_snark(&layer5_snark_path).ok().flatten().unwrap();
+
+    let params_map = prover::common::Prover::load_params_map(
+        PARAMS_DIR,
+        &AGG_DEGREES.iter().copied().collect_vec(),
+    );
+
+    let mut evm_prover = prover::common::Prover::from_params_map(&params_map);
+
+    // enforce general yul
+    std::env::set_var("SCROLL_PROVER_DUMP_YUL", "true");
+    evm_prover.load_or_gen_comp_evm_proof(
+        "0",
+        LayerId::Layer6.id(),
+        true,
+        LayerId::Layer6.degree(),
+        snark,
+        Some(output_dir.as_str()),
+    ).unwrap();
+
+}
+
+#[ignore]
+#[test]
+fn test_evm_verifier_from_bin() {
+    use prover::io::read_all;
+    use revm::{
+        primitives::{CreateScheme, ExecutionResult, Output, TransactTo, TxEnv},
+        InMemoryDB, EVM,
+    };
+
+    let output_dir = init_env_and_log("test_evm_verifer");
+
+    let bytecode = read_all(&format!("{output_dir}/evm_verifier.bin"));
+    log::info!("bytecode len {}", bytecode.len());
+
+    let mut evm = EVM {
+        env: Default::default(),
+        db: Some(InMemoryDB::default()),
+    };
+
+    // only deployment code
+    evm.env.tx = TxEnv {
+        gas_limit: u64::MAX,
+        transact_to: TransactTo::Create(CreateScheme::Create),
+        data: bytecode.into(),
+        ..Default::default()
+    };
+
+    let result = evm.transact_commit().unwrap();
+    let contract = match result {
+        ExecutionResult::Success {
+            output: Output::Create(_, Some(contract)),
+            ..
+        } => contract,
+        ExecutionResult::Revert { gas_used, output } => {
+            panic!(
+                "Contract deployment transaction reverts with gas_used {gas_used} and output {:#x}",
+                output
+            )
+        }
+        ExecutionResult::Halt { reason, gas_used } => panic!(
+                "Contract deployment transaction halts unexpectedly with gas_used {gas_used} and reason {:?}",
+                reason
+            ),
+        _ => unreachable!(),
+    };
+
+    log::info!("contrace done at {}", contract);
+}

release-v0.12.0-rc.2/log.txt

@@ -0,0 +1,6 @@
+2024-10-09T17:28:28.842896987+09:00 INFO prover::utils - git version 6ac8a73
+2024-10-09T17:28:28.842977725+09:00 INFO prover::utils - short git version 6ac8a73
+2024-10-09T17:28:28.843015989+09:00 INFO bundle_tests - bytecode len 14050
+2024-10-09T17:29:21.235315427+09:00 INFO prover::utils - git version 6ac8a73
+2024-10-09T17:29:21.235378942+09:00 INFO prover::utils - short git version 6ac8a73
+2024-10-09T17:29:21.235415210+09:00 INFO bundle_tests - bytecode len 14050

release-v0.12.0-rc.2/proof.json

@@ -0,0 +1 @@
+{"proof":"AAAAAAAAAAAAAAAAAAAAAAAAAAAAcPJrbB7b9prcoIcAAAAAAAAAAAAAAAAAAAAAAAAAAAD/YfZR2ny8U4ryZwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAucw7BMC+NtkGkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAg1unICIOjMiYnwAAAAAAAAAAAAAAAAAAAAAAAAAAADCFK391Xj6NfjxKAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAe8fVv6IP9F5X9AAAAAAAAAAAAAAAAAAAAAAAAAAAAqcW5p0wdBiajv3UAAAAAAAAAAAAAAAAAAAAAAAAAAAAkgeAwZEg+1ZmoWAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAjQfh7Uyj1O455AAAAAAAAAAAAAAAAAAAAAAAAAAAA/ER5DScrFqWVMB0AAAAAAAAAAAAAAAAAAAAAAAAAAAD9kZXml7x5N1HzcAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAXwvtfh+MzOHM/HlUcVzzSmtN3wGyBMI1NMxZ0JgeaU/0C+OwA/GCVmOgtM0fpmAO5FoYQ42CnUadOb0eqCFtl+742UCVL0yurdBWp0mcz/qqmrDwpkNMJO5i52I7zQu6kIXLEXpGsnN8TLz719a4mKqeexZkUXmlRhX6AoIYAoyPWZu/vrlzJpxcg9/jf5QLjXExgkSV1CfhN8M2Az7XMh6FS76Kmflv7bQ297s57d86aVvXm54B1/0B7Zi9EzNYAqljb7jr66hMlLSJL6YH/J7z4Niak9LTdnSiplMEYYr5p8JD2UaVb+1gMr8jO45xs7T7pXbT7GYVrFperY6sFs1J7gsf8cD7aUwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIgY51lf+XmfqbLeUbSHFG3fbxfYnUDPxj6pq7EFAuiGR84jnv5sRWgV03P3S0Q6v6oINgRjbAo6l7m5EpcsTfKHEx7oAxwNp/BWJPv/04CFCoynJa/DFCp9jK3PCUCMy0f83vCQFyXaHGEQWMgcQmy98Gj14MjsFh9NWBXPCy0Hye+deA0QEU0O0LENOh+L2c0uZq3/O9YWTJZZvjFtP2MAD2F3Bd7HRGlbbjuNcIF/QrlP6YxNBb7zF5aBTNpn1YmobjgK3Hbs3vkqhAenNPXwPaWTSm4vAlYeXhjcaXYNhQOslF5etQT0hFaFOTYfSJP1G0KxGjTyQ64lotIM+voF/4FnYsjabtP3mdPnB09fpg9SWXqDj6MqOdk3D83Z6wREog9Pu4DsnlVA41PuIXeZnq6PJ2rs3Li2KIFB6h0ICjuXMRkhD8oWS6TAWidknXd9ojjZuK8k0ijl8w95kFUGi1qZXqEJ6UzqlRZ8nZNJEFw1l/Ke98oZjzhmZVX+b4UOH9LPI48jBezf+jg/Q0ANZwhxWRnCRk+i91IjFjrowMMxMXs0JOAO1sTDV9O+xlau8e3QK1wpwdjr2w/bKq3F6wNQrrdq673yGOjl/5yExiwTS5YCimCxhv+90QcXOYFY9ct/49oSeq1u+cJSu0YNzfuEBPr0lSEwqovUSI2egAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABDJnOcOp0zDGbTe90c2wUR2HNpfhRYLQDmzDSEqs01LIX664q3z25zOhneHF08WqFiqrWlZd51WI0vhqxp+ifggbmHqMaU/7PormoZvLmOlcDNQaaxd86R/s6qjCgZS2bJr5DYz/NBnRtqvIqNesRqAtYPt4fJ+w+oKxe5Ojt9UwcaYCTtr+GzNY+Cihlttx7i7dwaUfGCBsJxRTIdDnNkSstuLsFX7Q7P4PrBUd9elopIWI4aA39RwzTNEH+dCzrAFxXi/7fDzvF6XQyxhMGk72C5B8/L3G+Vfus6AeY0T0new38+0zqkkUJjsQU/YDTtFSkkjzUR+NwgYAcirvVXhPPii06t3cFfTyK7y7nyAeFczLQ/XC/2U9E5ggp3QkNJVvdsI++m76an+kRqzKh6IT+CLC72Pbc+nkj4xe6FT8OsjngfmLlJYSGBjpbEvOpBjAFxqGPjQnVlxU2l2wyKAdtkc2pS8UYfbchTwkVDgqMcBC4B6diEVin8JO6n/DL","instances":"DC/Jv6FU2M4oQb410ghY7RRBL8kgTpx6CM1P6EzN3IwAAAAAAAAAAAAAAAAAAAAACbh945HX8D8xaVb5Wwu4VQAAAAAAAAAAAAAAAAAAAAAdixnfUBy26+DOhrTaA6b+AAAAAAAAAAAAAAAAAAAAAKusra6vAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAN0xWLO0gBsUs2uqCQUO1pAAAAAAAAAAAAAAAAAAAAAMuNDiVwGOKZflHdIwtvk8oAAAAAAAAAAAAAAAAAAAAAy9NYU3DRDYKo9PV9SjzZ9gAAAAAAAAAAAAAAAAAAAACoELAIz1IQyUpJ9uu1sEJFAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIJ08AAAAAAAAAAAAAAAAAAAAAEckAcQL4OooRvytAGv/zxgAAAAAAAAAAAAAAAAAAAAC5yhkTwPB6FsX7d8GjRdAkAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA=","vk":"AAAAGgAAAARX2S0K1wF333B1waOsnG/vcASJmWG9YM6SNWCBy1ywDxnoPtFBGsMvmiTdeauKO4KhNcZWuCRBSZdRZLFa6bYjTxARUwHSe4iZe27PRJ5WWaLqtRV1+x6+pSVKtcPtaV4kE7v2YJRf0582hxiAF0IBaOoREdpyNfA2a9cvhWb2TMaPrUYP9EDQ7CUiW1FQzxbjGc95ua2htscnpU7d9S5stHWzKb7okkCG7bTIL9aG6qTQo2YXW7n3H3Ir47oVJB7IKrUzKGvI5Wmanh2zpZOJ9Qm4/wY24cT7cJz+Ux6wAg==","git_version":"13994f2"}