zkmopro/mopro

Binius integration

Ouverte

#238 ouverte le 7 sept. 2024

Voir sur GitHub
 (2 commentaires) (0 réaction) (0 personne assignée)Rust (110 forks)auto 404
Featuregood first issue

Métriques du dépôt

Stars
 (238 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

Description

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

Guide contributeur

Direction de recherche
Étudiez l'implémentation de Binius et les modèles FFI existants de mopro (par exemple, l'adaptateur halo2) pour créer des fonctions FFI pour generate binius proof et verify binius proof. Ensuite, écrivez des tests Rust et de bout en bout, et documentez la configuration de l'adaptateur.
Stack technique
rust
Domaine
backendcryptography
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
RustFFI
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
55