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

What's hot

Slide smallfiles
Slide smallfilesSlide smallfiles
Slide smallfiles
rledisez
 
Nucleon TMD Contractions in Lattice QCD using QUDA
Nucleon TMD Contractions in Lattice QCD using QUDANucleon TMD Contractions in Lattice QCD using QUDA
Nucleon TMD Contractions in Lattice QCD using QUDA
Christos Kallidonis
 
whileloop
whileloopwhileloop
whileloop
prathap kumar
 
OpenNebulaConf2018 - OpenNebula and LXD Containers - Rubén S. Montero - OpenN...
OpenNebulaConf2018 - OpenNebula and LXD Containers - Rubén S. Montero - OpenN...OpenNebulaConf2018 - OpenNebula and LXD Containers - Rubén S. Montero - OpenN...
OpenNebulaConf2018 - OpenNebula and LXD Containers - Rubén S. Montero - OpenN...
OpenNebula Project
 
The paxos commit algorithm
The paxos commit algorithmThe paxos commit algorithm
The paxos commit algorithmahmed hamza
 
GLSL
GLSLGLSL

What's hot (6)

Slide smallfiles
Slide smallfilesSlide smallfiles
Slide smallfiles
 
Nucleon TMD Contractions in Lattice QCD using QUDA
Nucleon TMD Contractions in Lattice QCD using QUDANucleon TMD Contractions in Lattice QCD using QUDA
Nucleon TMD Contractions in Lattice QCD using QUDA
 
whileloop
whileloopwhileloop
whileloop
 
OpenNebulaConf2018 - OpenNebula and LXD Containers - Rubén S. Montero - OpenN...
OpenNebulaConf2018 - OpenNebula and LXD Containers - Rubén S. Montero - OpenN...OpenNebulaConf2018 - OpenNebula and LXD Containers - Rubén S. Montero - OpenN...
OpenNebulaConf2018 - OpenNebula and LXD Containers - Rubén S. Montero - OpenN...
 
The paxos commit algorithm
The paxos commit algorithmThe paxos commit algorithm
The paxos commit algorithm
 
GLSL
GLSLGLSL
GLSL
 

Similar to On Space-Scarce Economy In Blockchain Systems

Istanbul BFT
Istanbul BFTIstanbul BFT
Istanbul BFT
Yu-Te Lin
 
Understanding Proof of Work (PoW) and Proof of Stake (PoS) Algorithms
Understanding Proof of Work (PoW) and Proof of Stake (PoS) AlgorithmsUnderstanding Proof of Work (PoW) and Proof of Stake (PoS) Algorithms
Understanding Proof of Work (PoW) and Proof of Stake (PoS) Algorithms
Gautam Anand
 
Proof of x
Proof of xProof of x
Proof of x
Mikal Villa
 
Fredericksburg LUG Bitcoin slides
Fredericksburg LUG Bitcoin slidesFredericksburg LUG Bitcoin slides
Fredericksburg LUG Bitcoin slides
Alex Akselrod
 
On Private Blockchains, Technically
On Private Blockchains, TechnicallyOn Private Blockchains, Technically
On Private Blockchains, Technically
Alex Chepurnoy
 
Blockchain 101
Blockchain 101Blockchain 101
Blockchain 101
Oded Noam
 
Ethereum overview
Ethereum overviewEthereum overview
Ethereum overview
Alexander (Alex) Komyagin
 
Blockchain for Developers
Blockchain for DevelopersBlockchain for Developers
Blockchain for Developers
Shimi Bandiel
 
Ergo Presentation - Tokyo
Ergo Presentation - TokyoErgo Presentation - Tokyo
Ergo Presentation - Tokyo
Alex Chepurnoy
 
Best practices to build secure smart contracts
Best practices to build secure smart contractsBest practices to build secure smart contracts
Best practices to build secure smart contracts
Gautam Anand
 
State of Ethereum, and Mining
State of Ethereum, and MiningState of Ethereum, and Mining
State of Ethereum, and Mining
Mediabistro
 
