refactor: verifier coordination

Author: fbwoolf

Cargo.lock

@@ -15,7 +15,6 @@ types = { path = "../consensus/types" }
 execution_layer = { path = "../beacon_node/execution_layer" }
 pico-prism-vm = { git = "https://github.com/ethproofs/pico.git", package = "pico-vm", branch = "ethproofs-pico-prism" }
 proofman-verifier = { git = "https://github.com/0xPolygonHermez/pil2-proofman.git", tag = "v0.12.0" }
-zkm-verifier = { git = "https://github.com/ProjectZKM/Ziren", tag = "v1.2.1" }
 sp1-verifier = { git = "https://github.com/succinctlabs/hypercube-verifier.git", branch = "ethproofs_demo" }
 verify-stark = { git = "https://github.com/openvm-org/openvm.git", branch = "feat/v1-verify-stark", package = "verify-stark" }
 bitcode = { version = "0.5", features = ["serde"] }

zkvm_execution_layer/Cargo.toml

@@ -222,8 +222,8 @@ mod tests {
         let prover_id1 = Uuid::new_v4();
         let prover_id2 = Uuid::new_v4();
 
-        let vk1_path = vk_dir.join(format!("brevis_{}.bin", prover_id1));
-        let vk2_path = vk_dir.join(format!("zkm_{}.bin", prover_id2));
+        let vk1_path = vk_dir.join(format!("pico_{}.bin", prover_id1));
+        let vk2_path = vk_dir.join(format!("openvm_{}.bin", prover_id2));
 
         fs::write(&vk1_path, vec![1, 2, 3, 4]).unwrap();
         fs::write(&vk2_path, vec![5, 6, 7, 8, 9]).unwrap();