Cardano стартира KEVM Testnet: Какво означава това и защо това е голяма сделка

28 май отбеляза старта на първата тестова мрежа на KARDM за интелигентни договори на Cardano. Тестовата мрежа е внедрена в правилна версия на виртуалната машина Ethereum (EVM) в K рамката. Тази технология е произведена в сътрудничество с Проверка по време на изпълнение с подкрепата на IOHK.

Това беше първият път, когато някога е била създавана официална схема на виртуалната мрежа Ethereum (EVM).

Това е голяма работа.

От десетилетия разработчиците се опитват да разработят рамка като тази; първите официални изследвания, датиращи от 60-те и 70-те. Пускането на K рамката показва, че това е не само теоретично, но и възможно. Проф. Григоре Росул, който е отговорен за развитието на KEVM, самият той работи върху K рамката повече от 15 години.

Когато говорим за тестовата версия на KEVM, Rosul заяви че „звучи като сън, но вече не.“

Какво е The KEVM?

The K рамка дефинира формална дефиниция на правила, която ви позволява да дефинирате тази семантика към вашия собствен език за програмиране. След като дефинирате езика си за програмиране в K, ще имате набор от инструменти, налични за вашето използване. Това ще накара всеки език, дефиниран в K рамката, да се държи еднообразно, като гарантира, че езикът винаги ще се държи правилно и предвидимо.

След като дефинирате език или виртуална машина в K, ще имате достъп до всички инструменти, които рамката може да предложи. Има многобройни опити от други разработчици и екипи да направят нещо подобно на това, но K е първият успешен работещ модел, създаван някога.

Следователно KEVM просто означава, че EVM е официално дефиниран в K рамката.

Чрез KEVM разработчиците ще могат да стартират всяко приложение, предназначено за EVM, но освен това ще имат достъп до цял набор от нови функции и сигурност, които KEVM може да предложи.

Тестовите мрежи KEVM и IELE, както се вижда на пътната карта на Cardano

KEVM успешно е формализирал други езици като C или Java и инструментите, генерирани от тези езици, са сравними по характеристики и производителност с инструментите, специално създадени за такива езици..

Чрез K рамката Cardano вече може да генерира правилна по конструкция виртуална машина от нейната спецификация – което означава, че програмите, които се изпълняват през K рамката, са математически гарантирани да отговарят на оригиналната спецификация на езика за програмиране.

KEVM не само може да направи това, но VM е достатъчно бърза, за да стартира реални програми.

Защо ни е грижа?

Проф. Григоре Росу I. заяви, че това е огромна стъпка напред не само за Cardano, но и „към обещанието за блокчейн от трето поколение“.

The интелигентни договори написана с K рамката, включително съществуващи базирани на Ethereum интелигентни договори, ще се възползва от силните предимства на сигурността, предлагани от KEVM и в допълнение ще позволи лесни фази на оптимизация и анализ, които в крайна сметка ще направят кодовете по-сигурни.

Грешките при интелигентни договори постоянно измъчват крипто света. В миналото имаше редица важни проблеми, като скандалната DOA рана, но дори и днес хакерите използват слабости, причинени от лошо написан код.

Вземете например миналата седмица, когато е била потенциална грешка изложени в EOS mainnet, което ако не бъде хванато, би позволило на хакерите да поемат мрежово свързани възли. Или погледнете Verge, който през последния месец беше насочени от хакери поне три пъти.

Чрез рамката K се проверява интелигентен договор, използвайки възможностите на KEVM за правилно конструиране. Чрез прилагане само на най-сигурните функции на EVM, много потенциални проблеми със сигурността и недостатъци, които често се срещат в Ethereum Smart Contracts, се премахват, преди да възникнат. 

Cardano: Една от Crypto’s Shining Stars

Това е първото от двете големи тестови стартирания, планирани за Cardano. Вторият – наречен IELE – е планиран да бъде стартира през юли. Тъй като KEVM се основава на вече установен език за програмиране, той ще бъде по-бързо доведен до професионално индустриално качество и също така ще позволи на екипа да финализира мрежата и комуникационната структура, които също ще бъдат използвани в IELE след стартирането.

Тази тестова мрежа бележи голямо постижение не само за екипа на Cardano, но и за общността на блокчейн като цяло.

Този тип технологични подобрения са това, което трябва да очакваме от екипа на Cardano. Като се изключи какъвто и да е технологичен провал, виртуалната машина KEVM и по-късно IELE ще бъдат пуснати в основната мрежа на Cardano. Това допълнително ще тласне Кардано напред като основен играч в надпреварата за платформа за интелигентни договори.

За повече четене на платформата Cardano и нейния екип вижте: Пътна карта на Cardano и какво крие бъдещето и Какво е Кардано?