Lompat ke konten
Financial Context Wiki

Bukti Kesalahan (Fraud Proof)

Panduan yang mempertimbangkan deployment untuk bukti kesalahan optimistis, klaim yang disengketakan, biseksi execution trace, verifikasi satu langkah, clock, bond, ketersediaan data, finalitas penarikan, dan verifikasi operasional.

Diperbarui

Hanya untuk tujuan edukasi; bukan merupakan nasihat investasi atau rekomendasi investasi. Investasi dapat mengakibatkan kerugian.

Jawaban langsung

Bukti kesalahan, yang sering disebut fraud proof, adalah proses protokol untuk menyengketakan klaim optimistis tentang komputasi atau state. Pihak yang mengajukan klaim tidak membuktikan setiap transisi sebelum klaim diterima; sebagai gantinya, challenger yang memenuhi syarat dapat menyajikan trace yang bertentangan dalam clock yang ditentukan, lalu kontrak settlement menyelesaikan perselisihan berdasarkan verifier tertentu. Banyak rancangan interaktif berulang kali mempersempit trace panjang menjadi satu instruksi yang disengketakan dan mengeksekusi kasus dasar itu secara on-chain.

Nama tersebut tidak membuktikan bahwa sistem yang telah di-deploy bersifat permissionless, selalu tersedia, atau aman. Keamanan mengharuskan data derivasi yang tepat tersedia, setidaknya satu challenger yang benar mampu merekonstruksi klaim dan bertindak tepat waktu, akses dan gas settlement chain yang memadai, program pembuktian dan kontrak yang benar, serta tata kelola yang tidak dapat mengabaikan hasil. Klaim yang bertahan dalam gamenya dapat mengizinkan penarikan sesuai aturan deployment tersebut; klaim itu tidak membuktikan secara retroaktif setiap transaksi L2, pernyataan frontend, atau hasil ekonomi.

1
Urutan

Sequencer memesan transaksi L2 dan menerbitkan data transaksi atau komitmen.

Cara kerjanya

  1. Tetapkan deployment: chain ID L1 dan L2, versi rollup dan sistem bukti kesalahan, hash blok, factory, portal atau bridge, program pembuktian, VM, jenis game, implementasi dan alamat admin, model izin, bond, kedalaman maksimum, clock, penundaan maturitas, status pause, dan kebijakan finalitas. Istilah fraud proof bukan spesifikasi lintas-rollup.
  2. Rekonstruksi klaim dari input yang diautentikasi. Catat anchor state, head L1, blok L2 atau output root yang disengketakan, data batch dan blob, konfigurasi chain dan rollup, pre-state, withdrawals root, serta aturan derivasi yang tepat. State root saja tidak cukup untuk mereproduksi transisi, dan data yang tidak tersedia dapat menggagalkan jalur challenge yang secara formal terbuka.
  3. Verifikasi bahwa game telah dibuat dan dapat memengaruhi objek yang dimaksud. Periksa root claim, claimant, blok dan waktu pembuatan, jenis game, status respected atau blacklist, bond, kelayakan challenger, serta aturan penerimaan aktual portal. Bedakan klaim yang masih pending, hasil game, dan output yang siap digunakan untuk penarikan.
  4. Jalankan ulang dengan node independen dan implementasi bukti kesalahan independen. Bandingkan trace yang benar dengan setiap klaim yang disengketakan serta simpan preimage, state witness, dan versi client. Dalam game interaktif, serang atau pertahankan interval yang benar hingga kedalaman maksimum mengidentifikasi satu instruksi; lalu kirim witness kasus dasar kepada verifier VM on-chain.
  5. Pantau clock setiap tim dan setiap transaksi. Catat waktu tersisa, perpanjangan, inklusi L1 dan risiko reorganisasi, calldata, gas, replacement, eksposur bond, klaim paralel, serta siapa yang wajib merespons. Durasi challenge dalam waktu nyata tidak selalu berupa satu hitung mundur tetap, dan hasil yang benar masih dapat kalah akibat melewatkan langkah atau transaksi disensor.
  6. Petakan resolusi terhadap konsekuensi protokol. Tentukan klaim mana yang dipatahkan, tim mana yang menang, bagaimana bond dan biaya dibagikan, apakah output tidak valid dikecualikan, serta apakah output, bukti, atau penarikan yang bergantung padanya harus dibangun ulang. Bond yang disita adalah insentif, bukan kompensasi untuk setiap potensi kerugian bridge.
  7. Rekonsiliasi finalitas dan penarikan secara terpisah. Verifikasi resolusi game, penundaan maturitas bukti dan pascaresolusi yang diwajibkan, jenis game yang respected, pemeriksaan blacklist dan pause, bukti inklusi penarikan, receipt finalisasi, serta finalitas L1. Arsipkan data dan bukti, pantau upgrade, dan latih prosedur challenge, forced inclusion, pembuktian ulang, serta emergency exit.

