寄付窓口はこちら

Mythril & Security development lifecycle (SDLC) #hicon2018 A-1

Tom Lindeman

Mythril is a security tools platform that brings security into smart contract development environments and build pipelines. At its core, it consists of an API and SDK that which allows partners to create purpose-built Ethereum security tools and also extend the Mythril Platform with useful security extensions and plug-ins. In this talk we will give an overview of how Mythril fits into smart contract development, how we are working with partners, and how Mythril integrates with other security services such as those from NRI Secure.

(英語のセッションです。記録者は英語が苦手です。)

f:id:niwatako:20181110105412j:plain

40カ国、フラットなカンパニー、マネージャーが居ない。

ツール、アプリ、プラットフォームなどなど、次のインターネット、Web3に関するものを開発している。

f:id:niwatako:20181110105539j:plain

Etheremuエコシステムを安全にするプロダクト。

f:id:niwatako:20181110105801j:plain

50~60のプロダクトがある。500人?のコンサルタントがいる。

今日はMythrilにフォーカスします。

f:id:niwatako:20181110105856j:plain

オープンソース

Maru: 静的解析。既知の問題などがないか解析。

f:id:niwatako:20181110105951j:plain

Symbolic Execution Engine

Dynamic Analytis Fuzzing

f:id:niwatako:20181110110128j:plain

f:id:niwatako:20181110110248j:plain

f:id:niwatako:20181110110423j:plain

f:id:niwatako:20181110110506j:plain

f:id:niwatako:20181110110635j:plain

f:id:niwatako:20181110110646j:plain

github.com

f:id:niwatako:20181110110759j:plain

f:id:niwatako:20181110110846j:plain

f:id:niwatako:20181110111020j:plain

f:id:niwatako:20181110111027j:plain

f:id:niwatako:20181110111211j:plain

f:id:niwatako:20181110111216j:plain

f:id:niwatako:20181110111225j:plain

2〜3週間でチェックを行う

f:id:niwatako:20181110111428j:plain

f:id:niwatako:20181110111548j:plain

メインネットにデプロイ後、モニタリングを行う

f:id:niwatako:20181110111704j:plain

f:id:niwatako:20181110111735j:plain

f:id:niwatako:20181110111923j:plain

f:id:niwatako:20181110112122j:plain

f:id:niwatako:20181110112210j:plain

今日ここにいらっしゃるQuantstampもMythrilをつかっているよ

f:id:niwatako:20181110112431j:plain

f:id:niwatako:20181110112651j:plain

f:id:niwatako:20181110112843j:plain

f:id:niwatako:20181110113024j:plain