© 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