Peningkatan Cancun akan datang Apakah penyesuaian yang telah dibuat oleh L2 arus perdana?

TL;DR:

• Naik taraf Cancun akan dilancarkan pada 13 Mac 2024 dan EIP4844 akan berada dalam talian tidak lama lagi. Danksharding ialah teras pelan hala tuju Ethereum, dan peningkatan ini merupakan langkah pertama ke arah merealisasikan Danksharding.
• Selepas Ethereum L2 disesuaikan dengan EIP4844, yuran transaksi telah menurun dengan ketara, dan TPS L2 telah meningkat dua kali ganda. Pengguna akan merasakan bahawa transaksi lebih pantas, lebih murah, pengalaman lebih lancar dan lebih responsif. Akan ada aplikasi Dapp yang lebih kompleks dan lebih besar pada L2 ini.
• Balikan optimistik lebih mudah disesuaikan dengan EIP4844, manakala rollup ZK lebih rumit untuk disesuaikan. Ethereum tidak mempunyai kontrak yang telah dikompilasi untuk menyokong lengkung eliptik BLS12-381, yang menyukarkan untuk mengesahkan beberapa ZKP dan menghalang kemajuan rollup ZK yang menyesuaikan diri dengan EIP4844.
• Masalah lengkung elips boleh diselesaikan dengan dua cara, 1. Tunggu Ethereum untuk menyusun semula keluk elips BLS12-381 2. Gunakan kaedah bukti lain untuk mencapai tujuan yang sama, menggunakan BN254 yang disokong oleh pra-penyusunan Ethereum.
• Pada masa ini, Arbitrum, Optimistic, Starknet, zkSync, Scroll, Polygon zkEVM dan L2 Morph baharu semuanya menyesuaikan diri dengan EIP4844. Antaranya, Arbitrum, Optimistic dan Starknet menyatakan Cancun akan melaksanakan penyesuaian EIP4844 selepas naik taraf. Morph menerajui dalam mengeluarkan penyelesaian penyesuaian zkSNARK zkEVM yang inovatif, yang akan menjadi zkSNARK zkEVM pertama yang disesuaikan dengan EIP4844

1. Latar Belakang

Pada 2020, Ethereum mengeluarkan peta jalan dengan Rollup sebagai teras untuk Inisiatif masa hadapan pembangunan. Selepas itu, Vitalik menerangkan visi terakhir Ethereum dalam "Endgame" tahun kedua, menekankan pengoptimuman pembinaan lapisan asas dan menyediakan sokongan untuk Rollup. Inisiatif ini telah menjelaskan hala tuju utama pembangunan masa depan Ethereum dan meletakkan asas bagi pertumbuhan berterusan ekosistem blockchain.

Ethereum telah memperkenalkan teknologi sharding Danksharding untuk meningkatkan kestabilannya sebagai lapisan ketersediaan data. Teknologi ini dijangka mengurangkan yuran urus niaga L2, meningkatkan bilangan urus niaga Rollup sesaat, dan mengembangkan lagi skala rangkaian Ethereum.

Setakat tahun ini, peningkatan Ethereum Cancun-Dencun akhirnya dikeluarkan pada 13 Mac 2024, dengan pelancaran EIP4844 yang akan datang. Garpu keras ini dianggap sebagai langkah pertama untuk Ethereum melaksanakan Danksharding dan merupakan pautan penting dalam peta jalan Ethereum.

Mengenai apakah lapisan DA, prinsip teknikal Danksharding, dan kandungan EIP4844, sila rujuk artikel teknikal yang saya tulis tahun lepas: DA (Ketersediaan Data) Musim panas akan datang? https://foresightnews.pro/article/detail/33575

2 Bagaimanakah peningkatan Cancun memberi manfaat kepada L2?

EIP4844 memperkenalkan jenis transaksi baharu yang dipanggil transaksi membawa gumpalan. Setiap transaksi pembawa gumpalan mempunyai keupayaan untuk "membawa" senarai gumpalan. Gumpalan ialah satu paket data, bersaiz kira-kira 125 KB. Masa penyimpanan Blob agak singkat, hanya 4096 zaman, kira-kira 18 hari.

