Apa peningkatan dalam versi baru dari bahasa kontrak pintar Solidity?

Penulis: Adam Boudjemaa

Penyusun: Tuan Huai, Direktur Departemen Riset Investasi Klub Web3 Universitas Wuhan

Pendahuluan

Setelah analisis informasi yang ekstensif seperti repositori Solidity Github, peta jalan Solidity, percakapan komunitas di Twitter, Permintaan Tarik aktif, dan Masalah, artikel ini menyelami lebih dalam ke mana arah masa depan Solidity.

Bahasa pemrograman kontrak pintar terkemuka akan segera dirilis dengan peningkatan 0.9.0 dan 1.0.0, yang akan memperkenalkan beberapa peningkatan yang sangat dinanti.

Tujuan artikel ini adalah untuk memperkenalkan pembaca pada perkembangan terbaru dan peningkatan Soliditas, yang didasarkan pada masukan masyarakat dan perdebatan yang sedang berlangsung. Sementara informasi relevan yang diberikan tidak meyakinkan, itu mengungkapkan arah potensial untuk kemajuan teknologi.

1. Integrasi revolusioner require() dengan Custom Error

Metode saat ini (0.8.x):

Diperkirakan terjadi pada 0.9.0 atau 1.0.0:

Daripada menggunakan sejumlah besar kondisi if untuk melempar kesalahan dengan informasi string atau kesalahan kustom, menggunakan kombinasi require() dan kesalahan kustom akan membuat program lebih jelas dan menghemat gas.

2. Optimasi Representasi Internal (IR): Efisiensi Rilis

Proses representasi internal (IR) di Solidity memainkan peran kunci dalam mengubah kode sumber kontrak pintar menjadi instruksi yang dapat dieksekusi untuk ETH Virtual Machine (EVM).

Representasi internal merampingkan dan menstandarisasi kode kompleks, membuat proses konversi kode menjadi bahasa mesin lebih efisien. Peningkatan Solidity yang akan datang ke 0.9.0 dirancang untuk membuat proses kompilasi ini lebih cepat dan lebih efisien, yang pada akhirnya mengurangi biaya dan meningkatkan produktivitas pengembang.

3. Peningkatan penanganan kesalahan: Klarifikasi dan penyederhanaan kode

Diharapkan pembaruan di masa mendatang akan meningkatkan penanganan kesalahan di Solidity, menghasilkan pesan kesalahan yang lebih mudah dan debugging yang lebih mudah.

Peningkatan ini sangat berguna bagi pengembang yang bekerja dengan kontrak yang kompleks, menghemat waktu dan meminimalkan potensi kesalahan.

4. Aritmatika titik tetap: presisi tinggi dan kinerja tinggi

[Catatan penerjemah: Angka titik tetap adalah tipe data yang digunakan oleh komputer untuk mewakili angka desimal yang sesuai dengan angka floating-point, dan digit bilangan bulat serta tempat desimalnya adalah nilai tetap, sehingga lebih aman daripada angka floating-point.] Saat ini, Solidity tidak memiliki tipe data bawaan yang mewakili desimal, dan pengembang sering kali perlu mengalikan data asli dengan sejumlah besar untuk memesan tempat desimal secara manual, dan mengawasi masalah titik desimal dalam operasi selanjutnya, yang cukup merepotkan. 】

Pada tahap ini, pustaka eksternal seperti ABDKMath64x64 dan DSMath menggunakan Solidity untuk mengimplementasikan angka titik tetap.

Pembaruan 0.9.0 diharapkan untuk mengintegrasikan aritmatika titik tetap asli dan tidak lagi memerlukan perpustakaan eksternal. Ini akan membuat perhitungan desimal jauh lebih disederhanakan.

5. EVM Object Format (EOF): Membangun bytecode kontrak pintar

Peningkatan EOF Solidity yang akan datang bersiap untuk memperkenalkan bytecode terstruktur dan versi untuk kontrak pintar.

Peningkatan ini diharapkan dapat membuat pembaruan kontrak di masa mendatang lebih mudah diterapkan, mempertahankan kompatibilitas ke belakang, dan memungkinkan analisis yang lebih efisien selama fase kompilasi.

Meskipun ini tidak akan mengubah pengalaman pengkodean langsung untuk pengembang kontrak pintar, output kompiler akan lebih hemat gas.

6. Penyimpanan Sementara: Pemrosesan data ad-hoc dan efisien

