zkmopro/mopro

Binius integration

Aberta

#238 aberto em 7 de set. de 2024

Ver no GitHub
 (2 comentários) (0 reação) (0 responsável)Rust (110 forks)auto 404
Featuregood first issue

Métricas do repositório

Stars
 (238 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

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

Guia do colaborador

Direção de pesquisa
Estude a implementação do Binius e os padrões FFI existentes do mopro (por exemplo, adaptador halo2) para criar funções FFI para generate binius proof e verify binius proof. Em seguida, escreva testes Rust e de ponta a ponta, e documente a configuração do adaptador.
Pilha de tecnologia
rust
Domain
backendcryptography
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
RustFFI
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
55