CoinPostで今最も読まれています

安全なスマートコントラクト開発の手引きとなる「ソフトウェア開発ライフサイクル」とは|Hi-Con 2018注目内容取材

画像はShutterstockのライセンス許諾により使用

Hi-Con 2018|テストツール「Mythril」とソフトウェア開発ライフサイクル
コインポストは11月10日に開催された国内最大の大規模イーサリアム技術者会議「Hi-Con」を取材。そこで行われた注目登壇内容を登壇を数回に分けてお届けする。今回はConsenSys Diligenceの共同創始者Tom Lindeman氏が「Mythril & Security development lifecycle (SDLC)」をテーマにしたスピーチの内容です。

テストツール「Mythril」とセキュリティ開発ライフサイクル

▼登壇者情報

Tom Lindeman

Business Strategist、ConsenSys Diligence

Tom Lindeman氏はConsenSys Diligenceの共同創始者であり、Enterprise Ethereum Alliance Security Working Groupの共同会長でもある。近年は、セキュリティ、開発ツール、分散型プロダクトなどに主眼を置いたイーサリアム・ブロックチェーンを大きく前進させるべく、活動を行なっている。

マイクロソフト社などでサイバーセキュリティに関する仕事についた経験を、ブロックチェーン業界に活用している。

大学卒業後に、長野県に住んでいたことがあり、日本語を少しだけ話せる。

Consensys Diligenceとは

イーサリアムのスマートコントラクト監査を行なっているコンセンシス内部のチーム。

Mythril(ミスリル)とPanvala(パンバラ)というツールを開発・活用して、イーサリアム・ブロックチェーンに基づくエコシステムを安全、かつ、健康的な環境であり続けられるような取り組みを展開している。

Mythrilは、スマートコントラクトやDappsのコードが安全に組まれているか、想定通りの動きをするかをテストするためのツール。

Panvalaは、Mythrilやバグバウンティなどのコード監査が終わったスマートコントラクトとDappに対して、このシステムは安全です、と認証するためのアプリケーション。

(彼の言葉を借りれば)いわばレストランにミシュランの星をつけるような役割を担っているツールだ。

なぜコードの監査が重要なのか

コードに脆弱性が含まれたままだったり、動作が不安定なコードのままメインネットにリリースすると、そのDappがダウンするのは当然ながら、ネットワーク全体に悪影響が及んでしまう。

とはいえ、ウォーターフォール型の開発のように、一から十まできっちり設計して、その通りに進めるのも、変化の激しい現在の状況を考えると割りに合わない。

そのため、アジャイル的な作って、リリースして、改善点が見つかるたびに改善して、という開発手法に注目が集まった。

ただし、イーサリアム・ブロックチェーンについては、一度メインネットにデプロイしてしまうと、そう簡単に改善することができなくなるだけでなく、ネットワーク全体に悪影響を与えてしまいかねない。

そのため、問題を事前に見つけ、早い段階で改善することが非常に重要。

そこで、匂いを嗅いで食べ物が傷んでないのか確認するのと同様に、イーサリアムのスマートコントラクトやDappsのコードを監査することは重要なのだ。

SDLC:Software Development Life Cycle(ソフトウェア開発ライフサイクル)

この開発サイクルはConsenSys Dilligenceが提案、実行しているものだ。

これに沿って開発を進めることで、問題、あるいは問題になりうる箇所を事前に発見、早期対処できると説明している。

その開発サイクルは以下の通りとなっている。

  1. Design+Simulate
  2. Develop
  3. Test
  4. Deploy
  5. Audit
  6. Monitor
  7. Signal

それぞれ、簡単に紹介する。

Design + Simulate

実際にコーディングを始める前に、どのようなDappを作るのか、それのベストプラクティスを設計したり、開発ガイドラインを用意する段階。

Develop

実際にコードを叩く段階。開発ツールのTruffleなどを活用する。

一通り開発が済んだら、そのたびにこまめにテストを実施する。

Test

ここでMythrilが使われる。Mythrilを使うことで、コードのどこにミスや抜けがあるのかをいち早く検知、対処することができるようになる。

Deploy

一通りテストが終わったら、テストネット(テスト環境)などにDappsを展開する。

