Featuregood first issue
Repository metrics
- Stars
- (238 個のスター)
- PR merge metrics
- (PR metrics pending)
説明
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_proofandverify_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_proofworks in mopro- tests pass
Next steps (optional)
- mopro cli add the
biniusadapter