28. maijs iezīmēja palaišanu no pirmajiem Cardano viedo līgumu “KEVM” testnet. Testnets izvietots Ethereum virtuālās mašīnas (EVM) pareizā pēc konstrukcijas versijā K ietvarā. Šo tehnoloģiju izstrādāja sadarbībā Izpildes laika pārbaude ar IOHK.

Tā bija pirmā reize, kad jebkad tika izveidota oficiāla Ethereum virtuālā tīkla (EVM) shēma.

Tas ir liels darījums.

Jau vairākus gadu desmitus izstrādātāji ir mēģinājuši izstrādāt tādu sistēmu kā šis; pirmie formālie pētījumi, kas datēti ar 60. un 70. gadi. K ietvara atbrīvošana parāda, ka tas ir ne tikai teorētiski, bet arī iespējams. Prof. Grigore Rosula, kurš ir atbildīgs par KEVM attīstību, pats ir strādājis pie K ietvara vairāk nekā 15 gadus.

Runājot par KEVM testnet atbrīvošanu, Rosuls paziņoja ka tas “izklausās kā sapnis, bet vairs nav”.

Kas ir KEVM?

The K ietvars definē formālu noteikumu definīciju, kas ļauj definēt šīs semantikas savā programmēšanas valodā. Kad esat definējis savu programmēšanas valodu K, jums būs pieejami dažādi rīki. Tas liks jebkurai K ietvarā definētajai valodai izturēties vienādi, nodrošinot, ka valoda vienmēr izturēsies pareizi un paredzami.

Kad esat definējis valodu vai VM K, jums būs piekļuve visiem rīkiem, ko piedāvā sistēma. Citi izstrādātāji un komandas ir bijuši neskaitāmi mēģinājumi darīt kaut ko līdzīgu šim, bet K ir pirmais veiksmīgais darba modelis, kas jebkad izveidots.

Tāpēc KEVM vienkārši nozīmē, ka EVM ir oficiāli definēts K sistēmā.

Izmantojot KEVM, izstrādātāji varēs palaist jebkuru lietojumprogrammu, kas paredzēta EVM, taču turklāt viņiem būs pieejama virkne jaunu funkciju un drošības, ko KEVM var piedāvāt..

KEVM un IELE testa tīkli, kas redzami Cardano ceļvedī

KEVM ir veiksmīgi formalizējis citas valodas, piemēram, C vai Java, un no šīm valodām ģenerētie rīki pēc funkcijām un veiktspējas ir salīdzināmi ar rīkiem, kas īpaši izstrādāti šādām valodām.

Izmantojot K sistēmu, Cardano tagad no sava specifikācijas spēj ģenerēt pareizu virtuālo mašīnu – tas nozīmē, ka programmas, kas tiek palaistas caur K sistēmu, matemātiski tiek garantētas, lai tās atbilstu sākotnējai programmēšanas valodas specifikācijai.

To var izdarīt ne tikai KEVM, bet VM ir pietiekami ātrs, lai palaistu faktiskās programmas.

Kāpēc mēs rūpējamies?

Prof. Grigore RosuI paziņoja, ka tas ir milzīgs solis uz priekšu ne tikai Cardano, bet arī “trešās paaudzes blokķēžu solījuma virzienā”.

The viedie līgumi rakstīts ar K sistēmu, ieskaitot esošos uz Ethereum balstītos viedos līgumus, izmantos KEVM piedāvātās spēcīgās drošības priekšrocības un papildus ļaus veikt vienkāršus optimizācijas posmus un analīzi, kas galu galā padarīs kodus drošākus.

Viedo līgumu kļūdas ir pastāvīgi nomocījušas kriptogrāfijas pasauli. Iepriekš ir bijuši vairāki augsta līmeņa jautājumi, piemēram, bēdīgi slavenie DOA kapāt, bet arī šodien hakeri izmanto vājuma cēloņus ar slikti uzrakstītu kodu.

Piemēram, pagājušajā nedēļā, kad bija iespējama kļūda pakļauti EOS mainnet, kas, ja netiks notverts, varētu ļaut hakeriem pārņemt tīklā savienotos mezglus. Vai arī paskatieties uz Verge, kas pagājušajā mēnesī ir bijis uz kuru ir hakeri vismaz trīs reizes.

Izmantojot K sistēmu, vieds līgums tiek pārbaudīts, izmantojot KEVM korektās iespējas. Īstenojot tikai EVM visdrošākās funkcijas, daudzi potenciālie drošības jautājumi un trūkumi, kas parasti tiek novēroti Ethereum viedajos līgumos, tiek novērsti pirms to rašanās. 

Cardano: Viena no Crypto spīdošajām zvaigznēm

Šis ir pirmais no diviem galvenajiem Cardano palaišanas plāniem. Plānots, ka otrais – dublēts IELE uzsāka jūlijā. Tā kā KEVM pamatā ir jau izveidota programmēšanas valoda, tā ātrāk tiks paaugstināta līdz profesionālai rūpnieciskai kvalitātei, kā arī ļaus komandai pabeigt tīkla un komunikācijas struktūru, kas tiks izmantota arī IELE, tiklīdz tā tiks palaista.

Šis testēšanas tīkls iezīmē lielu sasniegumu ne tikai Cardano komandai, bet arī visas bloku ķēdes kopienai.

Šāda veida tehnoloģiskie uzlabojumi mums ir sagaidāmi no Cardano komandas. Liedzot būtiskas tehnoloģiskas neveiksmes, KEVM un vēlāk IELE virtuālās mašīnas tiks ievietotas Cardano mainnet tīklā. Tas vēl vairāk virzīs Cardano uz priekšu kā galvenais spēlētājs viedo līgumu platformas sacensībās.

Lai uzzinātu vairāk par Cardano platformu un tās komandu, skatiet: Cardano ceļvedis un nākotne un Kas ir Cardano?