そこで実際の動きを確認し、改善点を洗い出していく。

大抵のDappsでは、この段階でバグバウンティ(賞金付きのバグ発見イベント)が実施される。

Audit

人の手と機械を使って、コードの監査を実施する。ここでは焦りは禁物で、問題をひとつひとつ確実に見つけ、潰していくことが重要になる。

Monitor

AlethioやMythrilを使い、実際に稼働しているスマートコントラクトが、もともとの想定通りに動いているか、アタックを受けていることを事前に感知できているか、などをチェックする。

Signal

Panvalaを使うことで、監査がモニタや監査が終わったことを開発コミュニティに知らせる役目を担う。

Panvalaを利用しているユーザーたちからの最終チェックが行われ、ここで問題なしと判断されると、Panvalaマークが贈呈される。

これはいわば「このスマートコントラクト/Dappsは安全」という証拠になる。

いわば、ミシュランの星のような存在になるマークだ。

先日、11月1日にMythrilトークン(MYTH)がテストネット(Ropsten)にデプロイされた。

メインネットには、来年1月15日にデプロイされる予定で、スケジュール通りに開発が進めば、来年3月1日にMythrilが広く使われるようになるだろう。

まとめ

ConsenSys Diligence は、イーサリアム・ネットワークが安全かつ健康的に使えるようにするのが役目。

スマートコントラクトの監査を通じて、ネットワークに貢献している。

今後、イーサリアム・ネットワークが拡大するにつれて、スマートコントラクトやDappsの安全性は非常に重要なテーマになるだろう。

なぜなら、粗悪なスマートコントラクトは、ネットワーク全体に悪影響を与えてしまうからだ。

現状ですら、ひとつの障害で大きな影響がでる。

本格的にイーサリアム・ブロックチェーン技術とスマートコントラクトが生活や仕事の一部となったら、なおさらだ。

今後の彼らの動き、開発進捗は常に注目していきたい。

