SlideShare a Scribd company logo
On Space-Scarce Economy
In Blockchain Systems
Dmitry Meshkov1,2
, Alexander Chepurnoy1,2
1. Ergo platform
2. IOHK Research
Motivation
● Despite of a blockchain, nodes in
cryptocurrencies store a State
● State is required to validate transactions
● When transaction create an output, miners
commits that they will keep it forever
● State size continuously increasing (especially
during attacks)
Problems for users:
● Can’t validate blocks on low-end hardware
● Long validation on commodity hardware
=>
● Users move to centralized services
Possible solution[3]:
● Authenticate state
● Provide a proof of transaction correctness
Big state problem
3. Reyzin L. et al. Improving authenticated dynamic dictionaries, with applications
to cryptocurrencies
● Miners should validate transactions efficiently
They can:
● Keep State in RAM => Mining centralization
● Do not keep State => SPV mining
Possible solution:
● Limit state size economically
Big state problem
Fee types
Transaction utilize different node resources:
fee = F(feen,feec,fees)
Cost Proportional to Dominant in
Network Transaction size Blockchain for money
Computation CPU utilization Blockchain for contracts
Storage State size changes Blockchain for database
Prior work: network fee
Addition of a new transaction to a block leads to
● Increased block reward
● Increased chance to get nothing
● There should have maximum somewhere
● Maximum may be at 0 in case of big fixed block
reward
1. P. R. Rizun, A transaction fee market exists without a block size limit.
Prior work: computation fee
● Important for blockchains with heavy
computations in transactions
● Required to prevent DoS attacks
● Miners have an incentive to include as heavy
transactions, as possible[2]
● This may change if other miners will be rational
and will be able to estimate required
calculations before contract evaluation
2. Luu L. et al. Demystifying incentives in the consensus computer
Storage fee
Storage fee
● User should pay for space-time multiplication
of State utilization
fees = K · Osize · Olifetime
where
● K – miner defined price for keeping 1 byte of
data for 1 block in a State
● Osize - output size in byte
● Olifetime - number of blocks output will be stored
in a State
Storage fee
Problem:
● When transaction creates an output, block
when it will be spent is unknown, so Olifetime is not
defined
Storage fee: prepaid
Prepaid Outputs:
● Rent a box in State of size Osize for at most Lmax
blocks, pay in advance
● When rent time is out – anyone can spend
output script:
(regular_script) (Height > O.height + L∨ max)
Storage fee: postpaid
Postpaid Outputs:
● Pay for resources you actually used when you
spend output
● For output value V, a height Hmax exists when the
whole output value will be consumed by fee
output script:
(regular_script) (Height > O.height + H∨ max)
Storage fee: scheduled
Scheduled payments:
● Decrease output value periodically
● After some duration Ds anyone can spend output,
putting money - fee back to the same script
output script:
(regular_script) (Height > (O.height + D∨ s) ∧
((O.value K · B · Ds tx.has_output(value =≤ ∨
out.value − K · B · Ds, script = O.script)))
State size
● Block size is limited Sblock
● State can increase for at most Sblock per block
● When the adversary tries to increase State, he
should pay for all previously created outputs
resulting State size:
S=
√2∗Sblock∗Ncoins
K
Mining reward
● Constant per-block reward is important [4]
● Releasing outputs will provide it forever
● Additional block reward Ssize*K
● Higher in prepaid model
4. Carlsten M. et al. On the instability of bitcoin without the block reward
Lost coin recirculation
● Possible coin supply is known but actual supply
is unknown due to lost keys
● Space-time fee provide a way to return coins
into circulation
where
● Nlost – number of lost keys
● Voutput – average output value
Rpostpaid=Rscheduled =∑
i=1
N lost
K·Osizei
Rprepaid =∑
i=1
N lost
Voutputi
Lmaxi
Estimations
Based on Bitcoin stats
● K=10-9 BTC/(Byte*Block)
● Rpostpaid=Rschedule≈0.036 BTC/Block
● Rprepaid≈20 Rpostpaid (for 10 years lifetime)
● Supper=183Gb
Contacts
● dmitry.meshkov@iohk.io
● https://twitter.com/DmitryMeshkov
● https://www.slideshare.net/DmitryMeshkov
● https://ergoplatform.org
● https://iohk.io

More Related Content

PPTX
Rocks db state store in structured streaming
PDF
2013 05 ny
PDF
Workshop with python qgis
PDF
有點硬又不會太硬的DNN加速器
PDF
Reading: "Pi in the sky: Calculating a record-breaking 31.4 trillion digits o...
PPTX
Trident International Graphics Workshop 2014 5/5
PDF
Toy Model Overview
PPS
the Paxos Commit algorithm
Rocks db state store in structured streaming
2013 05 ny
Workshop with python qgis
有點硬又不會太硬的DNN加速器
Reading: "Pi in the sky: Calculating a record-breaking 31.4 trillion digits o...
Trident International Graphics Workshop 2014 5/5
Toy Model Overview
the Paxos Commit algorithm

What's hot (6)

PDF
Slide smallfiles
PDF
Nucleon TMD Contractions in Lattice QCD using QUDA
DOCX
whileloop
PDF
OpenNebulaConf2018 - OpenNebula and LXD Containers - Rubén S. Montero - OpenN...
PPTX
The paxos commit algorithm
Slide smallfiles
Nucleon TMD Contractions in Lattice QCD using QUDA
whileloop
OpenNebulaConf2018 - OpenNebula and LXD Containers - Rubén S. Montero - OpenN...
The paxos commit algorithm
Ad

Similar to On Space-Scarce Economy In Blockchain Systems (20)

PPTX
Istanbul BFT
PPTX
lecture7 blockchain ethereum mechanics 101
PDF
Understanding Proof of Work (PoW) and Proof of Stake (PoS) Algorithms
PDF
Proof of x
ODP
Fredericksburg LUG Bitcoin slides
PDF
On Private Blockchains, Technically
PPTX
Blockchain 101
PDF
Ethereum overview
PPTX
Blockchain for Developers
PDF
Ergo Presentation - Tokyo
PPTX
Best practices to build secure smart contracts
PDF
State of Ethereum, and Mining
ODP
Blockchan For Developers
ODP
Scorex meetup-aug-2015
PPTX
Crypto & Crpyocurrencies Intro
PDF
Ergo platform's approach
PPTX
notes of blockchain and architectural design unit 2
PDF
Ergo platform overview
PDF
Iota - Structure and Validation Method
PPTX
How to Create AltCoin(Alternative Cryptocurrency)?
Istanbul BFT
lecture7 blockchain ethereum mechanics 101
Understanding Proof of Work (PoW) and Proof of Stake (PoS) Algorithms
Proof of x
Fredericksburg LUG Bitcoin slides
On Private Blockchains, Technically
Blockchain 101
Ethereum overview
Blockchain for Developers
Ergo Presentation - Tokyo
Best practices to build secure smart contracts
State of Ethereum, and Mining
Blockchan For Developers
Scorex meetup-aug-2015
Crypto & Crpyocurrencies Intro
Ergo platform's approach
notes of blockchain and architectural design unit 2
Ergo platform overview
Iota - Structure and Validation Method
How to Create AltCoin(Alternative Cryptocurrency)?
Ad

More from Dmitry Meshkov (16)

PDF
Dymmax Protocol overview
PDF
Ergo details
PDF
Ergo Hong Kong meetup
PDF
The New Generation Of Blockchains – What Is It Capable Of?
PDF
Блокчейн - проблемы и потенциальные решения
PDF
Исследовательские задачи в области блокчейна
PDF
Real world blockchains
PDF
Improving Authenticated Dynamic Dictionaries, with Application to Cryptocurre...
PDF
Blockchain introduction
PDF
Real world blockchains
PDF
Blockchain: under the hood
PDF
Improving Authenticated Dynamic Dictionaries, with Application to Cryptocurre...
PDF
Blockchain comparison
PDF
Scrypto designed 4
ODP
Real world blockchains
ODP
Scorex framework
Dymmax Protocol overview
Ergo details
Ergo Hong Kong meetup
The New Generation Of Blockchains – What Is It Capable Of?
Блокчейн - проблемы и потенциальные решения
Исследовательские задачи в области блокчейна
Real world blockchains
Improving Authenticated Dynamic Dictionaries, with Application to Cryptocurre...
Blockchain introduction
Real world blockchains
Blockchain: under the hood
Improving Authenticated Dynamic Dictionaries, with Application to Cryptocurre...
Blockchain comparison
Scrypto designed 4
Real world blockchains
Scorex framework

Recently uploaded (20)

PPTX
Reimagine Home Health with the Power of Agentic AI​
PPTX
history of c programming in notes for students .pptx
PDF
Adobe Premiere Pro 2025 (v24.5.0.057) Crack free
PDF
How to Choose the Right IT Partner for Your Business in Malaysia
PDF
T3DD25 TYPO3 Content Blocks - Deep Dive by André Kraus
PDF
Adobe Illustrator 28.6 Crack My Vision of Vector Design
PDF
top salesforce developer skills in 2025.pdf
PDF
Digital Strategies for Manufacturing Companies
PPTX
Agentic AI : A Practical Guide. Undersating, Implementing and Scaling Autono...
PDF
Upgrade and Innovation Strategies for SAP ERP Customers
PPTX
ai tools demonstartion for schools and inter college
PDF
medical staffing services at VALiNTRY
PPTX
Transform Your Business with a Software ERP System
PDF
System and Network Administration Chapter 2
PDF
Odoo Companies in India – Driving Business Transformation.pdf
PDF
Why TechBuilder is the Future of Pickup and Delivery App Development (1).pdf
PDF
2025 Textile ERP Trends: SAP, Odoo & Oracle
PPTX
Lecture 3: Operating Systems Introduction to Computer Hardware Systems
PDF
Internet Downloader Manager (IDM) Crack 6.42 Build 41
PDF
Which alternative to Crystal Reports is best for small or large businesses.pdf
Reimagine Home Health with the Power of Agentic AI​
history of c programming in notes for students .pptx
Adobe Premiere Pro 2025 (v24.5.0.057) Crack free
How to Choose the Right IT Partner for Your Business in Malaysia
T3DD25 TYPO3 Content Blocks - Deep Dive by André Kraus
Adobe Illustrator 28.6 Crack My Vision of Vector Design
top salesforce developer skills in 2025.pdf
Digital Strategies for Manufacturing Companies
Agentic AI : A Practical Guide. Undersating, Implementing and Scaling Autono...
Upgrade and Innovation Strategies for SAP ERP Customers
ai tools demonstartion for schools and inter college
medical staffing services at VALiNTRY
Transform Your Business with a Software ERP System
System and Network Administration Chapter 2
Odoo Companies in India – Driving Business Transformation.pdf
Why TechBuilder is the Future of Pickup and Delivery App Development (1).pdf
2025 Textile ERP Trends: SAP, Odoo & Oracle
Lecture 3: Operating Systems Introduction to Computer Hardware Systems
Internet Downloader Manager (IDM) Crack 6.42 Build 41
Which alternative to Crystal Reports is best for small or large businesses.pdf

On Space-Scarce Economy In Blockchain Systems

  • 1. On Space-Scarce Economy In Blockchain Systems Dmitry Meshkov1,2 , Alexander Chepurnoy1,2 1. Ergo platform 2. IOHK Research
  • 2. Motivation ● Despite of a blockchain, nodes in cryptocurrencies store a State ● State is required to validate transactions ● When transaction create an output, miners commits that they will keep it forever ● State size continuously increasing (especially during attacks)
  • 3. Problems for users: ● Can’t validate blocks on low-end hardware ● Long validation on commodity hardware => ● Users move to centralized services Possible solution[3]: ● Authenticate state ● Provide a proof of transaction correctness Big state problem 3. Reyzin L. et al. Improving authenticated dynamic dictionaries, with applications to cryptocurrencies
  • 4. ● Miners should validate transactions efficiently They can: ● Keep State in RAM => Mining centralization ● Do not keep State => SPV mining Possible solution: ● Limit state size economically Big state problem
  • 5. Fee types Transaction utilize different node resources: fee = F(feen,feec,fees) Cost Proportional to Dominant in Network Transaction size Blockchain for money Computation CPU utilization Blockchain for contracts Storage State size changes Blockchain for database
  • 6. Prior work: network fee Addition of a new transaction to a block leads to ● Increased block reward ● Increased chance to get nothing ● There should have maximum somewhere ● Maximum may be at 0 in case of big fixed block reward 1. P. R. Rizun, A transaction fee market exists without a block size limit.
  • 7. Prior work: computation fee ● Important for blockchains with heavy computations in transactions ● Required to prevent DoS attacks ● Miners have an incentive to include as heavy transactions, as possible[2] ● This may change if other miners will be rational and will be able to estimate required calculations before contract evaluation 2. Luu L. et al. Demystifying incentives in the consensus computer
  • 9. Storage fee ● User should pay for space-time multiplication of State utilization fees = K · Osize · Olifetime where ● K – miner defined price for keeping 1 byte of data for 1 block in a State ● Osize - output size in byte ● Olifetime - number of blocks output will be stored in a State
  • 10. Storage fee Problem: ● When transaction creates an output, block when it will be spent is unknown, so Olifetime is not defined
  • 11. Storage fee: prepaid Prepaid Outputs: ● Rent a box in State of size Osize for at most Lmax blocks, pay in advance ● When rent time is out – anyone can spend output script: (regular_script) (Height > O.height + L∨ max)
  • 12. Storage fee: postpaid Postpaid Outputs: ● Pay for resources you actually used when you spend output ● For output value V, a height Hmax exists when the whole output value will be consumed by fee output script: (regular_script) (Height > O.height + H∨ max)
  • 13. Storage fee: scheduled Scheduled payments: ● Decrease output value periodically ● After some duration Ds anyone can spend output, putting money - fee back to the same script output script: (regular_script) (Height > (O.height + D∨ s) ∧ ((O.value K · B · Ds tx.has_output(value =≤ ∨ out.value − K · B · Ds, script = O.script)))
  • 14. State size ● Block size is limited Sblock ● State can increase for at most Sblock per block ● When the adversary tries to increase State, he should pay for all previously created outputs resulting State size: S= √2∗Sblock∗Ncoins K
  • 15. Mining reward ● Constant per-block reward is important [4] ● Releasing outputs will provide it forever ● Additional block reward Ssize*K ● Higher in prepaid model 4. Carlsten M. et al. On the instability of bitcoin without the block reward
  • 16. Lost coin recirculation ● Possible coin supply is known but actual supply is unknown due to lost keys ● Space-time fee provide a way to return coins into circulation where ● Nlost – number of lost keys ● Voutput – average output value Rpostpaid=Rscheduled =∑ i=1 N lost K·Osizei Rprepaid =∑ i=1 N lost Voutputi Lmaxi
  • 17. Estimations Based on Bitcoin stats ● K=10-9 BTC/(Byte*Block) ● Rpostpaid=Rschedule≈0.036 BTC/Block ● Rprepaid≈20 Rpostpaid (for 10 years lifetime) ● Supper=183Gb
  • 18. Contacts ● dmitry.meshkov@iohk.io ● https://twitter.com/DmitryMeshkov ● https://www.slideshare.net/DmitryMeshkov ● https://ergoplatform.org ● https://iohk.io