Categories
Uncategorized

KEVM – Ethereum Virtual Machine pentru Cardano smart contract

Astazi IOHK a anuntat activarea KEVM. Este un eveniment de importanta majora pentru comunitate pentru ca incepand de astazi, dezvoltatorii de daps-uri (aplicatii descentralizate) pot incepe sa scrie aplicatii ce vor rula in reteaua Cardano.

Ce este EVM si KEVM?

EVM vine de la Ethereum Virtual Machine, este interfata pe care Ethereum o foloseste pentru a “traduce” sintaxa programului scris in Solidity in cod masina pentru reteaua Ethereum.

K este un framework folosit pentru a verifica formal un software pentru o implementare mult mai sigura.

  • un cadru pentru definirea sintaxei formale și a semanticii limbajelor de programare
  • o suita de instrumente de executie si analiza parametrice pentru limbajul utilizat
  • un verificator de programe a carui baza de incredere este semantica formala a limbajului de programare utilizat

Deci KEVM este o masina vitruala Ethereum verificata formal semantic care ofera mai multa siguranta si mai putin loc de eroare atunci cand sunt scrise aplicatii in Solidity.

Framework-ul “K” a fost dezvoltat de compania Runtime Verification condusa de Grigore Roșu este profesor de informatică la Universitatea din Illinois la Urbana-Champaign și cercetător în Institutul de încredere în informații.

KEVM este momentan doar un “devnet” care permite portarea aplicatiilor de pe Ethereum. Astfel programatorii vor putea sa testeze aplicatiile scrise in Solidity intr-un mediu paralel cu reteaua Cardano, inainte de conectarea la acesta prin sidechains la Cardano, unde vor rula mai sigur, mai ieftin si mai rapid.

Conectarea KEVM la reteaua mainnet a Cardano e prevazuta pentru inceputul lui 2021.

IELE – masina virtuala nativa Cardano, va fi lansata la inceputul lui 2021.

IELE constă in două lucruri: mașina virtuală IELE (VM) și limbajul de asamblare IELE, care este executat de acea mașină virtuală.

IELE VM diferă de KEVM, EVM original și alte VM-uri, prin faptul că IELE se bazează pe registre, mai degrabă decât pe stack. VM în sine, compilatorul și alte instrumente sunt toate verificate formal de K Framework.

Despre IELE vom vorbi mai pe larg intr-un articol viitor.

Leave a Reply

Your email address will not be published. Required fields are marked *