Cardano Meluncurkan TestNet Kontrak Pintar Pertama, Lain Lain untuk Juli

Cardano, cryptocurrency terbesar ketujuh di dunia dengan kapitalisasi pasar , secara diam-diam meluncurkan testnet kontrak cerdas pertamanya pada 28 Mei 2018, dan perkembangannya sangat luar biasa berpikir.

Membangun Kepercayaan pada Proyek Blockchain
Menurut rilis resmi oleh IOHK, organisasi induk Cardano, proyek blockchain meluncurkan KEVM testnet, versi “benar-dengan-konstruksi” dari Ethereum Virtual Machine ( EVM ), pada kerangka K Cardano – bahasa pemrograman yang diizinkan.

IOHK berkolaborasi dengan Runtime Verification untuk membangun teknologi, dan perilisannya adalah pertama kalinya semantik terkenal sistem itu diproduksi.

Bagi yang belum tahu, Cardano adalah proyek yang memungkinkan pengembang untuk membangun proyek-proyek yang dikaji oleh rekan di blockchain-nya. Dengan menggunakan Kerangka Kerja, pengembang dapat mempresentasikan proyek mereka kepada anggota komunitas pemrograman blockchain, dan menentukan bagian dari kode mereka menjadi hanya-baca, hanya-mengedit, dan bagian-bagian terbatas. Kerangka ini memastikan bahwa proyek-proyek telah diperiksa oleh para pengkode yang berpengalaman dan berpendidikan tinggi, dan memberikan legitimasi dan kepercayaan.

Oleh karena itu, peluncuran testnet merupakan perkembangan penting dalam membangun blockchain generasi ketiga dan cryptocurrency.

The Technicals
Sesuai rilis, Cardano pengembang harus mampu membangun aplikasi yang berjalan di atas EVM dan menempatkan mereka pada kerangka K . IOHK mendorong pengembang untuk “menguji secara ketat” dua kerangka, dalam upaya untuk membuktikan kekokohan sistem.

Rilis menjelaskan sistem:

“Ini dilakukan dengan secara formal menentukan properti yang diinginkan dalam kontrak di K, menggabungkan kontrak dengan spesifikasi KEVM, dan kemudian menggunakan kerangka K untuk memverifikasi properti tersebut.”

Kerangka Kerja K adalah produk Lab Sistem Formal Universitas Illinois dan dilaporkan dibangun selama 15 tahun oleh kepala proyek Grigore Rosu. Kerangka Kerja K menggunakan desain mekanisme state-of-the-art dan bahasa pemrograman dan berusaha untuk memverifikasi kode blockchain dari proyek yang diberikan secara formal.

IOHK menyatakan:

“Kontrak cerdas harus diverifikasi secara formal, sehingga mereka berjalan persis seperti yang ditentukan dan bebas dari bug atau kekurangan. Hanya kemudian mereka dapat diadopsi secara luas sebagai infrastruktur keuangan yang dapat diandalkan oleh miliaran orang. ”

Testnet Kedua dalam Pekerjaan
IOHK mengklaim untuk meluncurkan testnet kedua saat ini dalam pengembangan, IELE, pada Juli 2018. Berbeda dengan KEVM, IELE adalah sistem berbasis register, yang memungkinkan pengembang untuk menghasilkan “jumlah register yang tidak terbatas, yang mendukung tidak terbatas. bilangan bulat. ”

Menggunakan IELE, pengkode dapat mengkompilasi, menulis, dan menjalankan proyek mereka dengan tingkat keamanan dan kinerja yang lebih besar, relatif terhadap testnet KEVM.

Saat ini, kedua sistem berjalan pada Solidity, bahasa kontrak cerdas yang dikembangkan oleh tim inti Ethereum . Namun, IOHK membangun bahasa produksinya sendiri, Plutus , dan berniat untuk menjauh dari Soliditas dalam waktu dekat.

Berita tentang kontrak pintar testnet mengikuti dari jangkauan Cardano ke Afrika seperti yang dilaporkan oleh BTCManager , di mana proyek blockchain menandatangani MOU dengan kementerian pemerintah di Ethiopia dan Rwanda, dan peluncuran alat realitas virtual untuk mengeksplorasi blockchain Bitcoin.