The document summarizes a blockchain workshop hosted by Extropy.io. The agenda includes reviewing blockchain fundamentals like proof of work consensus, introducing Ethereum, developing smart contracts with Solidity, designing for decentralization, best practices, and development tools. The workshop covers blockchain components, data structures, consensus mechanisms beyond proof of work, the history of blockchain from Bitcoin, restrictions in building decentralized applications, and common smart contract patterns.

1. Blockchain Workshop
Laurence Kirk
Extropy.IO
Tuesday 9th March 2021

2. Extropy.io 2019
Website :
https://extropy.io
Email :
info@extropy.io
Twitter : @extropy
Free Developer
Workshops
● Basic
● Enterprise
● Advanced EVM
● Zero Knowledge
Proofs
Business Workshops
Providing Blockchain solutions
DApp development and customised
blockchains
Security Audits

3. Extropy.io 2019
Agenda
● Blockchain review
● Proof of Work
● Introduction to Ethereum
● Developing Smart Contracts in Solidity
● Designing for Decentralisation
● Best Practices
● Developmental Tools and Resources

4. Extropy.io 2019
Blockchain Review

5. Extropy.io 2019
TLDR
The blockchain provides a
trust layer without a central
authority

6. Extropy.io 2019
Overview of Blockchain
Components

7. Extropy.io 2019
Gossip Network

8. Extropy.io 2019
Shared Public Ledger

9. Extropy.io 2019
Components of the Blockchain
● Shared public ledger
updated by consensus
● P2P Network
● Cryptography

10. Extropy.io 2019
These components give a blockchain
system
● Transparency and verifiable state based on consensus
● Resilience
● Censorship resistance
● Tamper proof interactions

11. Extropy.io 2019
Blockchain Data structure

12. Extropy.io 2019
Proof of Work

13. Extropy.io 2019
Tx
Tx
Tx
Tx
Tx
Network point of view

14. Extropy.io 2019
Building a consensus
Tx
Tx
Tx
Tx
Tx
Tx
Tx
Tx
Tx
?

15. Extropy.io 2019

16. Extropy.io 2019
Proof of Work is not the only consensus mechanism used in blockchains
Avalanche
Polkadot consensus

17. Extropy.io 2019

18. Extropy.io 2019
● Timestamping and verification
● Digital Cash
● Proof of Work (Consensus)
● Byzantine Fault Tolerance (Consensus)
● Public keys as Identities
● Smart Contracts
Working Towards Bitcoin

19. Extropy.io 2019
Satoshi Nakamoto is the name used by
the presumed pseudonymous person or
persons who developed bitcoin, authored
the bitcoin white paper, and created and
deployed bitcoin's original reference
implementation

20. Extropy.io 2019
By MikeG001 - Own work, CC BY-SA 4.0,

22. Creates smart contract
and submits it to the
blockchain

23. The Ethereum Virtual
Machine

24. EVM Specification in yellow paper
9.1. Basics. The EVM is a simple stack-based architecture. The word size of the machine (and thus size of
stack items) is 256-bit. This was chosen to facilitate the Keccak256 hash scheme and elliptic-curve
computations. The memory model is a simple word-addressed byte array. The stack has a maximum size
of 1024.
The machine also has an independent storage model; this is similar in concept to the memory but rather
than a byte array, it is a wordaddressable word array. Unlike memory, which is volatile, storage is non
volatile and is maintained as part of the system state.
All locations in both storage and memory are well-defined initially as zero.
The machine does not follow the standard von Neumann architecture. Rather than storing program code in
generally-accessible memory or storage, it is stored separately in a virtual ROM interactable only through
a specialised instruction.

26. Extropy.io 2019
Restrictions
● Gas - Amount of Computation
● Determinism
● Oracles - Getting data from the internet

27. Extropy.io 2019
getWeather() getWeather()
getWeather()

28. Extropy.io 2019
Oracles

29. EVM Languages

30. Solidity
The most popular programming language for Ethereum contracts
LLL
Low-level Lisp-like Language
Vyper
A language with overflow-checking, numeric units but without unlimited loops
Pyramid Scheme (experimental)
A Scheme compiler into EVM that follows the SICP compilation approach
Flint
A language with several security features: e.g. asset types with a restricted set of atomic operations
LLLL
An LLL-like compiler being implemented in Isabelle/HOL
HAseembly-evm
An EVM assembly implemented as a Haskell DSL
Bamboo (experimental)
- A language without loops but with explicit constructor invocation at the end of every call

31. Remix Demo

32. Extropy Workshop Solidity Tutorial

33. Designing for
decentralisation

34. Rock Paper Scissors

35. Playing Rock Paper Scissors on the blockchain

36. Playing Rock Paper Scissors on the blockchain
Alice plays ‘Rock’
Bob sees Alice’s
transaction, so he plays
‘Paper’
and therefore wins
Here is your
prize

37. Not much of a game
How can we improve it ?

38. The commit stage
Alice commits to
Hash (‘Rock’)
Bob can see the
transaction but does not
know what Alice played.
He commits to
Hash (Scissors)

39. The reveal stage
Alice reveals her
move by sending
(‘Rock’)
Bob reveals his move by
sending (Scissors)
The smart contract
verifies Alice’s move
The smart contract
verifies Bob’s move
The smart contract declares Alice the winner

40. Common Patterns
And
Best Practices

41. Consensys : Best Practices
● Use caution when making external calls
● Mark untrusted contracts
● Avoid state changes after external calls
● Don't use transfer() or send().
● Handle errors in external calls
● Favor pull over push for external calls
● Don't delegatecall to untrusted code
● Remember that Ether can be forcibly sent to an account
● Remember that on-chain data is public
● Beware of the possibility that some participants may "drop offline" and not return
● Beware of negation of the most negative signed integer
● Enforce invariants with assert()
● Use assert(), require(), revert() properly
● Use modifiers only for checks
● Beware rounding with integer division
● Be aware of the tradeoffs between abstract contracts and interfaces
● Keep fallback functions simple
● Check data length in fallback functions
etc.

42. From : Solidity Patterns

43. Open Zeppelin

44. Ownership and Access Control
Contracts:
Ownable
AccessControl

45. Tokens
● ERC20
● ERC721
● ERC777

46. Introspection and Maths and Utilities
IERC165 And IERC1820Registry
SafeMath
Pausable
EnumerableMap

47. Creating a DApp
https://web3js.readthedocs.io/en/v1.3.0/
Other languages are available
Java
Rust
.NET
….

49. Community education : http://extropy.foundation

50. Extropy.io 2019
Q & A
http://bit.ly/encode1