From 9a3259b8a7922e54f1db7dc2b5002a6eba6bcefd Mon Sep 17 00:00:00 2001
From: Jaremy Creechley <creechley@gmail.com>
Date: Fri, 22 Dec 2023 19:47:09 -0700
Subject: [PATCH] add example ffi test

---
 codex_storage_proofs.nim | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/codex_storage_proofs.nim b/codex_storage_proofs.nim
index 2a4d5d2..5660e96 100644
--- a/codex_storage_proofs.nim
+++ b/codex_storage_proofs.nim
@@ -48,8 +48,11 @@ when isMainModule:
   echo "storage_ctx: ", storage_ctx.repr
   assert storage_ctx != nil
 
-  let
+  var
     mpack_arg_path = "test/proof_test.mpack"
-    proofArgs = unsafeBufferFromFile(mpack_arg_path)
-  echo "proofArgs:size: ", proofArgs.len
-  # prove_mpack_ext()
+    proofBuff = unsafeBufferFromFile(mpack_arg_path)
+  echo "proofArgs:size: ", proofBuff.len
+  let res = prove_mpack_ext(storage_ctx, addr proofBuff)
+
+  echo "result: ", res.repr
+