Pressemeldungen

Melonport ag gibt beta-release von oyente, einer smart contracts analysis und verification tool bekannt

Pressemeldungen Melonport ag gibt beta-release von oyente, einer smart contracts analysis und verification tool bekannt

Alternative zu Wikifolio? MELON (MLN) Vorstellung auf deutsch! | Coinvorstellung #21 | Coinknowledge (Oktober 2018).

Anonim

Blockchain Startup Melonport AG ist stolz darauf, Partner zu sein Das Entwicklerteam von Oyente kündigt die Beta-Version von Oyente an, ein Open-Source-Analyse- und formales Verifikationswerkzeug für Ethereum-Smart-Verträge.


Das Oyente Verification Tool kann zur Analyse von Smart Contracts verwendet werden, die mit dem Ethereum-Protokoll unter Verwendung intelligenter Vertragssprachen wie Solidarity, LLL oder Serpent erstellt wurden. Die Beta-Version des Tools enthält auch Funktionen, die für Entwickler von Melon-Protokoll-Modulen nützlich sein können.

Die neueste Beta-Version des Oyente-Tools kann einfach über den entsprechenden Link auf der Melonport-Website aufgerufen werden. Die ursprüngliche Entwicklung des Tools basierte auf einer wissenschaftlichen Arbeit, die von Lu Lu und seinen Mitstreitern an der National University of Singapore veröffentlicht wurde. Leider waren sie gezwungen, das Projekt auf Eis zu legen, nachdem ihnen die Mittel ausgegangen waren. Zu diesem Zeitpunkt hatten sie bereits ein erstes Open-Source-Release vorbereitet, das über 80% der EVM-Opcodes abdeckte. Glücklicherweise endete es nicht für das Entwicklungsteam von Oyente, denn Melonport erkannte es später für seinen wahren Wert.

Das Entwicklungsteam von Melonport erkannte das Potenzial des Tools, um die Entwicklergemeinschaft von Ethereum in die Lage zu versetzen, eine sichere und sichere dezentrale Anwendung zu schaffen. Nach Melonports erfolgreicher 2. 5 Millionen CHF Spendenaktion, die im Februar 2017 endete, erweiterte das Team die Unterstützung für das Oyente Projekt. Mit Hilfe des neuen intelligenten Vertragsverifizierungstools will Melonport die Sicherheit seines Standardisierungs- und Protokollmodul-Ökosystems weiter verbessern.

Eine gemeinsame Anstrengung beider Teams hat Früchte getragen. Oyentes Unterstützung für EVM-Opcodes ist auf 100% gestiegen. Die Teams haben die weitere Entwicklung nicht gestoppt. In der Tat arbeiten sie derzeit daran, einige nützliche Tools zu entwickeln, die die Fähigkeiten des heutigen Systems erweitern können. Eine der herausragenden Entwicklungen wird die Erweiterung der ERC20-Unterstützung sein, die von großem Nutzen sein wird, da immer mehr Projekte dieses Blockchain-basierte Token-System von Ethereum implementieren.

Mit neuen Upgrades, die darauf warten, veröffentlicht zu werden, wird Oyente bald volle ERC20- und Token-Kontrakt-Analysefunktionen erhalten, die die Integrität der Plattform sicherstellen und verhindern, dass die Systeme aufgrund von Fehlern in der Codelogik mehr Tokens als geplant erzeugen.


Bilder mit freundlicher Genehmigung von Bitcoin PR Buzz

Beliebte Beiträge