Zilliqa verstärkt seine Blockchain-Sicherheit mit Bitcoin Circuit ChainSecurity

ChainSecurity wird in den kommenden Monaten ein erweiterbares statisches Analyseframework und einen Sicherheitsscanner entwickeln.

Zilliqa, die Hochdurchsatz-Blockkettenplattform, gab heute bekannt, dass sie mit ChainSecurity, einem Anbieter von Blockkettensicherheit, eine Partnerschaft eingegangen ist, um eine Vielzahl von Sicherheitswerkzeugen und -ressourcen für das Zilliqa-Ökosystem zu entwickeln.

Mit dem bestehenden Schwerpunkt des Projekts auf intelligenter Vertragssicherheit, der sich in der intelligenten Vertragssprache Scilla (Secure-by-Design) widerspiegelt, soll die Zusammenarbeit dem Bedarf an höheren Sicherheitsstandards und -infrastrukturen in der Blockkettenbranche Rechnung tragen.

Sicherheits-Framework mit Bitcoin Circuit

ChainSecurity wird ein erweiterbares statisches Analyseframework entwickeln, das es Bitcoin Circuit Entwicklern ermöglicht, Sicherheits- und Korrektheitsprobleme durch automatische Analyse des Bitcoin Circuit Quellcodes ihrer Bitcoin Circuit Programme zu identifizieren.

Das Framework wird Kontrollfluss-, Datenfluss- und Informationsflussanalysen unterstützen, die wichtige Voraussetzungen für die Überprüfung nicht-trivialer Sicherheitseigenschaften sind.

ChainSecurity ist ein Spin-off des ICE Centers, einem führenden F&E-Labor für Blockchain-Sicherheit an der hochrangigen europäischen Universität ETH Zürich. ChainSecurity wird von einem Team erfahrener Sicherheitsforscher unterstützt und hat sich zu einem zuverlässigen Partner von über 75 Kunden aus der Blockkettenbranche entwickelt.

Darüber hinaus wird die Einführung eines Sicherheitsscanners durch ChainSecurity es Entwicklern ermöglichen, auch generische Sicherheitsschwachstellen sowie Designprobleme aufgrund schlechter Codierungspraktiken zu identifizieren.

Nach der Durchführung professioneller Sicherheitsaudits von Scilla Smart Contracts wird ChainSecurity in der Lage sein, sein tiefes Verständnis der Semantik der Sprache zu nutzen, um relevante Sicherheitseigenschaften zu identifizieren.

Der Sicherheitsscanner wird erweiterbar sein, so dass die Zilliqa-Community im Laufe der Zeit problemlos weitere relevante Sicherheitschecks und Schwachstellenmuster hinzufügen kann, um Best Practices für die intelligente Vertragsentwicklung zu etablieren.

„Die Zusammenarbeit zwischen den Teams von ChainSecurity und Zilliqa reicht bis ins Jahr 2017 zurück, als wir zum ersten Mal ein Security-Audit des Zilliqa-Tokens durchgeführt haben. Wir freuen uns auf die weitere Zusammenarbeit mit dem Zilliqa-Team und die Einbringung unseres Wissens über den Aufbau fortschrittlicher Sicherheitswerkzeuge in das Zilliqa-Ökosystem.

– Dr. Petar Tsankov, Chefwissenschaftler und Mitbegründer von ChainSecurity

Sicherheitsscanner

Scilla

Scilla wurde von führenden Forschern und Designern von Programmiersprachen nach funktionalen Prinzipien entwickelt und ist für die formale Verifikation offen. So können Entwickler mathematische Beweise nutzen, um sicherzustellen, dass ihre Verträge auf Sprachniveau nachweislich korrekt sind.

Scilla behebt bestimmte Arten von Schwachstellen wie Wiedereintrittsangriffe und Änderungen an kritischen Zustandsvariablen, die in den heutigen intelligenten Vertragssprachen vorhanden sind. Zuletzt wurde Scilla auf der OOPSLA 2019, einer globalen akademischen Konferenz über Programmiersprachen und Software-Engineering, begutachtet.

„Von Scilla über unser Mainnet bis hin zum Start unserer Smart Contracts hat die Sicherheit alle Bereiche der technischen Entwicklung bei Zilliqa unterstrichen. Seit zwei Jahren spielt ChainSecurity eine Schlüsselrolle bei der Stärkung unseres Netzwerks. Während wir weiter wachsen, werden diese Tools uns helfen, potenzielle Schwachstellen auf dem Weg dorthin proaktiv zu beheben. Wir sind davon überzeugt, dass solche Kooperationen unsere wachsenden Community- und Unternehmenspartner unterstützen und gleichzeitig einen höheren Maßstab für Sicherheitsstandards in der gesamten Branche setzen werden.

– Amrit Kumar, Präsident und wissenschaftlicher Leiter von Zilliqa

Dieses Projekt ist der erste Schritt in der strategischen Zusammenarbeit zwischen ChainSecurity und Zilliqa. Gefördert durch das Ökosystem-Förderprogramm von Zilliqa. Die beiden Teams haben bereits Folgekooperationen skizziert, die auf die Entwicklung zusätzlicher Sicherheitsinstrumente für das Ökosystem von Zilliqa abzielen.