• Yuran transaksi L2 telah menurun dengan ketara. Memandangkan Blobs tidak memerlukan storan kekal, Blobs lebih besar dan lebih murah daripada ruang blok. Gumpalan boleh menyimpan 10 kali lebih banyak data daripada Calldata pada penggunaan gas yang sama. Rollup yang disesuaikan dengan EIP4844 boleh menyimpan data transaksi dalam Gumpalan, mengurangkan yuran transaksi mengikut susunan magnitud.
• TPS L2 telah digandakan. Sasaran semasa ialah 3 gumpalan setiap blok, dengan maksimum 6 gumpalan dibenarkan. Blok hanya 90KB, dan setiap gumpalan adalah kira-kira 125KB. Pengenalan Blob adalah bersamaan dengan mengembangkan ruang blok beberapa kali untuk menyimpan data Rollup, jadi TPS Rollup juga boleh digandakan. Dan "On Increasing the Block Gas Limit" yang ditulis oleh Toni dan Vitalic menyatakan bahawa dengan meningkatkan had Gas blok dan harga bait Calldata bukan sifar, saiz blok yang lebih kecil dengan pembolehubah yang lebih sedikit akan dicapai, supaya lebih banyak boleh ditambah dalam masa depan. Lebih banyak gumpalan, lebih besar ruang penyimpanan.

Selepas menyesuaikan diri dengan EIP4844, Ethereum L2 akan menyediakan pengguna akhir dengan transaksi yang lebih pantas, kos yang lebih rendah, pengalaman yang lebih lancar dan respons yang lebih responsif. Ini akan membawa aplikasi Dapp yang lebih kompleks dan berskala besar ke platform L2.

3 Bagaimanakah L2 menyesuaikan diri dengan EIP4844?

Bagaimana L2 menyesuaikan diri dengan EIP4844? Kita perlu membincangkan Rollup Optimis dan Rollup ZK secara berasingan.

Optimistic Rollups menyesuaikan diri dengan EIP4844

Optimistic Rollups ialah teknologi yang memastikan ketepatan pelaksanaan rollup melalui bukti penipuan. Di bawah mekanisme ini, nod akan menganggap bahawa peralihan keadaan adalah betul melainkan seseorang mencadangkan bukti penipuan dalam masa yang ditentukan untuk membuktikan bahawa peralihan negeri adalah menyalahi undang-undang. Sebaik sahaja bukti penipuan berlaku, peralihan negeri yang diserahkan sebelum ini akan dibatalkan.

Gulung Optimis adalah lebih mudah untuk disesuaikan dengan EIP4844 berbanding rollup ZK. Serahkan semua transaksi L2 kepada L1 melalui transaksi pembawa Blob untuk melengkapkan penyesuaian. Di samping itu, bukti penipuan perlu diselaraskan untuk menyesuaikan diri dengan EIP4844 Bahagian ini boleh dilakukan dengan perlahan. Lagipun, banyak rollup optimistik masih belum melancarkan bukti penipuan. Saya meletakkan sijil penipuan dalam talian, tetapi mendapati tiada sijil penipuan telah diserahkan selama lebih daripada dua tahun.

Penyerahan transaksi L2: Apabila Rollup diserahkan, transaksi pembawa Blob digunakan untuk menyimpan data Rollup dalam Blob. Muatan transaksi pembawa Blob ialah rlp([tx_payload_body, blobs, commitments, proofs]), dengan

• tx_payload_body- ialah TransactionPayloadBody bagi transaksi gumpalan EIP-2718 standard.
• gumpal- Senarai gumpalan. Satu urus niaga boleh mengandungi sehingga dua gumpalan.
• komitmen- Senarai komitmen KZG Blob.
• bukti- Gumpalan dan senarai bukti yang sepadan dengan komitmen KZG. Bukti ini akan disahkan oleh nod ETH.

Melaraskan bukti penipuan:

• Pertama, prover dan pencabar memerlukan beberapa pusingan interaksi untuk mencari titik pertikaian.
• Kemudian serahkan titik pertikaian kepada L1 untuk penghakiman. Untuk menyesuaikan diri dengan EIP4844, mungkin perlu membuktikan bahawa data yang dipertikaikan disimpan pada Blob tertentu.
• Memandangkan data Blob akan dipadamkan selepas kira-kira 18 hari, tempoh cabaran mestilah sebelum ia dipadamkan, yang berpuas hati dengan rollup optimistik semasa. Secara amnya, tempoh cabaran tidak melebihi 7 hari.

ZK Rollups menyesuaikan diri dengan EIP4844

ZK Rollups menggunakan ZKP untuk membuktikan bahawa peralihan keadaan L2 adalah betul. Penyesuaian rollup ZK kepada EIP4844 adalah lebih rumit daripada rollup optimistik.