イーサリアム企業連合、企業利用を促進する2つの新仕様を発表 Devcon4イベント
イーサリアムブロックチェーンの企業利用を促進するEnterprise Ethereum Allianceは、10月30日からチェコ共和国にて年次イベントDevcon4を開催し、”Client Specification V2”および”Off-Chain Trusted Compute Specification V0.5”と呼ばれる新仕様を発表した。
仮想通貨イーサリアム開発者の試行錯誤と新たなる希望
イーサリアムの拡張構想『Plasma』などスケーリング手法が発案され、実証実験が行われているが、取り組むべき新しい研究課題が浮き彫りになもなっている。本記事では、現在イーサリアム開発者の目が向いている新たな価値を生み出す動きに注目する。
CoinPost App DL
注目・速報 相場分析 動画解説 新着一覧
03/28 木曜日
17:35
分散型AIの3大プロジェクトが団結、新トークン「ASI」に統合へ
SingularityNET、Fetch.ai、Ocean Protocolが人工超知能連合を結成し、各プロジェクトの暗号資産(仮想通貨)を新トークンASIに統合する計画を発表。単一の分散型AIネットワークとしてリニューアルを目指す。AGIの父と呼ばれるベン・ゲーツェル博士が主導する。
15:58
ビットコインのレイヤー2「BEVM」ローンチ
BEVMがメインネットをローンチ。暗号資産(仮想通貨)ビットコインをガス通貨として利用するEVM互換のレイヤー2ネットワーク。シリーズAで数十億円を調達し、分散型ビットコインクロスチェーンカストディサービスを実現。
15:00
NEARプロトコル、マルチチェーン再ステーキング「LiNEAR」始動へ 
NEARプロトコルがChain Signaturesを導入、暗号資産(仮想通貨)の相互運用性を強化。ビットコインやイーサリアムなど複数のブロックチェーンをサポートする。オムニチェーン再ステーキングLiNEARが始動。
14:15
「イーサリアムが有価証券でもETF化は可能」ブラックロックCEO
仮想通貨イーサリアムに関しては、米国においてその法的ステータスが定かではない。CFTCは商品(コモディティ)と見做している一方、SECはETHに関係するスイスのイーサリアム財団を調査していることが先週報じられた。
10:45
Parallel Studios、VanEckやソラナベンチャーズから53億円調達
パラレルはイーサリアムメインネットおよびBaseチェーン上で稼働するものだが、先日発表された、コロニーのローンチ先がソラナのブロックチェーンであることや、今回ソラナベンチャーズが出資したことから、今後クロスチェーンでの展開が考えられる。
10:15
イーサリアム「BLOB」にデジタルアートを記録する方法 Ethscriptionsが導入
イーサリアムのチェーン上にデジタルアートなどを記録するEthscriptionsは「BlobScriptions」を発表。ブロブにデータを記録する方法となる。
08:10
21Shares、欧州でTONの上場取引型金融商品を提供
今月初めテレグラムは仮想通貨TONを正式に統合し広告収入をチャンネル所有者と共有し、TONブロックチェーン上でToncoinを使って報酬を支払うようになった。この動きが投資家からの需要を押し上げたようだ。
07:30
ブラックロック「BUILD」、一週間で240億円超の資金流入を記録
ブロックチェーン上でトークン化された現実世界資産(RWA)の運用を提供するOndo Financeからの10億円以上新たな資金もありファンドの規模は拡大中。
06:50
スクエニやソラナ財団、Elixir Gamesに21億円出資
Elixir Gamesは、ゲームローンチャー「Elixir Games Launcher」で、さまざまなWeb3ゲームを遊べるPCアプリを提供。また、Web3ゲームがNFTなどのゲーム内資産のセールを代行するローンチパッドで、ミントなどの機能を提供する予定だ。
05:50
SECに有利か、裁判官がコインベースの棄却申し立て認めず
その一方、裁判官は、コインベースが顧客が仮想通貨ウォレットアプリを利用できるようにしたときに、無登録ブローカーとして運営していたというSECの主張を取り下げることを決定した。
03/27 水曜日
17:25
Slash Payment、独自トークンのエアドロップ対象条件を発表
暗号資産(仮想通貨)決済サービスSlash PaaymentのエコシステムトークンSVLについて、エアドロップの参加条件が明かされた。分散型決済エコシステムの利益が、ステーキング参加者に還元。スナップショットまでに割り当てを増やすことも可能だ。
17:00
ビットコインなど仮想通貨投資の始め方|初心者が注意すべきリスクとおすすめ戦略
ビットコインなど暗号資産(仮想通貨)投資の初心者向けスタートガイドを解説。基本戦略や知識、特に注意すべきリスクやセキュリティ対策を紹介し、「何歳から始められる?」のか、取引所ごとの年齢制限一覧も提供。
16:04
KDDIのNFT市場「αU market」、アニモカブランズとの連携開始
KDDIが展開する「αU market」で、『PHANTOM GALAXIES』の限定版NFT販売を開始。アニモカブランズが支援するブロックチェーンゲームとの連携施策の第一弾。暗号資産(仮想通貨)ウォレット「αU wallet」を接続して購入できる。
14:23
21Shares「半減期前のビットコインは、過去の歴史とは異なるダイナミクスを経験している」
スイスを拠点にする資産運用企業21Sharesは、仮想通貨ビットコインの半減期が市場に及ぼす影響について分析したレポートを発表。ビットコインは現在、過去3回の半減期とは、「異なる市場ダイナミクスを経験している」と指摘した。
12:23
ビットコイン7万ドル台で堅調推移、コインベース・プレミアムは強気から中立に
暗号資産(仮想通貨)市場では、半減期前のビットコインは過去最高値に迫る7万ドル台まで反発して堅調推移を辿る。米国の機関投資家動向を示すコインベース・プレミアムは強気から中立に転じた。

通貨データ

グローバル情報
一覧
プロジェクト
アナウンス
上場/ペア
イベント情報
一覧
2024/03/28 15:00 ~ 18:00
東京 東京日本橋タワーB2階
2024/04/06 ~ 2024/04/09
香港 香港コンベンション・アンド・エキシビション・センター3FG
2024/04/09 14:00 ~ 16:00
その他 オンライン
2024/04/13 ~ 2024/04/14
東京 東京都港区
重要指標
一覧
新着指標
一覧