マイクロソフトは、Ethereumスマートコントラクトを検証する新しいツールをリリース

マイクロソフトは、Ethereumスマートコントラクトを検証する新しいツールをリリースします。 マイクロソフトは、Ethereumブロックチェーンで一般的に使用される一般的なSolidityプログラミング言語で書かれたスマートコントラクトの検証と分析を可能にする新しいオープンソースツールをリリースしました。
この新しいツールはVeriSolと呼ばれ、Solの略で、開発者は「一般的なSolidity 言語のサブセットで書かれたスマートコントラクトの望ましい動作」を表現し、「数学的論理機械」を使用して特定のスマートコントラクト実装に対する仕様をチェックします。
VeriSolは、スマートな契約開発のためのAzureブロックチェーンの継続的な統合パイプラインにも組み込まれています。
Azure BlockchainチームのシニアソフトウェアエンジニアであるCody Bornは次のように述べています。「VeriSolは、自動および継続的なチェックにより、より迅速に反復処理を行うことができるようになり、潜在的に顧客に影響を与えることを心配することなく、バグを迅速に捕捉することができます。」
オープンソースのコラボレーションの促進
VeriSolはまだ主にAzureのスマートな契約によって駆動されるプロトタイプですが、研究者は検証ツールの高額な目標を持っています。「スマートな契約開発を主流に正式な検証の進歩をもたらすためにオープンコラボレーションを奨励する」と言っています。
マイクロソフトの主任研究者 Shuvendu Lahiri 氏は次のように結論づけています。「Azure Blockchain 開発者や顧客だけでなく、より安全な完全なブロックチェーンエコシステムに貢献し、スマートでコストのかかる間違いに悩まされることなく、技術の可能性を最大限に理解するのを助けることを想定しています。 契約。」
より多くのニュース、テクニカル分析、および暗号化ガイドについては、ここをクリックしてください。