Pempopularan sains teras tegar: Mengambil zoo sebagai contoh untuk menganalisis prinsip kerja litar zkSync

Pengarang: Haotian

Ramai orang melihat grafik dan teks sains zoo @zkSync yang baru dikeluarkan, yang membuatkan orang ramai keliru, membandingkan zoo dengan litar litar dan menganggap haiwan dengan kemahiran istimewa sebagai "pintu logik" , ambil foto kumpulan gembira haiwan sebagai "bukti". Dengan cara ini, input data ke litar akan melalui satu siri pengiraan yang kompleks tanpa mendedahkan kandungan tertentu, dan bukti akan dihasilkan, melengkapkan proses bukti sifar pengetahuan . Ayuh, izinkan saya cuba mempopularkan sains tegar:

1) Zoo sepadan dengan "litar" sebenarnya adalah gabungan siri kekangan get logik (formula penambahan, penolakan, pendaraban, pembahagian, dsb.), iaitu setara dengan kebolehan semua haiwan Ungkapan tertumpu , ia juga merupakan elemen asas yang membentuk komputer. Oleh itu, "data" yang dihantar ke dalam litar mesti dimasukkan ke dalam pelbagai formula dan pengiraan yang dilakukan.

Dalam rangkaian layer2, data yang disimpan biasanya nilai hash transaksi, maklumat akaun, baki data, dll. Data ini boleh dikira dengan menukarnya kepada formula Sebelum litar boleh melakukan pemprosesan, ia mesti dipastikan bahawa data boleh dirumus. Jika data tidak boleh ditukar terus kepada formula, penukaran pengekodan tambahan diperlukan supaya data mentah boleh diproses dan dikira. Premis pemprosesan data ini adalah untuk memastikan keserasian format data supaya operasi dan pengiraan data dapat dilakukan dengan lancar dalam persekitaran layer2. Oleh itu, pengekodan dan transformasi data yang betul adalah langkah kritikal untuk memastikan sistem berfungsi dengan betul dan keberkesanan pemprosesan data.

Dalam mod zoo, pelbagai haiwan mempunyai simbol khusus yang sepadan dengan pagar logik dalam litar: kotak kayu mewakili nombor yang tidak dipaparkan secara terbuka, iaitu apa yang dipanggil "pembolehubah"; dipaparkan secara terbuka, sebagai "Input terbuka"; dan batu mewakili nombor tak alih tersebut, dianggap "pemalar". Tetapan analogi ini mewujudkan hubungan yang indah antara gerbang logik dan haiwan, menambahkan keseronokan dan imejan visual kepada pemahaman dan pembelajaran litar.

Kuda belang mempunyai keupayaan untuk membandingkan sama ada dua nombor adalah "sama". kurang daripada nombor di sebelah kiri; labah-labah mewakili gerbang berbilang pilihan yang lebih kompleks, jika anda memasukkan 0, pulangan mestilah benar, jika anda memasukkan 1, pulangan adalah palsu, anda juga boleh membiarkan memerang mewakili bahagian, tupai mewakili peratusan, ulat mewakili penambahan, dsb. Haiwan yang berbeza mewakili formula yang berbeza untuk penambahan, penolakan, pendaraban dan pembahagian Haiwan gembira atau sedih mewakili struktur operasi formula.

Banyak haiwan + jenis kotak yang berbeza digabungkan untuk membentuk litar Contohnya: untuk mengira formula 2 x + 3 = Y, x mewakili kotak kayu, Y mewakili batu, 2 kotak kayu, ulat, kuda belang, dll. . datang ke sini Bekerja, dan akhirnya sahkan sama ada formula telah ditetapkan. Ambil perhatian bahawa tidak perlu risau mengapa haiwan yang berbeza mempunyai kebolehan yang berbeza Ini adalah prinsip asas kerja elemen litar dan peraturan asas untuk komputer melakukan pengiraan.

Litar kompleks dibina daripada pelbagai haiwan (pintu logik) dan kotak (peraturan).

3) Andaikan bahawa formula 2x+3 =Y yang baru dimasukkan telah ditubuhkan, yang bersamaan dengan ulat zebra dan haiwan lain sedang gembira, dan kemudian "Bukti" akan dihasilkan untuk formula A watak perlu dapat kenal pasti sama ada Bukti ini tepat. Oleh itu, untuk memastikan kredibiliti bukti, penjaga zoo, pembina litar, mensimulasikan haiwan khas yang dipanggil Zeek boleh melihat sama ada haiwan lain gembira dan setara dengan Verifier dalam sistem layer2.

Zeek Proses memerhati sama ada haiwan itu gembira sebenarnya adalah proses pengesahan sistem Prover Jika mereka semua berpuas hati, pengesahan itu diluluskan barulah Buktinya akan dimuat naik ke rangkaian utama dan akhirnya disahkan. Sudah tentu, beribu-ribu haiwan di zoo menghasilkan sejumlah besar bukti, dan adalah mustahil untuk Zeek melihatnya satu per satu, Zeek juga boleh memerhatikan sama ada status beribu-ribu klon Zeek sendiri dipanggil Bukti Rekursif.

4) Proses mengambil gambar adalah bersamaan dengan proses menghasilkan sijil SNARK atau komitmen KZG, dan negatif yang dicetak adalah bersamaan dengan sijil STARKSNARK itu sendiri Pelawat ke zoo adalah bersamaan dengan transaksi Transaksi yang masuk satu persatu. Hanya foto gembira haiwan akan disiapkan dan dijana Bukti membuktikan bahawa pelawat terakhir mengambil foto dan meninggalkan zoo untuk meninggalkan bukti sebelum ia boleh dirantai dan dimuktamadkan.

Terdapat banyak haiwan di dalam zoo, dan adalah mustahil untuk mereka semua gembira pada masa yang sama dan bekerja mengikut peraturan yang telah ditetapkan Terdapat banyak gerbang logik, dan tidak dapat dielakkan bahawa akan berlaku pemutusan hubungan dan situasi lain. Dengan cara ini, akan terdapat beberapa kesesakan, ketinggalan dan laporan ralat, yang akan mengakibatkan peralihan keadaan tidak sah, Kurang Kekangan dan tidak akan lulus pengesahan akhir.

Atas ialah kandungan terperinci Pempopularan sains teras tegar: Mengambil zoo sebagai contoh untuk menganalisis prinsip kerja litar zkSync. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!