ラティスベースのZK/SNARKには、厳密なプロトタイピングスタックがありません。 Lattrustは、このギャップを埋めることを目指しています。 これは、SISおよびMLWE上の引数システムをベンチマークするためのモジュール式のRustフレームワークです。 arkworksは、ショートカットのない格子の場合を考えてみてください。 これを紐解いていきましょう。

lattirust は、格子ベースの ZK/SNARK スキームのプロトタイピングとベンチマークのための Rust ライブラリです。arkworksと同様のニッチを占めていますが、格子プリミティブを対象としています。ラティーゴのようなものですが、議論システムを対象としています。

ライブラリはモジュール式で、以下をカバーしています。 - lattirust-arithmetic: 多項式環、線形代数、チャレンジ空間 - lattice-estimator: 具体的なセキュリティ推定 - relations: 引数リレーションの抽象化 - ラブラドール、ロバ:最近のスキームの実装

現在、セキュリティ推定は格子推定器とPQ結晶に基づいています。将来の計画には、SISの仮定に最適化されたコンパイル時のRustネイティブ推定器が含まれ、引数固有の硬さのためのツールのギャップに対処します。

ラブラドールは、格子に優しい議論に焦点を当てたLaBRADORスキームを実装しています。 lova は、Lova ZK プロトコルに触発されたフォールディングベースの手法を追加し、格子仮定の下での簡潔さと効率性の継続的な探求を示しています。

今後の研究には、パラメータ化された多項式演算(非NTTドメインまたは部分NTTドメインをサポート)とq ≡ 5 mod 8のモジュラスリフティングが含まれます。ロードマップは、算術演算を多用する暗号化コンテキストのより深い最適化を示唆しています。

nimueとの統合とarkworksとの部分的な互換性があり、より広範なエコシステムの相互運用性の意図を示唆しています。特に、ネザーマインドの格子折りは、ラティラストの初期のフォークの上に建てられました。

チームは、MLWEおよびRLWE暗号化スキーム(KLSS23、Libert24)のZKプルーフとJasminのコンスタントタイムFHE運用に積極的に取り組んでおり、hacspec、Jasmin、EasyCrypt、Leanによる正式な検証による高保証のユースケースを対象としています。

全体として、lattirustは、高保証の格子ベースのZKシステムの包括的なベースレイヤーとしての地位を確立しています。ツールとアーキテクチャは、格子ベースの証明システムの実験設計と具体的な具体化に対応しています。

レポ：