Blockchain and smart contracts, what they are and why you should really care about as a developer

M
Title: Blockchain and smart contractsWhat they are and why you should really care about ad developer
Author: @maeste, Stefano Maestri
CODEMOTION MILAN - SPECIAL EDITION
10 – 11 NOVEMBER 2017
Who is Stefano?
● A young enthusiast open source developer
● Red Hat Principal software engineer
● https://www.linkedin.com/in/maeste/
● https://twitter.com/maeste
● https://github.com/maeste/
● http://www.onchain.it/
My matching pairs game: Java & JBoss, Open Source & Red Hat,
Blockchain & Ethereum
Who is Stefano?
● A young enthusiast open source developer
● Red Hat Principal software engineer
● https://www.linkedin.com/in/maeste/
● https://twitter.com/maeste
● https://github.com/maeste/
● http://www.onchain.it/
My matching pairs game: Java & JBoss, Open Source & Red Hat,
Blockchain & Ethereum
Today’s Agenda
● Brief introduction to blockchain concepts
● Cryptocurrencies and why they have monetary value
● Smart contracts and why you should care about
● Developing smart contracts on ethereum blockchain
What is the block chain?
The Guardian: Blockchain is a digital ledger that provides a
secure way of making and recording transactions,
agreements and contracts – anything that needs to be
recorded and verified as having taken place.
Wikipedia: A blockchain is a continuously growing list of records,
called blocks, which are linked and secured using cryptography.
Each block typically contains a hash pointer as a link to a previous
block, a timestamp and transaction data. By design, blockchains
are inherently resistant to modification of the data. A blockchain
can serve as "an open, distributed ledger that can record
transactions between two parties efficiently and in a verifiable and
permanent way."
What is a blockchain...a nice bullet list
● It’s a ledger of transactions and datas
● It’s persistent, secure and unmodifiable
● It’s based on computational trust
● It’s distributed and unstoppable
● Transaction parties are anonymous, but tx are public and verifiable
● It’s transactions could be about values (cryptocurrency)
● It’s trustless about nodes and users
What is a blockchain...a nice bullet list
● It’s a ledger of transactions and datas
● It’s persistent, secure and unmodifiable
● It’s based on computational trust
● It’s distributed and unstoppable
● Transaction parties are anonymous, but tx are public and verifiable
● It’s transactions could be about values (cryptocurrency)
● It’s trustless about nodes and users
Live Demo
It’s distributed and unstoppable
It’s distributed and unstoppable
It’s distributed and unstoppable
Has those cryptocurrencies a real economic
value? And why?
In economy “intrinsic value” concept doesn’t exist at all. We give value to money
by convention, and more general anything gain value almost for 3 reasons (not
strictly needed, but true in almost cases at least)
● It’s rare
● It’s hard to reproduce
● It could be exchanged
● Someone want to buy it (law of supply and demand)
Has those cryptocurrencies a real economic
value? And why?
In economy “intrinsic value” concept doesn’t exist at all. We give value to money
by convention, and more general anything gain value almost for 3 reasons (not
strictly needed, but true in almost cases at least)
● It’s rare
● It’s hard to reproduce
● It could be exchanged
● Someone want to buy it (law of supply and demand)
1 Euro
Fontana’s paint ~ 8M Euro
~ 7K Euro Manzoni’s artist's shit: ~275K Euro
Traditional payments
Traditional payments
And isn’t ok to simply trust in a Bank?
What could happen?
Lehman Brothers…..
Traditional payments
And isn’t ok to simply trust in a Bank?
What could happen?
Lehman Brothers…..
So...what is the solution?
Grandmum solution?
So...what is the solution?
Grandmum solution?
Could be at least unpractical...
The solution is the blockchain
● It’s a ledger of transactions and datas
● It’s persistent and secure
● It’s based on computational trust
● It’s distributed and unstoppable
● Transaction parties are anonymous, but transactions are public
● It’s transactions could be about values (cryptocurrency)
● It’s trustless about nodes and users
The solution is the blockchain
● It’s a ledger of transactions and datas
● It’s persistent and secure
● It’s based on computational trust
● It’s distributed and unstoppable
● Transaction parties are anonymous, but transactions are public
● It’s transactions could be about values (cryptocurrency)
● It’s trustless about nodes and users
Am I going to transfer my money without trusting anyone?
What does trustless mean?
You are not trusting in peers of transaction or even in nodes of the network, you
are trusting in the protocol itself. In other words you are trusting blockchain and
cryptocurrency itself and not people owning them….moreover they are
anonymous…
Does it recall anything you well known and use everyday?
What does trustless mean?
You are not trusting in peers of transaction or even in nodes of the network, you
are trusting in the protocol itself. In other words you are trusting blockchain and
cryptocurrency itself and not people owning them….moreover they are
anonymous…
Does it recall anything you well known and use everyday?
What does trustless mean?
You are not trusting in peers of transaction or even in nodes of the network, you
are trusting in the protocol itself. In other words you are trusting blockchain and
cryptocurrency itself and not people owning them….moreover they are
anonymous…
Does it recall anything you well known and use everyday?
Smart Contracts
What is a smart contract?
A contract is a voluntary arrangement between two or more
parties that is enforceable by law as a binding legal
agreement
A smart contract is a computer protocol intended to facilitate,
verify, or enforce the negotiation or performance of a
contract.
Real world smart contracts
With the present implementations]
"smart contract" is
general purpose computation that takes place on a
blockchain
Smart contracts: unstoppable Dapp
● Distributed
● Can transfer money/assets
● Unmodifiable state history
Ethereum: a blockchain for smart contracts
● Every node run a built in Virtual Machine (EVM)
● It provide a compiler from high level languages to EVM
● 2 different kind of accounts:
○ Externally owned account (EOAs), controlled by
private keys
○ Contract accounts, controlled by code
Ethereum Virtual Machine
Internals
● TURING COMPLETE VM
● Stack based byte code (push,
jump)
● Memory
● Storage
● Environment variables
● Logs
● Sub-calling
High level languages
● Solidity (c-like)
● Viper (python like)
● LLL (lisp inspired)
● Bamboo (experimental
morphing language influenced
by Erlang)
Everyone compiling to EVM code
EVM code execution
● Transaction sent to a contract address
● Every full node of ethereum run the code at this address
and store the state
● Smart contract code can:
○ Could run any program (turing complete machine)
○ Read/write state
○ Call another contract
○ Send ETH to other address (both EOA and contract)
Ethereum GAS
Halting problem: determine if the program will finish running or continue to run
forever. Classic NP-hard problem
Ethereum solution: GAS, a fee per computational step
GAS is not a currency is just a unit of measurement of computational step
In Tx you have “maximum GAS” you would give to the miner and “GAS price” to
determine how much you will actually pay.
If Tx complete successfully you pay just for effective GAS used.
It the Tx would consume all GAS the TX will be revert, but you still pay for GAS
Ethereum hasn’t block size limit, but Gas Limit (6.7M currently, but voted by miners)
Solidity
● C/Java-like syntax
● Statically typed
● Support inheritance (multiple)
● Complex user defined types (struct)
● Polymorphism
● Overriding
● …..
http://solidity.readthedocs.io/en/develop/index.html#
Our development environment
● testRPC (local in memory ethereum blockchain)
● Truffle (maven-like tool to compile and deploy contract)
● A bit of javascript (npm) for some raw Dapp interface
● Metamask to inject ethereum protocol in our
html/javascript Dapp
● Intellij to edit solidity and javascript
More info: http://truffleframework.com/
SmartNotary
● The easiest contract notarizing a document
● Receiving document hash and owner name It will write them in the
blockchain state
● Giving the hash it will return the owner name
● It’s a pet project just to play with code
Talk is cheap….show me the f****ing code (Linus Torvalds)
https://github.com/onchainit/SmartNotary/tree/baseExample
SmartNotary 1.1: using EOA
We are using current EOA (from metamask) as owner.
It will give us the opportunity to play a bit with metamask
https://github.com/onchainit/SmartNotary/tree/baseExample
SmartNotary 2.0: paying for notarization
We are adding money transfer.
Basically the user will pay in ether the service of
notarization.
The ethers are stored in contract balance, and only contract
creator could withdraw them in his EOA
https://github.com/onchainit/SmartNotary/tree/pay4Notarization
Contract security - reentrancy attack
// INSECURE
mapping (address => uint) private userBalances;
function withdrawBalance() public {
uint amountToWithdraw = userBalances[msg.sender];
require(msg.sender.call.value(amountToWithdraw)());
// At this point, the caller's code is executed, and can call withdrawBalance again
userBalances[msg.sender] = 0;
}
https://consensys.github.io/smart-contract-best-practices/
Contract security - reentrancy attack
// VERY SIMPLIFIED MALICIOUS CODE (WOULD NEED CONSIDERATION ON BLOCK MAXIMUM GAS)
function() payable {
vulnerable.withDraw();
}
Contract security -reentrancy attack solution
mapping (address => uint) private userBalances;
function withdrawBalance() public {
uint amountToWithdraw = userBalances[msg.sender];
userBalances[msg.sender] = 0;
require(msg.sender.call.value(amountToWithdraw)());
// The user's balance is already 0, so future invocations won't withdraw anything
}
Or just using primitive send() instead of .call.value which limit gas to 2300 (pure
transfer)
https://consensys.github.io/smart-contract-best-practices/
SmartNotary 3.0: paying for notarization and
notarized document market
A bit more complex example
More money transfer
Blind auction
https://github.com/onchainit/SmartNotary/tree/marketplace
Who is behind ethereum?
A Very young….extremely focused guy
Who is behind ethereum?
A Very young….extremely focused guy
Don’t you recall another very young
extremely focused guy?
Who is behind ethereum?
Thanks for coming
0x41a6021A6Dc82cbB0cd7ee0E3855654D225F48C6
I’ll use ethers only for beers :)
● https://www.linkedin.com/in/maeste/
● https://twitter.com/maeste
● https://github.com/maeste/
● http://www.onchain.it/
1 de 43

Recomendados

Architecture ethereum dapp por
Architecture ethereum dappArchitecture ethereum dapp
Architecture ethereum dappNicolas Wagner
1.7K vistas14 diapositivas
How to not Destroy Millions in Smart Contracts por
How to not Destroy Millions in Smart ContractsHow to not Destroy Millions in Smart Contracts
How to not Destroy Millions in Smart ContractsLeonid Beder
426 vistas204 diapositivas
How to Build Your Own Blockchain por
How to Build Your Own BlockchainHow to Build Your Own Blockchain
How to Build Your Own BlockchainLeonid Beder
251 vistas82 diapositivas
Intro to Cryptography por
Intro to CryptographyIntro to Cryptography
Intro to CryptographyGalin Dinkov
173 vistas36 diapositivas
Write smart contract with solidity on Ethereum por
Write smart contract with solidity on EthereumWrite smart contract with solidity on Ethereum
Write smart contract with solidity on EthereumMurughan Palaniachari
1.3K vistas34 diapositivas
Blockchain Programming por
Blockchain ProgrammingBlockchain Programming
Blockchain ProgrammingRob Myers
2.2K vistas23 diapositivas

Más contenido relacionado

La actualidad más candente

Stefano Maestri - Blockchain and smart contracts, what they are and why you s... por
Stefano Maestri - Blockchain and smart contracts, what they are and why you s...Stefano Maestri - Blockchain and smart contracts, what they are and why you s...
Stefano Maestri - Blockchain and smart contracts, what they are and why you s...Codemotion
429 vistas31 diapositivas
Discovering Applications in Blockchain .edu por
Discovering Applications in Blockchain .eduDiscovering Applications in Blockchain .edu
Discovering Applications in Blockchain .eduRizal Mohd Nor
576 vistas30 diapositivas
Basic techniques in cryptography por
Basic techniques in cryptographyBasic techniques in cryptography
Basic techniques in cryptographyShraddha Gupta
772 vistas19 diapositivas
Fintech Workshop por
Fintech WorkshopFintech Workshop
Fintech WorkshopRizal Mohd Nor
1K vistas48 diapositivas
Analyzing Cryptocurrencies with Python por
Analyzing Cryptocurrencies with PythonAnalyzing Cryptocurrencies with Python
Analyzing Cryptocurrencies with PythonPortia Burton
801 vistas37 diapositivas
Definition of Cryptocurrency por
Definition of CryptocurrencyDefinition of Cryptocurrency
Definition of Cryptocurrencyterihagh
139 vistas13 diapositivas

La actualidad más candente(15)

Stefano Maestri - Blockchain and smart contracts, what they are and why you s... por Codemotion
Stefano Maestri - Blockchain and smart contracts, what they are and why you s...Stefano Maestri - Blockchain and smart contracts, what they are and why you s...
Stefano Maestri - Blockchain and smart contracts, what they are and why you s...
Codemotion429 vistas
Discovering Applications in Blockchain .edu por Rizal Mohd Nor
Discovering Applications in Blockchain .eduDiscovering Applications in Blockchain .edu
Discovering Applications in Blockchain .edu
Rizal Mohd Nor576 vistas
Basic techniques in cryptography por Shraddha Gupta
Basic techniques in cryptographyBasic techniques in cryptography
Basic techniques in cryptography
Shraddha Gupta772 vistas
Analyzing Cryptocurrencies with Python por Portia Burton
Analyzing Cryptocurrencies with PythonAnalyzing Cryptocurrencies with Python
Analyzing Cryptocurrencies with Python
Portia Burton801 vistas
Definition of Cryptocurrency por terihagh
Definition of CryptocurrencyDefinition of Cryptocurrency
Definition of Cryptocurrency
terihagh139 vistas
Decentralized: Blockchain & Cryptocurrency Laws in Canada por Alexander Davis
Decentralized: Blockchain & Cryptocurrency Laws in CanadaDecentralized: Blockchain & Cryptocurrency Laws in Canada
Decentralized: Blockchain & Cryptocurrency Laws in Canada
Alexander Davis224 vistas
Daniel Connelly Ethereum Smart Contract Master's Thesis por Daniel Connelly
Daniel Connelly Ethereum Smart Contract Master's ThesisDaniel Connelly Ethereum Smart Contract Master's Thesis
Daniel Connelly Ethereum Smart Contract Master's Thesis
Daniel Connelly93 vistas
Are blockchain and crypto interchangeable terms por Blockchain Council
Are blockchain and crypto interchangeable terms Are blockchain and crypto interchangeable terms
Are blockchain and crypto interchangeable terms
Blockchain Council75 vistas
Simone Bronzini - Weaknesses of blockchain applications - Codemotion Milan 2018 por Codemotion
Simone Bronzini - Weaknesses of blockchain applications - Codemotion Milan 2018Simone Bronzini - Weaknesses of blockchain applications - Codemotion Milan 2018
Simone Bronzini - Weaknesses of blockchain applications - Codemotion Milan 2018
Codemotion112 vistas
Tutorial on Cryptography por kenluck2001
Tutorial on CryptographyTutorial on Cryptography
Tutorial on Cryptography
kenluck2001287 vistas
BigDecimal: Avoid rounding errors on decimals in JavaScript (Node.TLV 2020) por Igalia
BigDecimal: Avoid rounding errors on decimals in JavaScript (Node.TLV 2020)BigDecimal: Avoid rounding errors on decimals in JavaScript (Node.TLV 2020)
BigDecimal: Avoid rounding errors on decimals in JavaScript (Node.TLV 2020)
Igalia102 vistas
Cryptography & network security por sathu30
Cryptography & network securityCryptography & network security
Cryptography & network security
sathu30866 vistas

Similar a Blockchain and smart contracts, what they are and why you should really care about as a developer

Seun - Breaking into Protocol Engineering (1).pptx por
Seun - Breaking into Protocol Engineering (1).pptxSeun - Breaking into Protocol Engineering (1).pptx
Seun - Breaking into Protocol Engineering (1).pptxSeunLanLege1
409 vistas18 diapositivas
Blockchain and Cryptocurrency for Dummies por
Blockchain and Cryptocurrency for DummiesBlockchain and Cryptocurrency for Dummies
Blockchain and Cryptocurrency for DummiesNarudom Roongsiriwong, CISSP
5.7K vistas65 diapositivas
[Workshop] Getting Started with Cryptos, NFTs & Web 3.0 for Absolute Beginners por
[Workshop] Getting Started with Cryptos, NFTs & Web 3.0 for Absolute Beginners[Workshop] Getting Started with Cryptos, NFTs & Web 3.0 for Absolute Beginners
[Workshop] Getting Started with Cryptos, NFTs & Web 3.0 for Absolute BeginnersHessan Adnani
295 vistas62 diapositivas
Introduction to Blockchains por
Introduction to BlockchainsIntroduction to Blockchains
Introduction to BlockchainsKnoldus Inc.
171 vistas34 diapositivas
Programming Decentralized Application por
Programming Decentralized ApplicationProgramming Decentralized Application
Programming Decentralized ApplicationBambang Purnomosidi D. P.
1K vistas15 diapositivas
Ethereum por
EthereumEthereum
EthereumBrian Yap
577 vistas29 diapositivas

Similar a Blockchain and smart contracts, what they are and why you should really care about as a developer(20)

Seun - Breaking into Protocol Engineering (1).pptx por SeunLanLege1
Seun - Breaking into Protocol Engineering (1).pptxSeun - Breaking into Protocol Engineering (1).pptx
Seun - Breaking into Protocol Engineering (1).pptx
SeunLanLege1409 vistas
[Workshop] Getting Started with Cryptos, NFTs & Web 3.0 for Absolute Beginners por Hessan Adnani
[Workshop] Getting Started with Cryptos, NFTs & Web 3.0 for Absolute Beginners[Workshop] Getting Started with Cryptos, NFTs & Web 3.0 for Absolute Beginners
[Workshop] Getting Started with Cryptos, NFTs & Web 3.0 for Absolute Beginners
Hessan Adnani295 vistas
Introduction to Blockchains por Knoldus Inc.
Introduction to BlockchainsIntroduction to Blockchains
Introduction to Blockchains
Knoldus Inc.171 vistas
Ethereum por Brian Yap
EthereumEthereum
Ethereum
Brian Yap577 vistas
Best practices to build secure smart contracts por Gautam Anand
Best practices to build secure smart contractsBest practices to build secure smart contracts
Best practices to build secure smart contracts
Gautam Anand426 vistas
Distributed, immutable, secure... por Espeo Software
Distributed, immutable, secure...Distributed, immutable, secure...
Distributed, immutable, secure...
Espeo Software764 vistas
Dylan Butler & Oliver Hager - Building a cross platform cryptocurrency app por DevCamp Campinas
Dylan Butler & Oliver Hager - Building a cross platform cryptocurrency appDylan Butler & Oliver Hager - Building a cross platform cryptocurrency app
Dylan Butler & Oliver Hager - Building a cross platform cryptocurrency app
DevCamp Campinas596 vistas
Stefano Maestri - Why Ethereum and other blockchains are going to Proof of St... por Codemotion
Stefano Maestri - Why Ethereum and other blockchains are going to Proof of St...Stefano Maestri - Why Ethereum and other blockchains are going to Proof of St...
Stefano Maestri - Why Ethereum and other blockchains are going to Proof of St...
Codemotion122 vistas
gething started - ethereum & using the geth golang client por Sathish VJ
gething started - ethereum & using the geth golang clientgething started - ethereum & using the geth golang client
gething started - ethereum & using the geth golang client
Sathish VJ2.9K vistas
How to run your own blockchain pilot por Simon Wilson
How to run your own blockchain pilotHow to run your own blockchain pilot
How to run your own blockchain pilot
Simon Wilson283 vistas
Whats, Whys and Hows of NFTs? por Abhinav Gupta
Whats, Whys and Hows of NFTs?Whats, Whys and Hows of NFTs?
Whats, Whys and Hows of NFTs?
Abhinav Gupta35 vistas
Dumb Smart Contracts (TBBUG).pdf por Paresh Yadav
Dumb Smart Contracts (TBBUG).pdfDumb Smart Contracts (TBBUG).pdf
Dumb Smart Contracts (TBBUG).pdf
Paresh Yadav19 vistas
Web3’s red pill: Smashing Web3 transaction simulations for fun and profit por Tal Be'ery
Web3’s red pill: Smashing Web3 transaction simulations for fun and profitWeb3’s red pill: Smashing Web3 transaction simulations for fun and profit
Web3’s red pill: Smashing Web3 transaction simulations for fun and profit
Tal Be'ery92 vistas
From Crypto Kitties to non fungible token to ERC721 standard por maeste
From Crypto Kitties to non fungible token to ERC721 standardFrom Crypto Kitties to non fungible token to ERC721 standard
From Crypto Kitties to non fungible token to ERC721 standard
maeste444 vistas
Webinar: From Crypto Kitties to non fungible token to ERC721 standard - Stefa... por Codemotion
Webinar: From Crypto Kitties to non fungible token to ERC721 standard - Stefa...Webinar: From Crypto Kitties to non fungible token to ERC721 standard - Stefa...
Webinar: From Crypto Kitties to non fungible token to ERC721 standard - Stefa...
Codemotion467 vistas
Blockchain Experiments 1-11.pptx por saiproject
Blockchain Experiments 1-11.pptxBlockchain Experiments 1-11.pptx
Blockchain Experiments 1-11.pptx
saiproject8 vistas

Último

DSD-INT 2023 3D hydrodynamic modelling of microplastic transport in lakes - J... por
DSD-INT 2023 3D hydrodynamic modelling of microplastic transport in lakes - J...DSD-INT 2023 3D hydrodynamic modelling of microplastic transport in lakes - J...
DSD-INT 2023 3D hydrodynamic modelling of microplastic transport in lakes - J...Deltares
9 vistas24 diapositivas
Copilot Prompting Toolkit_All Resources.pdf por
Copilot Prompting Toolkit_All Resources.pdfCopilot Prompting Toolkit_All Resources.pdf
Copilot Prompting Toolkit_All Resources.pdfRiccardo Zamana
8 vistas4 diapositivas
Gen Apps on Google Cloud PaLM2 and Codey APIs in Action por
Gen Apps on Google Cloud PaLM2 and Codey APIs in ActionGen Apps on Google Cloud PaLM2 and Codey APIs in Action
Gen Apps on Google Cloud PaLM2 and Codey APIs in ActionMárton Kodok
5 vistas55 diapositivas
Dapr Unleashed: Accelerating Microservice Development por
Dapr Unleashed: Accelerating Microservice DevelopmentDapr Unleashed: Accelerating Microservice Development
Dapr Unleashed: Accelerating Microservice DevelopmentMiroslav Janeski
10 vistas29 diapositivas
Programming Field por
Programming FieldProgramming Field
Programming Fieldthehardtechnology
5 vistas9 diapositivas
20231129 - Platform @ localhost 2023 - Application-driven infrastructure with... por
20231129 - Platform @ localhost 2023 - Application-driven infrastructure with...20231129 - Platform @ localhost 2023 - Application-driven infrastructure with...
20231129 - Platform @ localhost 2023 - Application-driven infrastructure with...sparkfabrik
5 vistas46 diapositivas

Último(20)

DSD-INT 2023 3D hydrodynamic modelling of microplastic transport in lakes - J... por Deltares
DSD-INT 2023 3D hydrodynamic modelling of microplastic transport in lakes - J...DSD-INT 2023 3D hydrodynamic modelling of microplastic transport in lakes - J...
DSD-INT 2023 3D hydrodynamic modelling of microplastic transport in lakes - J...
Deltares9 vistas
Copilot Prompting Toolkit_All Resources.pdf por Riccardo Zamana
Copilot Prompting Toolkit_All Resources.pdfCopilot Prompting Toolkit_All Resources.pdf
Copilot Prompting Toolkit_All Resources.pdf
Riccardo Zamana8 vistas
Gen Apps on Google Cloud PaLM2 and Codey APIs in Action por Márton Kodok
Gen Apps on Google Cloud PaLM2 and Codey APIs in ActionGen Apps on Google Cloud PaLM2 and Codey APIs in Action
Gen Apps on Google Cloud PaLM2 and Codey APIs in Action
Márton Kodok5 vistas
Dapr Unleashed: Accelerating Microservice Development por Miroslav Janeski
Dapr Unleashed: Accelerating Microservice DevelopmentDapr Unleashed: Accelerating Microservice Development
Dapr Unleashed: Accelerating Microservice Development
Miroslav Janeski10 vistas
20231129 - Platform @ localhost 2023 - Application-driven infrastructure with... por sparkfabrik
20231129 - Platform @ localhost 2023 - Application-driven infrastructure with...20231129 - Platform @ localhost 2023 - Application-driven infrastructure with...
20231129 - Platform @ localhost 2023 - Application-driven infrastructure with...
sparkfabrik5 vistas
SUGCON ANZ Presentation V2.1 Final.pptx por Jack Spektor
SUGCON ANZ Presentation V2.1 Final.pptxSUGCON ANZ Presentation V2.1 Final.pptx
SUGCON ANZ Presentation V2.1 Final.pptx
Jack Spektor22 vistas
Software testing company in India.pptx por SakshiPatel82
Software testing company in India.pptxSoftware testing company in India.pptx
Software testing company in India.pptx
SakshiPatel827 vistas
FIMA 2023 Neo4j & FS - Entity Resolution.pptx por Neo4j
FIMA 2023 Neo4j & FS - Entity Resolution.pptxFIMA 2023 Neo4j & FS - Entity Resolution.pptx
FIMA 2023 Neo4j & FS - Entity Resolution.pptx
Neo4j6 vistas
360 graden fabriek por info33492
360 graden fabriek360 graden fabriek
360 graden fabriek
info3349237 vistas
The Era of Large Language Models.pptx por AbdulVahedShaik
The Era of Large Language Models.pptxThe Era of Large Language Models.pptx
The Era of Large Language Models.pptx
AbdulVahedShaik5 vistas
DSD-INT 2023 Delft3D FM Suite 2024.01 1D2D - Beta testing programme - Geertsema por Deltares
DSD-INT 2023 Delft3D FM Suite 2024.01 1D2D - Beta testing programme - GeertsemaDSD-INT 2023 Delft3D FM Suite 2024.01 1D2D - Beta testing programme - Geertsema
DSD-INT 2023 Delft3D FM Suite 2024.01 1D2D - Beta testing programme - Geertsema
Deltares17 vistas
Software evolution understanding: Automatic extraction of software identifier... por Ra'Fat Al-Msie'deen
Software evolution understanding: Automatic extraction of software identifier...Software evolution understanding: Automatic extraction of software identifier...
Software evolution understanding: Automatic extraction of software identifier...
Team Transformation Tactics for Holistic Testing and Quality (Japan Symposium... por Lisi Hocke
Team Transformation Tactics for Holistic Testing and Quality (Japan Symposium...Team Transformation Tactics for Holistic Testing and Quality (Japan Symposium...
Team Transformation Tactics for Holistic Testing and Quality (Japan Symposium...
Lisi Hocke28 vistas
.NET Developer Conference 2023 - .NET Microservices mit Dapr – zu viel Abstra... por Marc Müller
.NET Developer Conference 2023 - .NET Microservices mit Dapr – zu viel Abstra....NET Developer Conference 2023 - .NET Microservices mit Dapr – zu viel Abstra...
.NET Developer Conference 2023 - .NET Microservices mit Dapr – zu viel Abstra...
Marc Müller38 vistas

Blockchain and smart contracts, what they are and why you should really care about as a developer

  • 1. Title: Blockchain and smart contractsWhat they are and why you should really care about ad developer Author: @maeste, Stefano Maestri CODEMOTION MILAN - SPECIAL EDITION 10 – 11 NOVEMBER 2017
  • 2. Who is Stefano? ● A young enthusiast open source developer ● Red Hat Principal software engineer ● https://www.linkedin.com/in/maeste/ ● https://twitter.com/maeste ● https://github.com/maeste/ ● http://www.onchain.it/ My matching pairs game: Java & JBoss, Open Source & Red Hat, Blockchain & Ethereum
  • 3. Who is Stefano? ● A young enthusiast open source developer ● Red Hat Principal software engineer ● https://www.linkedin.com/in/maeste/ ● https://twitter.com/maeste ● https://github.com/maeste/ ● http://www.onchain.it/ My matching pairs game: Java & JBoss, Open Source & Red Hat, Blockchain & Ethereum
  • 4. Today’s Agenda ● Brief introduction to blockchain concepts ● Cryptocurrencies and why they have monetary value ● Smart contracts and why you should care about ● Developing smart contracts on ethereum blockchain
  • 5. What is the block chain? The Guardian: Blockchain is a digital ledger that provides a secure way of making and recording transactions, agreements and contracts – anything that needs to be recorded and verified as having taken place. Wikipedia: A blockchain is a continuously growing list of records, called blocks, which are linked and secured using cryptography. Each block typically contains a hash pointer as a link to a previous block, a timestamp and transaction data. By design, blockchains are inherently resistant to modification of the data. A blockchain can serve as "an open, distributed ledger that can record transactions between two parties efficiently and in a verifiable and permanent way."
  • 6. What is a blockchain...a nice bullet list ● It’s a ledger of transactions and datas ● It’s persistent, secure and unmodifiable ● It’s based on computational trust ● It’s distributed and unstoppable ● Transaction parties are anonymous, but tx are public and verifiable ● It’s transactions could be about values (cryptocurrency) ● It’s trustless about nodes and users
  • 7. What is a blockchain...a nice bullet list ● It’s a ledger of transactions and datas ● It’s persistent, secure and unmodifiable ● It’s based on computational trust ● It’s distributed and unstoppable ● Transaction parties are anonymous, but tx are public and verifiable ● It’s transactions could be about values (cryptocurrency) ● It’s trustless about nodes and users Live Demo
  • 10. It’s distributed and unstoppable
  • 11. Has those cryptocurrencies a real economic value? And why? In economy “intrinsic value” concept doesn’t exist at all. We give value to money by convention, and more general anything gain value almost for 3 reasons (not strictly needed, but true in almost cases at least) ● It’s rare ● It’s hard to reproduce ● It could be exchanged ● Someone want to buy it (law of supply and demand)
  • 12. Has those cryptocurrencies a real economic value? And why? In economy “intrinsic value” concept doesn’t exist at all. We give value to money by convention, and more general anything gain value almost for 3 reasons (not strictly needed, but true in almost cases at least) ● It’s rare ● It’s hard to reproduce ● It could be exchanged ● Someone want to buy it (law of supply and demand) 1 Euro Fontana’s paint ~ 8M Euro ~ 7K Euro Manzoni’s artist's shit: ~275K Euro
  • 14. Traditional payments And isn’t ok to simply trust in a Bank? What could happen? Lehman Brothers…..
  • 15. Traditional payments And isn’t ok to simply trust in a Bank? What could happen? Lehman Brothers…..
  • 16. So...what is the solution? Grandmum solution?
  • 17. So...what is the solution? Grandmum solution? Could be at least unpractical...
  • 18. The solution is the blockchain ● It’s a ledger of transactions and datas ● It’s persistent and secure ● It’s based on computational trust ● It’s distributed and unstoppable ● Transaction parties are anonymous, but transactions are public ● It’s transactions could be about values (cryptocurrency) ● It’s trustless about nodes and users
  • 19. The solution is the blockchain ● It’s a ledger of transactions and datas ● It’s persistent and secure ● It’s based on computational trust ● It’s distributed and unstoppable ● Transaction parties are anonymous, but transactions are public ● It’s transactions could be about values (cryptocurrency) ● It’s trustless about nodes and users Am I going to transfer my money without trusting anyone?
  • 20. What does trustless mean? You are not trusting in peers of transaction or even in nodes of the network, you are trusting in the protocol itself. In other words you are trusting blockchain and cryptocurrency itself and not people owning them….moreover they are anonymous… Does it recall anything you well known and use everyday?
  • 21. What does trustless mean? You are not trusting in peers of transaction or even in nodes of the network, you are trusting in the protocol itself. In other words you are trusting blockchain and cryptocurrency itself and not people owning them….moreover they are anonymous… Does it recall anything you well known and use everyday?
  • 22. What does trustless mean? You are not trusting in peers of transaction or even in nodes of the network, you are trusting in the protocol itself. In other words you are trusting blockchain and cryptocurrency itself and not people owning them….moreover they are anonymous… Does it recall anything you well known and use everyday?
  • 24. What is a smart contract? A contract is a voluntary arrangement between two or more parties that is enforceable by law as a binding legal agreement A smart contract is a computer protocol intended to facilitate, verify, or enforce the negotiation or performance of a contract.
  • 25. Real world smart contracts With the present implementations] "smart contract" is general purpose computation that takes place on a blockchain
  • 26. Smart contracts: unstoppable Dapp ● Distributed ● Can transfer money/assets ● Unmodifiable state history
  • 27. Ethereum: a blockchain for smart contracts ● Every node run a built in Virtual Machine (EVM) ● It provide a compiler from high level languages to EVM ● 2 different kind of accounts: ○ Externally owned account (EOAs), controlled by private keys ○ Contract accounts, controlled by code
  • 28. Ethereum Virtual Machine Internals ● TURING COMPLETE VM ● Stack based byte code (push, jump) ● Memory ● Storage ● Environment variables ● Logs ● Sub-calling High level languages ● Solidity (c-like) ● Viper (python like) ● LLL (lisp inspired) ● Bamboo (experimental morphing language influenced by Erlang) Everyone compiling to EVM code
  • 29. EVM code execution ● Transaction sent to a contract address ● Every full node of ethereum run the code at this address and store the state ● Smart contract code can: ○ Could run any program (turing complete machine) ○ Read/write state ○ Call another contract ○ Send ETH to other address (both EOA and contract)
  • 30. Ethereum GAS Halting problem: determine if the program will finish running or continue to run forever. Classic NP-hard problem Ethereum solution: GAS, a fee per computational step GAS is not a currency is just a unit of measurement of computational step In Tx you have “maximum GAS” you would give to the miner and “GAS price” to determine how much you will actually pay. If Tx complete successfully you pay just for effective GAS used. It the Tx would consume all GAS the TX will be revert, but you still pay for GAS Ethereum hasn’t block size limit, but Gas Limit (6.7M currently, but voted by miners)
  • 31. Solidity ● C/Java-like syntax ● Statically typed ● Support inheritance (multiple) ● Complex user defined types (struct) ● Polymorphism ● Overriding ● ….. http://solidity.readthedocs.io/en/develop/index.html#
  • 32. Our development environment ● testRPC (local in memory ethereum blockchain) ● Truffle (maven-like tool to compile and deploy contract) ● A bit of javascript (npm) for some raw Dapp interface ● Metamask to inject ethereum protocol in our html/javascript Dapp ● Intellij to edit solidity and javascript More info: http://truffleframework.com/
  • 33. SmartNotary ● The easiest contract notarizing a document ● Receiving document hash and owner name It will write them in the blockchain state ● Giving the hash it will return the owner name ● It’s a pet project just to play with code Talk is cheap….show me the f****ing code (Linus Torvalds) https://github.com/onchainit/SmartNotary/tree/baseExample
  • 34. SmartNotary 1.1: using EOA We are using current EOA (from metamask) as owner. It will give us the opportunity to play a bit with metamask https://github.com/onchainit/SmartNotary/tree/baseExample
  • 35. SmartNotary 2.0: paying for notarization We are adding money transfer. Basically the user will pay in ether the service of notarization. The ethers are stored in contract balance, and only contract creator could withdraw them in his EOA https://github.com/onchainit/SmartNotary/tree/pay4Notarization
  • 36. Contract security - reentrancy attack // INSECURE mapping (address => uint) private userBalances; function withdrawBalance() public { uint amountToWithdraw = userBalances[msg.sender]; require(msg.sender.call.value(amountToWithdraw)()); // At this point, the caller's code is executed, and can call withdrawBalance again userBalances[msg.sender] = 0; } https://consensys.github.io/smart-contract-best-practices/
  • 37. Contract security - reentrancy attack // VERY SIMPLIFIED MALICIOUS CODE (WOULD NEED CONSIDERATION ON BLOCK MAXIMUM GAS) function() payable { vulnerable.withDraw(); }
  • 38. Contract security -reentrancy attack solution mapping (address => uint) private userBalances; function withdrawBalance() public { uint amountToWithdraw = userBalances[msg.sender]; userBalances[msg.sender] = 0; require(msg.sender.call.value(amountToWithdraw)()); // The user's balance is already 0, so future invocations won't withdraw anything } Or just using primitive send() instead of .call.value which limit gas to 2300 (pure transfer) https://consensys.github.io/smart-contract-best-practices/
  • 39. SmartNotary 3.0: paying for notarization and notarized document market A bit more complex example More money transfer Blind auction https://github.com/onchainit/SmartNotary/tree/marketplace
  • 40. Who is behind ethereum? A Very young….extremely focused guy
  • 41. Who is behind ethereum? A Very young….extremely focused guy Don’t you recall another very young extremely focused guy?
  • 42. Who is behind ethereum?
  • 43. Thanks for coming 0x41a6021A6Dc82cbB0cd7ee0E3855654D225F48C6 I’ll use ethers only for beers :) ● https://www.linkedin.com/in/maeste/ ● https://twitter.com/maeste ● https://github.com/maeste/ ● http://www.onchain.it/