海外メディアの報道によると、マイクロソフトはスマートコントラクトのセキュリティを向上させるためのワーキンググループを組織していることを明らかにした。 「Kinakuta」と呼ばれるこのワーキンググループは、ブロックチェーンに基づく自動実行コードであるスマートコントラクトに関する情報を業界がより簡単に共有できるようにすることを目的としています。 スマートコントラクトのアイデアは複雑なトランザクションを自動的に完了することができますが、最初の大規模プロジェクトであるThe DAOが崩壊した後、デジタル通貨コミュニティ内でスマートコントラクトに関する懸念が高まり始めました。 それ以来、スマート コントラクトは不適切に使用すると非常に危険な新しいものであることが徐々に認識されるようになりました。 しかし、マイクロソフトのビジネス開発および戦略責任者であるマーリー・グレイ氏は、オープンな情報と新しいツールによって、開発者が同様のミスを回避できると考えている。 グレイ氏は、コンセンシスのグローバル事業開発責任者アンドリュー・キーズ氏と提携し、マイクロソフトが招待したい開発者および企業35社のリストを作成したと述べた。これらには、Ethereum Foundation、R3CEV、BlockApps が含まれます。 今月初めに正式発表されると報じられている。さらに、マイクロソフトはハーバード大学の研究者と共同で新しいホワイトペーパーを執筆し (ホワイトペーパーの全文を参照するには、コイン ライブラリ (http://8btc.com/doc-view-844.html))、イーサリアムのスマート コントラクトが期待どおりに機能するかどうかを証明しました。開発者はこれらのリソースを使用して、自分が作成したコードの問題を発見できます。 形式検証この論文では、ソフトウェア プログラム(この場合はスマート コントラクト)の正しさを証明または反証できる「形式検証」の方法を提案しています。 ホワイト ペーパーでは、3 つの方法でスマート コントラクトを検証するのに役立つ 2 つのツールも提案されています。 1 つ目は 2 番目のツールが必要なのは、Solidity で記述された 112,802 の契約のうち、Etherscan で実行できるのは 396 のみであるため、バイトコードを使用するのが最善の選択肢だからです。 Solidity* は現在、ループなどの複雑な Solidity 機能をサポートしていませんが、チームは 396 の Solidity 契約のうち 46 を変換することができました。これら 46 件の契約を Solidity* で実行したところ、そのうちのほんの一部だけが「有効」であることがわかりました。
しかし、多くの人がスマート コントラクト セキュリティ ツールの急速な発展に興奮している一方で、業界の中には短期的には開発者がミスを犯し続けるだろうと考える人もいることには注目すべきです。 イーサリアムの創始者ヴィタリック・ブテリン氏は、新たな研究によってThe DAOのようなことが再び起こるのを防げるとは思わないと書いている。 「間違いはこれからも起こるだろう」とブテリン氏はイーサリアムの最近のブログ投稿で述べた。「そして我々はそこから学ぶだろう。」 |
>>: Visa の新しい欧州概念実証プロジェクト: ブロックチェーンを使用して銀行間の国内および国境を越えた支払いプロセスを最適化
木曜日(1月28日)のアジアセッションではビットコインの価格が急落し、短期的な弱気パターンが再び現れ...
国勝証券は3月10日、ブロックチェーン業界に関する週刊レポートを発表し、ビットコイン先物とイーサリア...
クレイジーな解説:ウェンセス・カサレス氏を取締役会に迎え入れるというPayPalの真意はまだ分からな...
Coinbase は、2024 年第 3 四半期の「暗号通貨展望」レポートを発表しました。 60 ペ...
この記事はCoindeskからのもので、原著者はレイチェル・ローズ・オリアリーです。翻訳者: モニオ...
クレイジー解説:現在、金融テクノロジーが消費者向け融資、支払い、資産管理、決済などの伝統的な銀行機能...
ブロックチェーン技術は最近注目を集めていますが、ブロックチェーン技術をベースにしたビットコインは、市...
中国最大の検索エンジンおよびインターネットサービス企業である百度は最近、自社のウェブサイト上でビット...
時価総額1兆ドルのクラブに本日、新たなメンバーが加わりました。ビットコインです。現在、ビットコインの...
クリスマス休暇もビットコインの下落を止めることはできなかった。ビットコインは本日3.8%下落し、13...
過去 2 年間の弱気相場の間、人々はよく「次の強気相場はいつ来るのか?」と尋ねました。最も一般的な答...
韓国政府当局者によると、ビットコインやイーサリアムなどの暗号通貨の価格の最近の上昇は、投資ではなく投...
シドニーを拠点とする IoT グループは上場企業です。同社は、廃止された石炭火力発電所を再稼働させる...
ビットコイン愛好家たちは、それが電子決済の未来であると確信しています。銀行カードによる支払いも一般的...
ブロックチェーン革命は避けられません。銀行や主流の IT 企業はこれを認識し、この新しい波に備え始め...