28 mai a marcat lansarea a primelor rețele de testare „KEVM” de la Cardano. Testnetul a fost implementat într-o versiune corectă prin construcție a mașinii virtuale Ethereum (EVM) în cadrul K. Această tehnologie a fost produsă în colaborare de Verificare Runtime cu sprijinul IOHK.

A fost pentru prima dată când s-a produs vreodată o schemă formală a rețelei virtuale Ethereum (EVM).

Aceasta este o mare afacere.

De zeci de ani dezvoltatorii au încercat să dezvolte un astfel de cadru; primele studii formale datând din Anii 60 și 70. Eliberarea cadrului K arată că acest lucru nu este doar teoretic, ci este posibil. Prof. Grigore Rosul, care este responsabil de dezvoltarea KEVM, lucrează el însuși la cadrul K de peste 15 ani.

Când vorbim despre lansarea testnet a KEVM, Rosul stabilit că „sună ca un vis, dar nu mai”.

Ce este KEVM?

K cadru definește o definiție formală a regulilor care vă permite să definiți această semantică în propriul limbaj de programare. După ce vă definiți limbajul de programare în K, veți avea la dispoziție o gamă largă de instrumente. Acest lucru va face ca orice limbă definită în cadrul K să se comporte uniform, asigurându-se că limba se va comporta întotdeauna într-un mod corect și previzibil.

Odată ce ați definit un limbaj sau o VM în K, veți avea acces la toate instrumentele pe care cadrul le poate oferi. Au existat numeroase încercări ale altor dezvoltatori și echipe de a face ceva similar cu acest lucru, dar K este primul model de lucru de succes construit vreodată.

Prin urmare, KEVM înseamnă pur și simplu că EVM a fost definit formal în cadrul K.

Prin intermediul KEVM, dezvoltatorii vor putea lansa orice aplicație concepută pentru EVM, dar în plus vor avea acces la o întreagă serie de noi funcții și securitate pe care KEVM le poate oferi..

Testnetele KEVM și IELE, așa cum se vede pe foaia de parcurs Cardano

KEVM a oficializat cu succes alte limbi, cum ar fi C sau Java, iar instrumentele generate din aceste limbaje sunt comparabile ca caracteristici și performanță cu instrumentele create special pentru astfel de limbi..

Prin cadrul K, Cardano este acum capabil să genereze o mașină virtuală corectă prin construcție din specificația sa – ceea ce înseamnă că programele care sunt rulate prin cadrul K sunt garantate matematic pentru a îndeplini specificațiile limbajului de programare original..

KEVM nu numai că poate face acest lucru, dar VM este suficient de rapidă pentru a rula programe reale.

De ce ne pasă?

Prof. Grigore RosuI a declarat ca acesta este un mare pas înainte nu numai pentru Cardano, ci „spre promisiunea blockchain-urilor de a treia generație”.

contracte inteligente scris cu cadrul K, inclusiv contracte inteligente existente bazate pe Ethereum, va profita de avantajele puternice de securitate oferite de KEVM și, în plus, va permite faze și analize ușoare de optimizare care vor face în cele din urmă codurile mai sigure.

Bugurile contractelor inteligente au afectat în mod constant lumea criptografică. Au existat o serie de probleme de profil înalt în trecut, cum ar fi infamul Hack DOA, dar și astăzi hackerii exploatează cauzele slăbiciunii prin intermediul unui cod slab scris.

Luați, de exemplu, săptămâna trecută când a existat o posibilă eroare expuse pe rețeaua principală EOS, care, dacă nu ar fi prins, ar fi permis hackerilor să preia nodurile conectate la rețea. Sau uitați-vă la Verge, care a fost în ultima lună vizate de hackeri cel puțin de trei ori.

Prin cadrul K, un contract inteligent este verificat folosind capacitățile de corectare-de-construcție ale KEVM. Implementând doar cele mai sigure caracteristici ale EVM, multe probleme potențiale de securitate și defecte observate în mod obișnuit în contractele inteligente Ethereum sunt eliminate înainte de a se produce. 

Cardano: una dintre stelele strălucitoare ale Crypto

Aceasta este prima dintre cele două lansări majore de testnet planificate pentru Cardano. Al doilea – numit IELE – este programat să fie lansat în iulie. Deoarece KEVM se bazează pe un limbaj de programare deja stabilit, acesta va fi adus mai rapid la o calitate industrială profesională și va permite, de asemenea, echipei să finalizeze rețeaua și structura de comunicații care vor fi utilizate și pe IELE odată lansată.

Acest testnet marchează o mare realizare, nu numai pentru echipa Cardano, ci și pentru comunitatea blockchain în ansamblu.

Aceste tipuri de îmbunătățiri tehnologice sunt ceea ce trebuie să ne așteptăm de la echipa Cardano. Cu excepția oricărui obstacol tehnologic major, mașina virtuală KEVM și ulterior IELE vor fi rulate în rețeaua principală a Cardano. Acest lucru îl va împinge în continuare pe Cardano ca jucător major în cursa platformei de contract inteligent.

Pentru mai multe informații despre platforma Cardano și echipa sa, consultați: Foaia de parcurs Cardano și ce ne rezervă viitorul și Ce este Cardano?