Binius integration

[vivianjeng]

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