Circomkit FFI

This repository contains an all-in-one adapter for several backends, mainly to be used by existing Javascript code via FFI. Its features:

• Provers:
  • Lambdaworks Circom Groth16 (BLS12-381) Adapter
  • Arkworks Circom Groth16 (BN254) Adapter
• Witness Calculators:
  • Iden3 Circom Witnesscalc
  • Witnesscalc Adapter
  • Rust-Witness
• SnarkJS Compatiblity
  • JSON proof export
  • JSON public signal export

Installation

TODO:

maybe we do feature-gating and have a separate library for each backend? or just a single backend for all

Usage

TODO:

Acknowledgements

This project is kindly supported by Soulforge zkBankai grant, with the application here.

Some helpful resources for this project on FFI usage were:

• https://jakegoulding.com/rust-ffi-omnibus/string_return/
• https://jakegoulding.com/rust-ffi-omnibus/string_arguments/
• https://bun.sh/docs/api/ffi
• https://tokio.rs/tokio/topics/bridging