Minimal FFI example for C and Nim

multiplier/README.md

@@ -2,3 +2,12 @@
 
 Example wrapper around a basic Circom circuit to test Circom 2 integration
 through ark-circom and FFI.
+
+# FFI
+
+To generate C or Nim bindings from Rust FFI, use `cbindgen` or `nbindgen`:
+
+```
+cbindgen . -o target/multiplier.h
+nbindgen . -o target/multiplier.nim
+```

multiplier/src/ffi.rs

@@ -0,0 +1,10 @@
+// Rust FFI
+
+#[no_mangle]
+pub extern "C" fn foobar() -> bool {
+    true
+}
+
+// prove
+// verify
+// params?

multiplier/src/lib.rs

@@ -0,0 +1 @@
+pub mod ffi;