マイクロソフト

6月3日、MicrosoftResearchチームは新しい 検証ツール イーサリアムネットワークの主要なプログラミング言語であるSolidityで書かれたスマートコントラクトを保護するため.

そのツール、吹き替え VeriSol, は、テクノロジーの巨人のイノベーション部門であるMicrosoft Researchと、企業や機関が独自のブロックチェーンアプリケーションを簡単に構築できるよう支援することを目的とした同社のクラウドコンピューティング部門であるMicrosoft AzureBlockchainとの共同作業で作成されました。.

マイクロソフト

特に、Azure BlockchainはSolidityアナライザーを活用して自社の機関投資家の製品を支援するため、このツールは暗号経済への単なる善意の貢献ではありません(オープンソース化されていますが)。チームのシニアソフトウェアエンジニアであるCodyBornがニュースで説明したように、

「VeriSolを使用すると、自動で継続的なチェックが行われるため、より迅速に反復でき、顧客に影響を与える可能性を心配することなく、バグをより迅速に見つけることができます。」

スマートコントラクトは、ライブになるとその場で編集できないため、イーサリアムメインネットでアクティブ化する前にコードを注意深く確認することが重要です。そうしないと、バグが大惨事を引き起こし、具体的な経済的影響をもたらす可能性があります。.

4月、DAIHardと呼ばれるDai安定コインの法定通貨ランプがベータ版のローンチを実施しましたが、バグのため、ホワイトハットハッカーはより悪意のあるエージェントができる前に契約を破棄しました。したがって、VeriSolのアイデアは、問題を引き起こす前ではなく、前にそのようなSolidityの不一致を迅速かつ効率的にキャッチすることです。.

MicrosoftがBlockchainを採用

VeriSolの発表は、最近のMicrosoftエコシステムにおけるいくつかの注目を集めるブロックチェーンの採用に続くものです。.

今月だけでも、同社またはそのさまざまな部門が、広く普及しているMicrosoftExcelスプレッドシートシステムにビットコインユニコード記号を追加しました。ビットコインの上に構築された分散型IDプロジェクトを明らかにしました。 JPモルガンが許可したイーサリアムのフォークであるクォーラムに対するAzureBlockchainのサポートを発表しました.

実際、より広いブロックチェーンスペースにおける利害関係者としてのマイクロソフトの立場は拡大しており、オープンソースのVeriSolのようなツールは、直接の範囲を超えたプロジェクトの成長にも役立つでしょう。そのために、マイクロソフトの主任研究員であるShuvendu Lahiriは、検証者について次のように述べています。

「私たちは、Azure Blockchainの開発者と顧客だけでなく、より安全な完全なブロックチェーンエコシステムに貢献し、スマートコントラクトのコストのかかる間違いに悩まされることなく、人々がテクノロジーの可能性を最大限に発揮できるよう支援することを想定しています。」

したがって、スマートコントラクトテクノロジー、特にこれまでで最大のスマートコントラクトプラットフォームであるイーサリアム周辺の活動と公共インフラストラクチャは着実に開花し続けています.

残念ながら、イーサリアムを中心とした無料の技術をリリースしている業界の巨人はマイクロソフトだけではありません。 「ビッグフォー」会計大国EYは、ほんの数日前にNightfallプライバシーツールをリリースしました.

Solidity 101

2014年にEthereumの共同創設者であるGavinWoodによって最初に概説された、Solidityは、最終的に、ChristianReitwiessnerが率いるEthereum開発者のグループによって構築されました。.

この言語は、JavaScript、Python、C ++などの他の一般的で主流のプログラミング言語の側面から大まかに触発されました。そのため、Solidityの学習に関心のあるプログラミングの初心者は、出発点としてそのインフルエンサーの1つを掘り下げることをお勧めします。.

Solidityのドキュメントによると、この言語は基本的に次のように契約を作成します。

「Solidityの意味でのコントラクトは、イーサリアムブロックチェーンの特定のアドレスに存在するコード(その機能)とデータ(その状態)のコレクションです。」

したがって、Solidityは、開発者に「イーサリアム状態内のアカウントの動作を管理する」機能を提供します。.

Solidityをさらに回転させることに興味がある人は、AndreasAntonopoulosとGavinWoodの説明テキストMasteringEthereumを探索するか、初心者がゾンビベースのゲームを言語でコーディングする方法を学ぶのに役立つ無料の教育リソースであるCryptoZombiesにサインアップすることができます。.

もちろん、早い鳥はワームを取得します。イーサリアムがこれまでにすでに獲得している勢いによると、Solidityは今後数十年にわたって存在する可能性が高いようです.

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me