Cardano uvádí na trh KEVM Testnet: Co to znamená a proč je to velký problém

28. května označil start prvního testovacího protokolu „KEVM“ společnosti Cardano. Testnet nasazen ve verzi Ethereum Virtual Machine (EVM) ve verzi K v rámci správné konstrukce. Tuto technologii vyrobil ve spolupráci Ověření běhu s podporou IOHK.

Bylo to vůbec poprvé, kdy bylo vytvořeno formální schéma virtuální sítě Etherea (EVM).

To je velký problém.

Po celá desetiletí se vývojáři snažili vyvinout takový rámec; první formální studie sahající až k 60. a 70. léta. Uvolnění rámce K ukazuje, že je to nejen teoretické, ale možné. Grigore Rosul, který má na starosti vývoj KEVM, sám pracuje na rámci K více než 15 let.

Když mluvíme o vydání testovací sítě KEVM, Rosul stanovený že „to zní jako sen, ale už ne.“

Co je KEVM?

The Rámec K. definuje formální definici pravidel, která vám umožní definovat tuto sémantiku do svého vlastního programovacího jazyka. Jakmile definujete svůj programovací jazyk v K, budete mít k dispozici řadu nástrojů pro vaše použití. Díky tomu se bude jakýkoli jazyk definovaný v rámci K chovat jednotně, což zajistí, že se jazyk bude vždy chovat správně a předvídatelně.

Jakmile definujete jazyk nebo virtuální počítač v K, budete mít přístup ke všem nástrojům, které rámec nabízí. Existuje řada pokusů jiných vývojářů a týmů udělat něco podobného, ​​ale K je první úspěšný funkční model, který byl kdy vyroben.

KEVM proto jednoduše znamená, že EVM byl formálně definován v rámci K..

Prostřednictvím KEVM budou vývojáři moci spouštět libovolné aplikace určené pro EVM, ale navíc budou mít přístup k celé řadě nových funkcí a zabezpečení, které KEVM nabízí.

KEVM a IELE Testnets, jak je vidět na plánu Cardano

KEVM úspěšně formalizoval další jazyky, jako je C nebo Java, a nástroje generované z těchto jazyků jsou funkcemi a výkonem srovnatelné s nástroji, které byly speciálně vytvořeny pro tyto jazyky.

Prostřednictvím architektury K je Cardano nyní schopno vygenerovat ze své specifikace virtuální stroj podle konstrukce – což znamená, že programy, které jsou spuštěny prostřednictvím architektury K, jsou matematicky zaručeny tak, aby splňovaly specifikaci původního programovacího jazyka..

KEVM to nejen dokáže, ale virtuální počítač je dostatečně rychlý na spuštění skutečných programů.

Proč nás to zajímá?

Prof. Grigore RosuI uvedl, že to je obrovský krok vpřed nejen pro Cardano, ale „směrem k příslibu blockchainů třetí generace.“

The chytré smlouvy napsané v rámci K, včetně stávajících inteligentních kontraktů založených na Ethereu, využijí silných bezpečnostních výhod, které nabízí KEVM, a navíc umožní snadné optimalizační fáze a analýzy, které nakonec zvýší bezpečnost kódů.

Chytré kontrakty neustále krypují svět. V minulosti se vyskytla řada významných problémů, například neslavných DOA hack, ale i dnes hackeři využívají příčiny slabostí špatně napsaným kódem.

Vezměme si například minulý týden, kdy byla potenciální chyba vystaveno na mainnetu EOS, který, pokud nebyl chycen, mohl hackerům umožnit převzít uzly připojené k síti. Nebo se podívejte na Verge, která za poslední měsíc byla cílené hackery alespoň třikrát.

Prostřednictvím rámce K je ověřena inteligentní smlouva s využitím správných konstrukčních schopností KEVM. Implementací pouze nejbezpečnějších funkcí EVM se odstraní mnoho potenciálních bezpečnostních problémů a chyb, které se běžně vyskytují v inteligentních kontraktech Ethereum, dříve než nastanou. 

Cardano: Jedna z zářících hvězd Crypto

Toto je první ze dvou hlavních startů testnetu plánovaných pro Cardano. Druhá – přezdívaná IELE – má být zahájeno v červenci. Vzhledem k tomu, že KEVM je založen na již zavedeném programovacím jazyce, bude rychlejší až do profesionální průmyslové kvality a také umožní týmu dokončit síťovou a komunikační strukturu, která bude po spuštění IELE také použita.

Tato testnet představuje velký úspěch nejen pro tým Cardano, ale pro blockchainovou komunitu jako celek.

Od týmu Cardano musíme očekávat tyto typy technologických vylepšení. S výjimkou jakéhokoli významného technologického neúspěchu bude KEVM a později IELE virtuální stroj zaveden do mainnetu Cardano. To dále posune Cardano vpřed jako významného hráče v závodech platformy smart kontraktů.

Další informace o platformě Cardano a jejím týmu naleznete na: Cardano Roadmap and What the Future Holdes a Co je Cardano?