zkmopro/mopro

Binius integration

Aperta

#238 aperta il 7 set 2024

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)Rust (110 fork)auto 404
Featuregood first issue

Metriche repository

Star
 (238 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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

Guida contributor

Direzione di ricerca
Studiare l'implementazione di Binius e gli schemi FFI esistenti di mopro (es. adattatore halo2) per creare funzioni FFI per generate binius proof e verify binius proof. Quindi scrivere test Rust e end to end, e documentare la configurazione dell'adattatore.
Tech stack
rust
Dominio
backendcryptography
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
RustFFI
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
55