Cardano startet KEVM Testnet: Was dies bedeutet und warum dies eine große Sache ist
28. Mai markierte den Start von Cardanos erstem Smart-Contracts-Testnetz „KEVM“. Das Testnetz wurde in einer konstruktionsrichtigen Version der Ethereum Virtual Machine (EVM) im K-Framework bereitgestellt. Diese Technologie wurde in Zusammenarbeit von hergestellt Laufzeitüberprüfung mit der Unterstützung von IOHK.
Es war das erste Mal, dass ein formales Schema des Ethereum Virtual Network (EVM) erstellt wurde.
Das ist eine große Sache.
Seit Jahrzehnten versuchen Entwickler, ein solches Framework zu entwickeln. die ersten formalen Studien aus dem Jahr 60er und 70er Jahre. Die Veröffentlichung des K-Frameworks zeigt, dass dies nicht nur theoretisch, sondern auch möglich ist. Prof. Grigore Rosul, Der Verantwortliche für die Entwicklung von KEVM arbeitet selbst seit über 15 Jahren am K-Framework.
Wenn es um die Testnet-Version von KEVM geht, Rosul angegeben dass es “wie ein Traum klingt, aber nicht mehr.”
Was ist die KEVM??
Das K Rahmen definiert eine formale Definition von Regeln, mit der Sie diese Semantik in Ihrer eigenen Programmiersprache definieren können. Sobald Sie Ihre Programmiersprache in K definiert haben, stehen Ihnen eine Reihe von Tools zur Verfügung. Dadurch verhält sich jede im K-Framework definierte Sprache einheitlich und stellt sicher, dass sich die Sprache immer korrekt und vorhersehbar verhält.
Sobald Sie eine Sprache oder VM in K definiert haben, haben Sie Zugriff auf alle Tools, die das Framework bietet. Es gab zahlreiche Versuche von anderen Entwicklern und Teams, etwas Ähnliches zu tun, aber K ist das erste erfolgreiche Arbeitsmodell, das jemals konstruiert wurde.
Daher bedeutet KEVM einfach, dass das EVM im K-Framework formal definiert wurde.
Über die KEVM können Entwickler jede für das EVM entwickelte Anwendung starten. Darüber hinaus haben sie Zugriff auf eine ganze Reihe neuer Funktionen und Sicherheitsfunktionen, die die KEVM zu bieten hat.
Die KEVM- und IELE-Testnetze auf der Cardano-Roadmap
KEVM hat andere Sprachen wie C oder Java erfolgreich formalisiert, und die aus diesen Sprachen generierten Tools sind in Funktionen und Leistung mit den Tools vergleichbar, die speziell für diese Sprachen entwickelt wurden.
Über das K-Framework kann Cardano nun aus seiner Spezifikation eine virtuelle Maschine mit korrekter Konstruktion generieren. Dies bedeutet, dass die Programme, die über das K-Framework ausgeführt werden, mathematisch garantiert der ursprünglichen Programmiersprachenspezifikation entsprechen.
Dies kann KEVM nicht nur, Die VM ist jedoch schnell genug, um tatsächliche Programme auszuführen.
Warum kümmern wir uns??
Prof. Grigore RosuI erklärte das Dies ist ein großer Fortschritt nicht nur für Cardano, sondern “in Richtung des Versprechens von Blockchains der dritten Generation”.
Das intelligente Verträge Das mit dem K-Framework geschriebene System, einschließlich bestehender Smart-Verträge auf Ethereum-Basis, wird die starken Sicherheitsvorteile von KEVM nutzen und darüber hinaus einfache Optimierungsphasen und Analysen ermöglichen, die letztendlich die Sicherheit von Codes erhöhen.
Smart-Contract-Bugs haben die Kryptowelt ständig geplagt. In der Vergangenheit gab es eine Reihe hochkarätiger Probleme, darunter das berüchtigte DOA Hack, Aber auch heute noch nutzen Hacker Schwachstellen durch schlecht geschriebenen Code.
Nehmen wir zum Beispiel letzte Woche, als ein potenzieller Fehler auftrat auf EOS Mainnet ausgesetzt, Wenn sie nicht erwischt werden, können Hacker möglicherweise netzwerkverbundene Knoten übernehmen. Oder schauen Sie sich Verge an, das im letzten Monat war von Hackern angegriffen mindestens dreimal.
Über das K-Framework wird ein intelligenter Vertrag mithilfe der Konstruktionsfunktionen von KEVM überprüft. Indem nur die sichersten Funktionen des EVM implementiert werden, werden viele potenzielle Sicherheitsprobleme und -mängel, die häufig bei Ethereum Smart Contracts auftreten, beseitigt, bevor sie auftreten.
Cardano: Einer der leuchtenden Sterne von Crypto
Dies ist der erste von zwei großen Testnet-Starts, die für Cardano geplant sind. Die zweite – IELE genannt – soll sein im Juli gestartet. Da die KEVM auf einer bereits etablierten Programmiersprache basiert, wird sie schneller auf eine professionelle industrielle Qualität gebracht und ermöglicht es dem Team, die Netzwerk- und Kommunikationsstruktur fertigzustellen, die nach dem Start auch auf IELE verwendet wird.
Dieses Testnetz ist eine großartige Leistung, nicht nur für das Cardano-Team, sondern für die gesamte Blockchain-Community.
Diese Art von technologischen Verbesserungen müssen wir von Cardanos Team erwarten. Vorbehaltlich eines größeren technologischen Rückschlags werden die virtuellen KEVM- und späteren IELE-Maschinen in das Mainnet von Cardano integriert. Dies wird Cardano als Hauptakteur im Rennen um die intelligente Vertragsplattform weiter vorantreiben.
Weitere Informationen zur Cardano-Plattform und ihrem Team finden Sie unter: Cardano Roadmap und was die Zukunft bringt und Was ist Cardano??