diff --git a/src/ffi.rs b/src/ffi.rs
index 903dc2e..eb7430e 100644
--- a/src/ffi.rs
+++ b/src/ffi.rs
@@ -1,54 +1,288 @@
-use ark_std::rand::rngs::ThreadRng;
+use ruint::aliases::U256;
 
-use crate::storageproofs::StorageProofs;
+use crate::storage_proofs::StorageProofs;
 use std::str;
 
+#[derive(Debug, Clone)]
+#[repr(C)]
+pub struct Buffer {
+    data: *const u8,
+    len: usize,
+}
+
+#[derive(Debug, Clone)]
+#[repr(C)]
+pub struct ProofCtx {
+    proof: Buffer,
+    public_inputs: Buffer,
+}
+
+impl ProofCtx {
+    pub fn new(proof: &[u8], public_inputs: &[u8]) -> Self {
+        Self {
+            proof: Buffer {
+                data: proof.as_ptr(),
+                len: proof.len(),
+            },
+            public_inputs: Buffer {
+                data: public_inputs.as_ptr(),
+                len: public_inputs.len(),
+            },
+        }
+    }
+}
+
 #[no_mangle]
 pub extern "C" fn init(
-    r1cs: *const u8,
-    r1cs_len: usize,
-    wasm: *const u8,
-    wasm_len: usize,
-    zkey: *const u8,
-    zkey_len: usize,
-    rng: &ThreadRng,
+    r1cs: *const &Buffer,
+    wasm: *const &Buffer,
+    zkey: *const &Buffer,
 ) -> *mut StorageProofs {
     let r1cs = unsafe {
-        let slice = std::slice::from_raw_parts(r1cs, r1cs_len);
-        str::from_utf8(slice).unwrap()
+        if r1cs.is_null() {
+            return std::ptr::null_mut();
+        }
+
+        let slice = std::slice::from_raw_parts((*r1cs).data, (*r1cs).len);
+        str::from_utf8(slice).unwrap().to_string()
     };
 
     let wasm = unsafe {
-        let slice = std::slice::from_raw_parts(wasm, wasm_len);
-        str::from_utf8(slice).unwrap()
+        if wasm == std::ptr::null() {
+            return std::ptr::null_mut();
+        }
+
+        let slice = std::slice::from_raw_parts((*wasm).data, (*wasm).len);
+        str::from_utf8(slice).unwrap().to_string()
     };
 
     let zkey = unsafe {
-        let slice = std::slice::from_raw_parts(zkey, zkey_len);
-        str::from_utf8(slice).unwrap()
+        if !zkey.is_null() {
+            let slice = std::slice::from_raw_parts((*zkey).data, (*zkey).len);
+            Some(str::from_utf8(slice).unwrap().to_string())
+        } else {
+            None
+        }
     };
 
-    let rng = unsafe { &mut rng };
-
-    let storage_proofs = Box::into_raw(Box::new(StorageProofs::new(
-        wasm.to_string(),
-        r1cs.to_string(),
-        Some(zkey.to_string()),
-        Some(rng),
-    )));
+    let storage_proofs = Box::into_raw(Box::new(StorageProofs::new(wasm, r1cs, zkey)));
 
     return storage_proofs;
 }
 
