Pemutakhiran Cancun akan diluncurkan pada 13 Maret 2024, dan EIP4844 akan segera online. Danksharding adalah inti dari peta jalan Ethereum, dan peningkatan ini adalah langkah pertama untuk mengimplementasikan Danksharding.
Setelah Ethereum L2 beradaptasi dengan EIP4844, biaya transaksi turun secara signifikan, dan TPS L2 meningkat dua kali lipat. **Pengguna akan merasakan transaksi lebih cepat, lebih murah, pengalaman lebih lancar, dan lebih responsif. Akan ada aplikasi Dapp yang lebih kompleks dan lebih besar pada L2 ini. **
Rollup optimis lebih mudah diadaptasi dengan EIP4844, sedangkan rollup ZK lebih rumit untuk diadaptasi**. Ethereum tidak memiliki kontrak yang telah dikompilasi sebelumnya untuk mendukung kurva elips BLS12-381, yang membuat beberapa verifikasi ZKP menjadi sulit dan menghambat kemajuan rollup ZK yang beradaptasi dengan EIP4844. **
Masalah kurva elips dapat diselesaikan dengan dua cara, 1. Tunggu hingga Ethereum melakukan prakompilasi kurva elips BLS12-381; 2. Gunakan metode bukti lain untuk mencapai tujuan yang sama, gunakan BN254 yang didukung oleh prakompilasi Ethereum.
Saat ini, Arbitrum, Optimistic, Starknet, zkSync, Scroll, Polygon zkEVM dan L2 Morph baru semuanya beradaptasi dengan EIP4844. Diantaranya, Arbitrum, Optimistic dan Starknet menyatakan akan menerapkan adaptasi EIP4844 setelah upgrade Cancun. Morph memimpin peluncuran solusi adaptasi zkSNARK zkEVM yang inovatif, yang akan menjadi zkSNARK zkEVM pertama yang beradaptasi dengan EIP4844
1. Latar Belakang
Pada tahun 2020, Ethereum merilis "Rollup-centered Ethereum Roadmap", dan gambaran akhir Ethereum yang dijelaskan dalam "Endgame" yang diterbitkan oleh Vitalik pada tahun berikutnya, ** menentukan gambaran besar Ethereum. Arah: Optimalkan konstruksi dari lapisan dasar Ethereum untuk melayani Rollup. **
Ethereum merancang teknologi sharding Danksharding untuk meningkatkan kegunaan Ethereum sebagai lapisan ketersediaan data. Ini akan secara signifikan mengurangi biaya transaksi L2, meningkatkan TPS Rollup, dan mencapai ekspansi Ethereum yang substansial.
Hingga tahun ini, upgrade Ethereum Cancun-Dencun akhirnya diluncurkan pada 13 Maret 2024, dan EIP4844 akan segera online. Hard fork ini bisa dikatakan sebagai langkah awal implementasi Danksharding Ethereum. Inti dari peta jalan. **
Mengenai apa itu lapisan DA, prinsip teknis Danksharding, dan konten EIP4844, silakan merujuk ke artikel teknis yang saya tulis tahun lalu: DA (Ketersediaan Data) Musim panas akan datang?
**2. Apa manfaat upgrade Cancun bagi L2? **
EIP4844 memperkenalkan jenis transaksi baru yang disebut transaksi pembawa blob**. **Setiap transaksi yang membawa blob dapat "membawa" daftar blob. Blob adalah paket data, berukuran sekitar 125 KB. Blob disimpan untuk jangka waktu singkat, hanya 4096 epoch, yaitu lebih dari 18 hari.
Biaya transaksi L2 telah turun secara signifikan. Karena Blob tidak memerlukan penyimpanan permanen, Blob lebih besar dan lebih murah dibandingkan ruang blok. Blob dapat menyimpan data 10 kali lebih banyak daripada Calldata dengan konsumsi gas yang sama. Rollup yang disesuaikan dengan EIP4844 dapat menyimpan data transaksi di Blob, mengurangi biaya transaksi berdasarkan urutan besarnya.
TPS L2 digandakan. Target saat ini adalah 3 blob per blok, dengan maksimal 6 blob yang diperbolehkan. Blok hanya berukuran 90KB, dan setiap gumpalan berukuran sekitar 125KB. Pengenalan Blob setara dengan memperluas ruang blok beberapa kali untuk menyimpan data Rollup, sehingga TPS Rollup juga dapat digandakan. Dan "Tentang Peningkatan Batas Gas Blok" yang ditulis oleh Toni dan Vitalic menyatakan bahwa dengan meningkatkan batas Gas blok dan harga byte Calldata bukan nol, ukuran blok yang lebih kecil dengan variabel yang lebih sedikit akan tercapai, sehingga lebih banyak yang dapat ditambahkan dalam masa depan. Gumpalan. Semakin banyak blob, semakin besar ruang penyimpanannya.
Untuk pengguna akhir, setelah **EthereumL2 diadaptasi ke EIP4844, kecepatan transaksi akan lebih cepat, biaya lebih rendah, pengalaman lebih lancar, dan respons lebih responsif. Akan ada aplikasi Dapp yang lebih kompleks dan lebih besar pada L2 ini. **
3. Bagaimana L2 beradaptasi dengan EIP4844?
Bagaimana L2 beradaptasi dengan EIP4844? Kita perlu membahas Optimistic Rollup dan ZK Rollup secara terpisah.
Rollup Optimis beradaptasi dengan EIP4844
Rollup optimistis menggunakan bukti penipuan untuk memastikan kebenaran eksekusi rollup. Artinya, node pertama-tama memilih untuk percaya bahwa transisi negara itu benar. Kecuali jika seseorang memulai sertifikat penipuan dalam jangka waktu tertentu untuk membuktikan bahwa transisi negara yang diajukan sebelumnya adalah ilegal, transisi negara tersebut akan dicabut.
Rollup optimis lebih mudah diadaptasi ke EIP4844 dibandingkan rollup ZK. Kirimkan semua transaksi L2 ke L1 melalui transaksi pembawa Blob untuk menyelesaikan adaptasi. Selain itu, pembuktian penipuan perlu disesuaikan untuk beradaptasi dengan EIP4844, bagian ini bisa dilakukan secara perlahan. Lagi pula, banyak rollup yang optimis belum memberikan bukti penipuan. Saya memasang sertifikat penipuan secara online, tetapi ternyata tidak ada sertifikat penipuan yang dikirimkan selama lebih dari dua tahun.
Pengiriman transaksi L2: Saat Rollup dikirimkan, transaksi pembawa Blob digunakan untuk menyimpan data Rollup di Blob. Payload dari transaksi pembawa Blob adalah rlp([tx_payload_body, blobs, commitmen, proofs]), di mana
tx_payload_body- adalah TransactionPayloadBody dari transaksi blob EIP-2718 standar.
gumpalan - Daftar gumpalan. Sebuah transaksi dapat berisi hingga dua blob.
komitmen - Daftar komitmen KZG untuk blob.
bukti- Blob dan daftar bukti yang sesuai dengan komitmen KZG. Bukti ini akan diverifikasi oleh node ETH.
Penyesuaian untuk bukti penipuan:
Pertama, pihak pembuktian dan pihak yang menantang memerlukan beberapa putaran interaksi untuk menemukan titik perselisihan.
Kemudian serahkan poin yang disengketakan ke L1 untuk dinilai. Untuk beradaptasi dengan EIP4844, mungkin perlu dibuktikan bahwa data yang dipermasalahkan disimpan di Blob tertentu.
Karena data Blob akan dihapus setelah sekitar 18 hari, periode tantangan harus dilakukan sebelum data tersebut dihapus, yang dipenuhi oleh rollup optimis saat ini. Umumnya, periode tantangan tidak melebihi 7 hari.
ZK Rollup beradaptasi dengan EIP4844
Rollup ZK menggunakan ZKP untuk membuktikan bahwa transisi status L2 sudah benar. Adaptasi rollup ZK ke EIP4844 lebih rumit daripada rollup optimis.
Pengajuan transaksi L2: Langkah Optimistic Rollup ini serupa.
**Pengajuan bukti ZK: Dibandingkan dengan ZK Rollup sebelum adaptasi, selain bukti transisi keadaan ZKP, diperlukan satu proses pembuktian lagi. Artinya, komitmen blob dan kumpulan transaksi terbukti sesuai, sehingga memastikan bahwa masukan bukti transisi keadaan sudah benar. **
Contoh: rangkaian transisi keadaan ZK dapat menghasilkan pembuktian proses perhitungan a + a = b. ZKP dihasilkan ketika (a=1,b=2) dan (a=2,b=4) legal. Oleh karena itu, saya juga perlu memberikan bukti bahwa input yang saya berikan saat itu adalah (a=1,b=2) bukan (a=2,b=4).
Hal ini tidak perlu dilakukan sebelum beradaptasi dengan EIP4844, karena data langsung tersimpan di Calldata dan bisa langsung dibaca, dipastikan inputnya tidak akan disesuaikan. Setelah menggunakan EIP4844, data Blob tidak dapat dibaca secara langsung dan hanya dapat dibuktikan melalui rangkaian baru.
Lebih mudah menerapkan mekanisme pembuktian ini menggunakan rollup ZK STARK (seperti Starknet). Ini merupakan tantangan untuk rollup ZK menggunakan SNARK. Alasannya adalah: **Kurva elips yang digunakan oleh komitmen blob EIP4844 adalah BLS12-381, sedangkan kontrak ETH yang telah dikompilasi sebelumnya hanya mendukung BN254. Karena kurva yang berbeda, sulit bagi kami untuk melakukannya secara langsung Verifikasi bukti penyelesaian komitmen blob dalam kontrak pintar. **
**ZkEVM/zkVM menggunakan SNARK perlu menyelesaikan masalah yang disebutkan pada poin 2 bahwa bukti ZK tidak dapat dihasilkan karena ketidakcocokan kurva. **
Menunggu Ethereum untuk mendukung kontrak yang telah dikompilasi BLS12-381. Ini akan memakan waktu lama.
Gunakan metode pembuktian lain untuk membuktikan. Untuk merancang sirkuit baru, Anda harus menggunakan kurva elips BN254 yang didukung oleh kontrak yang telah dikompilasi sebelumnya. Saat ini, kami melihat Morph mengambil pendekatan ini. Hal ini juga menjadikan Morph zkEVM pertama yang menyelesaikan adaptasi EIP4844.
**4. L2 manakah yang disesuaikan dengan EIP4844? **
Dalam rollup Optimis, Optimisme dan Arbitrum telah menyatakan komitmen mereka untuk mengadopsi EIP-4844 dan bekerja sama dengan komunitas mereka untuk menguji dan menerapkan pembaruan yang diperlukan. Arbitrum merupakan rollup Tahap 1 dan memiliki keamanan yang relatif baik. Ini melibatkan kebutuhan untuk mengadaptasi bukti penipuan ke EIP4844. Rollup optimis adalah rollup Tahap 0. Saat ini tidak ada bukti penipuan. Lebih mudah untuk beradaptasi, namun keamanannya tidak cukup tinggi.
Pada ZK rollup, tingkat kesulitan adaptasi rollup menggunakan STRAK dan SNARK berbeda. Lebih mudah untuk mengadaptasi EIP4844 dengan rollup STARK, dan Starknet adalah salah satu perwakilannya. Starknet menerbitkan artikel yang menyatakan bahwa Cancun akan menerapkan adaptasi EIP4844 setelah peningkatan (tautan artikel). Dengan menggunakan rollup SNARK, zkSync juga mengeksplorasi cara memanfaatkan transaksi pembawa blob untuk lebih mengurangi biaya dan meningkatkan kinerja. Scroll menerbitkan artikel tahun lalu yang memperkenalkan ide mengadaptasi EIP4844 (tautan artikel)
Yang paling mengesankan adalah Morph, yang merupakan ZK Rollup Optimis dan merupakan yang pertama merilis solusi untuk mengadaptasi zkEVM ke EIP4844. **Dapat dikatakan sebagai zkEVM Rollup pertama yang menyelesaikan EIP4844. **
ZK Rollup yang optimis memadukan keunggulan kedua jenis Rollup. Ia secara optimis percaya pada hasil eksekusi yang dikirimkan oleh Sequencer dan memungkinkan mereka yang meragukan hasilnya untuk memulai tantangan. Hanya ketika tantangan dikeluarkan, pembukti akan menghasilkan ZKP untuk membuktikan kebenaran hasil eksekusi. **Ini memiliki efisiensi rollup Optimis dan keandalan rollup ZK yang telah terbukti. **
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
Pembaruan di Cancun akan segera hadir. Adaptasi apa yang telah dilakukan oleh L2 arus utama?
TL;DR：
1. Latar Belakang
Pada tahun 2020, Ethereum merilis "Rollup-centered Ethereum Roadmap", dan gambaran akhir Ethereum yang dijelaskan dalam "Endgame" yang diterbitkan oleh Vitalik pada tahun berikutnya, ** menentukan gambaran besar Ethereum. Arah: Optimalkan konstruksi dari lapisan dasar Ethereum untuk melayani Rollup. **
Ethereum merancang teknologi sharding Danksharding untuk meningkatkan kegunaan Ethereum sebagai lapisan ketersediaan data. Ini akan secara signifikan mengurangi biaya transaksi L2, meningkatkan TPS Rollup, dan mencapai ekspansi Ethereum yang substansial.
Hingga tahun ini, upgrade Ethereum Cancun-Dencun akhirnya diluncurkan pada 13 Maret 2024, dan EIP4844 akan segera online. Hard fork ini bisa dikatakan sebagai langkah awal implementasi Danksharding Ethereum. Inti dari peta jalan. **
**2. Apa manfaat upgrade Cancun bagi L2? **
EIP4844 memperkenalkan jenis transaksi baru yang disebut transaksi pembawa blob**. **Setiap transaksi yang membawa blob dapat "membawa" daftar blob. Blob adalah paket data, berukuran sekitar 125 KB. Blob disimpan untuk jangka waktu singkat, hanya 4096 epoch, yaitu lebih dari 18 hari.
Untuk pengguna akhir, setelah **EthereumL2 diadaptasi ke EIP4844, kecepatan transaksi akan lebih cepat, biaya lebih rendah, pengalaman lebih lancar, dan respons lebih responsif. Akan ada aplikasi Dapp yang lebih kompleks dan lebih besar pada L2 ini. **
3. Bagaimana L2 beradaptasi dengan EIP4844?
Bagaimana L2 beradaptasi dengan EIP4844? Kita perlu membahas Optimistic Rollup dan ZK Rollup secara terpisah.
Rollup Optimis beradaptasi dengan EIP4844
Rollup optimistis menggunakan bukti penipuan untuk memastikan kebenaran eksekusi rollup. Artinya, node pertama-tama memilih untuk percaya bahwa transisi negara itu benar. Kecuali jika seseorang memulai sertifikat penipuan dalam jangka waktu tertentu untuk membuktikan bahwa transisi negara yang diajukan sebelumnya adalah ilegal, transisi negara tersebut akan dicabut.
Rollup optimis lebih mudah diadaptasi ke EIP4844 dibandingkan rollup ZK. Kirimkan semua transaksi L2 ke L1 melalui transaksi pembawa Blob untuk menyelesaikan adaptasi. Selain itu, pembuktian penipuan perlu disesuaikan untuk beradaptasi dengan EIP4844, bagian ini bisa dilakukan secara perlahan. Lagi pula, banyak rollup yang optimis belum memberikan bukti penipuan. Saya memasang sertifikat penipuan secara online, tetapi ternyata tidak ada sertifikat penipuan yang dikirimkan selama lebih dari dua tahun.
Pengiriman transaksi L2: Saat Rollup dikirimkan, transaksi pembawa Blob digunakan untuk menyimpan data Rollup di Blob. Payload dari transaksi pembawa Blob adalah rlp([tx_payload_body, blobs, commitmen, proofs]), di mana
Penyesuaian untuk bukti penipuan:
ZK Rollup beradaptasi dengan EIP4844
Rollup ZK menggunakan ZKP untuk membuktikan bahwa transisi status L2 sudah benar. Adaptasi rollup ZK ke EIP4844 lebih rumit daripada rollup optimis.
**4. L2 manakah yang disesuaikan dengan EIP4844? **
Dalam rollup Optimis, Optimisme dan Arbitrum telah menyatakan komitmen mereka untuk mengadopsi EIP-4844 dan bekerja sama dengan komunitas mereka untuk menguji dan menerapkan pembaruan yang diperlukan. Arbitrum merupakan rollup Tahap 1 dan memiliki keamanan yang relatif baik. Ini melibatkan kebutuhan untuk mengadaptasi bukti penipuan ke EIP4844. Rollup optimis adalah rollup Tahap 0. Saat ini tidak ada bukti penipuan. Lebih mudah untuk beradaptasi, namun keamanannya tidak cukup tinggi.
Pada ZK rollup, tingkat kesulitan adaptasi rollup menggunakan STRAK dan SNARK berbeda. Lebih mudah untuk mengadaptasi EIP4844 dengan rollup STARK, dan Starknet adalah salah satu perwakilannya. Starknet menerbitkan artikel yang menyatakan bahwa Cancun akan menerapkan adaptasi EIP4844 setelah peningkatan (tautan artikel). Dengan menggunakan rollup SNARK, zkSync juga mengeksplorasi cara memanfaatkan transaksi pembawa blob untuk lebih mengurangi biaya dan meningkatkan kinerja. Scroll menerbitkan artikel tahun lalu yang memperkenalkan ide mengadaptasi EIP4844 (tautan artikel)
Yang paling mengesankan adalah Morph, yang merupakan ZK Rollup Optimis dan merupakan yang pertama merilis solusi untuk mengadaptasi zkEVM ke EIP4844. **Dapat dikatakan sebagai zkEVM Rollup pertama yang menyelesaikan EIP4844. **
ZK Rollup yang optimis memadukan keunggulan kedua jenis Rollup. Ia secara optimis percaya pada hasil eksekusi yang dikirimkan oleh Sequencer dan memungkinkan mereka yang meragukan hasilnya untuk memulai tantangan. Hanya ketika tantangan dikeluarkan, pembukti akan menghasilkan ZKP untuk membuktikan kebenaran hasil eksekusi. **Ini memiliki efisiensi rollup Optimis dan keandalan rollup ZK yang telah terbukti. **