codex-storage
/
circom-compat-ffi
mirror of https://github.com/codex-storage/circom-compat-ffi.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

test with circom2

This commit is contained in:
Dmitriy Ryajov 2024-01-27 16:21:20 -06:00
parent 8f5491de53
commit a821455ec5
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4
1 changed files with 8 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/ffi.rs
View File

@ -351,16 +351,14 @@ pub unsafe extern "C" fn push_input_u256_array(
.map_err(|_| ERR_INPUT_NAME) .map_err(|_| ERR_INPUT_NAME)
.unwrap(); .unwrap();
let input = {
let slice = std::slice::from_raw_parts(input_ptr, len); let slice = std::slice::from_raw_parts(input_ptr, len);
slice let inputs = slice
.chunks(U256::BYTES) .chunks(U256::BYTES)
.map(|c| U256::try_from_le_slice(c).ok_or(ERR_INVALID_INPUT).unwrap()) .map(|c| U256::try_from_le_slice(c).ok_or(ERR_INVALID_INPUT).unwrap())
.collect::<Vec<U256>>() .collect::<Vec<U256>>();
};
let circom = &mut *to_circom(ctx_ptr); let circom = &mut *to_circom(ctx_ptr);
input inputs
.iter() .iter()
.for_each(|c| (*circom.builder).push_input(name, *c)); .for_each(|c| (*circom.builder).push_input(name, *c));
@ -410,8 +408,8 @@ mod test {
#[test] #[test]
fn proof_verify() { fn proof_verify() {
let r1cs_path = CString::new("./fixtures/mycircuit.r1cs".as_bytes()).unwrap(); let r1cs_path = CString::new("./fixtures/circom2_multiplier2.r1cs".as_bytes()).unwrap();
let wasm_path = CString::new("./fixtures/mycircuit.wasm".as_bytes()).unwrap(); let wasm_path = CString::new("./fixtures/circom2_multiplier2.wasm".as_bytes()).unwrap();
unsafe { unsafe {
let mut cfg_ptr: *mut CircomBn254Cfg = std::ptr::null_mut(); let mut cfg_ptr: *mut CircomBn254Cfg = std::ptr::null_mut();