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 redes. Ocupa um nicho semelhante ao arkworks, mas foca em primitivos de rede. Pense nisso como lattigo, mas voltado para sistemas de argumentos.

A biblioteca é modular, cobrindo: - lattirust-arithmetic: anéis polinomiais, álgebra linear, espaços de desafio - lattice-estimator: estimativa de segurança concreta - relations: abstrações para relações de argumento - labrador, lova: implementações de esquemas recentes

A estimativa de segurança é atualmente baseada em estimadores de rede e PQ-Crystals. Os planos futuros incluem um estimador nativo em Rust otimizado para suposições SIS, abordando a lacuna nas ferramentas para a dureza específica de argumentos.

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 maior interoperabilidade no ecossistema. Notavelmente, o latticefold da Nethermind foi construído sobre um fork inicial do 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 no Jasmin, visando casos de uso de alta segurança com verificação formal através do hacspec, Jasmin, EasyCrypt e Lean.

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

Repo: