バイナンスラボ、ブロックチェーン監査プラットフォームCertiKへの出資を発表

ブログランキングに参加中!!ポチッと押して応援よろしくお願い致します!!

にほんブログ村 投資ブログ 仮想通貨投資へ

バイナンスラボ、ブロックチェーン監査プラットフォームCertiKへの出資を発表

バイナンスラボ、ブロックチェーン監査プラットフォームCertiKへの出資を発表

月曜日、バイナンスのインキュベーター部門であるBinance Labs(バイナンスラボ)は、スマートコントラクトとブロックチェーンの監査スタートアップCertiK(セルティク)に数百万ドル出資した事を、発表しました。

CertiK社は、フォーマルな検証プロセスを通じてスマートコントラクトとブロックチェーンプラットフォームをセキュアにすることを目指しています。プレスリリースによると、チームはすでに、既存のブロックチェーンプラットフォームに、資金やその他の脆弱性をもたらすバグがないか検証するワークに着手しているという。

同社は昨年、「CertiKOS(認定オペレーティングシステム)」の開発で知られているYale教授のZhong Shao氏とコロンビア大学の助教授Ronghui Gu氏によって設立されました。

CertiKチームは、ネットワークに数学的な証明を適用して、ハッカーがシステムを侵害する可能性がないか判断します。

リリースによると、CertiKチームのメソッドには、「レイヤベースの分解手法、プラグ可能なプルーフエンジン、マシンチェック可能なプルーフオブジェクト、認定された分散型アプリケーションライブラリ、スマートラベル」などが含まれます。

これらのアプローチを使用して、リサーチャーは客観的な方法でブロックチェーンプラットフォームのセキュリティを確認できると主張しています。

Binance LabsのCEOエラ・ジャン氏は、CertiKのプラットフォームは、ブロックチェーン空間で少なくとも1つの優れたニーズに対応すると説明しています。

「CertiKは、スマートコントラクトのセキュリティを数学的に検証しています。これはブロックチェーンのエコシステムが直面している重大な痛みであり、CertiKは手動検出の限界を克服しています。」

リリースによると、この投資はブロックチェーン業界におけるフォーマルな検証の重要性の認識を示している、と続けた。特にCertiKは、その歴史と実績のある技術をもとに、この分野で「ユニークな優位性」を有しています。

CertiKOSは企業向けプログラムと軍事用プログラムで既に使用されている。米国DARPA(国防高等研究計画局)に使用されるツールの1つです。

9月1日、CertiKは、企業とスタートアップ向けの自動検出エンジン「CertiK AutoScan Engine(CASE)」をリリースしました。同社はCASEを用いて市場トップ500のトークンを調査し、53トークンで重大なセキュリティ脆弱性が見つかったと公表しました。これらのコインの時価総額は合計で4000万ドル相当(約44億円)に上ります。

当時、CertiKチームは将来的には仮想通貨取引所にリーチする予定だと述べていました。

“CertiKの最新製品“AutoScan”を仮想通貨取引所に備えることで、プラットフォーム上で上場しているトークンを継続的に監視できます。スマートコントラクトがメインネットワークに導入される前に、問題は防止されます。”

バイナンスCEOジャオ・チャンポン(CZ)氏は、CertiKプロジェクトのツイートに、「クール」とコメントしていました。

関連記事

引用元はこちら

当サイトは非営利にて運営を行わせて頂いております。 運営に関する募金はビットコインにて随時行わせて頂いております。 もし今後も当サイトを応援して頂ける方は是非ビットコインにて募金して頂けますと幸いです。

■ビットコイン(Bitcoin)
1L1mCDuAPZJJtt7boJvDzBNCqv66X3eqgQ

■イーサリアム(Ether)
0xB6c362e6c49F54F271E17CC1D064D5Ae6605066B