Featuregood first issue
倉庫指標
- 星標
- (238 顆星)
- PR 合併指標
- (平均合併 1天) (30 天內合併 1 個 PR)
描述
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