Devcon2上海参加報告

© 2015 Hybrid IT Laboratories, Inc.
1
Devcon2
2016 10 12
hiron
9 19 21 Devcon2
A. Devcon2 Track theme
B. Devcon2
1. Web3
2. Off-chain
3. Formal Verification
A. Devcon Track theme
Devcon2 78 21 28 29
agenda
Track theme

2
Agenda ”Filter by track”
- 6 4181 - - - -7
- 1
751
0- 01 17 81
01
01 17 81 7
1 1 5 1
1 41 1 8
1 41 1 8 2 0- 5
1 8
3 1 41 1 8
7534 751
850071 - 1
5
22 4-5
7- 2 8 01 17 81
105 5 8- 61
5 -
1 1- 4
-7-.575
1 5
7505
- 8
Track theme
Formal verification
Oracle (data-feed)
Identity
IPFS
IoT
Namespace

3
…
5 Devcon2
(1) Ethereum Devcon2 Conference In Shanghai, Agenda With Slides
EthFans.org
(2) DEVCON2 report: Day 1 - Session notes & event photos
By David Burela
day-2, day-3, Summit demo day, day-1, day-2
(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

4
B. Devcon2 - -
-
“Mauve Revolution” (Vitalik)
1. Web3
“Blockchain as Web3” ”Beyond the Bubble” 2-20
Web3
Towards Web3 Infrastructure
Web3 Base Layer Services (ethereum, swarm,
whisper)
Swarm:
(1) “Swap, Swear and Swindle. Swarm Incentivisation”, Viktor Trón and
Dr. Aron Fischer 1-6
1-6 Day-1 6

5
(2) “Towards Web3 Infrastructure”, Viktor Trón 1-10
(PoC 0.2)
ethersphere orange paper series
Viktor Ethereum Foundation Web3.0
IBTimes 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
PROS/CONS
swarm vs. IPFS
- swarm IPFS products
- “IPFS & SWARM
BigchainDB
Safe Network (MaidSafe )

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

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
Don’t forget traditional SE
Tests, fuzzing, static and dynamic analysis, phased deployment/upgrade, etc.

8
4. Enterprise
8 enterprise tag
(1) “Panel: Ethereum Enterprise” 3-27
InterOperability
Privacy
Scalability
Migration plan
Integration
(2) “Ethereum for Enterprise”, Victor Wong/BlockApps 3-28
Blockchain enterprise aggressive
100 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”

9
Two markets
Simplifying/replacing existing business processes
Building new applications/platforms as Blockchain apps

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
(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)

11
(2) “Smart Oracles” /smartcontact.com 3-8
(3) Thomson Reuters
TR Hyperledger Ethereum
Customer Identity service: BlockOne ID KYC service
Pricing Oracle Service: ELECKTRON REAL TIME
Smart Contract
“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

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
(3) “Building Highly Scalable, Optimized, Standardized dApp’s (from UI to
Contracts)”, Nick Dodson 3-25
react-dapp-boilerplate. Coming soon

13
7. IoT
Raspberry Pi Ethereum
Fog/Edge computing
“Ethereum for Resource-Limited Devices” Bob Summerwill 1-18
Chip 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

14
Devcon2 Identity - Get your Devcon2 Identity Token
https://www.reddit.com/r/ethereum/comments/53gr0y/devcon2_identity_g
et_your_devcon2_identity_token/
Devcon2 Token Token
“It's an experiment to see what people do with it and what people build
with it.”
Censorship resistant
Blockchain
Web2
C. -
! ! !
!
Devcon ! refresh/rewind
Refreshed!

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

16
BPMN:
BPMN
(3) Blockchain platforms/tools BPMS (BPM Suite)
Solidity C
DSL
UI
BPMN/BPMS
BPMS :
BPM
BPMN
NO CODING
-eol

Devcon2上海参加報告

More Related Content

What's hot (20)

Viewers also liked (20)

Similar to Devcon2上海参加報告 (20)

Recently uploaded (20)