Fitur baru Solidity, Transient Storage, mengusulkan cara untuk menyimpan data sementara selama pelaksanaan kontrak tanpa merekamnya secara permanen di blockchain. Pendekatan ini diharapkan lebih efisien dalam hal konsumsi gas.

Penyimpanan sementara yang mirip dengan kode di bawah ini kemungkinan akan ditemukan di Solidity 0.9.0 atau Solidity 1.0.0.

7. Perlindungan re-entrancy yang terintegrasi secara native

Sebelum versi 0.8.0, pustaka SafeMath adalah alat umum yang digunakan oleh pengembang untuk operasi aritmatika untuk menghindari masalah luapan dan luapan batas bawah. Dengan dirilisnya Solidity 0.8.0, pemeriksaan keamanan ini disematkan langsung ke dalam bahasa.

Demikian pula, Solidity versi 0.9.0 atau 1.0.0 diharapkan untuk mengintegrasikan perlindungan re-entrancy secara native. Fitur ini dirancang untuk menyederhanakan proses penerapan protokol keamanan untuk mencegah serangan re-entrancy.

Anda akan melihat sesuatu seperti ini:

8. Pewarisan refaktor dan tata letak penyimpanan

Dalam Solidity, warisan menciptakan kontrak baru yang mengambil properti dan fungsionalitas dari kontrak yang ada. Pembaruan yang direncanakan bertujuan untuk meningkatkan linearisasi pewarisan dan tata letak penyimpanan, sehingga meningkatkan prediktabilitas dan organisasi arsitektur kontrak. Ini dapat meningkatkan efisiensi penggunaan penyimpanan dan mengurangi kebingungan dalam skenario multi-warisan.

Misalnya, Turunan kontrak yang mewarisi dari ParentA dan ParentB akan memiliki tata letak penyimpanan yang dioptimalkan dan penyimpanan variabel berkelanjutan, sehingga mengurangi biaya operasi penyimpanan.

9. Tanda kompilasi dan opsi konfigurasi yang disempurnakan

Pengembangan Solidity termasuk memperluas cakupan flag kompilasi dan pengaturan konfigurasi, menyediakan pengembang dengan tingkat kontrol yang tinggi atas proses kompilasi. Peningkatan ini dapat mengarah pada penerapan kontrak yang lebih disesuaikan dengan kontrol terperinci atas pengoptimalan gas, pemeriksaan keamanan, dan kemampuan debugging.

Tanda kompilasi baru dapat memungkinkan pengembang untuk beralih pengoptimalan atau pemeriksaan keamanan tertentu:

Misalnya, flag kompilasi baru, --enable-loop-optimization, akan fokus pada pengoptimalan loop untuk meningkatkan efisiensi gas, dan flag kompilasi baru, --strict-security-checks, akan memperkenalkan analisis keamanan yang keras selama kompilasi

10. Alat debugging dan pesan error yang disempurnakan

Alat debugging yang disempurnakan memiliki pesan kesalahan yang lebih rinci dan secara signifikan dapat menyederhanakan proses pengembangan, terutama untuk struktur kontrak yang kompleks. Pesan error yang disempurnakan dapat membantu developer memahami masalah dalam kode mereka dengan lebih baik, dan alat proses debug lanjutan dapat membantu developer menemukan dan memperbaiki masalah dengan lebih efektif.

11. Dukungan untuk tipe dan struktur data tingkat lanjut

Memperkenalkan tipe dan struktur data yang kompleks di Solidity dapat menginspirasi desain kontrak baru dan kemungkinan fungsional. Ini mungkin termasuk mendukung jenis numerik yang lebih kompleks, struktur data yang ditingkatkan, atau metode yang ditingkatkan untuk menangani kumpulan data besar dalam kontrak.

Soliditas dapat memperkenalkan struktur data baru, seperti TreeMap, yang mengatur data dengan cara yang diurutkan untuk pengambilan yang efisien. Ini dapat berguna dalam kontrak di mana data perlu diurutkan atau disortir, seperti dalam sistem pemungutan suara. [Catatan penerjemah: Mirip dengan pohon merah dan hitam.] Kemajuan lain bisa mendukung jenis angka yang lebih kompleks, seperti angka titik tetap, yang dapat melakukan operasi matematika yang tepat secara langsung dalam kontrak.

12. Memperkenalkan obat generik dan template

