SNARK pasca-kuantum menjadi transparan. Greyhound oleh @zksecurityXYZ menunjukkan bagaimana 👇

@zksecurityXYZ Greyhound adalah SNARK berbasis kisi transparan. Ini memanfaatkan kisi terstruktur, komitmen Ajtai, dan teknik pembuatan bukti yang efisien.

@zksecurityXYZ Inovasi inti: ganti pengaturan berbasis log diskrit atau pasangan tradisional dengan asumsi kisi, menargetkan keamanan pasca-kuantum sambil mempertahankan keringkasan dan verifikasi.

@zksecurityXYZ Primitif kunci: Komitmen Ajtai. Ini menggunakan kekerasan terburuk dari masalah kisi (misalnya, SIS) untuk mengikat nilai yang dikomitmenkan. Greyhound menerapkannya dalam komitmen polinomial dan sistem proof-of-knowledge-nya.

@zksecurityXYZ Protokol Greyhound beroperasi di atas kisi bilangan bulat. Ini menghindari penyiapan tepercaya melalui parameter yang dipilih secara publik. Keamanan mengikuti dari kekerasan masalah kisi di bawah musuh kuantum, daripada asumsi urutan kelompok.

@zksecurityXYZ Efisiensi: penulis melaporkan "konstruksi yang efisien" untuk pembuktian dan verifikator. Meskipun masih lebih besar daripada SNARK berbasis pasangan, Greyhound menskalakan dengan operasi modular pada vektor/matriks—lebih mudah menerima perangkat keras yang dioptimalkan kisi.

@zksecurityXYZ Performa verifier: konstan atau logaritmik dalam ukuran sirkuit, tergantung pada parameterisasi. Ini bergantung pada prosedur pengambilan sampel dan pemeriksaan karakteristik komitmen kisi—yang dirancang untuk mengurangi interaktivitas dan overhead pembuktian.

@zksecurityXYZ Sudut integrasi: Greyhound dapat beradaptasi dengan rantai perkakas SNARK yang ada melalui penggantian modular skema komitmen. Itu tidak mengamanatkan desain ulang abstraksi sirkuit, membuatnya pragmatis untuk transisi pasca-kuantum.

@zksecurityXYZ Dari sudut pandang kriptografi, ini menunjukkan kelangsungan hidup: pengaturan transparan, asumsi kisi, dan struktur bukti yang efisien. Pertanyaan kunci tetap ada seputar ukuran bukti konkret, pengoptimalan parameter, dan kinerja implementasi dunia nyata.

@zksecurityXYZ Singkatnya, Greyhound adalah SNARK berbasis kisi yang dibangun di atas komitmen Ajtai. Ini mencapai keamanan pasca-kuantum tanpa pengaturan tepercaya, bertujuan untuk ukuran bukti praktis dan efisiensi verifier. Ini menawarkan peta jalan untuk mengintegrasikan kriptografi tahan kuantum ke dalam sistem yang ada.

@zksecurityXYZ Baca posting 👇 blog

@zksecurityXYZ Terbaru dan terhebat di ZK, di sini, setiap bulan👇