- Topik
39k Popularitas
20k Popularitas
33k Popularitas
31k Popularitas
4k Popularitas
97k Popularitas
29k Popularitas
27k Popularitas
7k Popularitas
18k Popularitas
- Sematkan
39k Popularitas
20k Popularitas
33k Popularitas
31k Popularitas
4k Popularitas
97k Popularitas
29k Popularitas
27k Popularitas
7k Popularitas
18k Popularitas
Masa depan pengembangan Ethereum: Peningkatan EVM dan abstraksi akun memimpin kemakmuran protokol
Masa Depan Protokol Ethereum ( Enam ): Kemakmuran
Desain protokol Ethereum memiliki banyak "detail" yang sangat penting untuk keberhasilannya. Sebenarnya, sekitar setengah dari isinya berkaitan dengan berbagai jenis perbaikan EVM, sementara sisanya terdiri dari berbagai topik kecil, inilah arti dari "kemakmuran".
Kemakmuran: Tujuan Kunci
perbaikan EVM
Apa masalah yang diselesaikan?
Saat ini, EVM sulit untuk dianalisis secara statis, yang membuat pembuatan implementasi yang efisien, verifikasi formal kode, dan ekspansi lebih lanjut menjadi sulit. Selain itu, efisiensi EVM yang rendah menyulitkan penerapan banyak bentuk kriptografi tingkat lanjut, kecuali dengan dukungan eksplisit melalui pra-kompilasi.
Apa itu, bagaimana cara kerjanya?
Langkah pertama dalam peta jalan perbaikan EVM saat ini adalah format objek EVM (EOF), yang direncanakan untuk dimasukkan dalam hard fork berikutnya. EOF adalah serangkaian EIP yang menetapkan versi baru kode EVM, dengan banyak fitur unik, yang paling mencolok adalah:
Kontrak lama akan terus ada dan dapat dibuat, meskipun pada akhirnya mungkin akan secara bertahap ditinggalkan kontrak lama ( bahkan mungkin dipaksa untuk diubah menjadi kode EOF ). Kontrak baru akan mendapatkan manfaat dari peningkatan efisiensi yang dibawa oleh EOF—pertama melalui bytecode yang sedikit lebih kecil berkat fitur subrutin, dan kemudian melalui fungsi baru khusus EOF atau pengurangan biaya gas.
Setelah memperkenalkan EOF, peningkatan lebih lanjut menjadi lebih mudah, saat ini pengembangan yang paling matang adalah perluasan aritmetika modul EVM ( EVM-MAX ). EVM-MAX menciptakan seperangkat operasi baru yang ditujukan khusus untuk operasi modulo, dan menempatkannya di ruang memori baru yang tidak dapat diakses melalui opcode lain, yang memungkinkan penggunaan optimasi seperti perkalian Montgomery.
Sebuah ide yang lebih baru adalah menggabungkan EVM-MAX dengan fitur SIMD (Single Instruction Multiple Data) (, di mana SIMD sebagai sebuah konsep di Ethereum telah ada sejak lama, pertama kali diusulkan oleh Greg Colvin dalam EIP-616. SIMD dapat digunakan untuk mempercepat banyak bentuk kriptografi, termasuk fungsi hash, STARKs 32-bit, dan kriptografi berbasis kisi. Kombinasi EVM-MAX dan SIMD membuat kedua ekspansi yang berorientasi pada kinerja ini menjadi pasangan yang alami.
Desain kasar untuk kombinasi EIP akan dimulai dari EIP-6690, kemudian:
python for i in range)count(: mem[z_start + z_skip * count] = op) mem[x_start + x_skip * count], mem[y_start + y_skip * count] (
Dalam implementasi sebenarnya, ini akan diproses secara paralel.
)# Tautan penelitian yang ada
Sisa pekerjaan dan pertimbangan
Saat ini, EOF direncanakan untuk dimasukkan dalam hard fork berikutnya. Meskipun selalu ada kemungkinan untuk menghapusnya di menit-menit terakhir — dalam hard fork sebelumnya ada fitur yang dihapus sementara, tetapi melakukannya akan menghadapi tantangan besar. Menghapus EOF berarti bahwa setiap pembaruan EVM di masa depan harus dilakukan tanpa EOF, meskipun hal itu bisa dilakukan, tetapi mungkin akan lebih sulit.
Timbangan utama EVM terletak pada kompleksitas L1 dan kompleksitas infrastruktur, EOF adalah sejumlah besar kode yang perlu ditambahkan ke implementasi EVM, pemeriksaan kode statis juga relatif kompleks. Namun, sebagai imbalannya, kita dapat menyederhanakan bahasa tingkat tinggi, menyederhanakan implementasi EVM, dan manfaat lainnya. Dapat dikatakan bahwa memprioritaskan peta jalan perbaikan berkelanjutan Ethereum L1 harus mencakup dan dibangun di atas EOF.
Salah satu pekerjaan penting yang perlu dilakukan adalah mewujudkan fungsi serupa EVM-MAX ditambah SIMD, dan melakukan pengujian kinerja untuk konsumsi gas dari berbagai operasi kripto.
Bagaimana cara berinteraksi dengan bagian lain dari peta jalan?
L1 menyesuaikan EVM-nya agar L2 juga dapat melakukan penyesuaian yang sesuai dengan lebih mudah. Jika keduanya tidak melakukan penyesuaian secara sinkron, hal itu dapat menyebabkan ketidakcocokan dan membawa dampak negatif. Selain itu, EVM-MAX dan SIMD dapat mengurangi biaya gas dari banyak sistem pembuktian, sehingga membuat L2 lebih efisien. Ini juga membuat lebih mudah untuk menggantikan lebih banyak precompiled dengan kode EVM yang dapat menjalankan tugas yang sama, yang mungkin tidak akan berdampak besar pada efisiensi.
![Vitalik tentang kemungkinan masa depan Ethereum (Enam): The Splurge]###https://img-cdn.gateio.im/webp-social/moments-ec1638a809393a6ed42724fb08f534da.webp(
) Abstraksi Akun
Apa masalah yang diselesaikan?
Saat ini, transaksi hanya dapat diverifikasi dengan satu cara: tanda tangan ECDSA. Awalnya, abstraksi akun bertujuan untuk melampaui hal ini, memungkinkan logika verifikasi akun untuk menjadi kode EVM yang sewenang-wenang. Ini dapat mengaktifkan serangkaian aplikasi:
Mengizinkan protokol privasi beroperasi tanpa perantara, secara signifikan mengurangi kompleksitasnya, dan menghilangkan satu titik ketergantungan pusat yang krusial.
Sejak pengenalan abstraksi akun pada tahun 2015, tujuannya juga telah diperluas untuk mencakup berbagai "tujuan kenyamanan", misalnya, akun yang tidak memiliki ETH tetapi memiliki beberapa ERC20 dapat menggunakan ERC20 untuk membayar gas.
MPC) komputasi multi pihak( adalah teknologi yang telah ada selama 40 tahun, digunakan untuk membagi kunci menjadi beberapa bagian dan menyimpannya di beberapa perangkat, menggunakan teknik kriptografi untuk menghasilkan tanda tangan, tanpa perlu menggabungkan bagian-bagian kunci tersebut secara langsung.
EIP-7702 adalah proposal yang direncanakan untuk diperkenalkan dalam hard fork berikutnya. EIP-7702 merupakan hasil dari pengakuan yang semakin meningkat terhadap penyediaan kenyamanan abstraksi akun untuk menguntungkan semua pengguna ), termasuk pengguna EOA (. Tujuannya adalah untuk meningkatkan pengalaman semua pengguna dalam jangka pendek dan menghindari pemisahan menjadi dua ekosistem.
Pekerjaan ini dimulai dengan EIP-3074 dan akhirnya membentuk EIP-7702. EIP-7702 memberikan "fungsi kemudahan" dari abstraksi akun kepada semua pengguna, termasuk EOA) akun yang dimiliki secara eksternal saat ini, yaitu akun yang dikendalikan oleh tanda tangan ECDSA (.
Meskipun beberapa tantangan ) terutama tantangan "kenyamanan" ( dapat diatasi melalui teknologi bertahap seperti komputasi multi-pihak atau EIP-7702, tetapi tujuan keamanan utama dari proposal abstraksi akun yang awalnya diajukan hanya dapat dicapai dengan menelusuri kembali dan mengatasi masalah asli: memungkinkan kode kontrak pintar untuk mengontrol verifikasi transaksi. Alasan mengapa hal ini belum terwujud sampai sekarang adalah karena implementasinya yang aman, yang merupakan tantangan.
![Vitalik tentang masa depan Ethereum yang mungkin (Enam): The Splurge])https://img-cdn.gateio.im/webp-social/moments-66bd22f0b53601d0976aa3a2b701c981.webp(
)# Apa itu, bagaimana cara kerjanya?
Inti dari abstraksi akun adalah sederhana: memungkinkan kontrak pintar untuk memulai transaksi, bukan hanya EOA. Seluruh kompleksitas berasal dari cara untuk mewujudkan ini dengan cara yang ramah terhadap pemeliharaan jaringan terdesentralisasi, dan mencegah serangan penolakan layanan.
Salah satu tantangan kunci yang khas adalah masalah kegagalan ganda:
Jika ada 1000 fungsi verifikasi akun yang bergantung pada satu nilai tunggal S, dan nilai S saat ini membuat transaksi dalam mempool semuanya valid, maka satu transaksi tunggal yang membalik nilai S dapat membuat semua transaksi lain dalam mempool menjadi tidak valid. Ini memungkinkan penyerang untuk mengirimkan transaksi sampah ke mempool dengan biaya yang sangat rendah, sehingga menyumbat sumber daya node jaringan.
Setelah bertahun-tahun berusaha, yang bertujuan untuk memperluas fungsi sambil membatasi risiko penolakan layanan ###DoS(, akhirnya mencapai solusi untuk mewujudkan "abstraksi akun ideal": ERC-4337.
Cara kerja ERC-4337 adalah membagi pemrosesan operasi pengguna menjadi dua tahap: validasi dan eksekusi. Semua validasi diproses terlebih dahulu, dan semua eksekusi diproses kemudian. Di dalam mempool, hanya ketika tahap validasi dari operasi pengguna hanya melibatkan akun mereka sendiri dan tidak membaca variabel lingkungan, maka akan diterima. Ini dapat mencegah serangan kegagalan ganda. Selain itu, batas gas yang ketat juga diberlakukan pada langkah validasi.
ERC-4337 dirancang sebagai standar protokol tambahan )ERC(, karena pada saat itu pengembang klien Ethereum fokus pada penggabungan )Merge(, tanpa energi tambahan untuk menangani fungsi lainnya. Inilah sebabnya mengapa ERC-4337 menggunakan objek yang disebut operasi pengguna, bukan transaksi biasa. Namun, baru-baru ini kami menyadari perlunya menulis setidaknya sebagian dari konten tersebut ke dalam protokol.
Dua alasan kunci adalah sebagai berikut:
Selain itu, ERC-4337 juga memperluas dua fungsi:
![Vitalik tentang masa depan Ethereum yang mungkin (Enam): The Splurge])https://img-cdn.gateio.im/webp-social/moments-c0f722db75e53f4ff37ef40f5547dfc4.webp(
)# Tautan penelitian yang ada
)# Sisa pekerjaan dan pertimbangan
Saat ini, yang perlu diselesaikan adalah bagaimana mengintegrasikan abstraksi akun secara penuh ke dalam protokol. EIP abstraksi akun yang baru-baru ini populer adalah EIP-7701, yang mengimplementasikan abstraksi akun di atas EOF. Sebuah akun dapat memiliki bagian kode terpisah untuk verifikasi; jika akun mengatur bagian kode tersebut, maka kode tersebut akan dijalankan selama langkah verifikasi transaksi yang berasal dari akun tersebut.
metode ini