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

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

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

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

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 на основе решеток. Инструменты и архитектура подходят для экспериментального проектирования и конкретного воплощения систем доказательства на основе решетки.

Репо: