Lompat ke konten
Financial Context Wiki

Slashing

Slashing adalah pengurangan stake yang dapat diserang yang ditentukan oleh protokol setelah kesalahan yang dapat diatribusikan pada validator atau operator. Analisis pelanggaran yang tepat, bukti, basis stake, formula penalti, waktu, delegasi, dan eksposur penarikan alih-alih mengasumsikan setiap tugas yang terlewat atau persentase yang disebutkan memiliki efek yang sama.

Diperbarui

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

Jawaban langsung

Slashing adalah pengurangan stake yang ditetapkan protokol setelah pelanggaran yang dapat diatribusikan kepada validator, operator, atau peserta terikat lainnya. Aturan yang lengkap menentukan pelanggaran yang dapat dikenai slashing, bukti atau penghitung yang membuktikannya, stake yang terekspos, perhitungan penalti, dan periode penerapannya. Slashing dapat disertai penangguhan, penonaktifan, keluar paksa, kehilangan imbalan, atau imbalan pelaporan, tetapi semuanya merupakan transisi status terpisah kecuali protokol mendefinisikannya bersama.

Tidak ada aturan pemotongan universal. Ethereum memotong proposal dan pernyataan yang bertentangan tetapi menangani tugas yang terlewat biasa dan kebocoran inaktivitas secara terpisah. Rantai Cosmos SDK dapat mengonfigurasi pemotongan untuk tanda ganda dan waktu henti. Polkadot membedakan pelanggaran, pemotongan, penonaktifan, dan perubahan reputasi. Layanan restaking dapat menambahkan komitmen yang dapat dipotong lain yang kontrak, set operator, dan jendela penarikannya berbeda dari rantai dasar. Baca aturan aktif untuk jaringan, fork, runtime, atau penyebaran kontrak yang tepat.

Slashing membuktikan predikat protokol, bukan niat jahat. Kunci validator yang diduplikasi, failover split-brain, cadangan yang dipulihkan, perlombaan penandatangan jarak jauh, atau basis data perlindungan pemotongan yang rusak dapat menghasilkan dua tanda tangan yang valid yang bertentangan meskipun operator tidak berniat melakukan serangan. Sebaliknya, uptime yang buruk tidak otomatis dapat dipotong di setiap jaringan, dan pesan yang tidak valid atau terlambat tidak dapat dipotong kecuali memenuhi aturan pelanggaran yang ditentukan.

Jaga konsep-konsep ini terpisah:

  • Hadiah yang terlewat atau hukuman biasa: sebuah tugas tidak hadir, terlambat, atau salah, tetapi tidak ada pelanggaran yang dapat dikenai hukuman yang dibuktikan.
  • Mekanisme tidak aktif: Peningkatan penalti atau perubahan bobot suara selama non-finalitas yang berlangsung lama; kebocoran tidak aktif Ethereum itu sendiri bukan pemotongan.
  • Slashing: sebuah transisi status yang diakui di rantai atau protokol mengurangi taruhan yang terkait dengan pelanggaran yang terbukti.
  • Penahanan, penonaktifan, pengusiran, atau penguburan: Partisipasi ditangguhkan atau dihentikan; tindakan tersebut dapat terjadi dengan atau tanpa pengurangan taruhan tambahan.
  • Sanksi sosial atau kontraktual: Tata kelola , perjanjian layanan, polis asuransi, atau fork yang dikordinasikan memberlakukan konsekuensi di luar fungsi pemotongan dasar otomatis protokol.

Pihak yang mengoperasikan kunci tidak selalu merupakan satu-satunya pihak yang menanggung kerugian. Aturan protokol dan kontrak layanan dapat mengekspos self-stake, delegated stake, nominator stake, alokasi yang di-re-stake, penarikan yang mengantri, atau klaim yang dipool. Asuransi dan penggantian biaya adalah janji kredit terpisah, bukan pembalikan dari peristiwa protokol.

Cara menganalisis slashing

1. Tetapkan set aturan dan titik pengamatan

Catat network, chain ID, fork version yang aktif atau runtime, blok atau epoch, rilis klien/spesifikasi, dan alamat kontrak yang relevan. Pisahkan aturan konsensus dari ketentuan penyedia staking dan antarmuka pengguna. Kuery parameter saat ini dan status finalisasi adalah bukti yang lebih kuat daripada halaman bantuan tanpa tanggal.

2. Tuliskan predikat pelanggaran secara tepat

Sebutkan aturan dalam istilah yang dapat dieksekusi: dua proposal berbeda oleh satu validator untuk slot yang sama, sebuah double vote, sebuah surround vote, sebuah suara tidak valid yang diakui oleh protokol, atau missed > max_missed dalam jendela liveness. Jangan mengganti predikat dengan label seperti “perilaku buruk,” “offline,” atau “serangan.”

3. Validasi atribusi dan bukti

Verifikasi identitas validator atau operator, tanda tangan, signing root, pemisahan domain, konteks fork, tinggi atau epoch, dan umur bukti. Untuk pelanggaran pesan yang bertentangan, pertahankan kedua objek yang ditandatangani. Untuk aturan kelangsungan, reproduksi penghitung dan jendela protokol. Penyertaan bukti dapat terjadi setelah pelanggaran, jadi bedakan infraction time, detection time, dan application time.

4. Identifikasi setiap saldo yang terbuka

Tentukan apakah basisnya adalah effective balance, taruhan yang terikat pada ketinggian pelanggaran, taruhan saat ini, taruhan sendiri, taruhan yang didelegasikan, alokasi slot validator, atau taruhan yang ditugaskan ke operator set. Periksa batas atas, batas bawah, kenaikan pembulatan, denominasi, pemotongan sebelumnya, redelegasi, dan apakah penarikan yang dalam antrean masih dapat dipotong.

5. Reproduksi setiap komponen hukuman

Pecah hasil menjadi initial penalty, correlation penalty, penalti tugas yang berkelanjutan, hadiah yang hilang, efek keluar paksa, dan hadiah pelaporan atau whistleblower. Aturan tetap sederhana dapat menggunakan slash_amount = slashable_stake * slash_fraction; banyak protokol aktif menggunakan fungsi tergantung keadaan sebagai gantinya. Jangan pernah menerapkan persentase utama pada saldo dompet tanpa mengonfirmasi basisnya.

6. Petakan seluruh garis waktu dan pihak yang menanggung kerugian

Pelacakan pelanggaran, penyebaran bukti, inklusi, akuntansi slash, periode penjara atau penonaktifan, jendela banding atau pembatalan, keluar, unbonding, dan penyelesaian penarikan. Kemudian alokasikan kerugian di antara operator, delegator, nominator, pemegang token pool, dan restaker sesuai dengan protokol dan kontrak layanan. Sertakan efek harga token dan likuiditas secara terpisah dari unit yang dibakar.

7. Verifikasi kontrol dan rekonsiliasi kondisi

Tinjau kunci kustodi, eksklusivitas penandatangan, ketahanan slashing protection database, fencing failover, pemulihan cadangan, pemantauan jam dan jaringan, diversitas klien, dan prosedur insiden. Hitung ulang kejadian dari status yang telah final, parameter, bukti, dan delta saldo; rekonsiliasikan dengan label penjelajah, pernyataan penyedia, entri akuntansi, dan setiap pembayaran asuransi tanpa menganggap satu sumber sebagai konklusif.

Contoh yang dikerjakan

Tanda tangan bertentangan gaya Ethereum

Asumsikan validator V menandatangani header blok A dan header berbeda B untuk slot = 8, dengan tanda tangan yang sah di bawah konteks fork yang sama. Pasangan ini memenuhi bentuk proponen-ekvivokasi Ethereum; proposal yang terlewat pada slot 9 tidak memenuhi. Untuk atestasi, misalkan A = (source = 120, target = 125) dan B = (source = 118, target = 127). Karena B mengelilingi A, pasangan ini memiliki bentuk surround-vote. Label saja tidak cukup: data yang sebenarnya ditandatangani, domain, indeks validator, dan pemeriksaan periode yang dapat disalahkan harus memenuhi spesifikasi aktif.

Contoh ini juga menunjukkan mengapa niat bukanlah suatu input. Dua mesin yang menggunakan kunci yang sama dapat membuat bukti. Tangkapan layar yang mengatakan “tanda ganda” tidak bisa; protokol membutuhkan objek yang ditandatangani yang sah dan saling bertentangan.

Perhitungan kerugian saham secara pro-rata

Pertimbangkan sebuah protokol ilustratif dengan token slashable_stake = 12,500 dan slash_fraction = 0.015 yang tetap. Kerugian protokol adalah:

12,500 * 0.015 = 187.5 tokens.

Jika aturan mengenakan biaya semua taruhan pendukung secara pro rata, token 2,500 dari taruhan operator sendiri akan kehilangan 37.5, sementara token 10,000 yang didelegasikan akan kehilangan 150. Jika kontrak layanan mengganti rugi delegator tetapi bukan operator, pembayaran tersebut merupakan piutang dan risiko kredit terpisah. Hal ini tidak mengubah pemotongan di blockchain, dan alokasi ini tidak boleh dipindahkan ke protokol yang melindungi delegator atau menggunakan basis taruhan yang berbeda.

Jendela keaktifan gaya Cosmos

Misalkan sebuah rantai berbasis Cosmos SDK telah menanyakan parameter window = 1,000 dan min_signed = 0.95. Jumlah maksimum kesalahan yang diizinkan adalah:

max_missed = 1,000 - (0.95 * 1,000) = 50.

Jika aturan aktif dipicu ketika missed > max_missed, tepatnya 50 yang terlewat tidak melewati ambang batas, sementara 51 melewatinya. Pecahan slash yang dihasilkan, durasi penahanan, reset penghitung, dan kemampuan untuk bebas dari penahanan berasal dari parameter aktif rantai tersebut dan versi modulnya. Ini adalah contoh rantai yang dikonfigurasi, bukan aturan bukti kepemilikan universal dan bukan perlakuan Ethereum terhadap waktu henti.

Formula pelanggaran yang berkorelasi

Dokumentasi yang ditinjau oleh Polkadot memberikan fraksi ekuivokasi min((3 * x / n)^2, 1), di mana x adalah jumlah pelanggar dan n adalah jumlah validator aktif. Dengan x = 5 dan n = 100:

min((3 * 5 / 100)^2, 1) = 0.0225 = 2.25%.

Diterapkan pada unit 40,000 dari taruhan di slot validator, yaitu 900 unit. Dengan x = 20, formula yang sama menghasilkan 36%, bukan empat kali 2.25%. Ini menunjukkan risiko korelasi; hal ini tidak mengizinkan penggunaan formula itu pada Ethereum, sebuah rantai Cosmos, parachain, atau runtime Polkadot yang berbeda tanpa memverifikasi aturan yang berlaku saat ini.

Risiko dan kegagalan tinjauan

  • Aturan yang salah: rantai lain, cabang, runtime, testnet, atau penyebaran kontrak dapat memiliki pelanggaran dan hukuman yang berbeda.
  • Kebingungan antara pelanggaran dan hukuman: Hadiah yang terlewat, penalti karena tidak aktif, penahanan, penonaktifan, pengusiran, dan pemotongan bukanlah istilah yang dapat dipertukarkan.
  • Parameter yang kadaluarsa: Tata kelola dan pembaruan dapat mengubah jendela, fraksi, batas, penundaan, dan saldo yang dilindungi.
  • Kebingungan domain: Tanda tangan dari konteks garpu atau domain yang berbeda mungkin tidak dapat membentuk bukti yang bisa dihukum.
  • Bukti tidak sah: Bukti yang rusak, duplikat, kadaluwarsa, salah diindeks, atau tidak terautentikasi dapat ditolak.
  • Penemuan tertunda: Bukti dapat muncul setelah pengalihan kembali atau inisiasi keluar, sehingga keadaan pelanggaran dan aplikasi berbeda.
  • Cuplikan taruhan salah: Saldo saat ini mungkin bukan saldo, kekuatan suara, atau taruhan efektif yang digunakan oleh aturan.
  • Amplifikasi korelasi: seorang klien bersama, cloud, penandatangan, atau prosedur dapat mengubah satu kesalahan menjadi hukuman massal yang bergantung pada keadaan.
  • Kunci yang diduplikasi: menyalin keystores dan cadangan aktif secara bersamaan dapat menghasilkan tanda tangan yang bertentangan.
  • Kegagalan penandatangan jarak jauh: Percobaan ulang , kunci yang kadaluarsa, basis data yang tidak konsisten, atau pengakuan yang ambigu dapat menyebabkan penandatanganan ganda.
  • Failover otak-terbelah: dua situs mungkin keduanya percaya bahwa mereka adalah primer kecuali pemulihan gagal dijaga secara kriptografis.
  • Kehilangan basis data perlindungan: memulihkan kunci tanpa riwayat penandatanganan lengkap dapat membuat validator yang tampaknya bersih menjadi tidak aman.
  • Konsentrasi operator: banyak validator di bawah satu plane kontrol berbagi paparan operasional dan korelasi.
  • Delegasi pass-through: Delegator atau nominator mungkin menanggung kerugian yang disebabkan oleh operator yang tidak dapat mereka kendalikan secara langsung.
  • Tumpang tindih restaking: satu aset dapat mendukung beberapa komitmen dengan otoritas pemotongan dan aturan alokasi yang berbeda.
  • Paparan penarikan: pencabutan ikatan atau penarikan yang diantrekan mungkin tetap dapat dipotong untuk pelanggaran sebelumnya atau yang baru dapat ditanggung.
  • Ketidakpastian tata kelola: Banding , periode pembatalan, peningkatan, atau pemulihan sosial dapat mengubah waktu tetapi tidak menjamin solusi.
  • Akuntansi dan pembulatan: Peningkatan saldo-efektif , konversi saham, batas, dan desimal token dapat mengalahkan perkalian saldo dompet.
  • Kesenjangan keteramamatan: Label penjelajah mungkin menghilangkan pasangan bukti, tangkapan parameter, delegasi yang terpengaruh, atau sanksi selanjutnya.
  • Risiko kontrak dan pihak lawan: Janji kolam , penitipan, asuransi, dan penggantian biaya dapat gagal secara independen dari kebenaran konsensus.

