Versi dokumen orisinil: Runtime Verification & IELE – from interoperability to universality
Dipublikasikan pada tanggal 10 Mei 2021
Ditulis oleh Alex Hamilton
Terjemahan ke dalam Bahasa Indonesia oleh @andreassosilo
(Translated to Indonesian language by @andreassosilo)
Runtime Verification & IELE - dari interoperabilitas hingga universalitas
KEVM dan IELE akan menghadirkan tingkat keamanan, skalabilitas, dan programabilitas yang tak tertandingi ke Cardano
10 Mei 2021 Alex Hamilton bacaan 4 menit
Profesor Grigore Rosu, Presiden dan CEO start-up Runtime Verification (RV) bergabung dengan kami di acara Cardano360 edisi Maret untuk berbagi ide dan mendiskusikan kolaborasi antara RV dan IOHK.
Hubungan profesional kami dengan Grigore dan RV dimulai pada tahun 2017, dan kredensial Grigore berbicara sendiri (dalam bahasa apa pun). Dia bekerja untuk NASA, DARPA, Microsoft dan pernah mengajar di Universitas Illinois Urbana-Champaign, untuk menyebutkan beberapa pencapaiannya.
Grigore juga dikreditkan dengan pembuatan K Framework, yang telah dideskripsikan sebagai ‘perangkat lunak yang tidak dapat gagal.’ Dikembangkan selama 15 tahun, tujuan utama dari framework ini adalah untuk meningkatkan keamanan. Kita akan membahas ini lebih detail nanti, tapi pertama-tama, akan membahas pelajaran sejarah secara singkat.
Dalam hal smart contract, Ethereum Virtual Machine (EVM) menetapkan banyak standar awal, misalnya pembuatan smart contract ERC-20 yang ada di mana-mana, yang ditulis dalam Solidity. Namun, sistem ini bukannya tanpa cela. Smart contract telah mengetahui kerentanan pengkodean yang menyebabkan masalah keamanan.
IELE: Keamanan, skalabilitas, dan programabilitas yang tak tertandingi
Sejak akhir 2020, developer Cardano telah menjembatani komunitas Solidity / Ethereum melalui K Ethereum Virtual Machine (KEVM), sebuah implementasi dari EVM yang ditentukan dalam framework K, yang memungkinkan developer untuk menggunakan alat verifikasi formal yang diproduksi K untuk memeriksa kebenaran kontrak.
IELE mengambil langkah lebih jauh. Seperti yang didiskusikan oleh Rosu dalam acara Cardano360 bulan Maret, IELE (dinamai sesuai dengan makhluk mitos Rumania) adalah mesin virtual yang menjalankan smart contract, dan juga menyediakan bahasa yang dapat dibaca manusia, terutama untuk developer blockchain. IELE dirancang dengan metode formal untuk mengatasi masalah keamanan dan kebenaran yang melekat dalam smart contract Solidity yang menargetkan jaringan Ethereum, memudahkan jalan ke tingkat keamanan, skalabilitas, dan programabilitas yang lebih tinggi.
IELE menyerupai representasi perantara dari kompilator LLVM. Hal ini memungkinkan untuk memanfaatkan kekayaan pengetahuan yang tersedia di komunitas LLVM, khususnya, pekerjaan yang telah ditulis dalam pengoptimalan kompilator yang aman dan efektif melewati LLVM IR. Sebagian besar upaya yang dilakukan ke kompilator LLVM dapat dihubungkan ke pengoptimal IELE juga.
Mengenai LLVM
Ketika IELE diimplementasikan (Rosu mengindikasikan bahwa bukti konsep awal akan tersedia untuk pengujian sekitar enam bulan dari sekarang), peluang untuk pengembangan akan semakin luas. IELE beroperasi lebih seperti paspor daripada mesin virtual, membuka pintu - jika bukan adalah sebuah gerbang - menuju kekayaan bakat baru dan unik. Beberapa developer mungkin pernah menolak gagasan memasuki ruang blockchain, karena terdapat kemungkinan untuk mempelajari bahasa pemrograman yang sama sekali baru. Sebagai hasil langsung dari pendekatan inovatif RV, setiap developer yang ingin terlibat dalam smart contract dapat menuliskannya dalam bahasa yang mereka sukai, termasuk Solidity. Output yang dihasilkan akan berjalan dengan sukses pada blockchain yang didukung IELE, apa pun bahasa pemrograman sumbernya.
Apa artinya ini bagi Cardano?
Pencapaian ini akan menawarkan kepada developer dan bisnis insentif lainnya untuk bermigrasi dari Ethereum dan berpartisipasi dalam blockchain Cardano. Keterbukaan, inklusivitas, dan interoperabilitas adalah fondasi di mana Cardano dibangun. Filosofi kami adalah - dan akan selalu - untuk menyambut developer dari semua latar belakang, untuk memastikan evolusi Cardano yang stabil. Rosu punya rencana yang berani. ‘IELE adalah permata mahkota penelitian kami selama dekade terakhir,’ katanya. ‘Itu adalah hal maksimal yang bisa Anda harapkan dalam kerangka universal.’
Kesimpulan terakhir
Kemitraan IOHK dengan RV menunjukkan komitmen terhadap inovasi, dan membuka Cardano ke komunitas pengembang seluas mungkin. Implementasi KEVM / IELE akan memperluas jangkauan dan interoperabilitas Cardano dengan menciptakan jalan baru kerjasama yang akan mengarah pada eksplorasi ide-ide baru, konsep, dan perkembangan teknologi dalam konteks lingkungan yang ‘dikoreksi dengan konstruksi’.
Anda dapat membaca lebih lanjut artikel dari Alex di situs komunitas Cardano Adapulse.