Hari pertama setelah merger: revisi cepat dari desain PoS Ethereum

Sumber: @ stonecoldpat0

Oleh Patrick McCorry

konsumsi energi

Konsum energi kombinasi akan dikurangi dengan 99,8%. Setelah semua keraguan yang masuk akal dihapus, dapat dikatakan bahwa penggunaan/operasi Ethereum tidak akan memiliki dampak pada lingkungan. Tidak, tidak, tidak sama sekali. Ini mengurangi masalah meyakinkan para pemula untuk mencoba, mengadopsi dan menggunakan kriptocurrencies.

Skalabilitas

Transformasi PoS tidak akan mempengaruhi skalabilitas. PoW dan PoS adalah mekanisme konsensus melawan serangan penyihir. Tujuannya adalah membatasi orang-orang yang dapat berpartisipasi dalam proses generasi blok. Hal ini hanya akan menemukan peserta yang berbagi risiko dan karena itu bertindak rasional.

Twitter yang dipetik: https://twitter.com/el33th4xor/status/1006931658338177024

Slot, epok dan komite

Sebuah epok memiliki 32 slot. Pada suatu epok, seluruh set verifier akan menjadi rata-rata bagi setiap slot, jadi ukuran komite sama dengan semua verifier dibagi dengan 32. Dalam slot, satu anggota komite mengusulkan blok, dan anggota yang tersisa memilihnya. (BLS menghasilkan beacon acak)

Sinkronisasi dan pemilihan

Sebuah slot adalah slot waktu 12 detik:

  • 0 - 4 detik: blok yang diusulkan

  • 4 - 12 detik: memilih dan menghitung

Dalam kasus terbaik, proposal blok dan pemilihan akan dilakukan secara biasa. Kadang-kadang, penawaran mungkin mati, jadi tidak ada blok yang akan diusulkan.

Memproses blok terlepas

Jika proponen blok diluar talian, maka:

  • Anggota komite (slot 96) akan memilih blok sebelumnya

  • Komite berikutnya akan terus berfungsi secara normal

Seperti semua rantai blok, ini dapat mempromosikan formasi rantai otoritas, karena produser/verifikasi rantai blok harus memperluas blok induk.

Proses blok dan garpu terakhir

Ini mungkin untuk cabang di atas rantai:

  • Peluncur blok telah mengusulkan dua atau lebih blok (konfiska, tetapi blok masih ada)

  • Penundaan terjadi dan blok mencapai slot berikutnya.

Saat ini, anggota komite slot perlu memilih blok.

Peraturan Pemilihan Bifurkasi yang penting

Anggota komite harus memilih "rantai terbesar" berdasarkan set peraturan yang sama:

  • Pilih garpu dengan paling banyak suara

  • Pilih blok dengan hash terrendah ketika suara diikat

  • Penolakan penawaran: Jika blok diusulkan dalam slot ini, pilih blok dengan 70% suara tambahan

Twitter yang dipetik: https://twitter.com/hasufl/status/1570316069306503170

Pemburukan blok

Jika kebanyakan anggota komite memilih blok yang sama, maka:

  • Komite masa depan akan melanjutkan blok pemenang

  • Blok garpu yang bersaing akan menjadi "buruk" atau "dibuang"

Aturan pemilihan garpu: ikuti rantai dengan paling banyak suara.

Subjektivitas lemah

Karena sifat "pemilihan" dan "serangan jangkauan panjang", kita tidak dapat menerima salinan dari blockchain dari sumber yang tidak dipercaya dan verifikasi apakah itu rantai "nyata", tetapi harus bergantung pada konsensus sosial dan titik pemeriksaan yang terkenal: [link blog]

Artikel Cited: Proof of Stack: How I Learned to Love Weak Subjectivity [UNK] Ethereum Foundation Blog

Kepastian terakhir

Kita bisa mengerti jaminan berikut: "Setelah blok ini selesai, tidak akan pernah dibalik".

Dua tahap:

  • Verifikasi: Setelah 1 epok, blok kandidat berikutnya akan diselesaikan.

  • Pendekatan akhir: setelah dua epok, mayoritas mutlak telah memilihnya (dua kali).

Dua blok pohon

Keajaiban PoS Ethereum adalah bahwa ia memiliki dua komponen:

  • Realisasi aktivitas melalui mekanisme hantu LMD (ikuti cabang blok terbesar)

  • Keamanan dieksploitasi melalui FFG Casper (pilih blok dan menyelesaikannya).

