ZK/SNARKs baseados em redes não possuem uma pilha de prototipagem rigorosa. lattirust visa preencher essa lacuna. É uma estrutura modular em Rust para benchmarking de sistemas de argumentos sobre SIS e MLWE. Pense em arkworks para redes, sem atalhos. Vamos desvendar isso.

lattirust é uma biblioteca Rust para prototipagem e benchmarking de esquemas ZK/SNARK baseados em rede. Ocupa um nicho semelhante ao arkworks, mas tem como alvo primitivos reticulados. Pense nisso como lattigo, mas voltado para sistemas de argumentação.

A biblioteca é modular, abrangendo: - lattirust-aritmética: anéis polinomiais, álgebra linear, espaços de desafio - Lattice-estimator: estimativa de segurança concreta - relações: abstrações para relações argumentativas - Labrador, Lova: Implementações de esquemas recentes

A estimativa de segurança é atualmente baseada em reticulado-estimador e PQ-Cristais. Os planos futuros incluem um estimador nativo de Rust em tempo de compilação otimizado para pressupostos do SIS, abordando a lacuna nas ferramentas para dureza específica do argumento.

labrador implementa o esquema LaBRADOR, focado em argumentos amigáveis à rede. lova adiciona técnicas baseadas em dobragem inspiradas nos protocolos Lova ZK, indicando uma exploração contínua em direção à concisão e eficiência sob suposições de rede.

O trabalho futuro inclui aritmética polinomial parametrizada (suportando domínios não-NTT ou NTT parcial) e levantamento de módulo para q ≡ 5 mod 8. O roteiro sugere uma optimização mais profunda para contextos criptográficos com foco em aritmética.

Há integração com nimue e compatibilidade parcial com arkworks, sugerindo uma intenção de interoperabilidade mais ampla do ecossistema. Notavelmente, a rede de Nethermind foi construída sobre um garfo inicial de lattirust.

A equipe está trabalhando ativamente em provas ZK para esquemas de criptografia MLWE e RLWE (KLSS23, Libert24) e operações FHE em tempo constante em Jasmin, visando casos de uso de alta garantia com verificação formal através de hacspec, Jasmin, EasyCrypt e Lean.

No geral, a lattirust está se posicionando como uma camada de base abrangente para sistemas ZK baseados em rede de alta garantia. As ferramentas e a arquitetura atendem ao projeto experimental e à instanciação concreta de sistemas de prova baseados em reticulados.

Repo: