Selepas EIP-4844, caj StarkNet dikurangkan sebanyak 100 kali? Tetapi saya mendapati bahawa perkara-perkara tidak semudah itu

Kata Pengantar

EIP-4844, sebagai peningkatan terbesar Ethereum selepas The Merge, telah menarik perhatian yang cukup dari seluruh rangkaian. Ruang storan sementara Blob yang diperkenalkan dalam naik taraf ini adalah bersamaan dengan menambah gerabak dipasang sisi pada kereta api Ethereum, menyediakan ruang ketersediaan data yang lebih murah tanpa menjejaskan status operasi asal kereta api.

Rangkaian Lapisan 2 seperti Optimisme, StarkNet dan Arbitrum semuanya telah menyokong EIP-4844 dalam tempoh yang singkat dan telah mencapai kesan pengurangan yuran yang ketara Berikut ialah urus niaga di mana perbendaharaan LXDAO membayar gaji kepada pencarum pada Optimism, dan gas sebelum dan selepas Bayaran sebenarnya 100 kali ganda berbeza.

Tetapi semasa kami terkejut, kami mendapati bahawa StarkNet, sebagai wakil ZK Rollup, juga telah mencapai kesan pengurangan yuran yang menakjubkan Daripada tahap penggunaan gas sebelumnya yang kerap melebihi 1$, ia juga telah menurun kepada 0.01$.

Jika anda ingin mengetahui prinsip teknikal yang lebih terperinci, anda dialu-alukan untuk memasuki MyFirstLayer2 untuk belajar.

Nota: MyFirstLayer2 ialah projek pendidikan Web3 yang disokong oleh Yayasan Ethereum dan dimulakan oleh LXDAO Ia bertujuan untuk membantu pendatang baharu memahami sejarah pembangunan Layer 2 melalui pelbagai kaedah pengajaran yang menarik, seperti teks, gambar, animasi dan interaksi konsep asas.

Mengapa pengurangan yuran StarkNet mengejutkan?

OP Rollup dan ZK Rollup mempunyai keperluan yang berbeza untuk lapisan ruang storan

Oleh kerana OP Rollup dan ZK Rollup mempunyai kos DA (Ketersediaan Data: ketersediaan data, termasuk perkhidmatan penyimpanan dan pengedaran data, supaya pihak ketiga boleh mendapatkan perkara yang mereka inginkan . data) kepada tahap yang berbeza-beza.

OP Rollup akan membungkus dan memampatkan semua butiran transaksi terkini, termasuk tandatangan pengguna dan maklumat lain, dan memuat naiknya ke rangkaian peringkat pertama. Ia tidak memerlukan terlalu banyak tugas pengesahan pada rangkaian peringkat pertama, dan hampir semua kos berada dalam ruang storan rangkaian peringkat pertama.

ZK Rollup, sebagai perbandingan, mempunyai kadar mampatan yang lebih tinggi untuk data. Sebagai contoh, ia boleh meninggalkan data tandatangan pengguna dan bergantung pada bukti pengetahuan sifar untuk memastikan bahawa urus niaga adalah sah dan ia tidak perlu membungkus semua butiran transaksi, hanya perubahan dalam status dibungkus dan dimuat naik.

Sebagai contoh, pada rangkaian lapisan kedua, 100 pengguna telah berdagang pada pasangan dagangan USDC / USDT Setiap kali pengguna berdagang dan baki USDC dan USDC dalam kontrak Swap akan berubah. Untuk OP Rollup, ia adalah 100 transaksi dan 400 perubahan baki 200 akaun untuk ZK Rollup, tidak banyak perbezaan yang melibatkan perubahan dalam baki pengguna, tetapi untuk kontrak Swap, baki USDC dan USDTnya Sebanyak 200 perubahan boleh dimampatkan; menjadi 2 perubahan dalam baki akhir, sangat mengurangkan volum data. . sebagai StarkNet , ZkSync dan ZK Rollup L2 yang lain, yuran selalunya jauh lebih tinggi daripada OP Rollup Khususnya, laluan teknologi STARK StarkNet lebih besar daripada ZK Proof bagi laluan SNARK yang lain, dan selalunya berada di bahagian bawah kedudukan pemindahan L2. yuran.

Sebab mengapa ZK Rollup tidak mengalahkan OP Rollup sebaik sahaja ia masuk dalam talian adalah mudah kerana walaupun ia mempunyai kadar mampatan yang lebih tinggi untuk data transaksi dan menjimatkan kos penghantaran data ke lapisan pertama, Ia memerlukan pengesahan kesahihan bukti pengetahuan sifar pada lapisan rangkaian, yang meningkatkan kos pengiraan.

