Bukti penipuan dan pemikiran implementasi ZK Fraud Proof
bukti penipuan adalah solusi teknis yang banyak digunakan di bidang blockchain, yang pertama kali berasal dari komunitas Ethereum, dan diadopsi oleh Layer2 seperti Arbitrum dan Optimism. Setelah munculnya ekosistem Bitcoin pada tahun 2023, Robin Linus mengusulkan skema BitVM, yang berfokus pada gagasan inti bukti penipuan, memberikan model keamanan baru untuk lapisan kedua Bitcoin atau jembatan.
BitVM telah mengalami beberapa evolusi versi, dari BitVM0 yang awalnya berbasis gerbang logika, hingga BitVM2 yang kemudian berfokus pada ZK Fraud Proof dan sirkuit verifikasi Groth16, jalur teknologinya semakin matang. Beberapa proyek seperti Bitlayer, Citrea, BOB, dan lainnya mengimplementasikan BitVM sebagai dasar teknologinya.
Artikel ini akan mengambil contoh skema bukti penipuan Optimism, menganalisis skema yang berbasis pada mesin virtual MIPS dan bukti penipuan interaktif, serta gagasan utama dari bukti penipuan ZK.
OutputRoot dan StateRoot
Optimism adalah proyek Optimistic Rollup yang terkenal, arsitekturnya terdiri dari sequencer dan kontrak pintar di blockchain Ethereum. Setelah sequencer memproses transaksi, data akan dikirim ke Ethereum. Siapa pun dapat menjalankan klien node Optimism, mengunduh data, dan mengeksekusi transaksi secara lokal, menghitung hash kumpulan status saat ini.
Jika penyusun mengunggah hash kumpulan status yang salah, hasil perhitungan lokal akan berbeda, dan pada saat itu dapat mengajukan keberatan. Optimism menggunakan bidang OutputRoot untuk mencerminkan perubahan status, yang dihitung dari StateRoot dan dua bidang lainnya.
Mesin Virtual MIPS dan Pohon Merkle Memori
Untuk memverifikasi kebenaran OutputRoot di blockchain, tim Optimism telah mengimplementasikan mesin virtual MIPS menggunakan Solidity dan merancang sistem bukti penipuan interaktif. Sistem ini merinci proses pemrosesan transaksi, mengamati opcode MIPS mana yang menyebabkan kesalahan.
Informasi status dari mesin virtual MIPS diorganisasikan dalam struktur pohon Merkle. Dalam bukti penipuan interaktif, perlu untuk menentukan opcode mana yang menyebabkan kesalahan hash status, kemudian mereproduksi status mesin virtual di blockchain dan mengeksekusi opcode tersebut.
Bukti Penipuan Interaktif
Optimism mengembangkan protokol Fault Dispute Game(FDG), yang melibatkan dua peran yaitu penantang dan pembela. Kedua belah pihak perlu membangun GameTree secara lokal dan melalui interaksi berulang untuk mengidentifikasi opcode MIPS yang diperdebatkan.
Bukti penipuan ZK
Bukti penipuan tradisional memiliki masalah seperti interaksi yang kompleks, biaya gas yang tinggi, dan tingkat kesulitan pengembangan yang besar. Untuk itu, Optimism mengusulkan konsep ZK Fraud Proof. Intinya adalah penantang menentukan transaksi yang perlu diputar ulang, penyusun memberi bukti ZK, yang kemudian diverifikasi oleh kontrak Ethereum.
Dibandingkan dengan bukti penipuan interaktif, ZK Fraud Proof menyederhanakan interaksi multi-putaran menjadi satu putaran pembuatan dan verifikasi bukti ZK, menghemat waktu dan biaya. Dibandingkan dengan ZK Rollup, bukti hanya dihasilkan saat ada tantangan, mengurangi biaya komputasi.
Pendekatan ini juga diadopsi oleh BitVM2. BitVM2 menerapkan verifikasi ZK Proof melalui skrip Bitcoin, dan telah menyederhanakan program on-chain. Beberapa proyek seperti Bitlayer, Goat Network, dan lainnya telah mengadopsi solusi ini.
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
11 Suka
Hadiah
11
7
Posting ulang
Bagikan
Komentar
0/400
BugBountyHunter
· 07-22 23:54
Ini lagi teknologi kereta op, tsk tsk.
Lihat AsliBalas0
GateUser-a180694b
· 07-22 23:36
Groth16 skema baru ini memiliki sesuatu yang istimewa
Lihat AsliBalas0
TestnetFreeloader
· 07-22 22:00
Segera akan mendapatkan banyak keuntungan!
Lihat AsliBalas0
GasWastingMaximalist
· 07-20 00:31
dunia kripto juga terlalu ketat, sekelompok orang membuat bukti
Lihat AsliBalas0
LiquidatedTwice
· 07-20 00:29
bukti penipuan main dengan baik, langsung saja润
Lihat AsliBalas0
BridgeTrustFund
· 07-20 00:28
Mengapa bukti penipuan OP ini tidak selesai dibicarakan?
Analisis Implementasi Bukti Penipuan Optimism dan Bukti Penipuan ZK
Bukti penipuan dan pemikiran implementasi ZK Fraud Proof
bukti penipuan adalah solusi teknis yang banyak digunakan di bidang blockchain, yang pertama kali berasal dari komunitas Ethereum, dan diadopsi oleh Layer2 seperti Arbitrum dan Optimism. Setelah munculnya ekosistem Bitcoin pada tahun 2023, Robin Linus mengusulkan skema BitVM, yang berfokus pada gagasan inti bukti penipuan, memberikan model keamanan baru untuk lapisan kedua Bitcoin atau jembatan.
BitVM telah mengalami beberapa evolusi versi, dari BitVM0 yang awalnya berbasis gerbang logika, hingga BitVM2 yang kemudian berfokus pada ZK Fraud Proof dan sirkuit verifikasi Groth16, jalur teknologinya semakin matang. Beberapa proyek seperti Bitlayer, Citrea, BOB, dan lainnya mengimplementasikan BitVM sebagai dasar teknologinya.
Artikel ini akan mengambil contoh skema bukti penipuan Optimism, menganalisis skema yang berbasis pada mesin virtual MIPS dan bukti penipuan interaktif, serta gagasan utama dari bukti penipuan ZK.
OutputRoot dan StateRoot
Optimism adalah proyek Optimistic Rollup yang terkenal, arsitekturnya terdiri dari sequencer dan kontrak pintar di blockchain Ethereum. Setelah sequencer memproses transaksi, data akan dikirim ke Ethereum. Siapa pun dapat menjalankan klien node Optimism, mengunduh data, dan mengeksekusi transaksi secara lokal, menghitung hash kumpulan status saat ini.
Jika penyusun mengunggah hash kumpulan status yang salah, hasil perhitungan lokal akan berbeda, dan pada saat itu dapat mengajukan keberatan. Optimism menggunakan bidang OutputRoot untuk mencerminkan perubahan status, yang dihitung dari StateRoot dan dua bidang lainnya.
Mesin Virtual MIPS dan Pohon Merkle Memori
Untuk memverifikasi kebenaran OutputRoot di blockchain, tim Optimism telah mengimplementasikan mesin virtual MIPS menggunakan Solidity dan merancang sistem bukti penipuan interaktif. Sistem ini merinci proses pemrosesan transaksi, mengamati opcode MIPS mana yang menyebabkan kesalahan.
Informasi status dari mesin virtual MIPS diorganisasikan dalam struktur pohon Merkle. Dalam bukti penipuan interaktif, perlu untuk menentukan opcode mana yang menyebabkan kesalahan hash status, kemudian mereproduksi status mesin virtual di blockchain dan mengeksekusi opcode tersebut.
Bukti Penipuan Interaktif
Optimism mengembangkan protokol Fault Dispute Game(FDG), yang melibatkan dua peran yaitu penantang dan pembela. Kedua belah pihak perlu membangun GameTree secara lokal dan melalui interaksi berulang untuk mengidentifikasi opcode MIPS yang diperdebatkan.
Bukti penipuan ZK
Bukti penipuan tradisional memiliki masalah seperti interaksi yang kompleks, biaya gas yang tinggi, dan tingkat kesulitan pengembangan yang besar. Untuk itu, Optimism mengusulkan konsep ZK Fraud Proof. Intinya adalah penantang menentukan transaksi yang perlu diputar ulang, penyusun memberi bukti ZK, yang kemudian diverifikasi oleh kontrak Ethereum.
Dibandingkan dengan bukti penipuan interaktif, ZK Fraud Proof menyederhanakan interaksi multi-putaran menjadi satu putaran pembuatan dan verifikasi bukti ZK, menghemat waktu dan biaya. Dibandingkan dengan ZK Rollup, bukti hanya dihasilkan saat ada tantangan, mengurangi biaya komputasi.
Pendekatan ini juga diadopsi oleh BitVM2. BitVM2 menerapkan verifikasi ZK Proof melalui skrip Bitcoin, dan telah menyederhanakan program on-chain. Beberapa proyek seperti Bitlayer, Goat Network, dan lainnya telah mengadopsi solusi ini.