DApp Store | Pusat Web3 untuk Event & Game

[Apakah bukti penipuan ZK sempurna?] Penelitian yang bagus dari @GCdePaula_ - mari selami keamanan protokol bukti penipuan ZK saat ini.

Pertama-tama, bahkan jika bukti penipuan ZK digunakan, periode tantangan tidak dapat dipersingkat. Ini karena bukti penipuan ZK tidak menyelesaikan serangan sensor yang kuat. Dengan kata lain, logikanya adalah bahwa hanya mengirim transaksi sekali saja tidak cukup untuk mengurangi periode tantangan.

Selain itu, mekanisme saat ini seperti permainan sengketa berbasis bukti penipuan ZK sederhana OP Kailua tidak dapat menghentikan serangan kelelahan. Skenario serangan di OP Kailua bisa terlihat seperti ini:

1. Penyerang terus memposting akar status yang tidak valid ke OP Kailua. Sebelum memposting, penyerang menghitung bukti ZK sebelumnya yang akan membantah akar status tidak valid mereka sendiri. 2. Pembela yang jujur merespons dengan membuat bukti ZK untuk menantang akar status yang tidak valid.

3. Saat pembela masih menghasilkan bukti ZK, penyerang mengirimkan bukti ZK yang telah dihitung sebelumnya untuk membantah akar status mereka sendiri dan mengakhiri permainan sengketa. Bek kehilangan sumber daya yang dihabiskan untuk menghasilkan bukti ZK mereka.

4. Di OP Kailua, obligasi pihak yang kalah dibayarkan kepada pemenang. Karena penyerang telah membantah diri mereka sendiri, mereka tidak kehilangan ikatan apa pun.

Di sini, penyerang menghabiskan biaya pembuatan bukti ZK + biaya verifikasi, sedangkan pembela menanggung biaya pembuatan bukti ZK.

Jika penyerang memiliki modal lebih dari pembela setidaknya N kali biaya verifikasi bukti, penyerang dapat mengulangi siklus ini sampai pembela kehabisan dana. Pada saat itu, penyerang dapat memposting root status berbahaya dan menguras semua aset dari rollup.

Ini secara efektif menggambarkan bahwa protokol bukti penipuan ZK memerlukan pertimbangan keamanan yang lebih bernuansa daripada yang mungkin diasumsikan. Mencapai keamanan yang lebih kuat akan membutuhkan langkah-langkah desain tambahan.

Bukti penipuan ZK sudah diadopsi oleh roll live seperti BOB, dan merupakan mekanisme inti yang direncanakan untuk diintegrasikan oleh L2 generasi berikutnya seperti MegaETH. Dengan mengejar standar keamanan yang lebih tinggi, kami dapat memberikan produk yang jauh lebih kuat dan siap produksi.