Blob hanya boleh mengurangkan kos bahagian penyimpanan, tetapi tidak membantu bahagian pengiraan Oleh itu, ZK Rollup boleh mendapat lebih sedikit faedah daripada EIP-4844, jadi kami melihat kedudukan StarkNet dari bahagian bawah "underachievers" Sukar. jangan terkejut apabila anda maju ke tahap yang sama dengan tempat pertama dan kedua dalam kelas.

Penerokaan yuran StarkNet

Saya harus mengatakan bahawa mekanisme ZK Rollup jauh lebih rumit daripada OP Rollup Contohnya, melalui kontrak Optimism: Batcher, kos pembungkusan data ke rangkaian utama sebelum dan selepas naik taraf disertakan. Sesiapa sahaja boleh memahami sepenuhnya mengapa ia adalah bayaran Transaksi dikurangkan sebanyak dua pesanan magnitud.

Klik pada perkataan biru untuk mengetahui lebih lanjut:

Batch lama terakhir sebelum menaik taraf.

Batch baharu pertama selepas naik taraf (termasuk yuran Blob, sejumlah 0.0011 ETH):

Kos 6 Gumpalan (jumlah 0.00078 ETH)

Tetapi dalam proses meneroka yuran StarkNet Gas, penulis mengalami kesukaran yang besar, dan juga mengalami banyak pembalikan plot Proses penerokaan itu sendiri juga sangat memberi inspirasi.

L1DA yang hilang

Dengan pengalaman meneroka rahsia pengurangan yuran Optimisme, kami secara semula jadi berfikir bahawa kami hanya perlu mencari kontrak yang asalnya menghantar data ke rangkaian utama oleh StarkNet Kontrak penting ini mesti telah digunakan oleh Etherscan's Gas . Ia berada dalam senarai, jadi tidak sukar untuk mencari Tatal, yang belum disesuaikan dengan Blob, masih antara yang terbaik dan berada di atas yang mempesonakan.

Apabila kami mencari kata kunci StarkNet, kami akan menemui 3 kontrak berkaitan: Operator, Kontrak Teras dan Pendaftaran Fakta Halaman Memori Walau bagaimanapun, kontrak ketiga yang nampaknya berkaitan dengan ruang storan telah dihentikan hampir dua tahun lalu .

Jadi kita hanya dapat melihat bahawa Operator sentiasa berinteraksi dengan Kontrak Teras dan sentiasa mengemas kini status terkini.

Dan jika kita beralih ke bahagian hadapan dan belakang gumpalan penyesuaian, kita dapati transaksi Keadaan Kemas Kini Operator memang telah dinaik taraf, tetapi ia hanyalah cincangan yang menunjuk ke paket lain. Malah kemas kiniStateKzgDA yang kemudiannya menggunakan lebih banyak Gas, yang tidak dapat menjelaskan sebab pengurangan yuran StarkNet sama sekali.

Kemas kini kemudian ini hanyalah komitmen polinomial KZG, digunakan untuk membuktikan bahawa data dalam Blob sepadan dengan paket data Kumpulan yang sepadan, dan ia juga hanya "State Root" Akar)". Punca keadaan ini sepadan dengan "lejar kecil" yang merekodkan semua keadaan semua kontrak pada rangkaian peringkat kedua ini secara teorinya juga wujud pada rangkaian peringkat pertama.

Maka persoalannya, kenapa hanya tinggal satu akar sahaja? Ke mana perginya lejar kecil yang tebal itu?

Analisis selepas kegagalan pertama

Walaupun penerokaan pertama tidak begitu berjaya, kita masih boleh mendapatkan beberapa inferens dan andaian. Rakan yang telah menonton MyFirstLayer2 mesti tahu bahawa isu teras yang dibincangkan oleh Rollup ialah isu DA (ketersediaan data), dan penyelesaian yang mereka pakai ialah memuat naik data utama ke rangkaian utama untuk menyelesaikan masalah ketersediaan data, supaya semua orang boleh mengakses dengan mudah ia memerlukan data.

1. Op Rollup sebenarnya adalah cara yang mudah dan kasar untuk memampatkan dan membungkus setiap transaksi dan memuat naiknya ke rangkaian lapisan pertama. mengesahkan sama ada transaksi dilaksanakan dengan betul.