-// #[cfg(test)]
-// mod tests {
-//     use super::init;
+#[no_mangle]
+pub extern "C" fn prove(
+    prover_ptr: *mut StorageProofs,
+    chunks: *const Buffer,
+    siblings: *const Buffer,
+    hashes: *const Buffer,
+    path: *const i32,
+    path_len: usize,
+    pubkey: *const Buffer,
+    root: *const Buffer,
+    salt: *const Buffer,
+) -> *mut ProofCtx {
+    let chunks = unsafe {
+        let slice = std::slice::from_raw_parts((*chunks).data, (*chunks).len);
+        slice
+            .chunks(U256::BYTES)
+            .map(|c| U256::try_from_le_slice(c).unwrap())
+            .collect::<Vec<U256>>()
+    };
 
-//     #[test]
-//     fn should_prove() {
-//         let r1cs = "/Users/dryajov/personal/projects/status/codex-zk/test/circuits/artifacts/storer_test.r1cs";
-//         let wasm = "/Users/dryajov/personal/projects/status/codex-zk/test/circuits/artifacts/storer_test_js/storer_test.wasm";
+    let siblings = unsafe {
+        let slice = std::slice::from_raw_parts((*siblings).data, (*siblings).len);
+        slice
+            .chunks(U256::BYTES)
+            .map(|c| U256::try_from_le_slice(c).unwrap())
+            .collect::<Vec<U256>>()
+    };
 
-//         let prover = init(r1cs.as_ptr(), r1cs.len(), wasm.as_ptr(), wasm.len());
-//     }
-// }
+    let hashes = unsafe {
+        let slice = std::slice::from_raw_parts((*hashes).data, (*hashes).len);
+        slice
+            .chunks(U256::BYTES)
+            .map(|c| U256::try_from_le_slice(c).unwrap())
+            .collect::<Vec<U256>>()
+    };
+
+    let path = unsafe {
+        let slice = std::slice::from_raw_parts(path, path_len);
+        slice.to_vec()
+    };
+
+    let pubkey = unsafe {
+        U256::try_from_le_slice(std::slice::from_raw_parts((*pubkey).data, (*pubkey).len)).unwrap()
+    };
+
+    let root = unsafe {
+        U256::try_from_le_slice(std::slice::from_raw_parts((*root).data, (*root).len)).unwrap()
+    };
+
+    let salt = unsafe {
+        U256::try_from_le_slice(std::slice::from_raw_parts((*salt).data, (*salt).len)).unwrap()
+    };
+
+    let proof_bytes = &mut Vec::new();
+    let public_inputs_bytes = &mut Vec::new();
+
+    let mut _prover = unsafe { &mut *prover_ptr };
+    _prover
+        .prove(
+            chunks.as_slice(),
+            siblings.as_slice(),
+            hashes.as_slice(),
+            path.as_slice(),
+            root,
+            salt,
+            proof_bytes,
+            public_inputs_bytes,
+        )
+        .unwrap();
+
+    Box::into_raw(Box::new(ProofCtx::new(proof_bytes, public_inputs_bytes)))
+}
+
+#[no_mangle]
+pub extern "C" fn verify(
+    prover_ptr: *mut StorageProofs,
+    proof: *const Buffer,
+    public_inputs: *const Buffer,
+) -> bool {
+    let proof = unsafe { std::slice::from_raw_parts((*proof).data, (*proof).len) };
+
+    let public_inputs =
+        unsafe { std::slice::from_raw_parts((*public_inputs).data, (*public_inputs).len) };
+
+    let mut _prover = unsafe { &mut *prover_ptr };
+    _prover.verify(proof, public_inputs).is_ok()
+}
+
+#[no_mangle]
+pub extern "C" fn free_prover(prover: *mut StorageProofs) {
+    if prover.is_null() {
+        return;
+    }
+
+    unsafe {
+        Box::from_raw(prover);
+    }
+}
+
+pub extern "C" fn free_proof_ctx(ctx: *mut ProofCtx) {
+    if ctx.is_null() {
+        return;
+    }
+
+    unsafe {
+        Box::from_raw(ctx);
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use ruint::aliases::U256;
+
+    use crate::{
+        circuit_tests::utils::{digest, merkelize},
+        poseidon::hash,
+    };
+
+    use super::{init, prove, Buffer};
+
+    #[test]
+    fn should_prove() {
+        // generate a tuple of (preimages, hash), where preimages is a vector of 256 U256s
+        // and hash is the hash of each vector generated using the digest function
+        let data = (0..4)
+            .map(|_| {
+                let preimages: Vec<U256> = (0..256).map(|_| U256::from(1)).collect();
+                let hash = digest(&preimages, Some(16));
+                (preimages, hash)
+            })
+            .collect::<Vec<(Vec<U256>, U256)>>();
+
+        let chunks: Vec<u8> = data
+            .iter()
+            .map(|c| {
+                c.0.iter()
+                    .map(|c| c.to_le_bytes_vec())
+                    .flatten()
+                    // .cloned()
+                    .collect::<Vec<u8>>()
+            })
+            .flatten()
+            .collect();
+        let hashes: Vec<U256> = data.iter().map(|c| c.1).collect();
+        let path = [0, 1, 2, 3];
+
+        let parent_hash_l = hash(&[hashes[0], hashes[1]]);
+        let parent_hash_r = hash(&[hashes[2], hashes[3]]);
+
+        let sibling_hashes = &[
+            hashes[1],
+            parent_hash_r,
+            hashes[1],
+            parent_hash_r,
+            hashes[3],
+            parent_hash_l,
+            hashes[2],
+            parent_hash_l,
+        ];
+
+        let siblings: Vec<u8> = sibling_hashes
+            .iter()
+            .map(|c| c.to_le_bytes_vec())
+            .flatten()
+            // .cloned()
+            .collect();
+
+        let root = merkelize(hashes.as_slice());
+        let chunks_buff = Buffer {
+            data: chunks.as_ptr() as *const u8,
+            len: chunks.len(),
+        };
+
+        let siblings_buff = Buffer {
+            data: siblings.as_ptr() as *const u8,
+            len: siblings.len(),
+        };
+
+        let hashes_buff = Buffer {
+            data: hashes.as_ptr() as *const u8,
+            len: hashes.len(),
+        };
+
+        let root_bytes: [u8; U256::BYTES] = root.to_le_bytes();
+        let root_buff = Buffer {
+            data: root_bytes.as_ptr() as *const u8,
+            len: U256::BYTES,
+        };
+
+        let r1cs_path = "src/circuit_tests/artifacts/storer-test.r1cs";
+        let wasm_path = "src/circuit_tests/artifacts/storer-test_js/storer-test.wasm";
+
+        let r1cs = &Buffer {
+            data: r1cs_path.as_ptr(),
+            len: r1cs_path.len(),
+        };
+
+        let wasm = &Buffer {
+            data: wasm_path.as_ptr(),
+            len: wasm_path.len(),
+        };
+
+        let prover_ptr = init(&r1cs, &wasm, std::ptr::null());
+        prove(
+            prover_ptr,
+            &chunks_buff as *const Buffer,
+            &siblings_buff as *const Buffer,
+            &hashes_buff as *const Buffer,
+            &path as *const i32,
+            path.len(),
+            &root_buff as *const Buffer, // root
+            &root_buff as *const Buffer, // pubkey
+            &root_buff as *const Buffer, // salt/block hash
+        );
+    }
+}
diff --git a/src/lib.rs b/src/lib.rs
index 898fea0..2a54d9d 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,4 +1,4 @@
 pub mod ffi;
 pub mod poseidon;
-pub mod storageproofs;
+pub mod storage_proofs;
 mod circuit_tests;