Solidity diatas Cardano Menggunakan KEVM

Seiring berkembangnya Cardano, jaringannya mulai merambah dan masuk ke arah interoperabilitas dari blockchain. Sekarang Cardano mengajak seluruh komunitas dari Solidity dan Ethereum untuk bergabung dengan komunitas Cardano karena Solidity akan bisa dijalankan diatas jaringan Cardano dengan menggunakan sebuah framework.

Framework tersebut akan menjembatani antara kedua belah ekosistem. Sehingga pengerjaan project di dua “dunia” blockchain dapat berjalan secara seamlessly. Untuk mewujudkan hal tersebut, Cardano mempercepat proses pengembangan program K Ethereum Virtual Machine(KEVM), sebuah versi dari Ethereum Virtual Machine(EVM) yang lebih tepat dari sisi konstruksi yang dispesifikasikan dengan K framework.

K Framework adalah platform semantik yang digunakan untuk membuat bahasa pemrograman dan VM yang terverifikasi secara formal. K membantu developer untuk implementasi semantik yang formal pada sebuah bahasa pemrograman dengan lebih mudah dan tepat. K juga menciptakan sebuah `VM yang tepat dari segi konstruksi` dari spesifikasi formal yang dapat di jalankan. VM tersebut cepat, dan cukup kuat untuk menjalankan program dan smart contract. Untuk long term, dengan menjalin kerja sama dengan Runtime Verification, Cardano ingin membuat sebuah K environment dimana kita bisa tinggal ‘plug-and-play’ pada VM yang baru.

KEVM devnets adalah sebuah sistem untuk menspesifikasikan bahasa pemrograman maupun virtual machine yang dibuat menggunakan K Framework. Dari bahasa tersebut akan diturunkan menjadi beberapa tools seperti interpreters, type chekcers, equivalence checkers, dan debuggers.

Ketika kamu menjalankan sebuah smart contract didalam devnet dan menggunakan devnet wallet, devnet akan mengirim kontrak tersebut ke KEVM interpreter untuk di eksekusi sehingga kamu bisa menggunakan K(dan KEVM) untuk memverifikasi smart contract sebelum kamu mengirimkan ke devnet.

KEVM diimplementasi diatas Mantis, standard-compilant Ethereum Classic client yang tentunya didesign menggunakan K Framework juga. Spesifikasi K mendefinisikan semantik formal untuk element-element seperti configuration dan transition rules pada dari EVM. K Framework akan menyiapkan platform yang bisa dikerjakan dan dapat dieksekusi.

Untuk membangun dan menjalankan KEVM Devnet, kamu perlu install Mallet dan compile smart contract. Setelah itu kamu bisa coba bereksperimen dan mengidentifikasi kelemahan yang ada pada smart contract yang kamu buat.

EMURGO adalah perusahaan blockchain global yang menghadirkan solusi untuk developers, startups, enterprise, dan pemerintah. EMURGO mengembangkan aplikasi dengan standard enterprise, tools untuk developer, berinvestasi di startup, dan memberikan edukasi tentang teknologi blockchain. EMURGO memiliki kantor dan menangani proyek di Singapura, Jepang, Amerika Serikat, India, dan Indonesia. EMURGO juga adalah salah satu pendiri dari Cardano protocol.

Related posts:

Erotica author Kiki Wellington (www.sexwithkiki.com) discusses her experience with her first sex toy, a pink rabbit vibrator.

It sounds like a pretty vain use of astrology, but I have to say I both endorse and regularly advise people on using astrology to elect the best day to get their haircut. Why? Because it is…

Digital marketing is all around us and we can hardly imagine today’s business world without tools of social and digital marketing. But one area in digital segment seems to be untouched. Email was one…