This document discusses improvements to proof-of-stake consensus algorithms for cryptocurrencies. It begins with an introduction to the author and their areas of research interest. It then provides an overview of consensus algorithms, problems in distributed systems, and the history of Byzantine agreement and Bitcoin's consensus protocol. The majority of the document focuses on improvements to proof-of-stake protocols, including the use of multiple branching forging to improve security and the development of formal models and simulation tools to analyze consensus algorithms. It concludes by discussing the author's work on experimental cryptocurrency implementations using proof-of-stake variants.
Intro to Blockchain - And, by the way, what the heck is proof-of-work?Jim Flynn
An overview of bitcoin and the blockchain with a more in-depth description of proof of work (POW). Conde samples used to demonstrate the concepts behind POW are available at http://jamespflynn.com.
The presentation slides for a blockchain event - All About TenX Cryptopayment Technology, Lightning Network & Bitcoin Mining.
Presenter: Sun Sagong
Venue: Tenx (Singapore)
Date: 07Feb2018
Talk for CodeMash 2018. Page to end for resources. Some more links (click to expand):
Bitcoin's Insane Energy Consumption Explained: https://arstechnica.com/tech-policy/2017/12/bitcoins-insane-energy-consumption-explained/
The Ethereum-blockchain size will not exceed 1TB anytime soon.
https://dev.to/5chdn/the-ethereum-blockchain-size-will-not-exceed-1tb-anytime-soon-58a
For use rights, please see license agreement below.
Consensus Algorithms - Nakov at CryptoBlockCon - Las Vegas (2018)Svetlin Nakov
Consensus Algorithms
Dr. Svetlin Nakov at CryptoBlockCon - Las Vegas (11 Dec 2018)
In this talk the speaker Svetlin Nakov explains very briefly the concepts of decentralized consensus and blockchain consensus algorithms, along with examples from popular blockchain networks and DLT ledgers:
The concept of Byzantine Fault Tolerance (BFT)
The role of consensus algorithms in decentralized systems and blockchains
Proof-of-work consensus (PoW), mining, pools, hash power, ASIC mining, etc.
Proof-of-stake (PoS) and its variants: DPoS (delegated PoS), RPoS (randomized PoS), LPoS (leased PoS), PoI (proof of importance)
Practical Byzantine Fault Tolerance (PBFT) and FBA (federated byzantine agreement)
Proof-of-Authority (POA)
Non-blockchain consensus, asynchronous byzantine fault tolerance (aBFT) and Hashgraph
Bitcoin Lightning Network - Presentation Jim Brysland
Slides used for my talk on the Lightning Network @ Strathclyde for our Glasgow Bitcoin Meet-up: https://www.meetup.com/TheCryptograph-com-Cryptocurrency-Meetup/
A basic overview of what blockchain is with step-by-step easy to follow explanation of its core concepts. It should be easy for anyone with zero knowledge of blockchain to follow through the slides
Can we safely adapt the construction of permissionless blockchain to user dem...I MT
"Can we safely adapt the construction of permissionless blockchain to user demand ?" par Emmanuelle ANCEAUME (CNRS), lors de la journée Futur & Ruptures du 31 janvier 2019.
Talk slide at Blockchain&DAPPs technologies meetup held on 11th April 2018 @ Microsoft - Singapore.
The slides cover the basic concept of bitcoin wallet functionalities.
A brief description of how Blockchain Technology works. It is the technology behind the cryptocurrency. The blockchain is an incorruptible digital ledger of economic transactions that can be programmed to record not just financial transactions but virtually everything of value.
A Complete Beginners Guide to Blockchain Technology Part 3 of 6. Slides from the #StartingBlock2015 tour by @blockstrap
Part 1: http://www.slideshare.net/Blockstrap/cbgtbt-part-1-workshop-introduction-primer
Part 2: http://www.slideshare.net/Blockstrap/02-blockchains-101
Part 3: http://www.slideshare.net/Blockstrap/03-transactions-101
Part 4: http://www.slideshare.net/Blockstrap/cbgtbt-part-4-mining
Part 5: http://www.slideshare.net/Blockstrap/05-blockchains-102
Part 6: http://www.slideshare.net/Blockstrap/06-transactions-102
Multi-Signature Crypto-Wallets: Nakov at Blockchain Berlin 2018Svetlin Nakov
Multi-Signature Crypto-Wallets: Nakov at Blockchain Berlin 2018
Speaker: Dr. Svetlin Nakov (co-founder of SoftUni)
Multisig Wallets. Sign / Execute Transactions. Implementation in Bitcoin and Ethereum
Single-User-Managed Wallets: Problems
Multi-Signature Wallets: Concepts
Multi-Signature Wallets in Bitcoin
Multi-Signature Wallets in Ethereum
The Gnosis Multisig Wallet: Demo
Slides, demos and videos: https://nakov.com/blog/2018/09/26/speaker-at-the-blockchain-technology-conference-2018-berlin/
A time-accepted periodic proof factor in a nonlinear distributed consensus.
Authors:
Douglas Pike, Patrick Nosker, David Boehm, Daniel Grisham, Steve Woods, and Joshua Marston
Intro to Blockchain - And, by the way, what the heck is proof-of-work?Jim Flynn
An overview of bitcoin and the blockchain with a more in-depth description of proof of work (POW). Conde samples used to demonstrate the concepts behind POW are available at http://jamespflynn.com.
The presentation slides for a blockchain event - All About TenX Cryptopayment Technology, Lightning Network & Bitcoin Mining.
Presenter: Sun Sagong
Venue: Tenx (Singapore)
Date: 07Feb2018
Talk for CodeMash 2018. Page to end for resources. Some more links (click to expand):
Bitcoin's Insane Energy Consumption Explained: https://arstechnica.com/tech-policy/2017/12/bitcoins-insane-energy-consumption-explained/
The Ethereum-blockchain size will not exceed 1TB anytime soon.
https://dev.to/5chdn/the-ethereum-blockchain-size-will-not-exceed-1tb-anytime-soon-58a
For use rights, please see license agreement below.
Consensus Algorithms - Nakov at CryptoBlockCon - Las Vegas (2018)Svetlin Nakov
Consensus Algorithms
Dr. Svetlin Nakov at CryptoBlockCon - Las Vegas (11 Dec 2018)
In this talk the speaker Svetlin Nakov explains very briefly the concepts of decentralized consensus and blockchain consensus algorithms, along with examples from popular blockchain networks and DLT ledgers:
The concept of Byzantine Fault Tolerance (BFT)
The role of consensus algorithms in decentralized systems and blockchains
Proof-of-work consensus (PoW), mining, pools, hash power, ASIC mining, etc.
Proof-of-stake (PoS) and its variants: DPoS (delegated PoS), RPoS (randomized PoS), LPoS (leased PoS), PoI (proof of importance)
Practical Byzantine Fault Tolerance (PBFT) and FBA (federated byzantine agreement)
Proof-of-Authority (POA)
Non-blockchain consensus, asynchronous byzantine fault tolerance (aBFT) and Hashgraph
Bitcoin Lightning Network - Presentation Jim Brysland
Slides used for my talk on the Lightning Network @ Strathclyde for our Glasgow Bitcoin Meet-up: https://www.meetup.com/TheCryptograph-com-Cryptocurrency-Meetup/
A basic overview of what blockchain is with step-by-step easy to follow explanation of its core concepts. It should be easy for anyone with zero knowledge of blockchain to follow through the slides
Can we safely adapt the construction of permissionless blockchain to user dem...I MT
"Can we safely adapt the construction of permissionless blockchain to user demand ?" par Emmanuelle ANCEAUME (CNRS), lors de la journée Futur & Ruptures du 31 janvier 2019.
Talk slide at Blockchain&DAPPs technologies meetup held on 11th April 2018 @ Microsoft - Singapore.
The slides cover the basic concept of bitcoin wallet functionalities.
A brief description of how Blockchain Technology works. It is the technology behind the cryptocurrency. The blockchain is an incorruptible digital ledger of economic transactions that can be programmed to record not just financial transactions but virtually everything of value.
A Complete Beginners Guide to Blockchain Technology Part 3 of 6. Slides from the #StartingBlock2015 tour by @blockstrap
Part 1: http://www.slideshare.net/Blockstrap/cbgtbt-part-1-workshop-introduction-primer
Part 2: http://www.slideshare.net/Blockstrap/02-blockchains-101
Part 3: http://www.slideshare.net/Blockstrap/03-transactions-101
Part 4: http://www.slideshare.net/Blockstrap/cbgtbt-part-4-mining
Part 5: http://www.slideshare.net/Blockstrap/05-blockchains-102
Part 6: http://www.slideshare.net/Blockstrap/06-transactions-102
Multi-Signature Crypto-Wallets: Nakov at Blockchain Berlin 2018Svetlin Nakov
Multi-Signature Crypto-Wallets: Nakov at Blockchain Berlin 2018
Speaker: Dr. Svetlin Nakov (co-founder of SoftUni)
Multisig Wallets. Sign / Execute Transactions. Implementation in Bitcoin and Ethereum
Single-User-Managed Wallets: Problems
Multi-Signature Wallets: Concepts
Multi-Signature Wallets in Bitcoin
Multi-Signature Wallets in Ethereum
The Gnosis Multisig Wallet: Demo
Slides, demos and videos: https://nakov.com/blog/2018/09/26/speaker-at-the-blockchain-technology-conference-2018-berlin/
A time-accepted periodic proof factor in a nonlinear distributed consensus.
Authors:
Douglas Pike, Patrick Nosker, David Boehm, Daniel Grisham, Steve Woods, and Joshua Marston
Blockchain: The Information Technology of the FutureMelanie Swan
The blockchain concept may be one of the most transformative ideas to impact the world since the Internet. Cryptocurrencies like bitcoin are merely one application of the blockchain concept. The blockchain is a public transaction ledger built in a decentralized network structure based on cryptographic principles so that any kind of trading, buying and selling of assets does not need to go through a centralized intermediary. Any kind of asset may be encoded into the blockchain and transacted, validated, or preserved in a much more efficient manner than at present including ideas, health data, financial assets, automobiles, and government documents. Venture Capitalists are calling the blockchain the next big investment wave.
Trick or Treat?: Bitcoin for Non-Believers, Cryptocurrencies for CypherpunksDavid Evans
David Evans
DC Area Crypto Day
Johns Hopkins University
30 October 2015
This (non-research) talk will start with a tutorial introduction to cryptocurrencies and how bitcoin works (and doesn’t work) today. We’ll touch on some of the legal, policy, and business aspects of bitcoin and discuss some potential research opportunities in cryptocurrencies.
Presentation by Stefan Dziembowski, associate professor and leader of Cryptology and Data Security Group University of Warsaw. In BIU workshop on Bitcoin. Covered exclusively by vpnMentor.com
Short intro to benefits of blockchain technology over current internet protocols, and improvements in security, privacy, anonymity and censorship resistance. Presented at Descon 2016.
This slidedeck was used at the second Blockchain Vlaanderen meetup in Antwerp. It was given as a general introduction into Blockchain to enable newcomers to follow the presentations that followed.
Digital Subscriber Line is a data communications technology that transmits data faster over the simple copper telephone lines. The signal encoding of xDSL technology is illustrated by a set of modulation techniques. This journal will overview the xDSL technology and will discuss subjects on the efficiency of these modulation techniques.
This slidedeck was used at the first Blockchain Vlaanderen meetup in Leuven. It features a live (and open-source) demonstration of two usecases with Multichain.
Presentation at the PIMN.nl "Blockchain and eID" event: https://www.eventbrite.nl/e/tickets-pimn-blockchain-id-23085443182
Introduction to Smart contracts on Ethereum, Distributed Apps (dApps), identity management on Ethereum (concept of proxy contracts).
Best practices to build secure smart contractsGautam Anand
- Quick update in blockchain tech space
- Comparision between tech
- Security in Blockchain (Focusing on ETH Solidity attack vectors)
- Design patterns
- 2 Popular hacks (Case study)
This presentation is about world's hot trending topic known as "Cryptocurrency". This presentation covers a general knowledge about cryptocurrency, crypto coins, bitcoin, coin mining. It specifically shows people about how to start mining and what are the basic requirements.
This slide is a entry level introduction to blockchain security, it illustrates the current status of the issue, summarises attack methodology, and reviewed a few past hack cases.
Simone Bronzini - Weaknesses of blockchain applications - Codemotion Milan 2018Codemotion
Due to the immutability of the ledger and the difficulty to update their consensus rules, Blockchain applications have many critical layers where a bug can cause huge, irreversible fund losses. This talk will shed some light on why and how Blockchain applications are so critical and will discuss past events that led to fund loss or consensus failures due to bugs in critical parts of the code of Bitcoin and Ethereum applications.
Understanding Proof of Work (PoW) and Proof of Stake (PoS) AlgorithmsGautam Anand
We will focus on understanding "Proof of Stake (PoS)" Algorithm, how it different from "Proof of Work" algorithm, the performance benefits and security overview. We will also discuss the upcoming blockchain protocols that are planning to move to PoS.
An overview of the Bitcoin protocol, source code, data structures and algorithms. This presentation was delivered at Nova Southeastern University on June 20, 2014 by Chris DeRose of bitcoinfl.org
Blockchain, cryptography and tokens — NYC Bar presentationPaperchain
Concise version of presentation delivered at the NYC Bar Association.
Overview of blockchains, how cryptography works on blockchains and the difference between cryptocurrencies and tokens.
Explains what the Blockchain is and how it works. Features slides about the Cryptography, P2P Networking, Blockchain Data Structure, Bitcoin Transactions, Proof of Work Algorithm (Mining) and Scripts.
Blockchain has gained lots of attention in recent years. Bitcoin and Ethereum are leading the race. Crypto currencies in spite of uncertainty and volatility are here to stay. Smart contract programming is the future for the Internet 3.0.
Similar to Proof-of-Stake & Its Improvements (San Francisco Bitcoin Devs Hackathon) (20)
Improving Authenticated Dynamic Dictionaries, with Applications to Cryptocurr...Alex Chepurnoy
Slides for talks given in Shanghal (Winter School on Cryptocurrency and Blockchain Technologies, Jan 15-17, 2017) and Richmond (Bitcoin and Blockchain Meetup, Jul 11, 2017)
KuberTENes Birthday Bash Guadalajara - K8sGPT first impressionsVictor Morales
K8sGPT is a tool that analyzes and diagnoses Kubernetes clusters. This presentation was used to share the requirements and dependencies to deploy K8sGPT in a local environment.
NUMERICAL SIMULATIONS OF HEAT AND MASS TRANSFER IN CONDENSING HEAT EXCHANGERS...ssuser7dcef0
Power plants release a large amount of water vapor into the
atmosphere through the stack. The flue gas can be a potential
source for obtaining much needed cooling water for a power
plant. If a power plant could recover and reuse a portion of this
moisture, it could reduce its total cooling water intake
requirement. One of the most practical way to recover water
from flue gas is to use a condensing heat exchanger. The power
plant could also recover latent heat due to condensation as well
as sensible heat due to lowering the flue gas exit temperature.
Additionally, harmful acids released from the stack can be
reduced in a condensing heat exchanger by acid condensation. reduced in a condensing heat exchanger by acid condensation.
Condensation of vapors in flue gas is a complicated
phenomenon since heat and mass transfer of water vapor and
various acids simultaneously occur in the presence of noncondensable
gases such as nitrogen and oxygen. Design of a
condenser depends on the knowledge and understanding of the
heat and mass transfer processes. A computer program for
numerical simulations of water (H2O) and sulfuric acid (H2SO4)
condensation in a flue gas condensing heat exchanger was
developed using MATLAB. Governing equations based on
mass and energy balances for the system were derived to
predict variables such as flue gas exit temperature, cooling
water outlet temperature, mole fraction and condensation rates
of water and sulfuric acid vapors. The equations were solved
using an iterative solution technique with calculations of heat
and mass transfer coefficients and physical properties.
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...Amil Baba Dawood bangali
Contact with Dawood Bhai Just call on +92322-6382012 and we'll help you. We'll solve all your problems within 12 to 24 hours and with 101% guarantee and with astrology systematic. If you want to take any personal or professional advice then also you can call us on +92322-6382012 , ONLINE LOVE PROBLEM & Other all types of Daily Life Problem's.Then CALL or WHATSAPP us on +92322-6382012 and Get all these problems solutions here by Amil Baba DAWOOD BANGALI
#vashikaranspecialist #astrologer #palmistry #amliyaat #taweez #manpasandshadi #horoscope #spiritual #lovelife #lovespell #marriagespell#aamilbabainpakistan #amilbabainkarachi #powerfullblackmagicspell #kalajadumantarspecialist #realamilbaba #AmilbabainPakistan #astrologerincanada #astrologerindubai #lovespellsmaster #kalajaduspecialist #lovespellsthatwork #aamilbabainlahore#blackmagicformarriage #aamilbaba #kalajadu #kalailam #taweez #wazifaexpert #jadumantar #vashikaranspecialist #astrologer #palmistry #amliyaat #taweez #manpasandshadi #horoscope #spiritual #lovelife #lovespell #marriagespell#aamilbabainpakistan #amilbabainkarachi #powerfullblackmagicspell #kalajadumantarspecialist #realamilbaba #AmilbabainPakistan #astrologerincanada #astrologerindubai #lovespellsmaster #kalajaduspecialist #lovespellsthatwork #aamilbabainlahore #blackmagicforlove #blackmagicformarriage #aamilbaba #kalajadu #kalailam #taweez #wazifaexpert #jadumantar #vashikaranspecialist #astrologer #palmistry #amliyaat #taweez #manpasandshadi #horoscope #spiritual #lovelife #lovespell #marriagespell#aamilbabainpakistan #amilbabainkarachi #powerfullblackmagicspell #kalajadumantarspecialist #realamilbaba #AmilbabainPakistan #astrologerincanada #astrologerindubai #lovespellsmaster #kalajaduspecialist #lovespellsthatwork #aamilbabainlahore #Amilbabainuk #amilbabainspain #amilbabaindubai #Amilbabainnorway #amilbabainkrachi #amilbabainlahore #amilbabaingujranwalan #amilbabainislamabad
Water billing management system project report.pdfKamal Acharya
Our project entitled “Water Billing Management System” aims is to generate Water bill with all the charges and penalty. Manual system that is employed is extremely laborious and quite inadequate. It only makes the process more difficult and hard.
The aim of our project is to develop a system that is meant to partially computerize the work performed in the Water Board like generating monthly Water bill, record of consuming unit of water, store record of the customer and previous unpaid record.
We used HTML/PHP as front end and MYSQL as back end for developing our project. HTML is primarily a visual design environment. We can create a android application by designing the form and that make up the user interface. Adding android application code to the form and the objects such as buttons and text boxes on them and adding any required support code in additional modular.
MySQL is free open source database that facilitates the effective management of the databases by connecting them to the software. It is a stable ,reliable and the powerful solution with the advanced features and advantages which are as follows: Data Security.MySQL is free open source database that facilitates the effective management of the databases by connecting them to the software.
6th International Conference on Machine Learning & Applications (CMLA 2024)ClaraZara1
6th International Conference on Machine Learning & Applications (CMLA 2024) will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications of on Machine Learning & Applications.
We have compiled the most important slides from each speaker's presentation. This year’s compilation, available for free, captures the key insights and contributions shared during the DfMAy 2024 conference.
Harnessing WebAssembly for Real-time Stateless Streaming PipelinesChristina Lin
Traditionally, dealing with real-time data pipelines has involved significant overhead, even for straightforward tasks like data transformation or masking. However, in this talk, we’ll venture into the dynamic realm of WebAssembly (WASM) and discover how it can revolutionize the creation of stateless streaming pipelines within a Kafka (Redpanda) broker. These pipelines are adept at managing low-latency, high-data-volume scenarios.
Sachpazis:Terzaghi Bearing Capacity Estimation in simple terms with Calculati...Dr.Costas Sachpazis
Terzaghi's soil bearing capacity theory, developed by Karl Terzaghi, is a fundamental principle in geotechnical engineering used to determine the bearing capacity of shallow foundations. This theory provides a method to calculate the ultimate bearing capacity of soil, which is the maximum load per unit area that the soil can support without undergoing shear failure. The Calculation HTML Code included.
8. 8
Anonymous Byzantine Agreements
●
Anonymous Byzantine Agreements are vulnerable to
sybil attacks
●
Moderately-Hard Puzzles(a.k.a Proof-of-Work) as
anonymous identity tools were proposed since mid 90s
●
Finally, an approach was used(along with pretty informal
definition) by „Satoshi Nakamoto“
10. 10
Good Papers To Read!
●
Anonymous Byzantine Consensus from Moderately-Hard
Puzzles: A Model for Bitcoin (A. Miller / J. LaViola)
●
Research Perspectives and Challenges for Bitcoin
and Cryptocurrencies (J. Bonneau, A. Miller et al)
●
The Bitcoin Backbone Protocol: Analysis and Applications
( https://eprint.iacr.org/2014/765.pdf )
11. 11
Bitcoin Consensus Simply
●
Random oracle (a.k.a sha256)
●
x questions to the oracle, which is sha256(~mining
power) at each round(say, 1 sec)
●
probability of positive answer should be → 0
●
honest players should have 50+% queries to the
oracle(„mining power“), with some glitches below
2/3(selfish mining etc)
●
length(chain) as chain quality measure
13. 13
Blockchain As Database
●
Persistent(versioned) database
●
Genesis state – initial verion of the database
●
Block(„Block Delta“ by Bill White)
●
State(h) * Block → State(h+1)
●
Very weak consistency!
14. 14
Common chain prefix property
●
After k permutations a state of the blockchain database
for versions 1..N-k is considered to be stable (the
chance of opposite is negligible) (with some
assumptions made)
●
Bitcoin: k = 6
15. 15
Proof-of-Stake
●
Anonymous Byzantine Agreement with internal tokens
as identity tools
●
So no mining
●
Right to generate a block depends on stake
●
So a bunch of oracles (hit < target)
●
Cumulative difficulty(maxvalid in Backbone's paper) is
the chain quality measure(in a blocktree)
16. 16
Hit & Target (Nxt's Random Oracle)
●
hit = first8BytesAsNumber (sha256 (append
(lastBlock.generationSignature account.publicKey)))
●
target = lastBlock.baseTarget * (currentTime()-
lastBlock.time()) * account.effectiveBalance
●
block.baseTarget = prevBlock.baseTarget*((block.time-
lastBlock.time) / 60) then bounded by
(prevBlock.baseTarget / 2,prevBlock.baseTarget * 2)
●
hit < target
18. 18
●
Inside a Proof-of-Stake Cryptocurrency Part 1: Basic
Structures
http://chepurnoy.org/blog/2014/10/inside-a-proof-of-stake-cryptocu
●
Inside a Proof-of-Stake Cryptocurrency Part 2: Forging
Algorithm
http://chepurnoy.org/blog/2014/10/inside-a-proof-of-stake-cryptocu
●
Inside a Proof-of-Stake Cryptocurrency Part 3: A Local
Ledger
http://chepurnoy.org/blog/2014/11/inside-a-proof-of-stake-cryptocu
●
Inside a Proof-of-Stake Cryptocurrency Part 4: The
Executable Forging Simulation
http://chepurnoy.org/blog/2014/12/inside-a-proof-of-stake-cryptocu
22. 22
Private Branch Attack
●
Example: attacker with 20% decides to work on his own private
branch(with no contribution to the canonical one)
●
After that we have two networks, one with 0.8*X forging stake,
another with 0.2*X (X - forging stake of last block)
●
Retargeting is needed for both the networks
●
But it's limited by factor of 0.5..2
●
So attacker's chain will be worse
●
So the attack is impossible if block delays are close to 1 minute
23. 23
Private chain attack (multibranching adversary)
●
Contributing to both forks
●
Attack could be successul in case of long delays for major network
●
Only few blocks overtake is possible
●
There's no way to predict an outcome of an attack(but it's cheap to try)
●
Attack allows collect more forging profits
●
Attack has positive outcome for the network(shorter avg. block delays)
●
Wait for 10 confirmations, as recommended by Nxt developers!
24. 24
Multiple-Branching Forging
●
Forging is cheap, so forging to every branch is possible
●
But number of branches is growing exponentially with
time, so the only strategy is to forge to N best chains
●
Simulation tools:
https://github.com/ConsensusResearch/MultiBranch,
https://github.com/ConsensusResearch/ForgingSimulation
(multibranch-experimental branch)
25. 25
Nothing-At-Stake Attack
●
Buterin: „Possible with 1% stake even“
●
Not possible at the moment!
●
Will be possible when most of forgers are multi-
branching
●
With 25 confirmations needed 10% attacker can't make
an attack(in simulations, in real world probably less
confirmations is needed)
●
Attack outcome is unpredictable
26. 26
History Attack
●
Buy IPO whale's key for $5
●
Build better history
●
???
●
Profit!
●
(impossible in Nxt because of few checkpoints within
code)
28. 28
Proof-of-Stake with Multiple-Branching
Forging
●
N forks running parallel (N is to be set in client)
●
BlockTree instead of Blockchain
●
Quantum view of a system
●
Large Common Prefix Property is met (k could be found
with some assumptions made) (in simulations)
●
That's not formally proven(yet!)
29. 29
Proof-of-Stake Improvements
●
Better blockchain quality measure(than cumulative
difficulty)
●
Proof-of-Stake + Proof-of-Activity Hybrid
(paper on PoW+PoA Hybrid: „Proof of Activity: Extending
Bitcoin's Proof of Work via Proof of Stake“
http://eprint.iacr.org/2014/452.pdf )
●
(Semi)Formal model, not simulations
30. 30
Proof-of-Stake
●
Greener(no millions to be spent on planet heating)
●
More suitable for some classes of blockchain
systems(industrial chains, small-scale chains)
●
Allows systems with different economics properties(than
w. mining rewards)
33. 33
Security Problems
●
Consensus algo flaws – FATAL
●
Transaction layer flaws – from trivial to critical
●
Network layer – ddoses, unconfirmed pool attacks
34. 34
Bitcoin: Transaction Layer bug
On July 28 2010, two bugs were discovered and
demonstrated on the test network. One exploited a bug
in the transaction handling code and allowed an attacker
to spend coins that they did not own. This was never
exploited on the main network, and was fixed by Bitcoin
version 0.3.5.
●
After these bugs were discovered, many currently-
unused script words were disabled for safety.
35. 35
Bitcoin: Transaction Layer Bug
●
On 15 August 2010, with an exploit over 184 billion
bitcoins were generated in a transaction, and sent to two
addresses on the network. This was the only major
security flaw found and exploited in Bitcoin's history.
●
Fixed with hard-fork
38. 38
Formal Approach w. Coq Examples
●
Formal Idealizations of Cryptographic Hashing
https://github.com/billlwhite/cryptohash
●
A Theory for Lightweight Cryptocurrency Ledgers
https://github.com/billlwhite/ledgertheory
●
Upcoming Consensus Research paper