SlideShare a Scribd company logo
Introduction
Smart contract &
Solidity
Plan
1. Smart contract bases
2. Solidity syntax
3. Workshop: create your
subcurrency ERC20
Bases
◎ Feature => it must do what it has to do
◎ “Code proof” => security gapes (ex: reentrency with
theDAO, visibility function with multisig parity)
◎ “Cryptoeconomic proof” => good incentives (ex:
random number for gamling)
◎ Optimize complexity => cf. gas, big O
◎ Optimize storage => cf. state variable, types
5 challenges to develop a smart contract:
Bases
Smart contract must be perfect
before the production
Solidity Syntax
https://remix.ethereum.org
◎ Variables & operators
◎ Conditions and loops
◎ Input and output parameters
Create subcurrency - specifications (mvp)
◎ Supply is limited and defined by the creator
◎ People can transfer to another wallet
◎ Credit (balance < 0) is not authorize
Create subcurrency - specifications ERC20
https://github.com/ethereum/EIPs/blob/master/
EIPS/eip-20-token-standard.md
Let’s go!
Sources
https://solidity.readthedocs.io/en/develop/
https://github.com/ConsenSys/Tokens
https://openzeppelin.org/
See also : https://github.com/Giveth/minime
Thanks!
I am Nicolas Wagner
@w_n1c01a5
Co-founder of Kleros.io
Core developer at Dether.io
You can find me at:
nicolas@kleros.io

More Related Content

PPTX
Architecture ethereum dapp
PDF
Smart contracts in Solidity
PDF
Ethereum Contracts - Coinfest 2015
PPTX
Learning Solidity
PPTX
Solidity Simple Tutorial EN
PPTX
OpenZeppelin + Remix + BNB smart chain
PDF
Ingredients for creating dapps
PDF
Braga Blockchain - Ethereum Smart Contracts programming
Architecture ethereum dapp
Smart contracts in Solidity
Ethereum Contracts - Coinfest 2015
Learning Solidity
Solidity Simple Tutorial EN
OpenZeppelin + Remix + BNB smart chain
Ingredients for creating dapps
Braga Blockchain - Ethereum Smart Contracts programming

What's hot (18)

PDF
Writing smart contracts
PDF
How to be a smart contract engineer
PPTX
Ethereum Intro
PPTX
The Ethereum Geth Client
PPTX
Presentation_Topalidis_Giorgos
PDF
Java and the blockchain - introducing web3j
PDF
Smart contracts using web3.js
PDF
ØMQ - An Introduction
PDF
Ethereum VM and DSLs for Smart Contracts (updated on May 12th 2015)
PDF
Ethereum under the Hood, intro for developers as preparation for Blockchain H...
PPTX
Ethereum Web3.js - Some tips for the developer
PPTX
Intro to smart contract on blockchain en
PPTX
Oracles
PDF
Javascript toolset for Ethereum Smart Contract development
PPT
Tutorial s crypto api session keys
PPTX
.NET 4.0 Code Contracts (2010)
PDF
gething started - ethereum & using the geth golang client
PPTX
Blockchain and smart contracts day 2
Writing smart contracts
How to be a smart contract engineer
Ethereum Intro
The Ethereum Geth Client
Presentation_Topalidis_Giorgos
Java and the blockchain - introducing web3j
Smart contracts using web3.js
ØMQ - An Introduction
Ethereum VM and DSLs for Smart Contracts (updated on May 12th 2015)
Ethereum under the Hood, intro for developers as preparation for Blockchain H...
Ethereum Web3.js - Some tips for the developer
Intro to smart contract on blockchain en
Oracles
Javascript toolset for Ethereum Smart Contract development
Tutorial s crypto api session keys
.NET 4.0 Code Contracts (2010)
gething started - ethereum & using the geth golang client
Blockchain and smart contracts day 2
Ad

Similar to Introduction solidity (20)

PDF
“Create your own cryptocurrency in an hour” - Sandip Pandey
PPTX
Creating Smart Contract
PDF
How to Create Your Own ERC-20 Token in Simple Steps.pdf
PDF
All watched over machines of loving grace amsterdam
PPTX
How to Create Your Own ERC-20 Token in Simple Steps.pptx
PDF
Handson Smart Contract Development With Solidity And Ethereum From Fundamenta...
PPTX
How to Develop Your First Smart Contracts as a Beginner?
PDF
How to Write & Deploy a Smart Contract
PPTX
The Ethereum Blockchain - Introduction to Smart Contracts and Decentralized A...
PDF
Smart Contract Security
PPTX
How to Migrate a Smart Contract to a New Blockchain Platform.pptx
PPTX
How to design, code, deploy and execute a smart contract
PPTX
Ethereum Blockchain with Smart contract and ERC20
PDF
Smart contract and Solidity
PDF
Smart Contracts (Qtum) by Alex Norta, PhD.
PPTX
Ethereum smart contract security audit
PPTX
Smart Contracts with Solidity hands-on training session
PPTX
Best practices to build secure smart contracts
PPTX
Blockchain in enterprise - Challenges, Considerations and Designs
PDF
Blockchain_Certification_2018_V5.pdf
“Create your own cryptocurrency in an hour” - Sandip Pandey
Creating Smart Contract
How to Create Your Own ERC-20 Token in Simple Steps.pdf
All watched over machines of loving grace amsterdam
How to Create Your Own ERC-20 Token in Simple Steps.pptx
Handson Smart Contract Development With Solidity And Ethereum From Fundamenta...
How to Develop Your First Smart Contracts as a Beginner?
How to Write & Deploy a Smart Contract
The Ethereum Blockchain - Introduction to Smart Contracts and Decentralized A...
Smart Contract Security
How to Migrate a Smart Contract to a New Blockchain Platform.pptx
How to design, code, deploy and execute a smart contract
Ethereum Blockchain with Smart contract and ERC20
Smart contract and Solidity
Smart Contracts (Qtum) by Alex Norta, PhD.
Ethereum smart contract security audit
Smart Contracts with Solidity hands-on training session
Best practices to build secure smart contracts
Blockchain in enterprise - Challenges, Considerations and Designs
Blockchain_Certification_2018_V5.pdf
Ad

Recently uploaded (20)

PDF
Model Code of Practice - Construction Work - 21102022 .pdf
PPTX
CARTOGRAPHY AND GEOINFORMATION VISUALIZATION chapter1 NPTE (2).pptx
PPTX
Sustainable Sites - Green Building Construction
PPTX
bas. eng. economics group 4 presentation 1.pptx
PPTX
OOP with Java - Java Introduction (Basics)
PPTX
Internet of Things (IOT) - A guide to understanding
PPTX
web development for engineering and engineering
DOCX
573137875-Attendance-Management-System-original
PDF
Mohammad Mahdi Farshadian CV - Prospective PhD Student 2026
PPTX
Infosys Presentation by1.Riyan Bagwan 2.Samadhan Naiknavare 3.Gaurav Shinde 4...
PDF
SM_6th-Sem__Cse_Internet-of-Things.pdf IOT
PDF
BMEC211 - INTRODUCTION TO MECHATRONICS-1.pdf
PDF
TFEC-4-2020-Design-Guide-for-Timber-Roof-Trusses.pdf
PPTX
MET 305 2019 SCHEME MODULE 2 COMPLETE.pptx
PDF
keyrequirementskkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk
PPT
Mechanical Engineering MATERIALS Selection
PPTX
IOT PPTs Week 10 Lecture Material.pptx of NPTEL Smart Cities contd
PDF
The CXO Playbook 2025 – Future-Ready Strategies for C-Suite Leaders Cerebrai...
PPTX
UNIT 4 Total Quality Management .pptx
PPTX
FINAL REVIEW FOR COPD DIANOSIS FOR PULMONARY DISEASE.pptx
Model Code of Practice - Construction Work - 21102022 .pdf
CARTOGRAPHY AND GEOINFORMATION VISUALIZATION chapter1 NPTE (2).pptx
Sustainable Sites - Green Building Construction
bas. eng. economics group 4 presentation 1.pptx
OOP with Java - Java Introduction (Basics)
Internet of Things (IOT) - A guide to understanding
web development for engineering and engineering
573137875-Attendance-Management-System-original
Mohammad Mahdi Farshadian CV - Prospective PhD Student 2026
Infosys Presentation by1.Riyan Bagwan 2.Samadhan Naiknavare 3.Gaurav Shinde 4...
SM_6th-Sem__Cse_Internet-of-Things.pdf IOT
BMEC211 - INTRODUCTION TO MECHATRONICS-1.pdf
TFEC-4-2020-Design-Guide-for-Timber-Roof-Trusses.pdf
MET 305 2019 SCHEME MODULE 2 COMPLETE.pptx
keyrequirementskkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk
Mechanical Engineering MATERIALS Selection
IOT PPTs Week 10 Lecture Material.pptx of NPTEL Smart Cities contd
The CXO Playbook 2025 – Future-Ready Strategies for C-Suite Leaders Cerebrai...
UNIT 4 Total Quality Management .pptx
FINAL REVIEW FOR COPD DIANOSIS FOR PULMONARY DISEASE.pptx

Introduction solidity

Editor's Notes

  • #5: Aucun outil pour savoir si il est parfait ou pas cf preuve formel
  • #10: I’m Nicolas, I’m co-founder of kleros.io and core-developer at dether.io. Thanks