Microsoft は、DAO と同様のインシデントを防止するためにスマート コントラクト セキュリティ ワーキング グループを立ち上げました (ホワイト ペーパー全文をダウンロード)

Microsoft は、DAO と同様のインシデントを防止するためにスマート コントラクト セキュリティ ワーキング グループを立ち上げました (ホワイト ペーパー全文をダウンロード)

海外メディアの報道によると、マイクロソフトはスマートコントラクトのセキュリティを向上させるためのワーキンググループを組織していることを明らかにした。

「Kinakuta」と呼ばれるこのワーキンググループは、ブロックチェーンに基づく自動実行コードであるスマートコントラクトに関する情報を業界がより簡単に共有できるようにすることを目的としています。

スマートコントラクトのアイデアは複雑なトランザクションを自動的に完了することができますが、最初の大規模プロジェクトであるThe DAOが崩壊した後、デジタル通貨コミュニティ内でスマートコントラクトに関する懸念が高まり始めました。

それ以来、スマート コントラクトは不適切に使用すると非常に危険な新しいものであることが徐々に認識されるようになりました。

しかし、マイクロソフトのビジネス開発および戦略責任者であるマーリー・グレイ氏は、オープンな情報と新しいツールによって、開発者が同様のミスを回避できると考えている。

グレイ氏は、コンセンシスのグローバル事業開発責任者アンドリュー・キーズ氏と提携し、マイクロソフトが招待したい開発者および企業35社のリストを作成したと述べた。これらには、Ethereum Foundation、R3CEV、BlockApps が含まれます。

今月初めに正式発表されると報じられている。さらに、マイクロソフトはハーバード大学の研究者と共同で新しいホワイトペーパーを執筆し (ホワイトペーパーの全文を参照するには、コイン ライブラリ (http://8btc.com/doc-view-844.html))、イーサリアムのスマート コントラクトが期待どおりに機能するかどうかを証明しました。開発者はこれらのリソースを使用して、自分が作成したコードの問題を発見できます。

形式検証

この論文では、ソフトウェア プログラム(この場合はスマート コントラクト)の正しさを証明または反証できる「形式検証」の方法を提案しています。

ホワイト ペーパーでは、3 つの方法でスマート コントラクトを検証するのに役立つ 2 つのツールも提案されています。

1 つ目はSolidity*で、これは Solidity コードの一部を、プログラムが正しく実行されるかどうかを検証するプログラミング言語であるF*に変換します。次に、スマート コントラクトの EVM バイトコード ステートメントを Solidity ソース コードに逆コンパイルするEVM *があります。

2 番目のツールが必要なのは、Solidity で記述された 112,802 の契約のうち、Etherscan で実行できるのは 396 のみであるため、バイトコードを使用するのが最善の選択肢だからです。

Solidity* は現在、ループなどの複雑な Solidity 機能をサポートしていませんが、チームは 396 の Solidity 契約のうち 46 を変換することができました。これら 46 件の契約を Solidity* で実行したところ、そのうちのほんの一部だけが「有効」であることがわかりました。

「これはほとんどのスマートコントラクトが脆弱であることを示す明確な兆候だ」と論文は結論づけている。

しかし、多くの人がスマート コントラクト セキュリティ ツールの急速な発展に興奮している一方で、業界の中には短期的には開発者がミスを犯し続けるだろうと考える人もいることには注目すべきです。

イーサリアムの創始者ヴィタリック・ブテリン氏は、新たな研究によってThe DAOのようなことが再び起こるのを防げるとは思わないと書いている。

「間違いはこれからも起こるだろう」とブテリン氏はイーサリアムの最近のブログ投稿で述べた。「そして我々はそこから学ぶだろう。」


<<:  ブロックチェーンはサイバー犯罪を防止できるか?

>>:  Visa の新しい欧州概念実証プロジェクト: ブロックチェーンを使用して銀行間の国内および国境を越えた支払いプロセスを最適化

推薦する

継続した高水準のショックが突然急激に低下

木曜日(1月28日)のアジアセッションではビットコインの価格が急落し、短期的な弱気パターンが再び現れ...

国勝証券:暗号通貨関連の取引所、マイニング産業チェーンなどが続々と上場へ

国勝証券は3月10日、ブロックチェーン業界に関する週刊レポートを発表し、ビットコイン先物とイーサリア...

ビットコイン事業のCEOがPayPalの取締役に就任

クレイジーな解説:ウェンセス・カサレス氏を取締役会に迎え入れるというPayPalの真意はまだ分からな...

Coinbaseの2024年第3四半期の暗号通貨展望で注目すべき10のポイント

Coinbase は、2024 年第 3 四半期の「暗号通貨展望」レポートを発表しました。 60 ペ...

コンスタンチノープル ハードフォークにはまだ落とし穴が残っています。イーサリアムマイナーはProgPoWで反撃するでしょうか?

この記事はCoindeskからのもので、原著者はレイチェル・ローズ・オリアリーです。翻訳者: モニオ...

米国の銀行規制がブロックチェーンスタートアップ規制の道筋を描く

クレイジー解説:現在、金融テクノロジーが消費者向け融資、支払い、資産管理、決済などの伝統的な銀行機能...

360 マイニングトロイの木馬調査レポート: ビットコインマイニングの秘密を暴く

ブロックチェーン技術は最近注目を集めていますが、ブロックチェーン技術をベースにしたビットコインは、市...

百度がビットコイン広告を全て停止

中国最大の検索エンジンおよびインターネットサービス企業である百度は最近、自社のウェブサイト上でビット...

ビットコインの時価総額が1兆ドルを超える

時価総額1兆ドルのクラブに本日、新たなメンバーが加わりました。ビットコインです。現在、ビットコインの...

クリスマス休暇でもビットコインの下落を止めることはできず、14,000ドルを下回った。

クリスマス休暇もビットコインの下落を止めることはできなかった。ビットコインは本日3.8%下落し、13...

「4年半減期」がビットコイン急騰の理由か?

過去 2 年間の弱気相場の間、人々はよく「次の強気相場はいつ来るのか?」と尋ねました。最も一般的な答...

韓国政府:ICO市場の熱狂、投機がビットコインとイーサリアムの価格上昇を牽引

韓国政府当局者によると、ビットコインやイーサリアムなどの暗号通貨の価格の最近の上昇は、投資ではなく投...

オーストラリアのブロックチェーン企業が1億9000万ドルの仮想通貨マイニング契約を締結

シドニーを拠点とする IoT グループは上場企業です。同社は、廃止された石炭火力発電所を再稼働させる...

VISAヨーロッパはビットコインよりもブロックチェーン技術に興味を持っている

ビットコイン愛好家たちは、それが電子決済の未来であると確信しています。銀行カードによる支払いも一般的...

銀行や大手IT企業はブロックチェーン革命に備えてブロックチェーン人材を採用している

ブロックチェーン革命は避けられません。銀行や主流の IT 企業はこれを認識し、この新しい波に備え始め...