ZK/SNARKi oparte na siatkach brakuje rygorystycznego stosu prototypowania. lattirust ma na celu wypełnienie tej luki. To modułowy framework Rust do benchmarkowania systemów argumentacyjnych opartych na SIS i MLWE. Pomyśl o arkworks dla siatek, bez skrótów. Rozpakujmy to.

lattirust to biblioteka Rust do prototypowania i benchmarkingu schematów ZK/SNARK opartych na siatkach. Zajmuje niszę podobną do arkworks, ale koncentruje się na prymitywach siatkowych. Można to porównać do lattigo, ale skierowanego na systemy argumentacyjne.

Biblioteka jest modułowa i obejmuje: - lattirust-arithmetic: pierścienie wielomianowe, algebra liniowa, przestrzenie wyzwań - lattice-estimator: konkretna ocena bezpieczeństwa - relations: abstrakcje dla relacji argumentacyjnych - labrador, lova: implementacje najnowszych schematów

Szacowanie bezpieczeństwa opiera się obecnie na estymatorze kratowym i PQ-Crystals. Plany na przyszłość obejmują estymator natywny w Rust, zoptymalizowany pod kątem założeń SIS, który ma na celu wypełnienie luki w narzędziach dotyczących specyficznej twardości argumentów.

labrador wdraża schemat LaBRADOR, skoncentrowany na argumentach przyjaznych dla krat. lova dodaje techniki oparte na składaniu, inspirowane protokołami Lova ZK, co wskazuje na trwające badania nad zwięzłością i efektywnością w ramach założeń kratowych.

Przyszła praca obejmuje parametryzowaną arytmetykę wielomianową (wspierającą domeny nie-NTT lub częściowe NTT) oraz podnoszenie modułu dla q ≡ 5 mod 8. Plan rozwoju sugeruje głębszą optymalizację dla kontekstów kryptograficznych z dużą ilością obliczeń arytmetycznych.

Istnieje integracja z nimue oraz częściowa kompatybilność z arkworks, co sugeruje zamiar szerszej interoperacyjności ekosystemu. Co ważne, latticefold Nethermind został zbudowany na wczesnym forku lattirust.

Zespół aktywnie pracuje nad dowodami ZK dla schematów szyfrowania MLWE i RLWE (KLSS23, Libert24) oraz operacjami FHE w czasie stałym w Jasmin, koncentrując się na przypadkach użycia o wysokim poziomie pewności z formalną weryfikacją za pomocą hacspec, Jasmin, EasyCrypt i Lean.

Ogólnie rzecz biorąc, lattirust pozycjonuje się jako kompleksowa warstwa bazowa dla systemów ZK opartych na kratkach o wysokiej pewności. Narzędzia i architektura są dostosowane do eksperymentalnego projektowania i konkretnej instancji systemów dowodowych opartych na kratkach.

Repo: