ZK/SNARKs baseados em rede carecem de uma pilha de prototipagem rigorosa. A Lattirust visa preencher essa lacuna. É uma estrutura modular do Rust para comparar sistemas de argumento sobre SIS e MLWE. Pense em arkworks para treliças, sem atalhos. Vamos descompactar este.

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 de treliça. Pense nisso como lattigo, mas voltado para sistemas de argumentos.

A biblioteca é modular, abrangendo: - Aritmética de Lattirust: Anéis Polinomiais, Álgebra Linear, Espaços de Desafio - estimador de rede: estimativa de segurança concreta - relações: abstrações para relações de argumento - Labrador, Lova: Implementações de esquemas recentes

A estimativa de segurança é atualmente baseada no estimador de rede e nos cristais PQ. Os planos futuros incluem um estimador nativo do Rust em tempo de compilação otimizado para suposições 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 dobramento inspiradas nos protocolos Lova ZK, indicando exploração contínua de concisão e eficiência sob suposições de treliça.

Trabalhos futuros incluem aritmética polinomial parametrizada (suportando domínios não-NTT ou NTT parciais) e modulus-lifting para q ≡ 5 mod 8. O roteiro sugere uma otimização mais profunda para contextos criptográficos pesados 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 dobra de rede de Nethermind foi construída em uma bifurcação inicial de lattirust.

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

No geral, a lattirust está se posicionando como uma camada de base abrangente para sistemas ZK baseados em treliça de alta segurança. O ferramental e a arquitetura atendem ao projeto experimental e à instanciação concreta de sistemas de prova baseados em treliça.

Repo: