Download to read offline
Uploaded byDavid Paluy
Intro to Smart Contracts
This document provides an introduction to smart contract development. It defines smart contracts and Byzantine fault tolerance. Solidity is introduced as a contract-oriented programming language that compiles to bytecode executable on the Ethereum Virtual Machine. The document stresses the importance of security testing given the immutability of bugs in blockchain-based smart contracts. It also lists tools for testing, deploying to networks, and monitoring smart contracts in production.
More Related Content
![[London HashiCorp] Securing Cloud Native Communication: From end user to serv...](https://cdn.slidesharecdn.com/ss_thumbnails/londonhugsecuringcloudnativecommunicationfromend-usertoservicecopy-191002081224-thumbnail.jpg?width=640&height=640&fit=bounds)
Similar to Intro to Smart Contracts
Intro to Smart Contracts
- 1. An intro to SmartContracts Development DavidPaluy June 2018
- 2. Agenda Definitions Solidity Security Testing Smart Contracts Tools Deploy to Production
- 3. Smart Contract A smart contractis a computer protocol intended to digitally facilitate, verify, or enforce the negotiation or performance of a contract. Nick Szabo, 1994
- 4. Smart Contract A smart contractis a computer protocol that executes the terms of a contract.
- 5. Byzantine fault tolerance (BFT) BFT isa distributed computing system, where components may fail and there is imperfect information on whether a component is failed.
- 6. Boeing 777 AircraftManagement System SpaceX Dragon
- 7. Turing completeness A system ofdata-manipulation rules is said to be Turing complete if it can be used to simulate anyTuring machine.
- 8. Summary Developing a SmartContract requires: An implementation of BFT algorithm A programming languages with various degrees ofTuring-completeness
- 9. Solidity Solidity is acontract-oriented programming language for writing smart contracts Aug 2014
- 12. Ethereum Virtual Machine (EVM) Solidity is compiledto Bytecode that is executable on EVM
- 13. Security Blockchain basedSmart Contract is visible to all users of the network Immutability of bugs Security holes and bugs may not be quickly fixed Compiler bugs, EVM bugs, network attacks Missing central source documenting known vulnerabilities, attacks and problematic constructs
- 14.
- 15.
- 16.
- 20.
- 21.
- 24.