Contoh terhitung

  • Biseksi trace. Sebuah trace untuk pembelajaran memiliki 1,048,576 = 2^20 instructions. Jika setiap ronde yang tidak disengketakan membagi dua interval sengketa, 20 bisections mengisolasi satu instruksi karena 2^20 / 2^20 = 1. Game nyata dapat memisahkan output trace dan execution trace, bercabang menjadi DAG, atau memerlukan langkah tambahan; karena itu, ini adalah contoh kompleksitas, bukan jumlah ronde suatu deployment.
  • Clock game independen. Sebuah game hipotetis memberi setiap tim 84 hours. Defender menghabiskan 30 hours dan challenger menghabiskan 22 hours, sehingga masing-masing menyisakan 54 hours dan 62 hours. Waktu nyata yang berlalu bukan sekadar 84 hours: hanya clock tim yang sedang berkewajiban yang berjalan, sedangkan perpanjangan yang ditetapkan protokol, keterlambatan inklusi, dan klaim paralel dapat mengubah batas waktu.
  • Ledger bond dan gas. Berdasarkan aturan yang dinyatakan sepenuhnya hipotetis, root tidak valid membawa bond 2 ETH. Challenger pemenang telah menyetor 0.5 ETH, menerima kembali setoran itu ditambah reward 1.4 ETH, dan membayar 0.08 ETH untuk gas L1; 0.6 ETH dari bond pihak kalah masuk treasury. Keuntungan bersih challenger adalah 1.4 - 0.08 = 1.32 ETH; pengembalian 0.5 ETH adalah pokok, bukan laba, dan 1.4 + 0.6 = 2 ETH. Penerima bond dan perlakuan terhadap pihak yang menumpang hasil bergantung pada kontrak.
  • Clock penarikan. Misalkan penarikan dibuktikan pada 2026-08-01 12:00 UTC, penundaan maturitas bukti yang dikonfigurasi adalah 7 days, game terkait selesai pada 2026-08-06 18:00 UTC, dan jeda pascaresolusi adalah 1 day. Kedua syarat berakhir pada 2026-08-08 12:00 UTC dan 2026-08-07 18:00 UTC; waktu paling awal yang memenuhi keduanya adalah 2026-08-08 12:00 UTC. Dengan tambahan kebijakan finalitas L1 selama 20 minutes, penyelesaian ekonomi terjadi pada 2026-08-08 12:20 UTC, dengan asumsi tidak ada pause, blacklist, pembuktian ulang, atau reorganisasi.

Risiko

  • Mengaudit L1, L2, deployment, jenis game, atau versi kontrak yang salah.
  • Merekonstruksi dari anchor dan head L1 yang usang, nonkanonis, atau salah.
  • Kehilangan data batch, blob, preimage, state witness, atau konfigurasi.
  • Menganggap commitment atau input pembuktian yang tersedia berarti semua data derivasi tersedia.
  • Perangkat lunak challenger menurunkan trace benar yang berbeda karena bug client.
  • Bug pada program bukti kesalahan, VM, preimage oracle, atau verifier langkah on-chain.
  • Jalur proposer, challenger, atau pembuatan game yang permissioned tidak tersedia atau dikuasai pihak tertentu.
  • Tidak ada watcher jujur yang mendeteksi dan membuka sengketa sebelum tenggat terkait.
  • Sensor, kemacetan L1, reorganisasi, atau lonjakan gas menghalangi langkah tepat waktu.
  • Salah membaca chess clock, perpanjangan, kedalaman maksimum, atau waktu inklusi transaksi.
  • Menyerang atau mempertahankan klaim, interval trace, posisi, atau instruksi yang salah.
  • Persyaratan bond atau modal kerja membuat partisipasi permissionless tidak praktis.
  • Distribusi bond, perilaku pihak yang menumpang hasil, atau insentif menyimpang dari asumsi keamanan.
  • Beberapa game, klaim duplikat, atau implementasi yang bertentangan diselesaikan secara tak terduga.
  • Tata kelola mengubah jenis game yang respected, verifier, threshold, atau penundaan.
  • Kewenangan guardian untuk pause atau blacklist memblokir penarikan yang semestinya valid.
  • Menganggap resolusi game sebagai finalitas penarikan atau settlement seketika.
  • Membuktikan penarikan terhadap game yang dibatalkan dan tidak membuktikannya kembali.
  • Menganggap penolakan output tidak valid memperbaiki setiap dampak downstream pada aplikasi atau bridge.
  • Mengekstrapolasi model bukti dan finalitas satu optimistic rollup ke sistem lain.

Kesalahpahaman umum

  • Klaim optimistis yang tidak ditantang telah terbukti benar secara kriptografis.
  • Siapa pun dapat menantang setiap sistem yang di-deploy tanpa izin, modal, atau infrastruktur.
  • Bukti kesalahan bekerja meskipun data derivasi tidak tersedia.
  • Memenangkan sengketa langsung memfinalisasi setiap penarikan yang bergantung padanya dan mengganti semua kerugian.
  • Periode challenge tujuh hari, game biner, dan satu watcher jujur adalah konstanta universal rollup.

Topik terkait

Sumber

Navigasi

Cari di wiki...