Menggunakan zoo sebagai metafora, mempopularkan sains tegar prinsip kerja litar zkSync

Ramai orang keliru selepas melihat gambar dan teks sains zoo baru @zkSync, membandingkan zoo dengan litar, dan menganggap haiwan dengan kemahiran istimewa sebagai "pintu logik", membuatkan semua haiwan itu gembira "Bukti". Dengan cara ini, input data ke litar akan melalui satu siri pengiraan yang kompleks untuk menjana Bukti tanpa mendedahkan kandungan tertentu, sekali gus melengkapkan proses pembuktian pengetahuan sifar. Ayuh, izinkan saya cuba mempopularkan beberapa sains tegar:

1) Zoo sepadan dengan "litar" sebenarnya adalah pengagregatan siri kekangan get logik (rumus penambahan, penolakan, pendaraban, pembahagian, dll), yang adalah bersamaan 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 ditukar kepada formula matematik untuk pengiraan, tetapi jika ia tidak boleh dirumus secara langsung, transformasi pengekodan lain diperlukan untuk menukar data mentah kepada formula yang boleh dikira. Langkah ini adalah asas untuk litar melakukan pemprosesan dan memastikan data boleh diproses dan digunakan dengan berkesan.

Dalam mod zoo, pelbagai haiwan melambangkan pintu logik dalam litar Contohnya, kotak kayu mewakili nombor yang tidak dipaparkan secara terbuka, dipanggil "pembolehubah"; nombor yang tidak boleh diubah dan dianggap sebagai "malar".

Kuda belang mempunyai keupayaan untuk membandingkan sama ada dua nombor adalah "sama". Jika hasilnya sama, zebra akan gembira; adalah kurang daripada nombor di sebelah kiri; labah-labah mewakili gerbang berbilang pilihan yang lebih kompleks, jika anda memasukkan 0, ia akan kembali benar, jika anda memasukkan 1, ia akan kembali 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 (gerbang 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, yang merupakan pembina litar, mensimulasikan haiwan khas yang dipanggil Zeek boleh melihat sama ada haiwan lain gembira dan setara dengan Verifier dalam sistem layer2.

Proses Zeek 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 penjanaan 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 demi satu. Hanya gambar gembira haiwan akan disiapkan dan dijana Bukti membuktikan bahawa hanya apabila pelawat mengambil gambar dan meninggalkan zoo untuk meninggalkan bukti boleh diletakkan pada rantai dan akhirnya disahkan.

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 Menggunakan zoo sebagai metafora, mempopularkan sains tegar prinsip kerja litar zkSync. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!