2. ZK Rollup tidak perlu memuat naik semua butiran transaksi, hanya State Diff (bahagian perubahan keadaan bagi setiap kelompok) boleh dimuat naik bukti pengetahuan sifar memastikan semua transaksi telah dilaksanakan dengan betul pada lapisan kedua. Orang lain boleh memulihkan gambar penuh lejar kecil lapisan kedua dengan memainkan semula keputusan perubahan keadaan berbilang.

Dan kami tahu bahawa data dalam Blob hanyalah rentetan teks binari ke lapisan pertama Lapisan pertama hanya melindungi ketepatan data dalam Blob tanpa mengesahkan kontrak pintar lapisan pertama tidak boleh membaca dan mengesahkannya. Kandungan dalam Blob, jadi jika ZK Proof masih disahkan oleh satu lapisan, maka ZK Proof itu sendiri tidak boleh diletakkan dalam Blob Oleh itu, StarkNet boleh mempunyai kesan pengurangan kos tertentu dengan meletakkan State perbezaan setiap kumpulan ke dalam bingo.

Jadi, tugas kami seterusnya adalah jelas untuk memikirkan, di manakah StarkNet meletakkan perbezaan Negeri? Di manakah ia diletakkan pada masa lalu Adakah ia diletakkan di dalam Blob sekarang?

Selain itu, hakikat bahawa hanya satu punca keadaan boleh ditemui membuatkan orang tertanya-tanya sama ada StarkNet secara senyap-senyap memuat naik data perubahan keadaan ke mainnet lama dahulu dan menukarnya kepada DAC (Jawatankuasa Ketersediaan Data) sendiri kes, maka caj tinggi StarkNet sebelum ini adalah tidak munasabah sama sekali dan hanya boleh dijelaskan sebagai...

Pautan berkaitan:

https://layer2.myfirst.io/zh#2.4-rollup

SHARP System

Nasib baik, selepas berbincang dengan @0xYandhii, fajar baharu telah bermula. Sebelum mainnet umum dilancarkan, produk pertama StarkNet sebenarnya StarkEX, termasuk pertukaran derivatif terpencar DYDX, yang juga merupakan produk pada tempoh itu. Selepas mainnet masuk dalam talian, produk asal tidak ditinggalkan, sebaliknya berkongsi sistem pengesahan dengan mainnet.

Iaitu, SHARP: Sistem Pembuktian dan Pengesahan Berkongsi, dan kemudian kami menemui kontrak berkaitan seperti Penulis Rantaian SHARP dan Starkware: Pengesah SHARP.

Buka penyemak imbas blok untuk menanyakan urus niaga berkaitan, anda boleh mendapati SHARP Blockchain Writer telah melaksanakan 4 jenis operasi berikut:

1. Sahkan Merkle: Sahkan pokok Merkle

2. Sahkan Oracle-Solomon Interaktif: Fast Reed Proof of Proximity digunakan untuk memastikan data yang diserahkan atau hasil pengiraan mengikut peraturan atau kekangan tertentu tanpa mendedahkan kandungan data itu sendiri.

3. Daftar Halaman Memori Berterusan: Dimuat naik lebih daripada seratus kali dalam satu kitaran, mendaftarkan ruang memori berterusan, yang disyaki sebagai bahagian yang menulis data ke rangkaian lapisan pertama.

4. Sahkan Bukti Dan Daftar: Sekali dalam kitaran, ia boleh sepantas sepuluh minit atau selambat satu atau dua jam Ia sepatutnya cukup untuk mengumpul transaksi yang mencukupi untuk satu kumpulan pengesahan.

Adalah sukar untuk melihat bahawa langkah 1, 2, dan 4 adalah langkah yang berkaitan dengan bukti pengetahuan sifar, dan langkah ketiga mendaftarkan ruang memori adalah jelas langkah menulis data ke lapisan rangkaian, dan adalah yang paling berkemungkinan untuk menyimpan State diff The place.

Adalah munasabah untuk membuat spekulasi bahawa kos bagi ketiga-tiga langkah pengesahan tersebut tidak berubah dengan ketara sebelum dan selepas naik taraf Blob, dan kos langkah ketiga sepatutnya dapat menjelaskan dua urutan kesan pengurangan kos magnitud sebelum dan selepas StarkNet .