Rantai epok memberi kita keyakinan, sementara puncak rantai slot adalah "negara dunia yang menunggu"

Serangan: lebih dari 1/3 dari deposit yang dijanjikan

Penyerang tidak bisa mengendalikan perintah transaksi, tapi mereka bisa menyerang kepastian akhir. Ini hanya bisa diselesaikan ketika lebih dari 2/3 dari verifier memilih blok. Jika hanya mendapat kurang dari 2/3 dari suara, itu tidak dapat diusahakan atau diselesaikan.

Penalty for omission

The honest verifier will continue to produce blocks in the slot, and slowly exclude those who do not follow the fork selection rules. Pada akhirnya, orang-orang yang tidak memilih akan kehilangan cukup deposit janji, sehingga verifier jujur dapat menganggap lebih dari 2/3 janji.

Dua rantai paralel

Jika terjadi hukuman yang tidak diterima, maka karena:

  • Sebuah set verifikasi ingin merevisi transaksi

  • Set verifier lain ingin paket transaksi

Setiap set verifier akan memaksa "hukuman ketidakikutan" pada set verifier lainnya. Ini menyebabkan kelahiran dua rantai. Ini adalah dua persimpangan damai.

Penyerang: menganggap lebih dari 1/2 deposit yang dijanjikan

Mereka mengendalikan "aturan pemilihan garpu" dan memutuskan untuk mengabaikan blok yang mempaket transaksi penelitian. Contohnya, dalam mekanisme PoW, mereka tidak dapat mengubah aturan konsensus, tetapi hanya dapat mengendalikan perintah transaksi. Tapi sejauh yang kutahu, dalam kasus ini, "kebocoran kegagalan" tidak akan diaktifkan.

Guard of Ethereum

What can we do in the face of censorship? Jawabannya adalah garpu lembut yang diaktifkan oleh pengguna! Secara umum, kita dapat memaksa jalan keluar (dan potensi) untuk menangkap penyerang melalui kode garpu. Ini adalah serangan sasaran dan tidak akan merugikan kepentingan verifier jujur.

Twitter yang dipetik: https://twitter.com/stonecoldpat0/status/1560040361447260163

Tema klien berbilang

Objektif: Untuk menghindari serangan nol hari yang akan memungkinkan transaksi blok/tidak valid untuk menyelesaikan selamanya. Tapi berapa banyak klien yang diperlukan? Masalah lain yang muncul adalah hukuman atas ketidakbertindak. Jika dua 50% klien berbeda, mereka akhirnya akan menjadi dua dunia paralel.

Tidak ada klien tunggal yang dapat mengaktifkan kelemahan

Ketika proporsi deposit janji dari verifier menjalankan portfolio klien lebih dari 33%, hukuman ketidakikutan akan menjadi berarti. Dengan menjalankan klien yang digunakan oleh beberapa orang, Anda dapat mengurangi semua kerusakan yang disebabkan oleh kelemahan perangkat lunak. Baca lebih banyak di sini: https://dankradfeist.de/ethereum/2022/03/24/run-the-majority-client-at-your-own-peril.html

Hukuman tidak sama dengan konfiska

perbedaan:

  • Hukuman: Ini hanya masalah kecil dan tidak akan menyebabkan kerusakan jaringan

  • Confiscation: verifier telah melakukan tindakan yang dapat ditemukan secara publik dan keji

Jika verifier memicu kondisi kehilangan, mereka akan dipaksa dihapus dari jaringan. Baca lagi:

Artikel yang dicatat: https://eth2book.info/altair/part2/incentives/slashing/

Dua jenis kehilangan

1. Vote/propose two or more blocks in the same slot (enforce the rule of one vote per slot)

2. Memusulkan untuk "termasuk" garpu yang Anda telah memilih (untuk melawan serangan jangkauan panjang)

Saya membuat diagram visual berdasarkan formula di diagram untuk membantu Anda mengerti.

Bagaimanapun, kuharap kau suka tweet ini. Ethereum telah mengubah kesepakatan konsensus dari mekanisme bukti beban kerja ke mekanisme bukti keadilan, yang merupakan prestasi yang besar. This is why Ethereum, its roadmap/technology and community are very good.

Ethereum adalah surga untuk eksperimen.