search

zkmopro / mopro

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

Support additional proof systems #15

Open oskarth opened 10 months ago

oskarth commented 10 months ago

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:

oskarth commented 9 months ago

Experimental Kimchi (used in Mina blockchain, backend for o1js) support here https://github.com/oskarth/mopro/pull/34

oskarth commented 6 months ago

Noir is also relevant

oskarth commented 6 months ago

Holonym VOLE prover for very fast alt proof system that trades off succinctness (good for non-blockchain use cases), used in some ZK Identity solutions: https://github.com/holonym-foundation/vole-zk-prover

YashBit commented 1 month ago

@vivianjeng @oskarth

I am interested in tackling this issue through this grant:

https://github.com/privacy-scaling-explorations/acceleration-program/issues/24

Would this be possible.