Kesalahpahaman umum

Apakah setiap validator offline terkena potongan?

Tidak. Ethereum menerapkan penalti karena tugas yang terlewat dan ketidakaktifan tetapi tidak mengklasifikasikan waktu henti biasa sebagai pelanggaran yang dapat dikenai pemotongan. Rantai Cosmos SDK dapat mengonfigurasi pemotongan waktu henti. Protokol lain mungkin menonaktifkan, menahan, mengurangi hadiah, atau tidak melakukan apa pun. Tanyakan aturan yang tepat alih-alih membuat generalisasi dari satu jaringan.

Apakah pemotongan memerlukan bukti niat jahat?

Biasanya aturan otomatis mengevaluasi pesan yang ditandatangani, bukti, kontra, dan keadaan, bukan motif. Kecelakaan operasional dapat memenuhi predikat yang sama seperti penipuan yang disengaja. Niat mungkin penting untuk tata kelola, asuransi, litigasi, atau kontrak layanan, tetapi tidak untuk transisi status deterministik.

Apakah kerugian maksimum sama dengan persentase slashing yang diumumkan?

Tidak selalu. Persentase tersebut mungkin berlaku untuk stake yang efektif, terikat, dialokasikan, didelegasikan, atau historis; korelasi dan hukuman berkelanjutan dapat menambah kerugian; keluar paksa menyebabkan kehilangan hadiah di masa depan; dan harga token atau diskon staking cair dapat mengubah nilai ekonomi. Sebaliknya, batas maksimum atau saldo yang dilindungi dapat mengurangi basis yang dikenakan biaya.

Apakah memulai keluar langsung mengakhiri paparan slashing?

Tidak ada aturan universal yang mengatakan demikian. Bukti bisa tertunda, unbonding ada sebagian untuk menjaga akuntabilitas, dan beberapa penarikan restaking tetap bisa terkena slash selama berada dalam antrean. Verifikasi waktu terakhir yang bisa terkena slash untuk setiap komitmen, bukan hanya transaksi yang meminta keluar.

Apakah delegasi, asuransi, atau pemulihan sosial menghilangkan risiko pemotongan?

Tidak. Mereka mendistribusikan kembali atau menjanjikan penggantian kerugian berdasarkan aturan tambahan. Perlindungan dapat mengecualikan kesalahan yang terkait, kedaluwarsa, membatasi klaim, bergantung pada tata kelola, atau menimbulkan risiko pihak lawan. Slash protokol tetap menjadi peristiwa terpisah yang harus direkonsiliasi secara independen.

Topik terkait

Sumber

Navigasi

Cari di wiki...