zerokit/multiplier
Oskar Thoren ac4056b3de
Verify fn and deserialize proof
2022-01-20 12:51:12 +08:00
..
resources Add Circom 2 example circuits 2022-01-17 12:34:02 +08:00
src Verify fn and deserialize proof 2022-01-20 12:51:12 +08:00
Cargo.toml Serialize proof 2022-01-19 13:09:38 +08:00
README.md Minimal FFI example for C and Nim 2022-01-18 11:19:17 +08:00

README.md

Multiplier example

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