Seorang pemain SNARK sebenarnya mengumumkan bahwa dia mengikuti STARK? Era STARK dengan @zksync akan segera hadir @Starknet gemetar!
Jadi, apa versi baru Boojum dari peningkatan zkSync? Mengapa zkSync mengumumkan peningkatan Stark begitu cepat? Apa perbedaan mendasar antara snark dan stark? Apa dampak peningkatan ini terhadap pasar L2?
Dari segi diskusi teknis, mari cepat berkomentar dan berdiskusi. 1/5
Sederhananya, Boojum adalah versi transisi zkSync dari sistem bukti SNARK ke STARK.
Ini berarti bahwa untuk waktu yang lama, sistem sertifikasi Prover zkSync akan memiliki kemampuan antarmuka Stark. Sebagian besar kebutuhan arus utama masih akan menggunakan sertifikasi matang SNARK, terutama yang berada di lingkungan multi-rantai zk Stack, harus menggunakan zk sistem sertifikasi. Hal ini dapat dicapai dengan menghubungkan ke boojum. 2/5
Poin kunci dalam lingkaran ini adalah bahwa Boojum adalah pilihan yang tak terhindarkan bagi zkSync untuk menerapkan strategi multi-rantai zk Stack.
Dibandingkan dengan STARK, metode bukti SNARK mengandalkan verifikasi rekursif, yang cocok untuk bukti pengurangan zk berdasarkan kunci publik yang sama dalam sistem yang sama, sedangkan bukti STARK dapat didasarkan pada metode verifikasi non-interaktif, sehingga memungkinkan implementasi non-rekursif yang kompleks di verifikasi keadaan lintas rantai. 3/5
Inilah perbedaan inti antara dua sistem pembuktian SNARK dan STARK.
Dibandingkan dengan metode verifikasi SNARK berdasarkan asumsi matematis, proses pembuktian STARK mengandung sejumlah besar informasi redundan, sehingga sumber daya algoritme komputasi relatif tinggi dan kecepatannya juga tinggi.
Oleh karena itu, rantai utama zkSync akan menggunakan SNARK sebagai sistem sertifikasi utama di masa depan, dan STARK hanyalah perpanjangan dari strategi multi-rantainya. 4/5
Hal ini sejalan dengan semangat pengembangan zkSync yang ringan dan efisien.
Oleh karena itu, Boojum zkSync tidak memiliki dimensi strategis yang sama dengan Starknet, tetapi akan menimbulkan ancaman tertentu bagi yang lain seperti Op Stark, orbit Arbitrum, dan poligon2.0.
Anda harus tahu bahwa transisi zkSync ke STARK setara dengan mengakui kekurangan teknis SNARK dan menggunakan kartu truf produk pesaing untuk menembus batasnya sendiri. Pola dan ambisi gelombang pemain L2 ini benar-benar satu demi satu. 5/5