Blockchan For Developers
Blockchan For DevelopersBlockchan For Developers
Blockchan For Developers
Alex Chepurnoy
 
Scorex meetup-aug-2015
Scorex meetup-aug-2015Scorex meetup-aug-2015
Scorex meetup-aug-2015
Alex Chepurnoy
 
Crypto & Crpyocurrencies Intro
Crypto & Crpyocurrencies IntroCrypto & Crpyocurrencies Intro
Crypto & Crpyocurrencies Intro
Tal Shmueli
 
Ergo platform's approach
Ergo platform's approachErgo platform's approach
Ergo platform's approach
Dmitry Meshkov
 
Ergo platform overview
Ergo platform overviewErgo platform overview
Ergo platform overview
Dmitry Meshkov
 
Iota - Structure and Validation Method
Iota - Structure and Validation MethodIota - Structure and Validation Method
Iota - Structure and Validation Method
JY Chun
 
How to Create AltCoin(Alternative Cryptocurrency)?
How to Create AltCoin(Alternative Cryptocurrency)?How to Create AltCoin(Alternative Cryptocurrency)?
How to Create AltCoin(Alternative Cryptocurrency)?
Abdullah Khan Zehady
 
Understanding Algorand's smart contract language
Understanding Algorand's smart contract language   Understanding Algorand's smart contract language
Understanding Algorand's smart contract language
Vanessa Lošić
 
Bitcoin Blockchain - Under the Hood
Bitcoin Blockchain - Under the HoodBitcoin Blockchain - Under the Hood
Bitcoin Blockchain - Under the Hood
Galin Dinkov
 

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

Istanbul BFT
Istanbul BFTIstanbul BFT
Istanbul BFT
 
Understanding Proof of Work (PoW) and Proof of Stake (PoS) Algorithms
Understanding Proof of Work (PoW) and Proof of Stake (PoS) AlgorithmsUnderstanding Proof of Work (PoW) and Proof of Stake (PoS) Algorithms
Understanding Proof of Work (PoW) and Proof of Stake (PoS) Algorithms
 
Proof of x
Proof of xProof of x
Proof of x
 
Fredericksburg LUG Bitcoin slides
Fredericksburg LUG Bitcoin slidesFredericksburg LUG Bitcoin slides
Fredericksburg LUG Bitcoin slides
 
On Private Blockchains, Technically
On Private Blockchains, TechnicallyOn Private Blockchains, Technically
On Private Blockchains, Technically
 
Blockchain 101
Blockchain 101Blockchain 101
Blockchain 101
 
Ethereum overview
Ethereum overviewEthereum overview
Ethereum overview
 
Blockchain for Developers
Blockchain for DevelopersBlockchain for Developers
Blockchain for Developers
 
Ergo Presentation - Tokyo
Ergo Presentation - TokyoErgo Presentation - Tokyo
Ergo Presentation - Tokyo
 
Best practices to build secure smart contracts
Best practices to build secure smart contractsBest practices to build secure smart contracts
Best practices to build secure smart contracts
 
State of Ethereum, and Mining
State of Ethereum, and MiningState of Ethereum, and Mining
State of Ethereum, and Mining
 
Blockchan For Developers
Blockchan For DevelopersBlockchan For Developers
Blockchan For Developers
 
Scorex meetup-aug-2015
Scorex meetup-aug-2015Scorex meetup-aug-2015
Scorex meetup-aug-2015
 
Crypto & Crpyocurrencies Intro
Crypto & Crpyocurrencies IntroCrypto & Crpyocurrencies Intro
Crypto & Crpyocurrencies Intro
 
Ergo platform's approach
Ergo platform's approachErgo platform's approach
Ergo platform's approach
 
Ergo platform overview
Ergo platform overviewErgo platform overview
Ergo platform overview
 
Iota - Structure and Validation Method
Iota - Structure and Validation MethodIota - Structure and Validation Method
Iota - Structure and Validation Method
 
