ZK/SNARK bazate pe rețele nu au o stivă riguroasă de prototipare. Lattirust își propune să umple acest gol. Este un cadru modular Rust pentru benchmarking sisteme de argumente pe SIS și MLWE. Gândiți-vă la arcade pentru zăbrele, fără scurtături. Să-l despachetăm pe acesta.

lattirust este o bibliotecă Rust pentru prototiparea și benchmarking-ul schemelor ZK/SNARK bazate pe rețele. Ocupă o nișă similară cu arkworks, dar vizează primitivele cu rețele. Gândiți-vă la asta ca la lattigo, dar orientat spre sisteme de argumente.

Biblioteca este modulară, acoperind: - Lattirust-aritmetică: inele polinomiale, algebră liniară, spații de provocare - Lattice-estimator: estimarea securității concrete - relații: abstracții pentru relații argumentale - Labrador, Lova: Implementări ale schemelor recente

Estimarea securității se bazează în prezent pe lattice-estimator și PQ-Crystals. Planurile de viitor includ un estimator nativ Rust optimizat pentru ipotezele SIS, abordând decalajul în unelte pentru duritatea specifică argumentului.

labrador implementează schema LaBRADOR, axată pe argumente prietenoase cu rețelele. lova adaugă tehnici bazate pe pliere inspirate de protocoalele Lova ZK, indicând explorarea continuă a conciziei și eficienței sub ipoteze de rețea.

Lucrările viitoare includ aritmetica polinomială parametrizată (care susține domenii non-NTT sau parțial-NTT) și ridicarea modulului pentru q ≡ 5 mod 8. Foaia de parcurs sugerează o optimizare mai profundă pentru contexte criptografice cu aritmetică grea.

Există integrare cu nimue și compatibilitate parțială cu arkworks, sugerând o intenție de interoperabilitate mai largă a ecosistemului. În special, latticefold al lui Nethermind a fost construit pe o bifurcație timpurie de lattirust.

Echipa lucrează activ la dovezi ZK pentru schemele de criptare MLWE și RLWE (KLSS23, Libert24) și operațiuni FHE în timp constant în Jasmin, vizând cazuri de utilizare de înaltă asigurare cu verificare formală prin hacspec, Jasmin, EasyCrypt și Lean.

În general, lattirust se poziționează ca un strat de bază cuprinzător pentru sistemele ZK de înaltă asigurare, bazate pe zăbrele. Uneltele și arhitectura se adresează proiectării experimentale și instanțierii concrete a sistemelor de dovadă bazate pe rețele.

Repo: