28 Mei menandakan pelancarannya testnet kontrak pintar “KEVM” pertama Cardano. Testnet yang digunakan dalam versi Mesin Virtual Ethereum (EVM) yang betul mengikut pembinaan dalam kerangka K. Teknologi ini dihasilkan dengan kerjasama oleh Pengesahan Masa Jalan dengan sokongan dari IOHK.
Ini adalah pertama kalinya skema formal Rangkaian Maya Ethereum (EVM) dihasilkan.
Ini adalah masalah besar.
Selama beberapa dekad pembangun telah berusaha untuk mengembangkan kerangka seperti ini; kajian formal pertama bermula dari 60an dan 70an. Pembebasan kerangka K menunjukkan bahawa ini bukan sahaja teori, tetapi mungkin. Prof Grigore Rosul, yang bertanggungjawab dalam pembangunan KEVM, telah mengusahakan kerangka K selama lebih dari 15 tahun.
Ketika bercakap mengenai pelepasan testnet KEVM, Rosul dinyatakan bahawa “terdengar seperti mimpi, tetapi tidak lagi.”
Apa itu KEVM?
The Kerangka K mendefinisikan definisi peraturan secara formal yang membolehkan anda menentukan semantik ini dengan bahasa pengaturcaraan anda sendiri. Setelah anda menentukan bahasa pengaturcaraan anda dalam bahasa K, anda akan mempunyai pelbagai alat yang tersedia untuk anda gunakan. Ini akan menjadikan mana-mana bahasa yang ditentukan dalam kerangka K berperilaku seragam, memastikan bahawa bahasa itu akan selalu berkelakuan dengan cara yang betul dan dapat diramal.
Setelah anda menentukan bahasa atau VM dalam K, anda akan mendapat akses ke semua alat yang ditawarkan kerangka kerja. Terdapat banyak percubaan oleh pemaju dan pasukan lain untuk melakukan sesuatu yang serupa dengan ini, tetapi K adalah model kerja pertama yang berjaya dibina.
Oleh itu KEVM bermaksud bahawa EVM telah ditentukan secara formal dalam kerangka K.
Melalui KEVM, pemaju akan dapat melancarkan aplikasi yang dirancang untuk EVM, tetapi di samping itu mereka akan memiliki akses ke sejumlah fungsi dan keamanan baru yang ditawarkan oleh KEVM.
Ujian KEVM dan IELE seperti yang terdapat di Peta Jalan Cardano
KEVM telah berjaya memformalkan bahasa lain seperti C atau Java, dan alat yang dihasilkan dari bahasa ini setanding dengan ciri dan prestasi dengan alat yang dibuat khusus untuk bahasa tersebut.
Melalui kerangka K, Cardano kini dapat menghasilkan mesin maya yang betul dengan pembinaan dari spesifikasinya – yang bermaksud bahawa program yang dijalankan melalui kerangka K dijamin secara matematik untuk memenuhi spesifikasi bahasa pengaturcaraan yang asli.
KEVM bukan sahaja dapat melakukan ini, tetapi VM cukup pantas untuk menjalankan program sebenar.
Mengapa Kita Peduli?
Prof Grigore RosuI menyatakan bahawa ini adalah langkah maju yang besar bukan hanya untuk Cardano, tetapi “menuju janji janji blok generasi ketiga.”
The kontrak pintar ditulis dengan kerangka K, termasuk kontrak pintar berasaskan Ethereum yang ada, akan memanfaatkan kelebihan keselamatan yang kuat yang ditawarkan oleh KEVM dan di samping itu akan memungkinkan fasa dan analisis pengoptimuman yang mudah yang akhirnya akan menjadikan kod lebih selamat.
Bug kontrak pintar terus-menerus melanda dunia kripto. Terdapat beberapa masalah profil tinggi pada masa lalu, seperti yang terkenal Godaman DOA, tetapi bahkan hari ini penggodam mengeksploitasi kelemahan disebabkan oleh kod yang ditulis dengan buruk.
Ambil contoh minggu lalu ketika bug berpotensi terdedah di EOS mainnet, yang jika tidak ditangkap akan membolehkan penggodam mengambil alih nod yang bersambung ke rangkaian. Atau lihatlah Verge, yang sejak sebulan lalu disasarkan oleh penggodam sekurang-kurangnya tiga kali.
Melalui kerangka K, kontrak pintar disahkan menggunakan keupayaan betul-dengan-pembinaan KEVM. Dengan hanya menerapkan ciri EVM yang paling selamat, banyak masalah dan kelemahan keselamatan yang mungkin dilihat dalam Kontrak Pintar Ethereum dihapus sebelum berlaku.
Cardano: Salah satu Bintang Bersinar Crypto
Ini adalah yang pertama dari dua pelancaran testnet utama yang dirancang untuk Cardano. Yang kedua – dijuluki IELE – dijadualkan dilancarkan pada bulan Julai. Oleh kerana KEVM didasarkan pada bahasa pengaturcaraan yang sudah mapan, ia akan lebih cepat dibawa ke kualiti industri profesional dan juga akan memungkinkan pasukan menyelesaikan struktur jaringan dan komunikasi yang juga akan digunakan di IELE setelah dilancarkan.
Testnet ini menandakan pencapaian yang luar biasa, bukan hanya untuk pasukan Cardano, tetapi komuniti blockchain secara keseluruhan.
Jenis penambahbaikan teknologi inilah yang harus kita harapkan dari pasukan Cardano. Tanpa sebarang kemunduran teknologi, KEVM dan mesin maya IELE kemudian akan dilancarkan ke mainnet Cardano. Ini akan mendorong Cardano maju sebagai pemain utama dalam perlumbaan platform kontrak pintar.
Untuk membaca lebih lanjut mengenai platform Cardano dan pasukannya, lihat: Peta Jalan Cardano Dan Apa Masa Depan dan Apa itu Cardano?