Открыть меню

Qtum Auszeichnungen $400K Finanzhilfe an der Columbia University Research-Team für Smart-Verträge, R&D


Open-source-blockchain Projekt Qtum erhielt eine $400.000 Zuschuss zu den Akademikern der Columbia Universität, die zur Finanzierung der Entwicklung einer neuen Programmiersprache für Astraleums (ETH)-Stil smart-Verträge. Die news wurde angekündigt, in einer E-Mail gemeinsam mit Cointelegraph Dez. 19.

Die Forschung und Entwicklung (R&D) gefördert wird, gehen Sie zu einem team von zwei PhD-und Postdoc-Studenten, unter der Leitung von assistant professor an der Columbia computer science Fakultät, Ronghui Gu.

Die R&D wird berichten zufolge konzentrieren sich auf das design und die Implementierung einer neuen Sprache namens “DeepSEA” und die integration des Astraleums-Stil smart-Verträge. Eine frühere Gliederung der DeepSEA besagt, dass die Sprache “angehen [eine] inhärenten Konflikt” in der Programmierung, nämlich:

“[T]eute mainstream-Betriebssysteme und Hypervisoren werden immer noch in C geschrieben-wie low-level-Sprachen. Es scheint eine inhärente Konflikt zwischen high-level-formalen Argumentation und der low-level-Systeme Programmierung: erstere stützt sich auf eine reichhaltige Theorie auf einer hohen Abstraktionsebene, während die letzteren müssen zu Bearbeiten und zu verwalten low-level-Effekte und hardware-Ressourcen.”

Die Forscher, die Ziele sind weiter zum design und Umsetzung der Sprache und entwickeln eine DeepSEA “toolchain”, die anschließend angewendet werden, um den “Aufbau zertifiziert Betriebssystem-kernels und des Astraleums-Stil smart-Verträge.” Diese, die Forscher und der sponsor kämpfen, können helfen, lösen viele der Probleme, die mit den wichtigsten Komponenten in kritischen Infrastrukturen für smart-Verträge, wodurch Sie mehr “verlässlich, zuverlässig, und letztlich auch adoptiert werden kann.”

Nach seiner Dozenten-Profil, Professor Gu ‘ s Arbeit über Columbia umfasst die co-Gründung der blockchain startup “CertiK”, die die Qtum-Stiftung hat angeblich investiert haben. Eine übersicht von CertiK Staaten das Projekt ist eine “formale Verifikation framework zielt darauf ab, dass mathematisch beweisen, dass die smart Verträge und blockchain ökosysteme sind bug-frei und hacker-resistent.”

Wie bereits berichtet, hat die in Singapur registriert Qtum-Stiftung entwickelt Qtum als open-source-hybrid-blockchain-Anwendung Plattform, mit einem besonderen Fokus auf smart-Verträge und dezentrale Anwendungen (DApps). Seine core-Technologie kombiniert ein fork von Bitcoin (BTC) – Kern und einer Konto Abstraction Layer, der es ermöglicht, mehrere Virtuelle Maschinen, einschließlich des Astraleums Virtual Machine (EVM), und der Proof-of-Stake (PoS) Konsens.

In diesem Herbst, Columbia University— gemeinsam mit IBM kündigte zwei blockchain accelerator-Programme, die helfen sollen, die startups in den Raum innovativ auf Skala. Beide Programme sind Teil der Columbia-IBM-Center für die Blockchain und Daten-Transparenz, ein joint innovation center, wurde von der tech-Riese und die US-ivy-league-Schule in diesem Sommer.

Source: cointelegraph.com

Leave a Reply

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

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