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 testów porównawczych schematów ZK/SNARK opartych na kratach. Zajmuje niszę podobną do arkworks, ale celuje w prymitywy kratowe. Pomyśl o tym jak o lattigo, ale nastawionym na systemy argumentacji.

Biblioteka jest modułowa i obejmuje: - lattirust-arytmetyka: pierścienie wielomianowe, algebra liniowa, przestrzenie wyzwań - Lattice-Estimator: Konkretne oszacowanie bezpieczeństwa - relacje: abstrakcje dla relacji argumentowych - Labrador, Lova: Wdrożenia najnowszych schematów

Szacowanie bezpieczeństwa opiera się obecnie na estymatorze kratowym i kryształach PQ. Plany na przyszłość obejmują natywny estymator Rust zoptymalizowany pod kątem założeń SIS, wypełniający lukę w narzędziach do pomiaru twardości specyficznej dla 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 i częściowa kompatybilność z arkworks, co sugeruje zamiar szerszej interoperacyjności ekosystemu. Warto zauważyć, że kratownica Nethermind została zbudowana na wczesnym rozwidleniu lattirust.

Zespół aktywnie pracuje nad dowodami ZK dla schematów szyfrowania MLWE i RLWE (KLSS23, Libert24) oraz operacji FHE w stałym czasie w Jasmin, koncentrując się na przypadkach użycia o wysokim poziomie bezpieczeństwa 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 kratach o wysokim poziomie bezpieczeństwa. Oprzyrządowanie i architektura zaspokajają potrzeby projektowania eksperymentalnego i tworzenia konkretnych instancji systemów zabezpieczających opartych na kratach.

Repo: