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

lattirust は、格子ベースの ZK/SNARK スキームのプロトタイピングとベンチマークのための Rust ライブラリです。アークワークスと似たニッチを占めているが、格子プリミティブを対象とする。これはラティゴと考えてくださいが、引数システムに向けられています。

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

セキュリティ推定は現在、格子推定器と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 システムのための包括的なベース レイヤーとしての地位を確立しています。ツールとアーキテクチャは、格子ベースの証明システムの実験設計と具体的なインスタンス化に対応しています。

レポ：