zkmopro / mopro

Making client-side proving on mobile simple.

https://zkmopro.org

Apache License 2.0

122 stars 34 forks source link

Binius integration #238

Open vivianjeng opened 1 month ago

vivianjeng commented 1 month ago

Problem

Binius is a high efficient snark proof over binary fields See Vitalik's blog implementation: https://gitlab.com/IrreducibleOSS/binius

Details

create ffi for generate_binius_proof and verify_binius_proof
write down tests for binius proof
- rust test
- e2e test
documentation
- how to add the adapter in a new app. e.g. halo2 adapter

Acceptance criteria

generate_binius_proof, verify_binius_proof works in mopro
tests pass

Next steps (optional)

mopro cli add the binius adapter

chen-yanlong commented 1 month ago

Hi vivian, i think we(me and my teammates) can handle this !