mopro icon indicating copy to clipboard operation
mopro copied to clipboard

Published 20 hours ago • verified publisher icon zkmopro

Support additional proof systems

Open oskarth opened this issue 1 year ago • 4 comments

This issue is a stub and will be filled in with more detail.

We want to support additional proof systems outside of just Circom/Groth16. This can easily be added to mopro-core: https://github.com/oskarth/mopro/tree/main/mopro-core/src/middleware

Interesting candidates:

  1. Halo2 (existing developers, Rust lib easy to integrate)
  2. Spartan (modern, good for mobile memory/GPU)
  3. Nova/Folding schemes (modern, good for mobile memory/GPU)

Notes:

  • For Nova/Folding Nova Scotia requires upstream work to get rid of binary shell out (not allowed on e.g. iOS)
  • Once github.com/privacy-scaling-explorations/folding-schemes/ is more mature makes sense to integrate this

oskarth avatar Oct 28 '23 03:10 oskarth