Открыть меню

Certik Startet Demo für Sprache, Soll die Blockchain ‘Hacker-Resistent’


Blockchain-Sicherheitsfirma CertiK hat veröffentlicht eine demo und Sprache-Referenzhandbuch für seine smart Vertrag-Schwerpunkt DeepSEA Programmiersprache.

Beide CertiK und seine angeschlossenen R&D, Akademische Projekte erhielten Fördermittel von den gleichen von Binance Labs, die Astraleums-Stiftung und Qtum. Die Firma freigegebenen details der neuen Version mit Cointelegraph am Feb. 21.

Die DeepSEA demo, compiler und language reference manual veröffentlicht diese Woche zielt darauf ab, Entwicklern eine umfassende und hands-on-Einblick in die Sprache der Gestaltung.

Eine Sprache, die für diesen Zweck geeignet

DeepSEA ist ein smart Vertrag funktionale Programmiersprache, die ursprünglich geschaffen wurde, bei der Forschung im Labor von Professor Zhong Shao, Lehrstuhl für informatik an der Yale University und co-Gründer von Certik zusammen mit Ronghui Gu, assistant professor of computer science an der Columbia University.

Während ursprünglich für die Umsetzung von system software, DeepSEA-Entwickler, später neu orientiert, seine Verwendung für die formale Prüfung und Prüfung der smart-Verträge und blockchain-Protokolle.

Sie haben argumentiert, dass die vorhandenen Sprachen sind schlecht geeignet, um die formale Prüfung der Verfahren benötigt, um richtig Schutz gegen die hohen Risiken im Zusammenhang mit möglichen smart Vertrag Sicherheitslücken.

Diese Risiken sind an smart-Verträge ” self-executing und unveränderlichen Charakter — als “code ist Gesetz” Sprichwort hätte es — und Professor Gu hat in der Vergangenheit der Fall für die DeepSEA mit dem Hinweis auf seine früheren Implementierungen in mission-critical-hardware-Systeme, wie der NASA-Mars-Rover.

Die Forscher haben kritisiert Sprachen wie Solidität und Facebook Bewegen, mit dem argument, dass die DeepSEA ist deutlich sicherer und fit für den Zweck. Durch die Verwendung von mathematischen Beweise (formale Verifikation), Sie behaupten, es kann sorgen für eine blockchain-Infrastruktur “bug-free und hacker-resistent.”

Seine Version kommt vor das Unternehmen die anstehenden CertiK Kette Mainnet 1.0 Markteinführung im Frühjahr 2020, nachdem der beta-Start im vergangenen November. Die mainnet ist voll kompatibel mit Astraleums — die bestehende Solidität smart-Verträge laufen ohne Reibung — und die Kosmos-Netzwerk, und ist gedacht für die Verwendung von mehreren Anwendungen wie dezentrale Finanz-und Anbinden.

Professor Gu hat gesagt, die Entwickler planen, zu integrieren DeepSEA mit dem CertiK Kette noch in diesem Jahr.

Großen Südkoreanischen kryptogeld exchange Coinone hat auch eine Partnerschaft mit CertiK an audit-Projekten und übernehmen vorbeugende Maßnahme gegen code Sicherheitslücken.

Source: cointelegraph.com

Leave a Reply

Your email address will not be published. Required fields are marked *

© 2020 Crypto-News · All rights reserved
<<2018>>