Jadi pengarang terus menyemak imbas penjelajah blok, dan mengambil satu kitaran pengesahan daripada setiap tiga tempoh versi lama kedua hingga terakhir sebelum EIP-4844, versi kedua terakhir, dan versi terkini yang telah dinaik taraf dan dikira Gas yang digunakan dalam empat langkah bagaimana.

Hasilnya seperti berikut, yang membuatkan orang ramai garu kepala.

Kos ingatan telah menurun sebanyak separuh, tetapi dilihat dari perkadaran kosnya dalam keseluruhan pusingan proses pengesahan Bukti ZK, tahap penurunan DA ini tidak menjelaskan sebarang masalah.

Penjelajahan sudah hampir sampai ke penghujung jalan Penulis berasa seperti ahli fizik yang duduk di hadapan pelanggar zarah besar di dunia Trisolaran menjerit: Ini tidak masuk akal Komuniti StarkNet untuk menyiarkan siaran bertanya, tetapi mungkin kerana soalan itu terlalu rumit, tiada sesiapa dalam komuniti Inggeris yang menjawab.

SHARP System Gas Used Exploration

Pada ketika ini, kami mempunyai sedikit helah terakhir dalam csv data transaksi yang dimuat turun sebelum ini, hanya ETH yang digunakan oleh bayaran gas, dan tiada maklumat seperti Gaslimit, jadi kesan daripada. turun naik harga unit gas pada statistik tidak boleh diketepikan. Jadi penulis menulis skrip untuk mengira GasUsed (bahagian terpakai Gaslimit) yang sebenarnya digunakan oleh setiap transaksi yang terlibat.

Akhirnya, cahaya muncul! Ia boleh dilihat bahawa sebelum naik taraf, urus niaga untuk mendaftar ruang memori sebenarnya dihantar dalam kumpulan 2. Satu kos gas adalah minimum 50,000, manakala satu lagi biasanya sekitar 300,000 gas.

Selepas naik taraf, hampir semua transaksi memori berdaftar telah menjadi transaksi penggunaan rendah sebanyak 50,000.

Kesimpulan pelik kali terakhir mungkin kerana kami mengambil terlalu sedikit sampel Kebetulan kitaran pengesahan selepas naik taraf mengejar tempoh lonjakan Gas mainnet yang besar, menjadikannya lebih lama Daftar Halaman Memori Berterusan kos urus niaga Gas lebih tinggi, yang memesongkan keputusan statistik.

Berikutan idea ini, kami menyusun semula data GasUsed sebanyak 3 saat, yang jauh lebih munasabah kali ini. Pada ketika ini, ia boleh disahkan bahawa saiz Halaman Memori sememangnya telah dikurangkan dengan ketara selepas naik taraf Ini sepatutnya menjadi tempat data perubahan keadaan Perbezaan Negeri disimpan Selepas naik taraf, bahagian data ini dipindahkan kepada Blob.

Dan kemudian kami menemui gambarajah teknikal StarkNet di l2beat.com dan mendapati perbezaan Negeri memang disimpan dalam Halaman Memori seperti yang kami jangkakan.

Jadi pada akhirnya, berdasarkan pengiraan kami berdasarkan bilangan GasUsed (anggaran luas berdasarkan saiz sampel yang dipilih secara rawak yang kecil pada masa ini), kos sebenar L1DA untuk StarkNet adalah kira-kira 4-10 kali lebih kecil, iaitu kurang sedikit daripada susunan magnitud. Ini juga konsisten dengan potongan teori: dalam peningkatan EIP-4844, ZK Rollup tidak mendapat manfaat sebanyak OP Rollup.

Ringkasan

Selepas penerokaan di atas, kami akhirnya menjelaskan sebab dan tahap pengurangan yuran StarNet, dan kesimpulannya masih agak menarik.

Kos L1DA telah menurun dengan ketara, tetapi ia tidak dapat menjelaskan dua urutan penurunan magnitud

Jelas bahawa StarNet pernah menulis data setiap kelompok perubahan status ke dalam lapisan rangkaian, tetapi kini ia meletakkan bahagian ini data dalam Blobs , jadi kesan pengurangan yuran yang kurang sedikit daripada susunan magnitud boleh diperolehi dalam tingkah laku mendaftarkan ruang ingatan.

Tetapi StarkNet telah berubah daripada kedudukan pertama atau kedua terakhir kepada mempunyai kesan pengurangan yuran pada tahap yang sama dengan pelajar OP teratas, malah ia mengatasi semua OP rollup.