How to Create AltCoin(Alternative Cryptocurrency)?
How to Create AltCoin(Alternative Cryptocurrency)?How to Create AltCoin(Alternative Cryptocurrency)?
How to Create AltCoin(Alternative Cryptocurrency)?
 
Understanding Algorand's smart contract language
Understanding Algorand's smart contract language   Understanding Algorand's smart contract language
Understanding Algorand's smart contract language
 
Bitcoin Blockchain - Under the Hood
Bitcoin Blockchain - Under the HoodBitcoin Blockchain - Under the Hood
Bitcoin Blockchain - Under the Hood
 

More from Dmitry Meshkov

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

More from Dmitry Meshkov (16)

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

Recently uploaded

Launch Your Streaming Platforms in Minutes
Launch Your Streaming Platforms in MinutesLaunch Your Streaming Platforms in Minutes
Launch Your Streaming Platforms in Minutes
Roshan Dwivedi
 
2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx
Georgi Kodinov
 
Understanding Globus Data Transfers with NetSage
Understanding Globus Data Transfers with NetSageUnderstanding Globus Data Transfers with NetSage
Understanding Globus Data Transfers with NetSage
Globus
 
Cyaniclab : Software Development Agency Portfolio.pdf
Cyaniclab : Software Development Agency Portfolio.pdfCyaniclab : Software Development Agency Portfolio.pdf
Cyaniclab : Software Development Agency Portfolio.pdf
Cyanic lab
 
Enhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdfEnhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdf
Globus
 
A Sighting of filterA in Typelevel Rite of Passage
A Sighting of filterA in Typelevel Rite of PassageA Sighting of filterA in Typelevel Rite of Passage
A Sighting of filterA in Typelevel Rite of Passage
Philip Schwarz
 
Utilocate provides Smarter, Better, Faster, Safer Locate Ticket Management
Utilocate provides Smarter, Better, Faster, Safer Locate Ticket ManagementUtilocate provides Smarter, Better, Faster, Safer Locate Ticket Management
Utilocate provides Smarter, Better, Faster, Safer Locate Ticket Management
Utilocate
 
Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...
Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...
Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...
Globus
 
GlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote sessionGlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote session
Globus
 
Enterprise Resource Planning System in Telangana
Enterprise Resource Planning System in TelanganaEnterprise Resource Planning System in Telangana
Enterprise Resource Planning System in Telangana
NYGGS Automation Suite
 
Orion Context Broker introduction 20240604
Orion Context Broker introduction 20240604Orion Context Broker introduction 20240604
Orion Context Broker introduction 20240604
Fermin Galan
 
Globus Compute Introduction - GlobusWorld 2024
Globus Compute Introduction - GlobusWorld 2024Globus Compute Introduction - GlobusWorld 2024
Globus Compute Introduction - GlobusWorld 2024
Globus
 
Navigating the Metaverse: A Journey into Virtual Evolution"
Navigating the Metaverse: A Journey into Virtual Evolution"Navigating the Metaverse: A Journey into Virtual Evolution"
Navigating the Metaverse: A Journey into Virtual Evolution"
Donna Lenk
 
GraphSummit Paris - The art of the possible with Graph Technology
GraphSummit Paris - The art of the possible with Graph TechnologyGraphSummit Paris - The art of the possible with Graph Technology
GraphSummit Paris - The art of the possible with Graph Technology
Neo4j
 
BoxLang: Review our Visionary Licenses of 2024
BoxLang: Review our Visionary Licenses of 2024BoxLang: Review our Visionary Licenses of 2024
BoxLang: Review our Visionary Licenses of 2024
Ortus Solutions, Corp
 
Vitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume MontevideoVitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume Montevideo
Vitthal Shirke
 
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
Juraj Vysvader
 
Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdf
Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdfDominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdf
Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdf
AMB-Review
 
Prosigns: Transforming Business with Tailored Technology Solutions
Prosigns: Transforming Business with Tailored Technology SolutionsProsigns: Transforming Business with Tailored Technology Solutions
Prosigns: Transforming Business with Tailored Technology Solutions
Prosigns
 
