28 Mei menandai peluncuran dari testnet kontrak pintar pertama Cardano “KEVM”. Testnet digunakan dalam versi yang benar-oleh-konstruksi dari Mesin Virtual Ethereum (EVM) dalam kerangka K. Teknologi ini diproduksi atas kerja sama oleh Verifikasi Waktu Proses dengan dukungan IOHK.

Ini adalah pertama kalinya skema formal Jaringan Virtual Ethereum (EVM) diproduksi.

Ini masalah besar.

Selama beberapa dekade, pengembang telah mencoba mengembangkan kerangka kerja seperti ini; studi formal pertama yang berasal dari 60-an dan 70-an. Rilis kerangka K menunjukkan bahwa ini tidak hanya teoretis, tetapi mungkin. Prof. Grigore Rosul, yang bertanggung jawab atas pengembangan KEVM, telah mengerjakan kerangka K selama lebih dari 15 tahun.

Saat berbicara tentang rilis testnet dari KEVM, Rosul dinyatakan bahwa itu “terdengar seperti mimpi, tapi sekarang tidak lagi”.

Apa itu KEVM?

Itu Kerangka K. mendefinisikan definisi formal dari aturan yang memungkinkan Anda untuk mendefinisikan semantik ini ke bahasa pemrograman Anda sendiri. Setelah Anda menentukan bahasa pemrograman Anda di K, Anda akan memiliki berbagai alat yang tersedia untuk Anda gunakan. Ini akan membuat bahasa apa pun yang ditentukan dalam kerangka K berperilaku seragam, memastikan bahwa bahasa akan selalu berperilaku dengan cara yang benar dan dapat diperkirakan..

Setelah Anda menentukan bahasa atau VM di K, Anda akan memiliki akses ke semua alat yang ditawarkan kerangka kerja. Ada banyak upaya oleh pengembang dan tim lain untuk melakukan sesuatu yang serupa dengan ini, tetapi K adalah model kerja pertama yang berhasil dibangun.

Oleh karena itu KEVM secara sederhana berarti bahwa EVM telah ditetapkan secara resmi dalam kerangka K..

Melalui KEVM, pengembang akan dapat meluncurkan aplikasi apa pun yang dirancang untuk EVM, tetapi selain itu mereka akan memiliki akses ke seluruh fungsi dan keamanan baru yang ditawarkan KEVM..

Testnets KEVM dan IELE seperti yang terlihat pada Roadmap Cardano

KEVM telah berhasil memformalkan bahasa lain seperti C atau Java, dan alat yang dihasilkan dari bahasa ini memiliki fitur dan kinerja yang sebanding dengan alat yang secara khusus dibuat untuk bahasa tersebut..

Melalui kerangka K, Cardano sekarang dapat menghasilkan mesin virtual yang benar-menurut konstruksi dari spesifikasinya — yang berarti bahwa program yang dijalankan melalui kerangka K secara matematis dijamin untuk memenuhi spesifikasi bahasa pemrograman asli.

KEVM tidak hanya dapat melakukan ini, tetapi VM cukup cepat untuk menjalankan program yang sebenarnya.

Mengapa Kami Peduli?

Prof. Grigore RosuI menyatakan bahwa ini adalah langkah maju yang sangat besar tidak hanya untuk Cardano, tetapi “menuju janji blockchain generasi ketiga.”

Itu kontrak pintar ditulis dengan kerangka kerja K, termasuk kontrak pintar berbasis Ethereum yang ada, akan memanfaatkan keunggulan keamanan kuat yang ditawarkan oleh KEVM dan sebagai tambahan akan memungkinkan fase pengoptimalan dan analisis yang mudah yang pada akhirnya akan membuat kode lebih aman.

Bug kontrak pintar terus-menerus mengganggu dunia kripto. Ada sejumlah masalah terkenal di masa lalu, seperti yang terkenal Retas DOA, tetapi bahkan saat ini peretas mengeksploitasi penyebab kelemahan dengan kode yang ditulis dengan buruk.

Ambil contoh minggu lalu ketika ada potensi bug diekspos pada mainnet EOS, yang jika tidak tertangkap dapat memungkinkan peretas untuk mengambil alih node yang terhubung ke jaringan. Atau lihat Verge, yang pada bulan lalu sudah ditargetkan oleh peretas setidaknya tiga kali.

Melalui kerangka kerja K, kontrak pintar diverifikasi menggunakan kemampuan yang benar-oleh-konstruksi KEVM. Dengan hanya menerapkan fitur paling aman dari EVM, banyak potensi masalah keamanan dan kelemahan yang biasa terlihat di Kontrak Cerdas Ethereum dihapus sebelum terjadi.. 

Cardano: Salah Satu Bintang Cemerlang Crypto

Ini adalah yang pertama dari dua peluncuran testnet besar yang direncanakan untuk Cardano. Yang kedua – dijuluki IELE – dijadwalkan diluncurkan pada bulan Juli. Karena KEVM didasarkan pada bahasa pemrograman yang sudah mapan, maka KEVM akan lebih cepat dibawa ke kualitas industri profesional dan juga akan memungkinkan tim untuk menyelesaikan struktur jaringan dan komunikasi yang juga akan digunakan di IELE setelah diluncurkan.

Testnet ini menandai pencapaian luar biasa, tidak hanya untuk tim Cardano, tetapi komunitas blockchain secara keseluruhan.

Jenis peningkatan teknologi ini adalah apa yang kami harapkan dari tim Cardano. Kecuali adanya kemunduran teknologi besar, KEVM dan mesin virtual IELE yang lebih baru akan dimasukkan ke dalam mainnet Cardano. Ini selanjutnya akan mendorong Cardano maju sebagai pemain utama dalam perlombaan platform kontrak pintar.

Untuk bacaan lebih lanjut tentang platform Cardano dan timnya, lihat: Peta Jalan Cardano Dan Masa Depannya dan Apa itu Cardano?