Obat generik dan template di Solidity akan memungkinkan kode yang lebih mudah beradaptasi dan dapat digunakan kembali. Misalnya, Anda dapat membuat fungsi generik untuk menangani berbagai jenis aset (seperti token ERC20, NFT, dll.) dengan cara standar tanpa harus menulis ulang fungsi untuk setiap jenis aset tertentu. Ini akan meningkatkan desain kontrak dan efisiensi pengembangan, karena fungsi tunggal dapat diterapkan pada berbagai skenario.

Prospek Masa Depan: Jalan Menuju Soliditas 1.0.0

Di berbagai platform seperti Github, Twitter, Ethresearch, dan Reddit, ada banyak diskusi dalam komunitas Solidity tentang pengembangan rilis 0.9.0.

Titik fokus perdebatan adalah mengungkap:

Apakah ini transisi langsung dan hati-hati ke Solidity 1.0.0 untuk menyatakan kematangan penuh bahasa, atau apakah itu perkembangan bertahap ke versi yang lebih maju dengan rilis 0.9.0 terlebih dahulu?

Dipengaruhi oleh umpan balik masyarakat dan ide-ide kreatif, debut Solidity 1.0.0 yang diharapkan kemungkinan akan bertepatan dengan pembaruan besar untuk ETH Workshop, yang mencerminkan pertumbuhan dan stabilitas ekosistem secara keseluruhan.

1. Evolusi Sistem Tipe: Meningkatkan Fleksibilitas dan Keamanan. Diharapkan akan ada sistem tipe upgrade yang menarik inspirasi dari bahasa pemrograman fungsional seperti Haskell atau Scala. Evolusi ini bertujuan untuk meningkatkan keamanan dan fleksibilitas pengembangan kontrak.

2. Dukungan oracle asli terintegrasi: Sederhanakan interaksi data eksternal. Rencana termasuk mengintegrasikan dukungan bawaan untuk oracle terdesentralisasi di Solidity, memfasilitasi interaksi yang lebih aman dan langsung dengan sumber data eksternal.

3. Tingkatkan manajemen negara: Tingkatkan interaksi blockchain. Peningkatan kemampuan manajemen negara sedang dibahas, dan elemen-elemen seperti saluran negara atau sidechains dapat diperkenalkan sebagai struktur built-in yang dirancang untuk mengoptimalkan interaksi pada blockchain dan mengurangi biaya gas.

4. Pendekatan modular untuk desain kontrak: meningkatkan kegunaan kembali. Pergeseran ke arsitektur kontrak modular sedang dipertimbangkan, memungkinkan penggunaan komponen yang dapat diganti. Ini secara signifikan menyederhanakan proses pengembangan dan meningkatkan operabilitas kode.

5. Integrasikan alat verifikasi formal: pastikan keandalan kontrak. Ada harapan bahwa alat verifikasi formal akan diintegrasikan langsung ke dalam Solidity, sebuah langkah yang bertujuan untuk memastikan bahwa kontrak mematuhi standar dan perilaku tertentu, sehingga mengurangi kemungkinan kesalahan dan kerentanan.

6. Membangun kemampuan lintas rantai: Mencapai interoperabilitas lintas blockchain. Pembaruan di masa mendatang dapat memperkenalkan fitur kompatibilitas lintas rantai asli, memungkinkan kontrak Solidity berjalan lancar di berbagai protokol blockchain.

7. Menerapkan langkah-langkah privasi lanjutan: Meningkatkan keamanan data. Rencana sedang dilakukan untuk mengintegrasikan alat privasi canggih, seperti bukti tanpa pengetahuan atau enkripsi homomorfik, langsung ke dalam bahasa untuk meningkatkan keamanan data dan privasi pengguna.

8. Kriptografi Tahan Kuantum: Mempersiapkan Tantangan Masa Depan. Mengingat kemampuan komputasi kuantum yang muncul, orang mempertimbangkan untuk menerapkan metode kriptografi tahan kuantum untuk melindungi kontrak ETH dari potensi ancaman di masa depan.

Kesimpulan

Saat Anda menjelajahi jalur potensial menuju Solidity, artikel ini menggabungkan wawasan komunitas dan perkembangan terkini dengan proyeksi komunitas untuk memberi Anda pemahaman yang komprehensif tentang topik tersebut. Meskipun kami telah mempelajari kemungkinan versi 0.9.0 dan 1.0.0, lintasan dan rangkaian fitur yang sebenarnya dapat berubah seiring Solidity melanjutkan perjalanan pengembangannya. Nantikan untuk melihat bagaimana percakapan dan konsep ini menjadi hidup di dunia pemrograman kontrak pintar yang terus berkembang.