add nim ffi and genffi build task

This commit is contained in:
Jaremy Creechley 2023-12-22 19:07:51 -07:00
parent 446066718b
commit fb32a7217e
No known key found for this signature in database
GPG Key ID: 4E66FB67B21D3300
2 changed files with 4 additions and 4 deletions

View File

@ -25,4 +25,4 @@ import codex_proofs_ffi
export codex_proofs_ffi
when isMainModule:
init()

View File

@ -37,9 +37,9 @@ impl ProofCtx {
/// Construct a StorageProofs object
#[no_mangle]
pub unsafe extern "C" fn init(
r1cs: *const &Buffer,
wasm: *const &Buffer,
zkey: *const &Buffer,
r1cs: const Buffer,
wasm: const Buffer,
zkey: const Buffer,
) -> *mut StorageProofs {
let r1cs = {
if r1cs.is_null() {