Латексные ZK/SNARKs не имеют строгого прототипирования. lattirust стремится заполнить этот пробел. Это модульный фреймворк на Rust для бенчмаркинга аргументных систем на основе SIS и MLWE. Думайте о arkworks для решеток, без обходных путей. Давайте разберем это.

lattirust — это библиотека Rust для прототипирования и бенчмаркинга схем ZK/SNARK на основе решеток. Она занимает нишу, аналогичную arkworks, но ориентирована на примитивы решеток. Рассматривайте это как lattigo, но нацеленное на системы аргументов.

Библиотека модульная и охватывает: - lattirust-arithmetic: полиномиальные кольца, линейная алгебра, пространства задач - lattice-estimator: конкретная оценка безопасности - relations: абстракции для аргументированных отношений - labrador, lova: реализации недавних схем

Оценка безопасности в настоящее время основана на оценщике решеток и PQ-Crystals. В будущих планах - создание оценщика, оптимизированного для предположений SIS, на языке Rust, который будет работать на этапе компиляции, что позволит устранить пробел в инструментах для специфической сложности аргументов.

labrador реализует схему LaBRADOR, сосредоточенную на аргументах, удобных для решеток. lova добавляет техники на основе сворачивания, вдохновленные протоколами Lova ZK, что указывает на продолжающееся исследование краткости и эффективности при предположениях о решетках.

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

Существует интеграция с nimue и частичная совместимость с arkworks, что указывает на намерение обеспечить более широкую совместимость экосистемы. Примечательно, что latticefold от Nethermind был построен на раннем форке lattirust.

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

В целом, lattirust позиционирует себя как комплексный базовый уровень для высоконадежных систем ZK на основе решеток. Инструменты и архитектура ориентированы на экспериментальный дизайн и конкретную реализацию систем доказательства на основе решеток.

Репо: