ZK/SNARK на основі решітки не мають суворого стека прототипування. Lattirust має на меті заповнити цю прогалину. Це модульний фреймворк Rust для порівняльного аналізу систем аргументів над SIS і MLWE. Подумайте про arkworks для решіток, без ярликів. Давайте розпакуємо цей.

lattirust — це бібліотека Rust для прототипування та порівняльного аналізу схем ZK/SNARK на основі решітки. Він займає нішу, схожу на arkworks, але націлений на ґратчасті примітиви. Думайте про це як про lattigo, але орієнтоване на системи аргументів.

Бібліотека є модульною, охоплює: - Арифметика Решітки: поліноміальні кільця, лінійна алгебра, проблемні простори - Решітка-оцінювач: оцінка безпеки бетону - relations: абстракції для аргументних відносин - Лабрадор, Лова: впровадження останніх схем

Оцінка безпеки в даний час базується на оцінці решітки та PQ-кристалах. Плани на майбутнє включають створення нативної оцінки Rust під час компіляції, оптимізованої для припущень SIS, що усуває прогалину в інструментах для твердості конкретних аргументів.

У лабрадорі реалізована схема Лабрадора, орієнтована на аргументи, дружні до решітки. Лова додає техніки на основі згортання, натхненні протоколами Lova ZK, що вказує на триваюче дослідження стислості та ефективності в умовах припущень про решітку.

Подальша робота включає параметризовану поліноміальну арифметику (з підтримкою доменів, що не належать до NTT або часткового NTT) та підйом за модулем для q ≡ 5 mod 8. Дорожня карта натякає на глибшу оптимізацію для криптографічних контекстів з великою кількістю арифметики.

Є інтеграція з nimue та часткова сумісність з arkworks, що свідчить про намір до ширшої сумісності екосистеми. Примітно, що решітка Nethermind була побудована на ранньому розвилці решітки.

Команда активно працює над доказами ZK для схем шифрування MLWE та RLWE (KLSS23, Libert24) та постійними операціями FHE у Jasmin, орієнтуючись на випадки використання з високою впевненістю з формальною перевіркою через hacspec, Jasmin, EasyCrypt та Lean.

В цілому, lattirust позиціонує себе як всеосяжний базовий рівень для систем ZK з високим рівнем надійності на основі решітки. Оснащення та архітектура підходять для експериментального проектування та конкретного втілення систем захисту на основі решітки.

Репо: