search

zkmopro / mopro

Making client-side proving on mobile simple.
https://zkmopro.org
Apache License 2.0
118 stars 32 forks source link

(feat)ffi: Refactored FFI #173

Closed ElusAegis closed 3 months ago

ElusAegis commented 3 months ago

The following was done:

  1. Added a circom feature
  2. Defined a common set of functions that each adapter should implement.
  3. Improved how each adapter is exported by using lib.rs and choosing each adapter at compile time based on features.
  4. Renamed Halo2 proof and verify functions to be commonly named with the circom static version.
  5. Added a test for halo2 ffi side, and added it to the ci as well.
  6. Updated resulting template bindings as well as Halo2 sample swift code.