logos-blockchain/logos-blockchain-rust-rapidsnark
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-rust-rapidsnark.git synced 2026-06-07 11:49:32 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: fix pointer handling

Browse Source
This commit is contained in:
Ya-wen, Jeng 2025-01-31 17:30:27 +08:00
parent 0866536dcd
commit a7b1aca591
1 changed files with 17 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
src/lib.rs
View File

@ -140,13 +140,17 @@ pub fn groth16_prover_zkey_file_wrapper(
/// Wrapper for `groth16_verify`
pub fn groth16_verify_wrapper(proof: &str, inputs: &str, verification_key: &str) -> Result<bool> {
let proof_cstr = std::ffi::CString::new(proof).unwrap();
let inputs_cstr = std::ffi::CString::new(inputs).unwrap();
let verification_key_cstr = std::ffi::CString::new(verification_key).unwrap();
let mut error_msg = vec![0u8; 256]; // Error message buffer
let error_msg_ptr = error_msg.as_mut_ptr() as *mut std::ffi::c_char;
unsafe {
let result = groth16_verify(
proof.as_ptr() as *const std::ffi::c_char,
inputs.as_ptr() as *const std::ffi::c_char,
verification_key.as_ptr() as *const std::ffi::c_char,
proof_cstr.as_ptr() as *const std::ffi::c_char,
inputs_cstr.as_ptr() as *const std::ffi::c_char,
verification_key_cstr.as_ptr() as *const std::ffi::c_char,
error_msg_ptr,
error_msg.len() as u64,
);
@ -239,7 +243,11 @@ mod tests {
let proof_result = super::groth16_prover_zkey_file_wrapper(&zkey_path, wtns_buffer)?;
let vkey = std::fs::read_to_string("./test-vectors/multiplier2.vkey.json")?;
let valid = super::groth16_verify_wrapper(&proof_result.proof, &proof_result.public_signals, &vkey)?;
let valid = super::groth16_verify_wrapper(
&proof_result.proof,
&proof_result.public_signals,
&vkey,
)?;
assert!(valid);
Ok(())
}
@ -265,7 +273,11 @@ mod tests {
let proof_result = super::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 = super::groth16_verify_wrapper(&proof_result.proof, &proof_result.public_signals, &vkey)?;
let valid = super::groth16_verify_wrapper(
&proof_result.proof,
&proof_result.public_signals,
&vkey,
)?;
assert!(valid);
Ok(())
}