From aa7750bc4b65301e1f7d1f91e8297816b92fea41 Mon Sep 17 00:00:00 2001
From: Jaremy Creechley <creechley@gmail.com>
Date: Fri, 22 Dec 2023 19:30:24 -0700
Subject: [PATCH] update ffi

---
 build.nims               | 2 +-
 codex_proofs_ffi.nim     | 6 +++---
 codex_storage_proofs.nim | 2 +-
 src/ffi.rs               | 2 +-
 4 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/build.nims b/build.nims
index f866946..d4ff936 100644
--- a/build.nims
+++ b/build.nims
@@ -1,4 +1,4 @@
 
 task genffi, "update the nim ffi bindings":
-    exec "cargo install --force nbindgen"
+    exec "cargo install nbindgen"
     exec "nbindgen --crate codex-storage-proofs --output codex_proofs_ffi.nim"
diff --git a/codex_proofs_ffi.nim b/codex_proofs_ffi.nim
index 04d5835..89cb467 100644
--- a/codex_proofs_ffi.nim
+++ b/codex_proofs_ffi.nim
@@ -26,9 +26,9 @@ proc free_prover*(prover: ptr StorageProofs) {.importc: "free_prover".}
 ## # Safety
 #
 # Construct a StorageProofs object
-proc init_proof_ctx*(r1cs: Buffer,
-                     wasm: Buffer,
-                     zkey: ptr Buffer): (ptr StorageProofs) {.importc: "init_proof_ctx".}
+proc init_storage_proofs*(r1cs: Buffer,
+                          wasm: Buffer,
+                          zkey: ptr Buffer): (ptr StorageProofs) {.importc: "init_storage_proofs".}
 
 ## # Safety
 #
diff --git a/codex_storage_proofs.nim b/codex_storage_proofs.nim
index 8bb8fd5..adbafba 100644
--- a/codex_storage_proofs.nim
+++ b/codex_storage_proofs.nim
@@ -25,4 +25,4 @@ import codex_proofs_ffi
 export codex_proofs_ffi
 
 when isMainModule:
-  init()
+  init_proof_ctx()
diff --git a/src/ffi.rs b/src/ffi.rs
index ddcde18..5c18276 100644
--- a/src/ffi.rs
+++ b/src/ffi.rs
@@ -36,7 +36,7 @@ impl ProofCtx {
 ///
 /// Construct a StorageProofs object
 #[no_mangle]
-pub unsafe extern "C" fn init_proof_ctx(
+pub unsafe extern "C" fn init_storage_proofs(
     r1cs: Buffer,
     wasm: Buffer,
     zkey: *const Buffer,