ZK/SNARK berbasis kisi tidak memiliki tumpukan pembuatan prototipe yang ketat. Lattirust bertujuan untuk mengisi kesenjangan ini. Ini adalah kerangka kerja Rust modular untuk membandingkan sistem argumen melalui SIS dan MLWE. Pikirkan arkworks untuk kisi-kisi, tanpa jalan pintas. Mari kita bongkar yang ini.

lattirust adalah pustaka Rust untuk pembuatan prototipe dan pembandingan skema ZK/SNARK berbasis kisi. Ini menempati ceruk yang mirip dengan arkworks, tetapi menargetkan primitif kisi. Anggap saja sebagai lattigo, tetapi diarahkan pada sistem argumen.

Perpustakaan bersifat modular, meliputi: - lattirust-arithmetic: cincin polinomial, aljabar linier, ruang tantangan - Kisi-estimator: estimasi keamanan beton - Hubungan: abstraksi untuk hubungan argumen - Labrador, Lova: Implementasi Skema Terbaru

Estimasi keamanan saat ini didasarkan pada kisi-estimator dan PQ-Crystals. Rencana masa depan termasuk estimator asli Rust waktu kompilasi yang dioptimalkan untuk asumsi SIS, mengatasi kesenjangan dalam perkakas untuk kekerasan spesifik argumen.

labrador mengimplementasikan skema LaBRADOR, yang berfokus pada argumen ramah kisi. lova menambahkan teknik berbasis lipatan yang terinspirasi oleh protokol Lova ZK, menunjukkan eksplorasi berkelanjutan ke dalam keringkasan dan efisiensi di bawah asumsi kisi.

Pekerjaan di masa depan mencakup aritmatika polinomial berparameter (mendukung domain non-NTT atau parsial-NTT) dan pengangkatan modulus untuk q ≡ 5 mod 8. Peta jalan mengisyaratkan pengoptimalan yang lebih dalam untuk konteks kriptografi yang berat aritmatika.

Ada integrasi dengan nimue dan kompatibilitas parsial dengan arkworks, menunjukkan niat untuk interoperabilitas ekosistem yang lebih luas. Khususnya, kisi-kisi Nethermind dibangun di atas garpu kisi awal kisi-kisi.

Tim secara aktif mengerjakan bukti ZK untuk skema enkripsi MLWE dan RLWE (KLSS23, Libert24) dan operasi FHE konstan di Jasmin, menargetkan kasus penggunaan jaminan tinggi dengan verifikasi formal melalui hacspec, Jasmin, EasyCrypt, dan Lean.

Secara keseluruhan, lattirust memposisikan dirinya sebagai lapisan dasar yang komprehensif untuk sistem ZK berbasis kisi dengan jaminan tinggi. Perkakas dan arsitektur melayani desain eksperimental dan instansiasi konkret dari sistem bukti berbasis kisi.

Repo: