SlideShare a Scribd company logo
Blockchain and
smart contracts:
infrastructure and
platforms
Claudio Di Ciccio | http://diciccio.net | claudio.diciccio@uniroma1.it
Sapienza, University of Rome, Italy
Cyber 4.0 Seminar, 2021, March the 3rd
Claudio Di Ciccio
Assistant professor
Ph.D. in Computer Science and Engineering
Main researchinterests:
process mining,
blockchains,
declarative process modelling,
service-orientedarchitectures
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
2
My experience so far
C.
Di
Ciccio,
March
2021
Latina, Italy (B.Sc) Rome, Italy (M.Sc, Ph.D) Vienna, Austria (Post-doc, Assistant Prof .) Rome, Italy (Assistant Prof .)
Blockchain
and
smart
contracts
3
Half empty or half full?
http://aeon.co/ideas/which-is-more-fundamental-processes-or-things
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
4
Processes are into dynamics
Thanks Dr. Mieke Jans for offering her hand
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
5
Blockchain as an
infrastructure
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
6
Transaction
• Transfer of (crypto)assets (Ether, Bitcoin, Litecoin, EOS, …)
from account A to account B
Externally Owned
Account (EOA)
Externally Owned
Account (EOA)
Digital signature
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
7
Ledger
• Ordered collection of transactions
• The order matters!
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
8
Block
• Blocks group and collate transactions
• The order matters!
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
9
Hashing the previous block for immutability
• Blocks refer back to direct predecessors
• The order matters!
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
10
The Blockchain remembers
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
11
Ledgers
• A ledger is a collection of transactions.
 Throughout history, on paper; recently, stored digitally
• Shortcomings of centralised ledgers:
 They may be lost or destroyed:
a user must trust that the owner is properly backing up
the system
 Transactions may not be valid:
a user must trust that the owner is validating each
received transaction
 The transaction list may not be complete:
a user must trust that the owner is including all valid
transactions that have been received
 The transaction data may have been altered:
a user must trust that the owner is not altering past
transactions
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
12
Decentralisation for persistence
Centralisation Decentralisation
Distributing the ledger makes for permanence
BUT
entails no notion of unique distributed clock
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
13
Distributed nature
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
14
Distributed nature
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
15
Distributed nature
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
16
Mining for a blockchain
Proof of Work (PoW): obtain the right to publish the
next block by solving a computationally intensive
puzzle
Checking that a solution is valid is easy
Solving the puzzle is difficult: an incentive is needed
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
17
Ledgers are distributed and
maintained by a network
https://ehtstats.net https://ehternodes.org
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
18
Crypto-fuel needed!
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
19
From peer-to-peer electronic cash system
to programmable distributed environment
“A universal platform with internal programming language, so that
everyone could write any app”
[V. Buterin]
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
20
Smart Contracts are
codified autonomous agents
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
21
Smart Contracts are
pieces of code
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
22
Smart Contracts are
pieces of code
• Smart Contracts in Ethereum
 live in the Ethereum environment
 execute a function when called
 have direct control over their own balance
and key/value storage
 have their behaviour fully specified by their
code
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
23
The polygraph machine
Where are Smart Contracts
executed?
First on the mining nodes.
Then, potentially, on every node!
Only absolutely needed
instructions should be put in code!
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
24
A programmable distributed environment
Gas price (execution costs)
Input (and output) encoded data.
Smart Contract
Account
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
25
New
Smart Contract
Account
New address
Smart contract code to be deployed
Invoking a smart
contract function
Deploying a new
smart contract
Distributed nature
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
26
Smart Contracts are
pieces of code (not for free)
Wood 2014
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
27
Tokens are not cryptofuel
Nothing specific of blockchains, after all!
1:5
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
28
Your brand new token in 5 minutes or less
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
29
Tokens
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
30
Tokens
31
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
The Blockchain and the Internet
32
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
Web 1.0
33
Back end Front end
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
Web 2.0
34
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
Web 3.0
35
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
Blockchain as a process execution infrastructure
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
36
Division of labour → Automation
Draw out
wire
Straight wire Cut wire Grind wire
Put head on
pin
Put pin
in paper
Whiten pin
Point wire
Make head
Icons © freepik.com
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
37
Systems like to report on their job (logging)
• [2019-02-18T12:30:00-02:00] 0xACDC0801 executes Draw Out
Wire on Item 0xAA01
• [2019-02-18T12:30:10-02:00] 0xACDC0802 executes Straight
Wire on Item 0xAA01
• [2019-02-18T12:30:20-02:00] 0xACDC0803 executes Cut Wire on
Item 0xAA01
• [2019-02-18T12:30:30-02:00] 0xACDC0801 executes Draw Out
Wire on Item 0xAA02
• [2019-02-18T12:30:40-02:00] 0xACDC0802 executes Straight
Wire on Item 0xAA02
• [2019-02-18T12:30:50-02:00] 0xACDC0804 executes Point Wire
on Item 0xAA01
• [2019-02-18T12:31:00-02:00] 0xACDC0801 executes Draw Out
Wire on Item 0xAA03
• …
Icons © freepik.com
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
38
Smart contracts can execute processes
Bulk Buyer BB Trigger
Smart
Contract
Manufact-
urer
Mf. Trigger
API call:
Order goods
Blockchain
Transaction
(BCTX)
Smart Contract effect
Check
conformance
API call
Middleman
Mm. Trigger
API call:
Place order
Execute
internal logic
BCTX
Smart Contract effect
Check
conformance
API call
Weber et al.: Untrusted business process monitoring and execution using blockchain. In: Proc. of BPM. Springer, 2016.
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
39
Executing inter-organisational processes on the
Blockchain: A model-driven approach
D.C, Cecconi, Dumas et al. Blockchain support for collaborative business processes. Informatik Spektrum pp. 1–9 (May 2019)
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
40
Executing inter-organisational processes on the
Blockchain: A model-driven approach
Caterpillar Lorikeet
D.C, Cecconi, Dumas et al. Blockchain support for collaborative business processes. Informatik Spektrum pp. 1–9 (May 2019)
López-Pintado,García-Bañuelos,Dumas,Weber.Caterpillar: A blockchain-based business process management system.In: BPM Demos.CEUR.ws,2017.
Tran, Lu, Weber. Lorikeet: A Model-DrivenEngineering Tool for Blockchain-Based Business Process Executionand Asset.In: BPM Demos.CEUR.ws,2018.
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
41
Rationale
C.
Di
Ciccio,
March
2021
D.C. et al. Blockchain-Based Traceability of Inter-organisational Business Processes. In: BMSD. Springer, 2018.
Blockchain
and
smart
contracts
42
Rationale
C.
Di
Ciccio,
March
2021
D.C. et al. Blockchain-Based Traceability of Inter-organisational Business Processes. In: BMSD. Springer, 2018.
Blockchain
and
smart
contracts
43
Coming next:
Smart contracts ×
supply chain (demo)
Claudio Di Ciccio | http://diciccio.net | claudio.diciccio@uniroma1.it
Sapienza, University of Rome, Italy
Blockchain Tech course 2020-21 at Sapienza:
https://sites.google.com/uniroma1.it/cfa-msc-blockchaintech/
Blockchain and
smart contracts:
infrastructure and
platforms
Claudio Di Ciccio | http://diciccio.net | claudio.diciccio@uniroma1.it
Sapienza, University of Rome, Italy
Blockchain Tech course 2020-21 at Sapienza:
https://sites.google.com/uniroma1.it/cfa-msc-blockchaintech/
How about the real world?
Oracles: From on-chain to off-chain and vice versa
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
46
Etherisc
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
47
Flight delay insurance:
the FlightDelayPayout contract
Payout in case of
signalled problems
with the flight
Contact with the
off-chain world
Source: https://www.flickr.com/photos/michaelduxbury/5824469025
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
48
The problem
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
49
DB
The Oracle
C.
Di
Ciccio,
March
2021
Foundational Oracle Patterns: Connecting Blockchain to the Off-Chain World. BPM (Blockchain and RPA Forum) 2020: 35-51
DB
Blockchain
and
smart
contracts
50
The Oracle
C.
Di
Ciccio,
March
2021
Foundational Oracle Patterns: Connecting Blockchain to the Off-Chain World. BPM (Blockchain and RPA Forum) 2020: 35-51
DB
ISO/TC 307, ISO/TR 2345: “[A] DLT Oracle [is a] service that updates a distributed
ledger using data from outside the distributed ledger system”. (2019)
Previous literature: oracles as off-chain information providers.
We see oracles as a bridge
between the on-chain and off-chain worlds.
Blockchain
and
smart
contracts
51
Oracle patterns: Overview
C.
Di
Ciccio,
March
2021
Blockchain
and
smart
contracts
52
Foundational Oracle Patterns: Connecting Blockchain to the Off-Chain World. BPM (Blockchain and RPA Forum) 2020: 35-51

More Related Content

What's hot (20)

PDF
Industrializing the blockchain
EY
 
PDF
171009 webinar fsmf
BoFrank01
 
PDF
Azure blockchain service
Ravi Okade
 
PDF
170912 ib logistics_scm
BoFrank01
 
PPTX
Semantic blockchain
Ben Gardner
 
PPTX
Blockchain 101
Jithin Babu
 
PDF
Understanding blockchain tech collective cio forum
The Mullings Group, LLC
 
PDF
Blockchain, Self-Sovereign Identity and Credentials
StrategyWorks
 
PDF
Meetup 24/5/2018 - Digitale identiteit op blockchain (Self-Sovereign Identity)
Digipolis Antwerpen
 
PDF
Blockchain BTSym '16
Percival Lucena
 
PDF
Banking on blockchains
Ruben Tan
 
PPTX
Innovation in logistics and supply chain management blockchains
Ainsley Brown
 
PDF
Blockchain for Power & Utilities – real or hype?
EY
 
PDF
Blockchains and Insurance: Opportunities and Challenges
Christopher Brewster
 
PPTX
The Top 5 Mistakes in Blockchain Projects Implementation | Bockchain Adoption...
Fluence.sh
 
PPTX
Blockchain and Real Estate
Maka De Lameillieure
 
PDF
Eris Industries - American Banker presentation deck.
Preston Byrne
 
PDF
1 dobrauz
Walter Strametz
 
PDF
Blockchain and Internet of Things: Why a Perfect Match
Fabio Antonelli
 
PDF
How BlockChain Technology Will Transform The Publishing Industry
PromptCloud
 
Industrializing the blockchain
EY
 
171009 webinar fsmf
BoFrank01
 
Azure blockchain service
Ravi Okade
 
170912 ib logistics_scm
BoFrank01
 
Semantic blockchain
Ben Gardner
 
Blockchain 101
Jithin Babu
 
Understanding blockchain tech collective cio forum
The Mullings Group, LLC
 
Blockchain, Self-Sovereign Identity and Credentials
StrategyWorks
 
Meetup 24/5/2018 - Digitale identiteit op blockchain (Self-Sovereign Identity)
Digipolis Antwerpen
 
Blockchain BTSym '16
Percival Lucena
 
Banking on blockchains
Ruben Tan
 
Innovation in logistics and supply chain management blockchains
Ainsley Brown
 
Blockchain for Power & Utilities – real or hype?
EY
 
Blockchains and Insurance: Opportunities and Challenges
Christopher Brewster
 
The Top 5 Mistakes in Blockchain Projects Implementation | Bockchain Adoption...
Fluence.sh
 
Blockchain and Real Estate
Maka De Lameillieure
 
Eris Industries - American Banker presentation deck.
Preston Byrne
 
1 dobrauz
Walter Strametz
 
Blockchain and Internet of Things: Why a Perfect Match
Fabio Antonelli
 
How BlockChain Technology Will Transform The Publishing Industry
PromptCloud
 

Similar to Blockchain and smart contracts: infrastructure and platforms (20)

PDF
Look but don’t touch: On the impalpable bond between blockchain and process
Claudio Di Ciccio
 
PDF
“I’m still / I’m still / Chaining from the Block”
Claudio Di Ciccio
 
PDF
Blockchain and BPM - Reflections on Four Years of Research and Applications
Ingo Weber
 
PDF
Introduction to Blockchain and Smart Contracts
Saad Zaher
 
PDF
SCAT-Final block chain detection .pdf
AtiyaAymen
 
PPTX
Blockchain 2.0
Jérôme Kehrli
 
PDF
Software Architecture and Model-driven Engineering for Blockchain Applications
Ingo Weber
 
PPTX
Blockchain Fundamentals for Technology Engineers
Joseph Holbrook, Chief Learning Officer (CLO)
 
PPTX
Blockchain Fundamentals Quickstart
Joseph Holbrook, Chief Learning Officer (CLO)
 
PDF
Analysing Data from Blockchains - Keynote @ SOCCA 2020
Ingo Weber
 
PPTX
Creating Smart Contract
Deepak Aryal
 
PDF
Blockchain and smart contracts, what they are and why you should really care ...
maeste
 
PPTX
Blockchain.pptx
manishchaitanya
 
PPTX
Event Itnig - Smart Contracts by MarketPay, Juan Ignacio Pérez Sacristán
Juan Ignacio Pérez Sacristán
 
PDF
Blockchain and Smart Contracts
Financial Poise
 
ODP
Stefano Maestri - Blockchain and smart contracts, what they are and why you s...
Codemotion
 
PDF
Blockchain and Services – Exploring the Links
Ingo Weber
 
PDF
Blockchain and Smart Contracts (Series: Blockchain Basics)
Financial Poise
 
PDF
Eur par-fpdapp28082018 fn.fabrizio
Nadia Fabrizio
 
PDF
Blockchain External.pdf
manishchaitanya
 
Look but don’t touch: On the impalpable bond between blockchain and process
Claudio Di Ciccio
 
“I’m still / I’m still / Chaining from the Block”
Claudio Di Ciccio
 
Blockchain and BPM - Reflections on Four Years of Research and Applications
Ingo Weber
 
Introduction to Blockchain and Smart Contracts
Saad Zaher
 
SCAT-Final block chain detection .pdf
AtiyaAymen
 
Blockchain 2.0
Jérôme Kehrli
 
Software Architecture and Model-driven Engineering for Blockchain Applications
Ingo Weber
 
Blockchain Fundamentals for Technology Engineers
Joseph Holbrook, Chief Learning Officer (CLO)
 
Blockchain Fundamentals Quickstart
Joseph Holbrook, Chief Learning Officer (CLO)
 
Analysing Data from Blockchains - Keynote @ SOCCA 2020
Ingo Weber
 
Creating Smart Contract
Deepak Aryal
 
Blockchain and smart contracts, what they are and why you should really care ...
maeste
 
Blockchain.pptx
manishchaitanya
 
Event Itnig - Smart Contracts by MarketPay, Juan Ignacio Pérez Sacristán
Juan Ignacio Pérez Sacristán
 
Blockchain and Smart Contracts
Financial Poise
 
Stefano Maestri - Blockchain and smart contracts, what they are and why you s...
Codemotion
 
Blockchain and Services – Exploring the Links
Ingo Weber
 
Blockchain and Smart Contracts (Series: Blockchain Basics)
Financial Poise
 
Eur par-fpdapp28082018 fn.fabrizio
Nadia Fabrizio
 
Blockchain External.pdf
manishchaitanya
 
Ad

More from Claudio Di Ciccio (11)

PDF
CAKE: Sharing Slices of Confidential Data on Blockchain
Claudio Di Ciccio
 
PPTX
Measurement of Rule-based LTLf Declarative Process Specifications
Claudio Di Ciccio
 
PPTX
Discovering Target-Branched Declare Constraints
Claudio Di Ciccio
 
PPTX
Introduction to the declarative specification of processes
Claudio Di Ciccio
 
PPTX
Declarative Specification of Processes: Discovery and Reasoning
Claudio Di Ciccio
 
PPTX
Log-Based Understanding of Business Processes through Temporal Logic Query Ch...
Claudio Di Ciccio
 
PPTX
Resolving Inconsistencies and Redundancies in Declarative Process Models
Claudio Di Ciccio
 
PPTX
Automated Discovery of Declarative Process Models
Claudio Di Ciccio
 
PPTX
Semantical Vacuity Detection in Declarative Process Mining
Claudio Di Ciccio
 
PPTX
Detecting Flight Trajectory Anomalies and Predicting Diversions in Freight Tr...
Claudio Di Ciccio
 
PPTX
Ensuring Model Consistency in Declarative Process Discovery
Claudio Di Ciccio
 
CAKE: Sharing Slices of Confidential Data on Blockchain
Claudio Di Ciccio
 
Measurement of Rule-based LTLf Declarative Process Specifications
Claudio Di Ciccio
 
Discovering Target-Branched Declare Constraints
Claudio Di Ciccio
 
Introduction to the declarative specification of processes
Claudio Di Ciccio
 
Declarative Specification of Processes: Discovery and Reasoning
Claudio Di Ciccio
 
Log-Based Understanding of Business Processes through Temporal Logic Query Ch...
Claudio Di Ciccio
 
Resolving Inconsistencies and Redundancies in Declarative Process Models
Claudio Di Ciccio
 
Automated Discovery of Declarative Process Models
Claudio Di Ciccio
 
Semantical Vacuity Detection in Declarative Process Mining
Claudio Di Ciccio
 
Detecting Flight Trajectory Anomalies and Predicting Diversions in Freight Tr...
Claudio Di Ciccio
 
Ensuring Model Consistency in Declarative Process Discovery
Claudio Di Ciccio
 
Ad

Recently uploaded (20)

PDF
A Strategic Analysis of the MVNO Wave in Emerging Markets.pdf
IPLOOK Networks
 
PPTX
Dev Dives: Automate, test, and deploy in one place—with Unified Developer Exp...
AndreeaTom
 
PDF
Per Axbom: The spectacular lies of maps
Nexer Digital
 
PDF
Google I/O Extended 2025 Baku - all ppts
HusseinMalikMammadli
 
PDF
Trying to figure out MCP by actually building an app from scratch with open s...
Julien SIMON
 
PPTX
AVL ( audio, visuals or led ), technology.
Rajeshwri Panchal
 
PDF
Build with AI and GDG Cloud Bydgoszcz- ADK .pdf
jaroslawgajewski1
 
PDF
The Future of Artificial Intelligence (AI)
Mukul
 
PPTX
Introduction to Flutter by Ayush Desai.pptx
ayushdesai204
 
PDF
NewMind AI Weekly Chronicles – July’25, Week III
NewMind AI
 
PDF
Presentation about Hardware and Software in Computer
snehamodhawadiya
 
PPTX
Applied-Statistics-Mastering-Data-Driven-Decisions.pptx
parmaryashparmaryash
 
PDF
Data_Analytics_vs_Data_Science_vs_BI_by_CA_Suvidha_Chaplot.pdf
CA Suvidha Chaplot
 
PDF
Generative AI vs Predictive AI-The Ultimate Comparison Guide
Lily Clark
 
PDF
Researching The Best Chat SDK Providers in 2025
Ray Fields
 
PDF
State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification
Ivan Ruchkin
 
PPTX
AI Code Generation Risks (Ramkumar Dilli, CIO, Myridius)
Priyanka Aash
 
PDF
Structs to JSON: How Go Powers REST APIs
Emily Achieng
 
PPTX
The Future of AI & Machine Learning.pptx
pritsen4700
 
PPTX
AI and Robotics for Human Well-being.pptx
JAYMIN SUTHAR
 
A Strategic Analysis of the MVNO Wave in Emerging Markets.pdf
IPLOOK Networks
 
Dev Dives: Automate, test, and deploy in one place—with Unified Developer Exp...
AndreeaTom
 
Per Axbom: The spectacular lies of maps
Nexer Digital
 
Google I/O Extended 2025 Baku - all ppts
HusseinMalikMammadli
 
Trying to figure out MCP by actually building an app from scratch with open s...
Julien SIMON
 
AVL ( audio, visuals or led ), technology.
Rajeshwri Panchal
 
Build with AI and GDG Cloud Bydgoszcz- ADK .pdf
jaroslawgajewski1
 
The Future of Artificial Intelligence (AI)
Mukul
 
Introduction to Flutter by Ayush Desai.pptx
ayushdesai204
 
NewMind AI Weekly Chronicles – July’25, Week III
NewMind AI
 
Presentation about Hardware and Software in Computer
snehamodhawadiya
 
Applied-Statistics-Mastering-Data-Driven-Decisions.pptx
parmaryashparmaryash
 
Data_Analytics_vs_Data_Science_vs_BI_by_CA_Suvidha_Chaplot.pdf
CA Suvidha Chaplot
 
Generative AI vs Predictive AI-The Ultimate Comparison Guide
Lily Clark
 
Researching The Best Chat SDK Providers in 2025
Ray Fields
 
State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification
Ivan Ruchkin
 
AI Code Generation Risks (Ramkumar Dilli, CIO, Myridius)
Priyanka Aash
 
Structs to JSON: How Go Powers REST APIs
Emily Achieng
 
The Future of AI & Machine Learning.pptx
pritsen4700
 
AI and Robotics for Human Well-being.pptx
JAYMIN SUTHAR
 

Blockchain and smart contracts: infrastructure and platforms