Qtum（QTUM）コロンビア大学の准教授がスマート契約研究に･･･

金融業界を越えて分散システムを構築しようとする闘いは、特にブロックチェーンコミュニティが必要とする希望の象徴とされていたDAOの出現とともに、存在し続けました。まもなく、人々は暗号プロジェクトで欠陥を発見し始めたので、誇大宣伝全体は消えました。

しかし、Qtumの基盤は、意図しない結果を招くことなく、望ましい方法で分散システムを提供する、より安全なスマートな契約を作成する責務にまで発展しました。

偉大な牽引力を持つ健全でスマートな契約を提供するという目的を登録した基金は、Ronghui Gu、コロンビア大学のコンピュータサイエンス助教授に40万ドルを渡しました。ポストドックと博士号の間で、リリースに応じた資金を共有する予定です。DeepSEA Compiler、DeepSEA言語、およびQtum VM上でDeepSEAを実行するバックエンドインフラストラクチャに関する2年間の調査作業を行っています。

声明の中で、Ronghui Gu教授は声明のなかで、更新を認めながら、DeepSEA-QtumはCoqのQtumスマートコントラクト検証と、同時にブロックチェーンエコシステムの信頼性とセキュリティを強化することに焦点を当てたプロジェクトだと述べた。

DeepSEAを使用すると、開発者は高レベルの言語で連絡先を実装できますが、推論できる仕様は自動的に生成されます。DeepSEAはまた、コンパイル中にバグが導入されないという証明を付して、Qtumバイトコードに契約をコンパイルする検証済みコンパイラを導入する予定です」とRonghui Gu氏は付け加えました。

郭教授は、長年にわたってスマートな契約について研究してきました。彼はCertiKの共同設立者であり、CertiKは、ブロックチェーンとスマートコントラクトがバグフリーであり、ハッカーに抵抗することを数学的に証明するのに役立つ検証フレームワークが記述されています。

CertiKは、Binance LabsやDHVC、FBG Capital、Draper Dragon、Bitmainなどの人々によって育まれていますが、Qtum Foundationもこのプロジェクトの投資家です。

Qtum財団は、完全に実現されれば、開発がQtumエコシステムだけでなく、世界全体、特にスマート契約を開発して使用したいと思う人たちの利益になると信じています。

参考資料：https://oracletimes.com/qtum-qtum-hands-columbia-universitys-assistant-professor-400000-for-smart-contract-research/　

●テレグラム始めました！

https://t.me/joinchat/F-7ftRCH5u_8J7k2JUM1rw

●無料でLINE＠で有益情報を随時流しています。

https://line.me/R/ti/p/%40gtu0961z　

■facebook 始めました！
https://www.facebook.com/Tamariba-469059686918165/　

■メルマガ始めました！

■yobit net
https://yobit.net/en/

人気ブログランキング

Source: 仮想通貨情報局