Maka satu-satunya penjelasan yang munasabah ialah harga "Heart Black" memang terlalu tinggi sebelum ini. Sebelum pengeluaran token STRK, semua insentif pembangunan dan komuniti StarkNet memerlukan dana Selain membakar wang pelabur, menetapkan perbezaan harga L2 L1 Gas yang lebih tinggi mungkin merupakan salah satu cara mereka untuk mengekalkan pembangunan, yang menyebabkan gas Memalukan StarNet sebelumnya. keadaan bil.

Sekarang pengeluaran token STRK telah membawa mereka kecairan dan insentif ekologi yang mencukupi, tiba masanya untuk mengembalikan Gas ke tahap yang munasabah dan memanfaatkan gelombang peningkatan Blob ini untuk mengeluarkan beg pasir yang terikat pada kaki mereka, kesan pengurangan bayaran ia menunjukkan sangat mengejutkan ramai orang.

Batal OP ZK

OP Rollup Selepas naik taraf, data yang asalnya disimpan dalam Calldata pada rangkaian utama Ethereum telah dipindahkan ke kawasan storan sementara, yang sebenarnya mengorbankan sedikit keselamatan.

Sebelum ini, data dalam ruang Calldata disimpan secara kekal, yang bermaksud sesiapa sahaja boleh mendapatkan data yang mencukupi daripada rangkaian utama Ethereum untuk memulihkan semua keadaan semasa pada OP L2.

Tetapi selepas naik taraf, data Blob akan tamat tempoh Jika tiada entiti dalam keseluruhan rangkaian menyimpan data Blob yang lalu, rekod transaksi sejarah OP L2 mungkin hilang. Walaupun keadaan rangkaian Lapisan 2 terkini masih boleh dilindungi - kerana tempoh penyimpanan Blob melebihi tempoh cabaran 7-14 hari OP, jadi sebelum setiap Blob hampir tamat tempoh, keadaan Lapisan 2 yang sepadan masih boleh dipercayai, yang terkini sepuluh hari rekod transaksi mengekalkan keselamatan OP L2 secara bergulir.

ZK Rollup Jika anda ingin menikmati faedah Blob, anda juga perlu memindahkan data status lapisan kedua yang penting daripada ruang Calldata kekal ke ruang Blob. Ini bermakna selepas satu tempoh masa, kami tidak boleh lagi bergantung pada data yang disediakan oleh rangkaian peringkat pertama untuk memainkan semula status rangkaian peringkat kedua seperti sebelum ini.

Mungkin ini akan menjadi kebiasaan baharu Pada masa hadapan, semua rangkaian lapisan kedua akan bergantung pada Blobs untuk mengekalkan keadaan keselamatan terkini, dan setiap L2 juga perlu mencari cara sendiri untuk menyelesaikan ketersediaan data transaksi sejarah. supaya antara keselamatan dan kecekapan mencapai keseimbangan yang lebih baik.

Trend integrasi OP dan ZK

Pada masa lalu, generasi pertama OP Rollup adalah yang pertama pergi ke dalam talian, tetapi generasi pertama ZK Rollup tidak membawa yuran gas yang lebih kompetitif selepas ia masuk dalam talian. Dengan aliran modularisasi berikutnya yang dibawa oleh kemunculan OP Stack dan Polygon SDK, OP Stack malah merancang untuk memperkenalkan teknologi ZK pada masa hadapan untuk mengurangkan tempoh cabaran.

Ini sudah pasti menunjukkan fakta bahawa dua laluan teknikal OP dan ZK bukanlah persaingan hidup dan mati Mereka akan belajar daripada satu sama lain dan mempunyai kecenderungan untuk berintegrasi, tetapi kali ini ia adalah ZK yang "mulia". yang belajar dari OP "simple and rough".

Sukar untuk membayangkan bahawa teknologi rangkaian lapisan kedua telah berkembang sedemikian rupa dalam masa dua atau tiga tahun sahaja. Mungkin ini adalah daya tarikan dunia blockchain.

Rujukan:

[1] Ketersediaan data FeedTheFed dengan EIP4844[EB/OL]. (2024-02-16) /data-availability-with-eip4844/113065.

[2] Pasukan penyelidik L2BEAT[EB/OL]. ?selectedChart=aktiviti#kontrak.

Atas ialah kandungan terperinci Selepas EIP-4844, caj StarkNet dikurangkan sebanyak 100 kali? Tetapi saya mendapati bahawa perkara-perkara tidak semudah itu. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!