Lecture 1 Introduction to games development
Lecture 1 Introduction to games developmentLecture 1 Introduction to games development
Lecture 1 Introduction to games development
abdulrafaychaudhry
 

Recently uploaded (20)

Launch Your Streaming Platforms in Minutes
Launch Your Streaming Platforms in MinutesLaunch Your Streaming Platforms in Minutes
Launch Your Streaming Platforms in Minutes
 
2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx2024 RoOUG Security model for the cloud.pptx
2024 RoOUG Security model for the cloud.pptx
 
Understanding Globus Data Transfers with NetSage
Understanding Globus Data Transfers with NetSageUnderstanding Globus Data Transfers with NetSage
Understanding Globus Data Transfers with NetSage
 
Cyaniclab : Software Development Agency Portfolio.pdf
Cyaniclab : Software Development Agency Portfolio.pdfCyaniclab : Software Development Agency Portfolio.pdf
Cyaniclab : Software Development Agency Portfolio.pdf
 
Enhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdfEnhancing Research Orchestration Capabilities at ORNL.pdf
Enhancing Research Orchestration Capabilities at ORNL.pdf
 
A Sighting of filterA in Typelevel Rite of Passage
A Sighting of filterA in Typelevel Rite of PassageA Sighting of filterA in Typelevel Rite of Passage
A Sighting of filterA in Typelevel Rite of Passage
 
Utilocate provides Smarter, Better, Faster, Safer Locate Ticket Management
Utilocate provides Smarter, Better, Faster, Safer Locate Ticket ManagementUtilocate provides Smarter, Better, Faster, Safer Locate Ticket Management
Utilocate provides Smarter, Better, Faster, Safer Locate Ticket Management
 
Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...
Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...
Innovating Inference - Remote Triggering of Large Language Models on HPC Clus...
 
GlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote sessionGlobusWorld 2024 Opening Keynote session
GlobusWorld 2024 Opening Keynote session
 
Enterprise Resource Planning System in Telangana
Enterprise Resource Planning System in TelanganaEnterprise Resource Planning System in Telangana
Enterprise Resource Planning System in Telangana
 
Orion Context Broker introduction 20240604
Orion Context Broker introduction 20240604Orion Context Broker introduction 20240604
Orion Context Broker introduction 20240604
 
Globus Compute Introduction - GlobusWorld 2024
Globus Compute Introduction - GlobusWorld 2024Globus Compute Introduction - GlobusWorld 2024
Globus Compute Introduction - GlobusWorld 2024
 
Navigating the Metaverse: A Journey into Virtual Evolution"
Navigating the Metaverse: A Journey into Virtual Evolution"Navigating the Metaverse: A Journey into Virtual Evolution"
Navigating the Metaverse: A Journey into Virtual Evolution"
 
GraphSummit Paris - The art of the possible with Graph Technology
GraphSummit Paris - The art of the possible with Graph TechnologyGraphSummit Paris - The art of the possible with Graph Technology
GraphSummit Paris - The art of the possible with Graph Technology
 
BoxLang: Review our Visionary Licenses of 2024
BoxLang: Review our Visionary Licenses of 2024BoxLang: Review our Visionary Licenses of 2024
BoxLang: Review our Visionary Licenses of 2024
 
Vitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume MontevideoVitthal Shirke Microservices Resume Montevideo
Vitthal Shirke Microservices Resume Montevideo
 
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
In 2015, I used to write extensions for Joomla, WordPress, phpBB3, etc and I ...
 
Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdf
Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdfDominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdf
Dominate Social Media with TubeTrivia AI’s Addictive Quiz Videos.pdf
 
Prosigns: Transforming Business with Tailored Technology Solutions
Prosigns: Transforming Business with Tailored Technology SolutionsProsigns: Transforming Business with Tailored Technology Solutions
Prosigns: Transforming Business with Tailored Technology Solutions
 
Lecture 1 Introduction to games development
Lecture 1 Introduction to games developmentLecture 1 Introduction to games development
Lecture 1 Introduction to games development
 

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