From 59f134d2e892f721cf4c67b629bcceb6fdb7a93d Mon Sep 17 00:00:00 2001 From: "Ya-wen, Jeng" Date: Thu, 6 Mar 2025 11:32:22 +0800 Subject: [PATCH] fix: fix format zkey --- crates/src/lib.rs | 3 ++- tests/src/lib.rs | 8 ++++---- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/crates/src/lib.rs b/crates/src/lib.rs index b89527f..8a45620 100644 --- a/crates/src/lib.rs +++ b/crates/src/lib.rs @@ -116,6 +116,7 @@ pub fn groth16_prover_zkey_file_wrapper( zkey_path: &str, wtns_buffer: Vec, ) -> Result { + let formatted_zkey_path: &str = &zkey_path.to_string(); let wtns_size = wtns_buffer.len() as u64; let mut proof_buffer = vec![0u8; 4 * 1024 * 1024]; // Adjust size as needed @@ -131,7 +132,7 @@ pub fn groth16_prover_zkey_file_wrapper( unsafe { let result = groth16_prover_zkey_file( - zkey_path.as_ptr() as *const std::ffi::c_char, + formatted_zkey_path.as_ptr() as *const std::ffi::c_char, wtns_buffer.as_ptr() as *const std::os::raw::c_void, // Witness buffer wtns_size, proof_ptr, diff --git a/tests/src/lib.rs b/tests/src/lib.rs index 5cdf40f..c416c76 100644 --- a/tests/src/lib.rs +++ b/tests/src/lib.rs @@ -56,7 +56,7 @@ mod tests { #[test] fn test_prove_rapidsnark() -> Result<()> { // Create a new MoproCircom instance - let zkey_path = "./test-vectors/multiplier2_final.zkey".to_string(); + let zkey_path = "./test-vectors/multiplier2_final.zkey"; let mut inputs = HashMap::new(); let a = BigInt::from_str( @@ -72,7 +72,7 @@ mod tests { // Generate Proof let proof_result = - rust_rapidsnark::groth16_prover_zkey_file_wrapper(&zkey_path, wtns_buffer)?; + rust_rapidsnark::groth16_prover_zkey_file_wrapper(zkey_path, wtns_buffer)?; let vkey = std::fs::read_to_string("./test-vectors/multiplier2.vkey.json")?; let valid = rust_rapidsnark::groth16_verify_wrapper( @@ -87,7 +87,7 @@ mod tests { #[test] fn test_prove_rapidsnark_keccak() -> Result<()> { // Create a new MoproCircom instance - let zkey_path = "./test-vectors/keccak256_256_test_final.zkey".to_string(); + let zkey_path = "./test-vectors/keccak256_256_test_final.zkey"; // Prepare inputs let input_vec = vec![ 116, 101, 115, 116, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, @@ -103,7 +103,7 @@ mod tests { // Generate Proof let proof_result = - rust_rapidsnark::groth16_prover_zkey_file_wrapper(&zkey_path, wtns_buffer)?; + rust_rapidsnark::groth16_prover_zkey_file_wrapper(zkey_path, wtns_buffer)?; let vkey = std::fs::read_to_string("./test-vectors/keccak256_256_test.vkey.json")?; let valid = rust_rapidsnark::groth16_verify_wrapper(