Upload
hiroyasu-nohata
View
98
Download
0
Embed Size (px)
Citation preview
© 2015 Hybrid IT Laboratories, Inc.
1
Devcon2 2016- 10J 12C�
hironĄ�Xq�ą
9 J 19 C�21 Devcon2 Î��¿ÅÏʯÄÏMrË97Ý($¿ÕÁ°
]O�
A. Devcon2Mt� ��)NÍ Track theme B. Devcon2Î��¿É9ÀŽ˯5ÇŽ˯j¶¾ÃÙÜŽ˰°°
1. Web3Ï1~ 2. Off-chain 3. Formal Verification
A. Devcon Track theme
Devcon2ÏZo�@Ð 78�ă 21 28 29 ����� ����
agenda�
ÌÞÍZo¹³ÇÅϸ�
�¤¢§¡� Ï!ôþèāÏ{de
�Ï��ÎÐ Track themeÏ ¹�¼ÙÜÉ´Û°�
�
�
© 2015 Hybrid IT Laboratories, Inc.
2
AgendaÏ�Ï �Ï ”Filter by track”ÊLc¯�wÁÛ˯ - 6 4181 - - - -7
- 1751
0- 01 17 810101 17 81 71 1 5 11 41 1 8 1 41 1 8 2 0- 51 83 1 41 1 87534 751850071 - 1522 4-57- 2 8 01 17 81105 5 8- 615 -
1 1- 4-7-.575
1 57505- 8
��¿Å´ Track theme
Formal verification Oracle (data-feed) Identity IPFS IoT Namespace
© 2015 Hybrid IT Laboratories, Inc.
3
… 5 �jÎÍÛ Devcon2ÏþöĂï
(1) Ethereum Devcon2 Conference In Shanghai, Agenda With Slides ôþèā�+ÏMrÝy�°çûàðÓÏüāä³Ú°òîâÓÏüāäÖ��¾ÜÉ
ºÉ´Û°EthFans.orgĄ�'|ą¹âüæñý°�Õů�ÏþöĂïÓÏüāä³Ú°
(2) DEVCON2 report: Day 1 - Session notes & event photos By David Burela¯ôþèā�+ÎÈ´É3Ïøù³Ú° day-2, day-3, ·ØÒ Summit demo day, day-1, day-2ÍÌÓÏüāäÐ�y�Î>�¾ÜÉ´Û°�
(3) “9 Must-Watch Talks at Ethereum's Big Developer Event” (CoinDesk)
1. Ethereum in 25 Minutes – Vitalik Buterin
2. Swap, Swear and Swindle. Swarm Incentivization – Viktor Trón and Dr
Aron Fischer
3. A Correct-by-Construction Asynchronous Casper Protocol – Vlad Zamfir
4. State Channels: Systemic Security Considerations and Solutions – Joseph
Poon
5. Panel: Smart Contract Security in Ethereum
6. Formal Verification for Solidity – Dr Christian Reitweissner
7. Imandra Contracts: Formal Verification for Ethereum – Dr Grant Passmore
8. Mist Vision and Demo – Alex Van de Sande
9. Ethereum Blockchain Initiatives at Thomson Reuters – Dr Tim Nugent
© 2015 Hybrid IT Laboratories, Inc.
4
ôþèāÝ��eÁÛÏÐ%�°Ä½Ê�
B. Devcon2 - -
- ÝÖËÎQÎÍÇÅôþèāÝóìäßìô¿ÕÁ°�
“Mauve Revolution” (Vitalik)
1. Web3
“Blockchain as Web3” ”Beyond the Bubble” 2-20 ÊÏãúìë
Web3 Ë��:nć
Towards Web3 Infrastructure� ¸Ù/W�b � �Ï&Î Web3 Base Layer Services (ethereum, swarm, whisper)Ï��ÚÝ´ÜÅ°
Swarm:
(1) “Swap, Swear and Swindle. Swarm Incentivisation”, Viktor Trón and Dr. Aron Fischer 1-6
I4,Ï 1-6 Day-1Ï 6Y]ÏôþèāÝ`Á°
© 2015 Hybrid IT Laboratories, Inc.
5
(2) “Towards Web3 Infrastructure”, Viktor Trón 1-10 �Zçíàéçć (PoC 0.2) NGć ethersphere orange paper series
ÕůViktorF»±Ethereum FoundationÊÐD»¸ÙWeb3.0¹8�¾ÜÉ´Å°²
IBTimesÏy� Ethereum's Viktor Trón talks about Swarm and the skeleton of Web 3.0
IPFS:
(3) “IPFS & Ethereum: Projects, Important News, Demos, and More”, Juan Benet 3-9
(4) “IPFS Libp2p & Ethereum networking”, David Dias and Juan Benet 3-11
Smart Contract Web access �Ï� IT ¹"À�UÊ�¸ÃÛÍÙøüìïĆ�[´°
�yÏôÿêäïĄĉąÏ�i�¼¯W�Ï PROS/CONSÐÍθĉ
swarm vs. IPFS - swarm ÕÅÐ IPFSÎ�W�� Ë´µ products¹Êɺɴ۰ - “IPFS & SWARMÐ�BÝP�u}¿É´Û°r�T°
BigchainDB
Safe Network (MaidSafe )
© 2015 Hybrid IT Laboratories, Inc.
6
2. Off-chain
off-chainÎÁÛ½ËÏøüìïĈ Scalability/PerformanceÏ#�¯low cost
(1) “The Raiden Network”, Heiko Hees/brainbot technologies 1-8
(2) State Channel ���“State Channels and Blockchain Applications”, Jeff Coleman/Ledger Labs 1-12
“State Channels: Systemic Security Considerations and Solutions”, Joseph Poon/lightning network 1-21
(3) “Mango: Git Completely Decentralized”, Alex Beregszaszi 2-27 GitHub decentralize
(4) “The Golem Project: Ethereum-based market for computing power”, Julian Zawistowski 3-17
Worldwide Super Computer
(5) “Orbit: Distributed, Real-Time Web3 Apps with IPFS and Ethereum”, Samuli Poyhtari/Protocol Labs 3-23
chat app ÍÌ°�
© 2015 Hybrid IT Laboratories, Inc.
7
3. Formal Verification
Writing code correctly is hard. Easy to test desired behaviour. Hard to check absence of undesired behaviour.
(1) “Formal Verification for Solidity”, Dr. Christian Reitwiessner, Dr. Yoichi
Hirai 2-5 Formal verification uses techniques to "test" a program on all possible
inputs and states. Key purpose of FV: complexity reduction by probing properties.
(2) “Making Smart Contracts Smarter: Oyente”, Loi Luu/NUS 2-19 contract analyzer
(3) “Imandra Contracts: Formal Verification for Ethereum”, Dr. Grant Passmore and Evgeny Gokhberg 2-7
cloud-based formal verification system
testing, bug pattern error pattern, attack pattern
(4) “Testing Ethereum Consensus”, Dimitry Khoklov 2-22
(5) “Behavioral Types for Smart Contracts”, Lucius Greg Meredith 1-17 behavior error, formal verification
“Directions in Smart Contract Research: A Selection”, Philip Daian 1-5 Êv�¾ÜÅR]ÁÔº�0°� Ą½½ÕÊKŸą
Don’t forget traditional SE Tests, fuzzing, static and dynamic analysis, phased deployment/upgrade, etc.
© 2015 Hybrid IT Laboratories, Inc.
8
4. Enterprise
8ÈÏôþèā¹ enterpriseÏ tagÝ<È°ÄÏ�¸Ù¯ (1) “Panel: Ethereum Enterprise” 3-27 ÊÏZvÊÏãĂĀĂðĈ
InterOperability Privacy Scalability Migration plan Integration
(2) “Ethereum for Enterprise”, Victor Wong/BlockApps 3-28
Blockchain enterpriseÓÏ�WÎÈ´É aggressiveÍsuÝ;�° 100a �ÓÏ*pf�°HaskellõĂç°
ÄÏôþèā¸Ù¯�
“Our members are no longer interested in POCs. They want to prototype real systems and push these into production ASAP. We think we will see banks in production end of this year or early 2017. Tim Grant, Head of R3 Labs”
© 2015 Hybrid IT Laboratories, Inc.
9
Two markets ËЯ
Simplifying/replacing existing business processes Building new applications/platforms as Blockchain apps
© 2015 Hybrid IT Laboratories, Inc.
10
5. Oracle
Sybase Postgres Oracle
An oracle is an external actor which can provide information from the real world into the blockchain
(Conditional) Timer Event¯SH6(¯÷Ăåìï6(¯
(1) “A Provably Honest Oracle Model: Auditable Offchain Data Gathering & Computations”, Thomas Bertani/oraclise.it 3-5
Oraclize is a provably-honest oracle service enabling smart contracts to access the Internet.
PROS:
Full onchain transparency (both query & results are onchain)
Direct access to any Web API (no need for them to adapt!)
No trustline open w/ the oracle
Doesn’t need many oracles in place to provide reliable results (hence
working today)
© 2015 Hybrid IT Laboratories, Inc.
11
(2) “Smart Oracles” /smartcontact.com 3-8
(3) Thomson Reuters Ï���� TRÊÏLx�ôÿæáäïÏe°Hyperledger Ö×ÇÉ´Û¹¯EthereumÎ�YR�¿É´Û°ßôüЯ
Customer Identity service: BlockOne ID KYC service Ë�? Pricing Oracle Service: ELECKTRON REAL TIMEÏ÷ĂåìïîĂéÝSmart Contract¸ÙLc�lË¿É´Û°
“Ethereum Blockchain Initiatives at Thomson Reuters”, Dr. Tim Nugent 3-15 ·ØÒ “Thomson Reuters Demos New Ethereum Blockchain Use Cases” (CoinDesk)
(4) “Prove It – Blockchain based KYC” Igor Lillic/ConsenSys 3-22
�ÍíĂ÷Ð Identityƹ¯OracleÝ¿Å KYCÎÖv�°
© 2015 Hybrid IT Laboratories, Inc.
12
6. Dapps Solidity
DSL Domain Specific Language
(1) “Designs for the L4 Contract Programming Language Based on Deontic Modal Logic”, Dr. Virgil Griffith and Vikram Verma 1-19
“WHY NOT JUST USE SOLIDITY?”
○ Many Ethereum programs are “contracts” in the traditional legal sense.
○ SQL shows us DSLs really do make our lives easier.
○ We can make lives easier with a DSL explicitly for Contracts
- E.g., you’ll still use Solidity for things like: very novel apps, low-level
crypto, ponzi schemes.
- http://dapps.ethercasts.com/
○ High-level languages → less implementation details to think about.
- Outsources tricky parts to the compiler writer
○ Easy mapping to the current legal system
- One day, your contracts will even compile to legally enforceable English!
- Everyday lawyers move to Ethereum for greater reliability?
(2) “Smart_Contracts_as_Parametrization”, Henning Diedrich 2-23 2ÅÇÉ´Í´¸Ö¿ÜÍ´°�
(3) “Building Highly Scalable, Optimized, Standardized dApp’s (from UI to Contracts)”, Nick Dodson 3-25
react-dapp-boilerplate. Coming soon ½ÜÖ2ÅÇÉ´Í´¸Ö¿ÜÍ´°�
© 2015 Hybrid IT Laboratories, Inc.
13
7. IoT
Raspberry PiÊÖ�» Ethereum Fog/Edge computing “Ethereum for Resource-Limited Devices” Bob Summerwill 1-18
ChipÏ�Z �Ö 21.comƼÊÐÍ´
Raiden Network 1-8
Parity 1-11, 2-6 iEx.ec: Distributed cloud 3-6 ÍÌ
IOTA��ÏôþèāгÚÕÃÞÊ¿Å°
8.
Blockchain 3.0
“The Decentralized Collaborative Web”, Matan Field/ Backfeed 3-26
© 2015 Hybrid IT Laboratories, Inc.
14
Devcon2 Identity - Get your Devcon2 Identity Token https://www.reddit.com/r/ethereum/comments/53gr0y/devcon2_identity_get_your_devcon2_identity_token/
Devcon2 Ï��kÎ Token ÝZmÁÛ � ª¥¬¥ª®°��zEÏ Token
“It's an experiment to see what people do with it and what people build with it.” ˳Û� ÖÏÏ°°°
Censorship resistant
BlockchainWeb2
C. -
Zo¹)»¯ÌÜÖ_´� !� ãĂĀĂðÝ^Û� !� £¨¦¦¨�«©� !� 7´Ý�ÃÛ�
!� ÍÞ¸ ���� � °°°
DevconÎ�Ù¯gh¿É�� ! refresh/rewind
½Ï�A¹\¾ÞÏ�¸Ï�=¼ÎÍÜÑ.VÊÁ Refreshed!
© 2015 Hybrid IT Laboratories, Inc.
15
Devcon2
( )
Legacy (BPM-ECM-ERP) BPM-ECM-ERP
BPM: Business Process Management ECM: Enterprise Content Management ERP: Enterprise Resource Planning ( )
CRM EDM ERM
(1)
Blockchain --- BPM ( ) Factom --- ECM Oracle --- ERP ( interrface)
( )
Legacy BPM
(2) BPMN Business Process Modeling Notation
© 2015 Hybrid IT Laboratories, Inc.
16
BPMN:
BPMN
(3) Blockchain platforms/tools BPMS (BPM Suite)
Solidity CDSL
UI BPMN/BPMS
BPMS : BPM
BPMN
NO CODING
-eol