Pendahuluan: Sejak Rollup menjadi populer, desentralisasi Sequencer selalu menjadi fokus komunitas Ethereum/Celestia, dan ini juga merupakan gunung yang tidak dapat diatasi dalam penelitian dan pengembangan Layer2. Dalam hal ini, skema Rollup yang berbeda telah mengusulkan gagasan tentang desentralisasi simpul, memberikan ruang imajinasi yang sangat luas untuk topik ini.
Penulis artikel ini mengambil proyek ZKRollup Aztec yang terkenal sebagai contoh, dan menggunakan dua proposal bernama B52 dan Fernet yang diusulkan oleh Aztec Labs baru-baru ini sebagai titik awal untuk menganalisis bagaimana ZKR mewujudkan desentralisasi node sequencer untuk pembaca.
Proposal B52: Skema sequencer tanpa izin
Proposal B52 bermaksud untuk mencapai hal-hal berikut (idealnya):
Jaringan sequencer terdesentralisasi, node L2 sendiri memilih setiap putaran pengusul
Jaringan pembukti terdesentralisasi, persyaratan perangkat keras yang rendah untuk node pembukti
Rollup memiliki ketahanan yang baik terhadap sensor secara keseluruhan.
Nilai MEV yang dihasilkan oleh L2 diakuisisi oleh node L2
Ketika blok L2 diserahkan ke lapisan DA, finalitas yang lebih efektif dapat diperoleh, dan finalitas yang tidak dapat diubah harus menunggu ValidityProof (bukti validitas) untuk diserahkan
Token L2 dapat memiliki model ekonomi yang baik
Blok L2 dan data transaksi disebarkan di jaringan L2 p2p
L2 mewarisi keamanan L1
Skema ini membagi seluruh proses produksi blok L2 menjadi tiga tahap waktu:
Blokir Jendela Proposal (BPW)
Jendela BlockAcceptance (BAW)
Kemajuan negara
Diantaranya, tahap BPW (block proposal) adalah proses di mana beberapa sequencer Seuqnecer mengusulkan blok yang berbeda dan bersaing, dan Prover memilih blok kandidat untuk memberikan suara.
BAW (Block Acceptance) adalah proses di mana Prover membuat Bukti Validitas untuk sebuah blok dan mengirimkannya.
Blokir Jendela Proposal (tahapan blok proposal):
BPW dapat dibagi menjadi tiga tahap: Block Proposal, Block Voting, Agregation.
Siapa pun dalam fase Block Proposal (BP) dapat mengumpulkan transaksi dan menyiarkan konten BP mereka sendiri. Konten BP akan berisi tiga bagian: hash pesanan txs, persentase hadiah pembukti, jumlah token bakar
txs order hash: Pengusul memilih dan mengurutkan kumpulan transaksi yang paling berharga dari kumpulan transaksi L2 (mempool), lalu memasukkan nilai hash kumpulan transaksi ini ke dalam blok yang dibuatnya.
persentase reward prover: Persentase reward blok yang dibagikan oleh Sequencer ke Prover
bakar jumlah token: Jumlah L2 Native Token yang diusulkan oleh Pengusul untuk dihancurkan, dan kemudian mengirimkan BP yang diusulkan ke jaringan L2 p2p
Tahap Pemblokiran Voting:
Setelah Prover menerima BP yang diajukan oleh Proposer berbeda di jaringan p2p, dia akan memilih BP yang bisa memberinya hadiah paling banyak. Namun, komposisi suaranya sangat istimewa:
Vote={BlockHash, Indeks Pohon Bukti}
BlockHash adalah hash dari Proposal yang akan dipilih oleh Prover, dan Index of Proof Tree adalah nilai indeks daun dari Proof Tree yang akan dibangun oleh Prover (dijelaskan nanti)
Agregasi agregasi: Pengusul mengumpulkan suara Provers untuk BP di jaringan L2 p2p, menggabungkannya dan memasukkannya ke dalam BP, dan mengirimkannya ke L1 (setiap BP umumnya hanya berisi catatan pemungutan suara yang terkait dengan dirinya sendiri).
Di sini, perlu ditekankan prasyarat BP untuk dipilih dan dimasukkan dalam buku besar Rollp:
Memiliki skor tertinggi:
SCORE(y) = NUM_PROVERS (x)^3 * BURN_BID(z)^2
NUM_PROVERS (x) adalah jumlah suara Prover yang diperoleh BP, dan BURN_BID adalah jumlah Token L2 yang diusulkan untuk dihancurkan oleh BP. Karena semakin tinggi BURN_BID, semakin sedikit hadiah yang akan diperoleh pengusul BP pada akhirnya, sehingga nilai ini harus ditetapkan dengan benar.
Pada saat yang sama, BP harus diserahkan ke L1 sebelum akhir Jendela Proposal Blok, dan bukti validitas yang sesuai harus diunggah ke L1 sebelum akhir Jendela Penerimaan Blok.
Catatan: Dalam perhitungan skor BP, jumlah suara menyumbang proporsi terbesar, diikuti oleh jumlah token yang dibakar. Pada saat yang sama, skema B52 memungkinkan banyak pengusul (sebenarnya pengurut) bersaing untuk mendapatkan kuota BP yang efektif
Skema B52 hanya mensyaratkan Proposer (sequencer) untuk menentukan jumlah token pembakaran di BP-nya sendiri (mirip dengan metode EIP1559) tanpa token taruhan terlebih dahulu, yang dapat membuat jaringan lebih tanpa izin (tidak ada izin akses), dan juga bermanfaat bagi L2 Native Token menghasilkan deflasi.
Selain itu, BP tidak memuat data transaksi yang lengkap, melainkan hanya hash dari urutan transaksi tersebut, alasannya mirip dengan skema Ethereum PBS yang bertujuan untuk mencegah MEV dimata-matai oleh Proposer lain.
Setelah Jendela Proposal Blok berakhir, Prover perlu mengungkapkan data transaksi lengkap sesuai dengan BP mereka. Jika BP yang dipilih oleh Prover dipilih (skor tertinggi dapat ditanyakan melalui kontrak L1), mereka perlu membangun Sub Proof Tree yang sesuai dengan Index of Proof Tree yang diberikan selama pemungutan suara.
Dengan asumsi bahwa blok Aztec berisi 2^13=16384 transaksi dan terdapat 2048 pembukti, maka setiap pembukti membangun pohon sub bukti yang terdiri dari 2^3=8 transaksi. jaringan. Setelah pengusul menerimanya, itu akan menggabungkan semua pohon sub-bukti menjadi bukti blok.
Kemudian Propsoer menyerahkan bukti agregat ke kontrak L1 Rollup, dan kontrak akan memverifikasi kebenaran bukti dan hasil transisi status terkait. Perlu diperhatikan di sini bahwa jika Prover dengan sengaja tidak menyerahkan buktinya, maka selain tidak dapat memperoleh deviden block reward yang dijanjikan oleh Pengusul, ia juga akan di-PHK, karena untuk menjadi Prover harus menjaminkan Token terlebih dahulu. Oleh karena itu, tidak seperti Proposer (Sequencer), Prover bukanlah Tanpa Izin.
Penjelasan detail Kemajuan Negara (tahap kemajuan negara):
Setelah Jendela Penerimaan Blok berakhir, kontrak Rollup akan memilih blok dengan skor tertinggi untuk dimasukkan ke dalam buku besar Rollup, dan mengirimkan Hadiah hadiah blok kepada Pengusul dan Pembukti masing-masing sesuai dengan proporsi yang dinyatakan oleh Pengusul (Pengurut) di maju.
Di atas adalah solusi B52 Aztec. Namun, penulis artikel ini percaya bahwa ada beberapa potensi masalah dengan proposal B52:
Pertanyaan 1: Bila bukti validitas blok dengan skor tertinggi tidak lengkap. Solusi yang diberikan dalam proposal adalah jika Pengusul hanya memberikan bukti 50%, maka dia hanya bisa mendapatkan 50% dari hadiah blok, untuk memastikan Pengusul tidak memiliki motivasi untuk sengaja tidak menyerahkan bukti lengkap. Pada saat yang sama, Prover juga dapat menyerahkan bukti kontrak secara langsung.
Menurut uraian proposal, dapat diterima untuk menerima blok tanpa bukti validitas transaksi yang lengkap. Ini sebenarnya tidak masuk akal: karena: zkrollup hanya menyatakan bahwa status baru yang sesuai dengan blok ini valid ketika bukti validitas diberikan.
Jika bukti agregat yang diajukan oleh pengusul ke L1 tidak memiliki bukti transaksi tertentu, jelas bahwa bukti transisi status dari semua transaksi yang terjadi setelah transaksi ini tidak valid (karena transaksi dijalankan secara berurutan dan memiliki ketergantungan status), kami Juga tidak mungkin untuk mengonfirmasi bahwa status baru yang terkait dengan blok ini valid.
Oleh karena itu, saat ini, cara yang masuk akal adalah dengan memasuki Jendela Penerimaan Blok yang menunggu tanpa batas hingga semua bukti transaksi diserahkan.
Pertanyaan 2: **Jika blok dengan skor tertinggi adalah blok ilegal (hal ini tidak dijelaskan dalam skema B52). **BP hanya berisi hash dari urutan transaksi, jadi pengusul jahat dapat dengan sengaja membuat transaksi yang bermasalah, seperti transaksi pembelanjaan ganda. Jadi saat ini memang perlu ditambahkan fungsi dalam kontrak L1 dimana siapapun bisa mengajukan bukti illegal, bukti illegal ini digunakan untuk membuktikan bahwa BP dengan skor tertinggi adalah blok illegal.
Dan laporan semacam ini harus dihargai, kita dapat menghadiahkan token bakar yang dikirim oleh pengusul ke kontrak ke node pelapor yang menyerahkan bukti ilegal.
**Pemikiran yang menarik:**Tentang blokir paman dan Prover Work yang berlebihan: Skema B52 sebenarnya akan menggunakan BP lain (yang telah menyerahkan bukti lengkap) yang muncul di babak ini sebagai paman setelah BP dengan skor tertinggi di setiap putaran muncul. tetapkan hadiah blok paman tertentu.
Ini sebenarnya mengikuti pendekatan mekanisme konsensus ETH POW.Untuk menghindari konsentrasi daya komputasi yang berlebihan, perlu untuk mengalokasikan sebagian hadiah blok kepada pengusul blok (penambang) yang tidak diterima untuk melindungi kepentingan kumpulan penambangan kecil/penambang individu dan hindari Kekuatan komputasi dimonopoli oleh kumpulan penambangan besar. Oleh karena itu, ini juga merupakan pilihan yang sangat cerdas untuk mengadopsi mekanisme blok paman yang dilakukan Ethereum dengan baik.
Pentingnya proposal B52 dalam kaitannya dengan desentralisasi Rollup: Pengusul terdesentralisasi dan tidak memerlukan janji, dan ambang masuknya rendah; tetapi karena Anda perlu membuat sendiri blok yang paling berharga, dan Anda perlu mengumpulkan suara dari Pengusul lain, dan menggabungkan semua Bukti Faktanya, ambang perangkat keras Pengusul tidak serendah yang dinyatakan dalam proposal (misalnya, lebar pita mungkin tidak terlalu rendah).
Oleh karena itu, ini pada akhirnya akan menjadi jaringan yang relatif terpusat, mirip dengan Mev-Boost Builder, karena pengusul yang akhirnya dapat menghasilkan blok sering kali adalah Pembuat Blok yang paling baik dalam menangkap MEV.
Pada saat yang sama, Prover dalam skema B52 perlu menjaminkan aset, tetapi karena hanya bukti subpohon yang perlu dibuat, dibandingkan dengan skema yang perlu menghasilkan seluruh bukti blok, **Tingkat desentralisasi Prover akan menjadi lebih baik (persyaratan perangkat keras dapat diturunkan). **
Keaktifan Aktif: Keaktifan jaringan secara keseluruhan bagus, karena L2 memiliki jaringan p2p sendiri untuk menyiarkan transaksi dan suara/BP, dan Sequencer dan Prover relatif terdesentralisasi. Tapi kita perlu menyelesaikan dua masalah yang kami sebutkan di atas, pertama blok dengan skor tertinggi harus merupakan blok yang sah, dan yang kedua adalah perlu menunggu bukti blok lengkap untuk diserahkan ke L1 sebelum masuk ke yang baru. negara. Oleh karena itu, diperlukan mekanisme insentif yang lebih efektif untuk mencegah seluruh jaringan Rollup tidak berfungsi (downtime) karena tidak adanya bagian tertentu dari tx proof.
**Penolakan Sensor: **Jika kami dapat menjamin bahwa siapa pun dapat menerbitkan BP proposal blokir, dan memastikan bahwa tidak hanya Pengusul yang dapat mengirimkan bukti blokir, maka jaringan akan memiliki ketahanan yang baik terhadap penyensoran.
**Finalitas: **Finalitas L2 terkait erat dengan keaktifan jaringan, karena finalitas verifikasi akhir masih perlu menunggu penyerahan Bukti Blok, tetapi sebenarnya Anda juga dapat mempercayai konten blok yang sesuai dengan BP dengan skor tertinggi (selama tidak mengandung transaksi berbahaya).
Blok ini akan terungkap di awal Jendela Penerimaan Blok, yang artinya sebagai pengguna, Anda hanya perlu menunggu Jendela Proposal Blok, dan blok tempat transaksi yang Anda ajukan dapat diterima.
Mewarisi keamanan L1: Sebagai L2 yang memperbarui statusnya dengan mengirimkan bukti validitas, ia dapat mewarisi keamanan L1.
Proposal Fernet: Memperkenalkan VDF untuk memilih Pengusul yang sah
Pengenalan skema Fernet: Melalui VDF, di setiap putaran siklus pembuatan blok, estimasi skor ditetapkan untuk node berbeda di Komite (yaitu, kumpulan node Sequencer), dan blok yang diusulkan oleh Sequencer dengan skor akhir tertinggi akan menjadi bidak yang valid.
**Pertama, bagaimana cara bergabung ke Panitia? Nyatanya, Anda perlu melakukan kontribusi 16 ETH di L1, **dan menunggu 4 blok L1 setelah operasi kontribusi selesai, lalu bergabung dengan Komite Pengurut. Untuk keluar dari Sequencer Committee, Anda perlu memanggil fungsi Unstake di kontrak L1, dan kemudian Anda bisa mendapatkan kembali sisa jumlah kontribusi Anda setelah 3 hari berikutnya.
Lalu, apa itu VDF? Fungsi Penundaan yang Dapat Diverifikasi adalah fungsi penundaan yang dapat diverifikasi. Fungsi matematis ini memenuhi karakteristik eksekusi serial yang ketat. Ini akan melakukan beberapa langkah perhitungan dan menghabiskan setidaknya periode waktu yang dapat diprediksi. Kami mencatat nilai yang dihitung oleh VDF sebagai Skor, yang memenuhi distribusi normal yang seragam.Oleh karena itu, setelah Sequencer menghitung Skor VDF, ia dapat menilai kemungkinan terpilih sebagai pengusul yang sah. **
VDF sequencer dihitung sebagai berikut:
Skor = VDF(privatekey, input publik)
input publik = { nomor blok saat ini, randao}
randao adalah angka acak yang digunakan untuk mencegah Sequencer menghitung Skor VDF-nya sendiri di semua ketinggian blok yang akan datang sebelumnya
Seluruh proses Fernet terutama dibagi menjadi 3 tahap:
Tahap Proposal 2. Tahap Pembuktian 3. Finalisasi
**Tahap Proposal:**PROPOSAL_PHASE_L1_BLOCKS = 2 blok Ethereum (fase ini akan berlangsung selama 2 blok L1)
Di awal tahap ini, setiap Pengurut akan menggunakan VDF untuk menghitung Skor VDF yang sesuai pada ketinggian blok saat ini. Jika Sequencer berpikir bahwa Skor VDF-nya kemungkinan akan memenangkan hak untuk menghasilkan blok kali ini (dengan asumsi Skor memenuhi distribusi normal), maka dia akan mengajukan kontrak Rollup dari Proposal ke L1. Proposal berisi: hash dari urutan transaksi, menunjuk ke blok L2 sebelumnya.
pemblokiran yang belum terbukti: Hanya isi pemblokiran dari Proposal ke kontrak Rollup yang diajukan. Selanjutnya, **Sequencer perlu mengirimkan isi blok yang sesuai dengan blok yang belum terbukti dan bukti VDF ke jaringan L2 p2p. **
ProvingPhase: PROVING_PHASE_L1_BLOCKS= 50 blok L1 (fase ini akan mempertahankan 50 blok L1, sekitar 10 menit)
Prover menerima semua transaksi yang sesuai dalam Konten Blok dari jaringan L2 p2p, dan akan membuat Bukti untuk blok dengan Skor VDF yang lebih tinggi. Konstruksi Proof juga mengadopsi metode beberapa Provers yang berkolaborasi secara paralel (mirip dengan skema B52).
Oleh karena itu, Sequencer perlu menggabungkan Bukti yang terkait dengan beberapa transaksi berbeda ke dalam Bukti Blok (termasuk Bukti VDF) di akhir, dan mengirimkannya ke kontrak Penggabungan L1. Siapa pun dapat mengirimkan Konten Blokir yang telah mengirimkan Bukti Blokir ke kontrak Rollup.
Penyelesaian: Diperlukan penyerahan transaksi L1 untuk Menyelesaikan blok. Blok yang dapat diselesaikan harus dipenuhi: Isi Blok dan Bukti Blok diserahkan, dan blok sebelumnya yang ditunjuk harus Diselesaikan. Atas dasar memenuhi ketentuan di atas, Anda juga harus memiliki Skor tertinggi.
Mekanisme produksi blok pipa: Perlu dicatat bahwa Fernet mengadopsi mekanisme produksi blok pipa.Ketika fase Proposal dari blok N berakhir, Proposal blok N+1 dimulai (Aptos dan rantai publik lainnya juga memiliki praktik serupa) . Namun untuk blok N+1, perlu menunggu blok N selesai sebelum dapat mengajukan transaksi Blok Akhir L1 dan lolos verifikasi untuk menjadi Blok Akhir.
Dimensi serangan potensial: Jika Sequencer dengan Skor VDF tertinggi sengaja tidak menyiarkan Konten Blok dalam L2 p2p, ini dapat menyebabkan reorganisasi blok.
Perhitungan jumlah blok L2 di reorg: 1+PROVING_PHASE_L1_BLOCKS / PROPOSAL_PHASE_L1_BLOCKS =1+50/2=26 blok
Solusi: Tingkatkan mekanisme blok paman untuk menghindari hanya memiliki satu blok kandidat lengkap untuk setiap slot L2 (slot waktu pembuatan blok).
Signifikansi Fernet dalam hal desentralisasi: Sequencer bergabung dengan Komite Sequencer dengan menjanjikan 16 ETH, dan ambang masuknya tidak tinggi (namun tidak rendah). Prover tidak memerlukan jaminan apa pun, tetapi tidak ada penalti jika Prover tidak menghasilkan Bukti. Ini pada dasarnya kebalikan dari skema B52.
**Keaktifan Aktif: **Kehidupan keseluruhan jaringan dapat dijamin, karena mekanisme blok VDF+paman dapat memastikan bahwa ada lebih dari satu pembuat blok di setiap putaran.
**MEV: **Pertimbangan MEV adalah yang paling spesial Rencananya berencana untuk memperkenalkan PBS, sehingga setelah menghitung Skor VDF yang tinggi sebagai Sequencer, Anda dapat langsung menemukan Pembuat Blok untuk membangun blok yang lebih berharga.
**Resistensi Sensor: **Fernet juga akan mengadopsi mekanisme PBS yang sama dengan Ethereum, jadi intinya, masalah anti-sensor Fernet setara dengan PBS Ethereum.
Lihat Asli
Konten ini hanya untuk referensi, bukan ajakan atau tawaran. Tidak ada nasihat investasi, pajak, atau hukum yang diberikan. Lihat Penafian untuk pengungkapan risiko lebih lanjut.
Parsing proposal B52 Aztec Labs: Bagaimana ZK-Rollup mewujudkan desentralisasi node sequencer?
Penulis: 0xhhh, EthStorage
Editor: Faust, Geek web3
Pendahuluan: Sejak Rollup menjadi populer, desentralisasi Sequencer selalu menjadi fokus komunitas Ethereum/Celestia, dan ini juga merupakan gunung yang tidak dapat diatasi dalam penelitian dan pengembangan Layer2. Dalam hal ini, skema Rollup yang berbeda telah mengusulkan gagasan tentang desentralisasi simpul, memberikan ruang imajinasi yang sangat luas untuk topik ini.
Penulis artikel ini mengambil proyek ZKRollup Aztec yang terkenal sebagai contoh, dan menggunakan dua proposal bernama B52 dan Fernet yang diusulkan oleh Aztec Labs baru-baru ini sebagai titik awal untuk menganalisis bagaimana ZKR mewujudkan desentralisasi node sequencer untuk pembaca.
Proposal B52: Skema sequencer tanpa izin
Proposal B52 bermaksud untuk mencapai hal-hal berikut (idealnya):
Jaringan sequencer terdesentralisasi, node L2 sendiri memilih setiap putaran pengusul
Jaringan pembukti terdesentralisasi, persyaratan perangkat keras yang rendah untuk node pembukti
Rollup memiliki ketahanan yang baik terhadap sensor secara keseluruhan.
Nilai MEV yang dihasilkan oleh L2 diakuisisi oleh node L2
Ketika blok L2 diserahkan ke lapisan DA, finalitas yang lebih efektif dapat diperoleh, dan finalitas yang tidak dapat diubah harus menunggu ValidityProof (bukti validitas) untuk diserahkan
Token L2 dapat memiliki model ekonomi yang baik
Blok L2 dan data transaksi disebarkan di jaringan L2 p2p
L2 mewarisi keamanan L1
Skema ini membagi seluruh proses produksi blok L2 menjadi tiga tahap waktu:
Diantaranya, tahap BPW (block proposal) adalah proses di mana beberapa sequencer Seuqnecer mengusulkan blok yang berbeda dan bersaing, dan Prover memilih blok kandidat untuk memberikan suara.
BAW (Block Acceptance) adalah proses di mana Prover membuat Bukti Validitas untuk sebuah blok dan mengirimkannya.
Blokir Jendela Proposal (tahapan blok proposal):
BPW dapat dibagi menjadi tiga tahap: Block Proposal, Block Voting, Agregation.
Siapa pun dalam fase Block Proposal (BP) dapat mengumpulkan transaksi dan menyiarkan konten BP mereka sendiri. Konten BP akan berisi tiga bagian: hash pesanan txs, persentase hadiah pembukti, jumlah token bakar
txs order hash: Pengusul memilih dan mengurutkan kumpulan transaksi yang paling berharga dari kumpulan transaksi L2 (mempool), lalu memasukkan nilai hash kumpulan transaksi ini ke dalam blok yang dibuatnya.
persentase reward prover: Persentase reward blok yang dibagikan oleh Sequencer ke Prover
bakar jumlah token: Jumlah L2 Native Token yang diusulkan oleh Pengusul untuk dihancurkan, dan kemudian mengirimkan BP yang diusulkan ke jaringan L2 p2p
Tahap Pemblokiran Voting:
Setelah Prover menerima BP yang diajukan oleh Proposer berbeda di jaringan p2p, dia akan memilih BP yang bisa memberinya hadiah paling banyak. Namun, komposisi suaranya sangat istimewa:
Vote={BlockHash, Indeks Pohon Bukti}
BlockHash adalah hash dari Proposal yang akan dipilih oleh Prover, dan Index of Proof Tree adalah nilai indeks daun dari Proof Tree yang akan dibangun oleh Prover (dijelaskan nanti)
Agregasi agregasi: Pengusul mengumpulkan suara Provers untuk BP di jaringan L2 p2p, menggabungkannya dan memasukkannya ke dalam BP, dan mengirimkannya ke L1 (setiap BP umumnya hanya berisi catatan pemungutan suara yang terkait dengan dirinya sendiri).
Di sini, perlu ditekankan prasyarat BP untuk dipilih dan dimasukkan dalam buku besar Rollp:
Memiliki skor tertinggi:
SCORE(y) = NUM_PROVERS (x)^3 * BURN_BID(z)^2
NUM_PROVERS (x) adalah jumlah suara Prover yang diperoleh BP, dan BURN_BID adalah jumlah Token L2 yang diusulkan untuk dihancurkan oleh BP. Karena semakin tinggi BURN_BID, semakin sedikit hadiah yang akan diperoleh pengusul BP pada akhirnya, sehingga nilai ini harus ditetapkan dengan benar.
Pada saat yang sama, BP harus diserahkan ke L1 sebelum akhir Jendela Proposal Blok, dan bukti validitas yang sesuai harus diunggah ke L1 sebelum akhir Jendela Penerimaan Blok.
Catatan: Dalam perhitungan skor BP, jumlah suara menyumbang proporsi terbesar, diikuti oleh jumlah token yang dibakar. Pada saat yang sama, skema B52 memungkinkan banyak pengusul (sebenarnya pengurut) bersaing untuk mendapatkan kuota BP yang efektif
Skema B52 hanya mensyaratkan Proposer (sequencer) untuk menentukan jumlah token pembakaran di BP-nya sendiri (mirip dengan metode EIP1559) tanpa token taruhan terlebih dahulu, yang dapat membuat jaringan lebih tanpa izin (tidak ada izin akses), dan juga bermanfaat bagi L2 Native Token menghasilkan deflasi.
Selain itu, BP tidak memuat data transaksi yang lengkap, melainkan hanya hash dari urutan transaksi tersebut, alasannya mirip dengan skema Ethereum PBS yang bertujuan untuk mencegah MEV dimata-matai oleh Proposer lain.
Jendela Penerimaan Blokir (tahap penerimaan blok) penjelasan detail:
Setelah Jendela Proposal Blok berakhir, Prover perlu mengungkapkan data transaksi lengkap sesuai dengan BP mereka. Jika BP yang dipilih oleh Prover dipilih (skor tertinggi dapat ditanyakan melalui kontrak L1), mereka perlu membangun Sub Proof Tree yang sesuai dengan Index of Proof Tree yang diberikan selama pemungutan suara.
Dengan asumsi bahwa blok Aztec berisi 2^13=16384 transaksi dan terdapat 2048 pembukti, maka setiap pembukti membangun pohon sub bukti yang terdiri dari 2^3=8 transaksi. jaringan. Setelah pengusul menerimanya, itu akan menggabungkan semua pohon sub-bukti menjadi bukti blok.
Kemudian Propsoer menyerahkan bukti agregat ke kontrak L1 Rollup, dan kontrak akan memverifikasi kebenaran bukti dan hasil transisi status terkait. Perlu diperhatikan di sini bahwa jika Prover dengan sengaja tidak menyerahkan buktinya, maka selain tidak dapat memperoleh deviden block reward yang dijanjikan oleh Pengusul, ia juga akan di-PHK, karena untuk menjadi Prover harus menjaminkan Token terlebih dahulu. Oleh karena itu, tidak seperti Proposer (Sequencer), Prover bukanlah Tanpa Izin.
Penjelasan detail Kemajuan Negara (tahap kemajuan negara):
Setelah Jendela Penerimaan Blok berakhir, kontrak Rollup akan memilih blok dengan skor tertinggi untuk dimasukkan ke dalam buku besar Rollup, dan mengirimkan Hadiah hadiah blok kepada Pengusul dan Pembukti masing-masing sesuai dengan proporsi yang dinyatakan oleh Pengusul (Pengurut) di maju.
Di atas adalah solusi B52 Aztec. Namun, penulis artikel ini percaya bahwa ada beberapa potensi masalah dengan proposal B52:
Pertanyaan 1: Bila bukti validitas blok dengan skor tertinggi tidak lengkap. Solusi yang diberikan dalam proposal adalah jika Pengusul hanya memberikan bukti 50%, maka dia hanya bisa mendapatkan 50% dari hadiah blok, untuk memastikan Pengusul tidak memiliki motivasi untuk sengaja tidak menyerahkan bukti lengkap. Pada saat yang sama, Prover juga dapat menyerahkan bukti kontrak secara langsung.
Menurut uraian proposal, dapat diterima untuk menerima blok tanpa bukti validitas transaksi yang lengkap. Ini sebenarnya tidak masuk akal: karena: zkrollup hanya menyatakan bahwa status baru yang sesuai dengan blok ini valid ketika bukti validitas diberikan.
Jika bukti agregat yang diajukan oleh pengusul ke L1 tidak memiliki bukti transaksi tertentu, jelas bahwa bukti transisi status dari semua transaksi yang terjadi setelah transaksi ini tidak valid (karena transaksi dijalankan secara berurutan dan memiliki ketergantungan status), kami Juga tidak mungkin untuk mengonfirmasi bahwa status baru yang terkait dengan blok ini valid.
Oleh karena itu, saat ini, cara yang masuk akal adalah dengan memasuki Jendela Penerimaan Blok yang menunggu tanpa batas hingga semua bukti transaksi diserahkan.
Pertanyaan 2: **Jika blok dengan skor tertinggi adalah blok ilegal (hal ini tidak dijelaskan dalam skema B52). **BP hanya berisi hash dari urutan transaksi, jadi pengusul jahat dapat dengan sengaja membuat transaksi yang bermasalah, seperti transaksi pembelanjaan ganda. Jadi saat ini memang perlu ditambahkan fungsi dalam kontrak L1 dimana siapapun bisa mengajukan bukti illegal, bukti illegal ini digunakan untuk membuktikan bahwa BP dengan skor tertinggi adalah blok illegal.
Dan laporan semacam ini harus dihargai, kita dapat menghadiahkan token bakar yang dikirim oleh pengusul ke kontrak ke node pelapor yang menyerahkan bukti ilegal.
**Pemikiran yang menarik:**Tentang blokir paman dan Prover Work yang berlebihan: Skema B52 sebenarnya akan menggunakan BP lain (yang telah menyerahkan bukti lengkap) yang muncul di babak ini sebagai paman setelah BP dengan skor tertinggi di setiap putaran muncul. tetapkan hadiah blok paman tertentu.
Ini sebenarnya mengikuti pendekatan mekanisme konsensus ETH POW.Untuk menghindari konsentrasi daya komputasi yang berlebihan, perlu untuk mengalokasikan sebagian hadiah blok kepada pengusul blok (penambang) yang tidak diterima untuk melindungi kepentingan kumpulan penambangan kecil/penambang individu dan hindari Kekuatan komputasi dimonopoli oleh kumpulan penambangan besar. Oleh karena itu, ini juga merupakan pilihan yang sangat cerdas untuk mengadopsi mekanisme blok paman yang dilakukan Ethereum dengan baik.
Pentingnya proposal B52 dalam kaitannya dengan desentralisasi Rollup: Pengusul terdesentralisasi dan tidak memerlukan janji, dan ambang masuknya rendah; tetapi karena Anda perlu membuat sendiri blok yang paling berharga, dan Anda perlu mengumpulkan suara dari Pengusul lain, dan menggabungkan semua Bukti Faktanya, ambang perangkat keras Pengusul tidak serendah yang dinyatakan dalam proposal (misalnya, lebar pita mungkin tidak terlalu rendah).
Oleh karena itu, ini pada akhirnya akan menjadi jaringan yang relatif terpusat, mirip dengan Mev-Boost Builder, karena pengusul yang akhirnya dapat menghasilkan blok sering kali adalah Pembuat Blok yang paling baik dalam menangkap MEV.
Pada saat yang sama, Prover dalam skema B52 perlu menjaminkan aset, tetapi karena hanya bukti subpohon yang perlu dibuat, dibandingkan dengan skema yang perlu menghasilkan seluruh bukti blok, **Tingkat desentralisasi Prover akan menjadi lebih baik (persyaratan perangkat keras dapat diturunkan). **
Keaktifan Aktif: Keaktifan jaringan secara keseluruhan bagus, karena L2 memiliki jaringan p2p sendiri untuk menyiarkan transaksi dan suara/BP, dan Sequencer dan Prover relatif terdesentralisasi. Tapi kita perlu menyelesaikan dua masalah yang kami sebutkan di atas, pertama blok dengan skor tertinggi harus merupakan blok yang sah, dan yang kedua adalah perlu menunggu bukti blok lengkap untuk diserahkan ke L1 sebelum masuk ke yang baru. negara. Oleh karena itu, diperlukan mekanisme insentif yang lebih efektif untuk mencegah seluruh jaringan Rollup tidak berfungsi (downtime) karena tidak adanya bagian tertentu dari tx proof.
**Penolakan Sensor: **Jika kami dapat menjamin bahwa siapa pun dapat menerbitkan BP proposal blokir, dan memastikan bahwa tidak hanya Pengusul yang dapat mengirimkan bukti blokir, maka jaringan akan memiliki ketahanan yang baik terhadap penyensoran.
**Finalitas: **Finalitas L2 terkait erat dengan keaktifan jaringan, karena finalitas verifikasi akhir masih perlu menunggu penyerahan Bukti Blok, tetapi sebenarnya Anda juga dapat mempercayai konten blok yang sesuai dengan BP dengan skor tertinggi (selama tidak mengandung transaksi berbahaya).
Blok ini akan terungkap di awal Jendela Penerimaan Blok, yang artinya sebagai pengguna, Anda hanya perlu menunggu Jendela Proposal Blok, dan blok tempat transaksi yang Anda ajukan dapat diterima.
Mewarisi keamanan L1: Sebagai L2 yang memperbarui statusnya dengan mengirimkan bukti validitas, ia dapat mewarisi keamanan L1.
Proposal Fernet: Memperkenalkan VDF untuk memilih Pengusul yang sah
Pengenalan skema Fernet: Melalui VDF, di setiap putaran siklus pembuatan blok, estimasi skor ditetapkan untuk node berbeda di Komite (yaitu, kumpulan node Sequencer), dan blok yang diusulkan oleh Sequencer dengan skor akhir tertinggi akan menjadi bidak yang valid.
**Pertama, bagaimana cara bergabung ke Panitia? Nyatanya, Anda perlu melakukan kontribusi 16 ETH di L1, **dan menunggu 4 blok L1 setelah operasi kontribusi selesai, lalu bergabung dengan Komite Pengurut. Untuk keluar dari Sequencer Committee, Anda perlu memanggil fungsi Unstake di kontrak L1, dan kemudian Anda bisa mendapatkan kembali sisa jumlah kontribusi Anda setelah 3 hari berikutnya.
Lalu, apa itu VDF? Fungsi Penundaan yang Dapat Diverifikasi adalah fungsi penundaan yang dapat diverifikasi. Fungsi matematis ini memenuhi karakteristik eksekusi serial yang ketat. Ini akan melakukan beberapa langkah perhitungan dan menghabiskan setidaknya periode waktu yang dapat diprediksi. Kami mencatat nilai yang dihitung oleh VDF sebagai Skor, yang memenuhi distribusi normal yang seragam.Oleh karena itu, setelah Sequencer menghitung Skor VDF, ia dapat menilai kemungkinan terpilih sebagai pengusul yang sah. **
VDF sequencer dihitung sebagai berikut:
Skor = VDF(privatekey, input publik)
input publik = { nomor blok saat ini, randao}
randao adalah angka acak yang digunakan untuk mencegah Sequencer menghitung Skor VDF-nya sendiri di semua ketinggian blok yang akan datang sebelumnya
Seluruh proses Fernet terutama dibagi menjadi 3 tahap:
**Tahap Proposal:**PROPOSAL_PHASE_L1_BLOCKS = 2 blok Ethereum (fase ini akan berlangsung selama 2 blok L1)
Di awal tahap ini, setiap Pengurut akan menggunakan VDF untuk menghitung Skor VDF yang sesuai pada ketinggian blok saat ini. Jika Sequencer berpikir bahwa Skor VDF-nya kemungkinan akan memenangkan hak untuk menghasilkan blok kali ini (dengan asumsi Skor memenuhi distribusi normal), maka dia akan mengajukan kontrak Rollup dari Proposal ke L1. Proposal berisi: hash dari urutan transaksi, menunjuk ke blok L2 sebelumnya.
pemblokiran yang belum terbukti: Hanya isi pemblokiran dari Proposal ke kontrak Rollup yang diajukan. Selanjutnya, **Sequencer perlu mengirimkan isi blok yang sesuai dengan blok yang belum terbukti dan bukti VDF ke jaringan L2 p2p. **
ProvingPhase: PROVING_PHASE_L1_BLOCKS= 50 blok L1 (fase ini akan mempertahankan 50 blok L1, sekitar 10 menit)
Prover menerima semua transaksi yang sesuai dalam Konten Blok dari jaringan L2 p2p, dan akan membuat Bukti untuk blok dengan Skor VDF yang lebih tinggi. Konstruksi Proof juga mengadopsi metode beberapa Provers yang berkolaborasi secara paralel (mirip dengan skema B52).
Oleh karena itu, Sequencer perlu menggabungkan Bukti yang terkait dengan beberapa transaksi berbeda ke dalam Bukti Blok (termasuk Bukti VDF) di akhir, dan mengirimkannya ke kontrak Penggabungan L1. Siapa pun dapat mengirimkan Konten Blokir yang telah mengirimkan Bukti Blokir ke kontrak Rollup.
Penyelesaian: Diperlukan penyerahan transaksi L1 untuk Menyelesaikan blok. Blok yang dapat diselesaikan harus dipenuhi: Isi Blok dan Bukti Blok diserahkan, dan blok sebelumnya yang ditunjuk harus Diselesaikan. Atas dasar memenuhi ketentuan di atas, Anda juga harus memiliki Skor tertinggi.
Mekanisme produksi blok pipa: Perlu dicatat bahwa Fernet mengadopsi mekanisme produksi blok pipa.Ketika fase Proposal dari blok N berakhir, Proposal blok N+1 dimulai (Aptos dan rantai publik lainnya juga memiliki praktik serupa) . Namun untuk blok N+1, perlu menunggu blok N selesai sebelum dapat mengajukan transaksi Blok Akhir L1 dan lolos verifikasi untuk menjadi Blok Akhir.
Dimensi serangan potensial: Jika Sequencer dengan Skor VDF tertinggi sengaja tidak menyiarkan Konten Blok dalam L2 p2p, ini dapat menyebabkan reorganisasi blok.
Perhitungan jumlah blok L2 di reorg: 1+PROVING_PHASE_L1_BLOCKS / PROPOSAL_PHASE_L1_BLOCKS =1+50/2=26 blok
Solusi: Tingkatkan mekanisme blok paman untuk menghindari hanya memiliki satu blok kandidat lengkap untuk setiap slot L2 (slot waktu pembuatan blok).
Signifikansi Fernet dalam hal desentralisasi: Sequencer bergabung dengan Komite Sequencer dengan menjanjikan 16 ETH, dan ambang masuknya tidak tinggi (namun tidak rendah). Prover tidak memerlukan jaminan apa pun, tetapi tidak ada penalti jika Prover tidak menghasilkan Bukti. Ini pada dasarnya kebalikan dari skema B52.
**Keaktifan Aktif: **Kehidupan keseluruhan jaringan dapat dijamin, karena mekanisme blok VDF+paman dapat memastikan bahwa ada lebih dari satu pembuat blok di setiap putaran.
**MEV: **Pertimbangan MEV adalah yang paling spesial Rencananya berencana untuk memperkenalkan PBS, sehingga setelah menghitung Skor VDF yang tinggi sebagai Sequencer, Anda dapat langsung menemukan Pembuat Blok untuk membangun blok yang lebih berharga.
**Resistensi Sensor: **Fernet juga akan mengadopsi mekanisme PBS yang sama dengan Ethereum, jadi intinya, masalah anti-sensor Fernet setara dengan PBS Ethereum.