Lititas. Bahasa kontrak pintar baru

Saat ini terdapat lebih dari 1,700 aplikasi terdesentralisasi (DApps) yang dipublikasikan di jaringan Ethereum, dan jumlahnya terus meningkat. Meskipun semua Dapps mengandalkan kontrak pintar, keandalan kontrak pintar itu sendiri patut dipertanyakan - penjahat dunia maya telah menghasilkan lebih dari satu miliar dolar dengan meretasnya.

Untuk membuat kontrak pintar yang layak, pemrogram perlu mempelajari bahasa pemrograman yang benar-benar baru “Soliditas”; kesalahan sekecil apa pun saat menulis kontrak pintar di Solidity dapat menyebabkan konsekuensi yang sangat buruk - kebocoran informasi dan/atau biaya transaksi yang tinggi. Bug yang ditemukan baru-baru ini dalam kontrak pintar Parity menyebabkan perusahaan kehilangan lebih dari setengah juta ether (ETH), senilai lebih dari $169 juta.

Haruskah kita menyalahkan Solidity?

Karena insiden seperti ini lebih sering terjadi, opini komunitas Ethereum terhadap Solidity telah berubah menjadi lebih buruk. Kontrak pintar yang ditulis dalam Solidity mengalami masalah keamanan, terutama masalah integer overflow. Peretas tidak kesulitan menemukan kelemahan dalam kontrak dan mencuri jutaan dolar. Banyak dari peretasan ini terjadi karena kesalahan yang dilakukan pemrogram saat menulis kode Soliditas. 

Misalnya, Beauty Chain (BEC) adalah mata uang kripto yang sangat terkenal di Tiongkok; pada hari pertama penjualan di bursa OKeX, harganya naik 4000%. Dari nilai pasar puncak sebesar $70 miliar, perusahaan tiba-tiba turun menjadi $2 miliar ketika harga tokennya menjadi nol. Hal ini terjadi karena adanya bug pada kontrak pintar ECR20. Dalam kasus BEC, pengembang menambahkan metode ke kontrak yang disebut “batchTransfer()”. Metode ini dimaksudkan untuk mempermudah transfer token ke beberapa orang sekaligus.

Namun, pengembang membuat kesalahan kritis pada baris kode berikut:

uint256 amount = uint256(cnt) * _value;

Memecahkan masalah

Untuk memecahkan masalah yang dihadapi kontrak pintar yang ditulis dalam Solidity, sebuah bahasa yang disebut “Lity” telah dibuat. Bahasa ini digunakan untuk mengembangkan kontrak pintar dan aplikasi terdesentralisasi pada blockchain CyberMiles. Lity terdiri dari bahasa yang dapat diperluas secara dinamis, kompiler, dan mesin virtual. Artinya, semua program Solidity yang ada kini dapat berjalan tanpa modifikasi di CyberMiles Virtual Machine (CVM).

Bahasa Lity lebih fleksibel, lebih andal, dan aman dibandingkan Solidity. Misalnya, Lity mendukung fitur bahasa baru yang dapat ditambahkan menggunakan teknologi over-the-air. Misalnya, algoritma kunci publik/pribadi di jaringan Ethereum sangat panjang dan mahal. Jaringan tidak dapat mendukung banyak jenis aplikasi.. Dengan menggunakan salah satu fungsi baru yang dikenal sebagai “libENI”, waktu yang diperlukan untuk menyelesaikan operasi ini dapat dikurangi menjadi beberapa milidetik (10.000 kali lebih cepat dari sekarang). Operasi ini juga akan memakan biaya yang jauh lebih sedikit.

Peningkatan daya komputasi Lity memiliki potensi besar untuk aplikasi pertukaran aset kripto antar blockchain, serta untuk menggabungkan data off-chain ke dalam transaksi blockchain. 

Terakhir, kompiler Lity memeriksa kode dalam kontrak ERC 20 dan ERC 721 untuk mengetahui semua bug dan kesalahan yang diketahui. Dan mesin virtual secara otomatis mencegah masalah seperti integer overflow atau pembatalan validasi pemilik kontrak.

Masa Depan Kontrak Cerdas

Sayangnya, Solidity telah menjadi kambing hitam atas semua masalah yang ditemukan dalam kontrak pintar modern. Untuk memastikan operasi yang andal dari kontak tersebut di masa depan, bahasa pemrograman baru seperti Lity telah dibuat.

Diketahui juga bahwa Ethereum Foundation sendiri sedang mencari cara untuk mengatasi masalah tersebut. Pemimpinnya sedang mengerjakan implementasi “Casper” – sebuah mekanisme di mana Ethereum secara bertahap akan beralih ke konsensus PoS. Manajemen dana tersebut percaya bahwa perubahan ini diperlukan untuk memecahkan banyak masalah yang terkait dengan PoW. Namun, CyberMiles Foundation telah mengumumkan bahwa mereka telah menemukan solusi untuk masalah ini – model DPoS yang berfungsi. 

Modifikasi ini pasti akan diterapkan pada sejumlah aplikasi untuk jaringan Ethereum dan salah satu komponen terpentingnya - kontrak pintar.

Berdasarkan materi dari hackernoon.com