zkmopro/mopro

Binius integration

Offen

#238 geöffnet am 07.09.2024

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Rust (110 Forks)auto 404
Featuregood first issue

Repository-Metriken

Stars
 (238 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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

Acceptance criteria

  • generate_binius_proof, verify_binius_proof works in mopro
  • tests pass

Next steps (optional)

  • mopro cli add the binius adapter

Contributor Guide

Research-Richtung
Studieren Sie die Binius Implementierung und die vorhandenen FFI Muster von mopro (z.B. Halo2 Adapter), um FFI Funktionen für generate binius proof und verify binius proof zu erstellen. Schreiben Sie dann Rust und End to End Tests und dokumentieren Sie die Adaptereinrichtung.
Tech Stack
rust
Domain
backendcryptography
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
RustFFI
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
55