Enable proof verification test in wasm

Author: sebastiencs

ledger/src/proofs/transaction.rs

@@ -4271,7 +4271,7 @@ pub(super) mod tests {
     //     std::fs::read(path)
     // }
     // #[cfg(target_family = "wasm")]
-    fn fetch_file(filename: &str) -> std::io::Result<Vec<u8>> {
+    pub fn fetch_file(filename: &str) -> std::io::Result<Vec<u8>> {
         use crate::proofs::circuit_blobs::CIRCUIT_BLOBS;
         use std::io::Read;
 

ledger/src/proofs/verification.rs

@@ -872,16 +872,14 @@ mod tests {
     #[cfg(target_family = "wasm")]
     use wasm_bindgen_test::wasm_bindgen_test as test;
 
-    use std::path::Path;
-
     use mina_hasher::Fp;
     use mina_p2p_messages::{binprot::BinProtRead, v2};
 
-    use crate::proofs::{provers::devnet_circuit_directory, transaction::tests::panic_in_ci};
+    use crate::proofs::transaction::tests::{fetch_file, panic_in_ci};
 
     use super::*;
 
-    // #[test]
+    #[test]
     fn test_verify_zkapp() {
         use mina_p2p_messages::binprot;
         use mina_p2p_messages::binprot::macros::{BinProtRead, BinProtWrite};
@@ -893,10 +891,6 @@ mod tests {
             proof: v2::PicklesProofProofsVerified2ReprStableV2,
         }
 
-        let base_dir = Path::new(env!("CARGO_MANIFEST_DIR"))
-            .join(devnet_circuit_directory())
-            .join("tests");
-
         let cases = [
             "verify_zapp_4af39d1e141859c964fe32b4e80537d3bd8c32d75e2754c0b869738006d25251_0.binprot",
             "verify_zapp_dc518dc7e0859ea6ffa0cd42637cdcc9c79ab369dfb7ff44c8a89b1219f98728_0.binprot",
@@ -905,7 +899,7 @@ mod tests {
         ];
 
         for filename in cases {
-            let Ok(file) = std::fs::read(base_dir.join(filename)) else {
+            let Ok(file) = fetch_file(filename) else {
                 panic_in_ci();
                 return;
             };