STARK vs. SNARK dan Ancaman Kuantum Terkenal, STARK aman pasca-kuantum tetapi STARK rusak oleh komputer kuantum. Mengapa? Saya mengacu di sini pada kurva elips SNARK, jenis yang sebagian besar dari Anda kenal (seperti Groth16). SNARK menggunakan rahasia "kunci pembuktian" untuk memungkinkan pembuktian menjawab pertanyaan tertentu. Cara rahasia dibuat adalah dengan mengulangi berkali-kali operasi matematika tertentu. Analogi yang baik adalah Anda mulai dengan kubus Rubik dan melakukan operasi tertentu (katakanlah, memutar satu sisinya + memutar kubus di tangan Anda). Kemudian, Anda mengulanginya berkali-kali, satu juta miliar juta juta berkali-kali. Berapa kali Anda melakukan operasi itu - itulah rahasianya. Kemudian, Anda menyajikan kubus Rubik yang kacau untuk dilihat seluruh dunia. Sekarang, jika Anda dapat melihat kubus dan menjawab berapa kali operasi dilakukan untuk mencapai keadaan saat ini, Anda merusak SNARK. Salah satu cara untuk melakukannya adalah mengambil kubus Rubik dan mulailah mengotak-atiknya, menghitung berapa kali Anda melakukan operasi sampai Anda mencapai konfigurasi yang diposting secara publik. Tapi itu membutuhkan banyak waktu (satu juta miliar juta langkah). Aha, tapi komputer kuantum adalah komputer yang sangat pintar yang dapat melihat kubus dan memuntahkan angka: 112.302.305.166 kali misalnya. Dan dengan jawaban ini, SNARK rusak. Oke, bagaimana dengan STARK? Dalam hal ini, untuk memecahkan STARK Anda harus "memecahkan hash". Hash bekerja seperti ini: Anda mengambil kubus Rubik, melakukan salah satu operasi itu. Kemudian Anda menulis pola di atas kertas, melipatnya, memotongnya, memutasi kotak dengan cara yang gila, dan mempostingnya di kubus Rubik baru. Kemudian Anda melakukan operasi lain pada kubus Rubik, dan kemudian kembali pindah ke kertas. Dan seterusnya dan seterusnya. Poin pentingnya adalah ini: Alih-alih hanya melakukan satu jenis operasi (secara matematis, "operasi kelompok") dalam kasus SNARK, dengan STARK Anda mencampur sejumlah besar operasi yang sangat berbeda, yang tidak memiliki koneksi dan struktur. Dan pencampuran ini, dari banyak hal, adalah apa yang membingungkan komputer, baik klasik maupun kuantum, dan menyelamatkan hari. AKHIR.