1. Penyerahan transaksi L2: Langkah Optimistic Rollup ini adalah serupa.
2. Penyerahan bukti ZK: Berbanding dengan ZK Rollup sebelum penyesuaian, sebagai tambahan kepada bukti peralihan keadaan ZKP, satu lagi proses bukti diperlukan. Maksudnya, terbukti bahawa komitmen gumpalan dan kumpulan transaksi adalah sepadan, dengan itu memastikan bahawa input bukti peralihan negeri adalah betul.
3. Contohnya: litar ZK peralihan keadaan boleh menjana bukti proses pengiraan a + a = b. ZKP dijana apabila (a=1,b=2) dan (a=2,b=4) adalah sah. Oleh itu, saya juga perlu memberikan bukti bahawa input yang saya berikan pada masa itu ialah (a=1,b=2) dan bukannya (a=2,b=4).
4. Ini tidak perlu dilakukan sebelum menyesuaikan diri dengan EIP4844, kerana data disimpan terus dalam Calldata dan boleh dibaca terus, memastikan input tidak akan dilaraskan. Selepas menggunakan EIP4844, data Blob tidak boleh dibaca secara langsung, dan ini hanya boleh dibuktikan melalui litar baharu.
5. Lebih mudah untuk melaksanakan mekanisme bukti ini menggunakan rollup ZK STARK (seperti Starknet). Ini adalah cabaran untuk ZK rollup menggunakan SNARK Sebabnya ialah: lengkung eliptik yang digunakan oleh komitmen gumpalan EIP4844 ialah BLS12-381, dan kontrak prapenyusun ETH hanya menyokong BN254 Oleh kerana lengkung yang berbeza, sukar untuk kami menggunakan secara langsung Sahkan sijil penyiapan komitmen gumpalan dalam kontrak.
6. Menggunakan zkEVM/zkVM SNARK perlu menyelesaikan masalah yang dinyatakan dalam perkara 2 bahawa bukti ZK tidak dapat dijana kerana ketidakpadanan lengkung.

• Menunggu Ethereum untuk menyokong kontrak BLS12-381 yang telah disusun sebelumnya. Ini akan panjang.
• Ambil cara lain untuk membuktikannya. Untuk mereka bentuk litar baharu, anda mesti menggunakan lengkung eliptik BN254 yang disokong oleh kontrak yang telah disusun sebelumnya. Pada masa ini, kita melihat Morph mengambil pendekatan ini. Ini juga menjadikan Morph sebagai zkEVM pertama yang melengkapkan penyesuaian EIP4844.

Penyelesaian penyepaduan EIP-4844 zkEVM Morph, sila lihat: https://medium.com/@morphlayer2/morphs-solution-to-eip-4844-zkevm-integration-7f469910478f

Apakah penyesuaian L2.

Mendapat EIP4844?

Dalam pelancaran Optimistic, Optimism dan Arbitrum telah menyatakan komitmen mereka untuk mengguna pakai EIP-4844 dan bekerjasama rapat dengan komuniti mereka untuk menguji dan menggunakan kemas kini yang diperlukan. Arbitrum ialah rollup Peringkat 1 dan mempunyai keselamatan yang agak baik. Ia melibatkan keperluan untuk menyesuaikan bukti penipuan kepada EIP4844. Rollup optimistik ialah rollup Peringkat 0 Pada masa ini tiada bukti penipuan. Ia lebih mudah untuk disesuaikan, tetapi keselamatannya tidak cukup tinggi.

Dalam rollup ZK, kesukaran penyesuaian rollup menggunakan STRAK dan SNARK adalah berbeza. Lebih mudah untuk menyesuaikan EIP4844 dengan rollup STARK, dan Starknet ialah salah satu wakilnya. Starknet menerbitkan artikel yang menyatakan bahawa Cancun akan melaksanakan penyesuaian EIP4844 selepas naik taraf (pautan artikel). Dengan rollup SNARK, zkSync juga meneroka cara memanfaatkan urus niaga yang membawa gumpalan untuk mengurangkan lagi kos dan meningkatkan prestasi. Tatal menerbitkan artikel tahun lepas memperkenalkan idea menyesuaikan EIP4844 (pautan artikel)

Perkara yang paling mengagumkan ialah Morph, yang merupakan Optimis ZK Rollup dan merupakan yang pertama mengeluarkan penyelesaian untuk zkEVM untuk menyesuaikan diri dengan EIP4844 dikatakan sebagai Rollup zkEVM pertama yang melengkapkan EIP4844.

Optimis ZK Rollup menggabungkan kelebihan kedua-dua jenis Rollup. Ia secara optimis mempercayai keputusan pelaksanaan yang dikemukakan oleh Sequencer dan membenarkan mereka yang meragui keputusan untuk memulakan cabaran. Hanya apabila cabaran dikeluarkan, prover akan menjana ZKP untuk membuktikan ketepatan keputusan pelaksanaan. Ia mempunyai kecekapan rollup Optimis dan kebolehpercayaan rollup ZK yang terbukti ZK.

Atas ialah kandungan terperinci Peningkatan Cancun akan datang Apakah penyesuaian yang telah dibuat oleh L2 arus perdana?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!