SlideShare a Scribd company logo
Consensus Models
A quick introduction to
oded.noam@kik.comOded Noam, Blockchain Architect kin.kik.com
History: Distributed Systems
• Attempt to solve scale, geo-redundancy and/or custody of systems
• Handle two types of faults:
• Crashes (incoherent state)
• Byzantine faults (1982)
● CAP theorem (consistency/availability/partition-tolerance: can’t have
more than 2)
● FLP Impossibility (no consensus in finite time with faulty processes)
• Abstract use-case: Replicated State Machine
(Byzantine Faults)
• Generals need to decide attack/retreat
• Half-hearted attack will result in failure
• Communication via couriers (peer-to-peer)
• Traitor may create false consensus
“Fast” vs “Slow” Consensus
● “Fast” (weakly synchronous / final): system-wide consensus in bound
timing
● Handle faults: crashes (incoherent state) and byzantine faults
● Known set of verifiers
● “Slow” (eventual / asynchronous / non-final): distribute the mandate to
sign blocks, and determine consensus in retrospect (e.g. Longest-
chain or GHOST protocols)
● Can be permissionless/open
Slow Consensus: Proof-of-Work (1)
• Proposed by Naor and Dwork (1993) for eliminating e-mail spam
• Whoever solves a puzzle can publish a block
• Solving costs money in computer time, electricity and cooling
• Nontrivial balance between worth of network and cost of its protection
• Target difficulty is 000000000FFFFFFFFFFFFF
Construct block:
Put “0” in nonce, hash the block
→ 6ebd2efb6476025951da175a82ce0fbc
Put “1” in the nonce, hash the block
→ 8d678c54ff53cac1efd6d62697aeb5a0
…
Put “59324502” in the nonce, hash the block
→ 0000000009efb30f7e7ca5bda314561e winner!
Slow Consensus: Proof-of-Work (2)
• Bitcoin, Ethereum: hash(block+nonce) < difficulty
• Other variants: Memory-hard PoW (ZCash); Quantum resistant PoW;
Proof-of-useful-work (Primecoin)
• Trade-off between block time and forking
• High carbon footprint
Slow Consensus: Proof-of-Work (3)
• Replace PoW with block signing by weighted-random stakeholder
• Some require participating verifiers to put security deposit (“bonding”)
● Nothing-at-stake problem: leader can sign competing blocks
● Circular logic problem: stakeholders vote on stakeholding
Examples: Casper (Ethereum), Ouroboros (Cardano)
Slow Consensus: Proof-of-Stake
Fast Consensus Protocols
• Widely used in distributed systems (databases, KVS, filesystems)
• Variety of consensus algorithms, for example
• PAXOS variants (multi-paxos, byzantine-paxos & more)
• PBFT
● BA*
• Known set of verifiers, preferably small → BIG CHALLENGE
Fast Consensus: Private
• Known set of verifiers: owned by one entity
• Controlled execution environment; enforceable adherence to protocol
• Centralized; decentralization (?) by consortium
Examples: Hyperledger
Fast Consensus: Federation
• Eliminate central governance of consortium
• Each node has a set of trusted verifiers
• Modified consensus algorithm to allow partially-overlapping trusted
sets; each node may see different projection of the ledger
Examples: Ripple, Stellar
Fast Consensus: Delegated PoS
• Stakeholders periodically elect verifiers to represent them
• Specific criticism: delegate corruption, voter indifference
(parliamentary democracy)
• Other POS problems (nothing-at-stake problem, circular logic)
Examples: BitShares, Steem.it, EOS, Waves
Fast Consensus: AlgoRand
• Cryptographic sortition: incorruptible selection of random verifier set
each round
• Like jury duty, every user may be selected to be verifier
• Not ready for production yet; some practical challenges still unsolved
Thank You!
oded.noam@kik.comOded Noam, Blockchain Architect kin.kik.com
Ad

More Related Content

What's hot (20)

Vilnius blockchain club 20170413 consensus
Vilnius blockchain club 20170413 consensusVilnius blockchain club 20170413 consensus
Vilnius blockchain club 20170413 consensus
Audrius Ramoska
 
Sidechains Presentation
Sidechains PresentationSidechains Presentation
Sidechains Presentation
Brian Fabian Crain
 
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
 
Crypto currency1
Crypto currency1Crypto currency1
Crypto currency1
Karthik Muthuchandra
 
Blockchain 101
Blockchain 101Blockchain 101
Blockchain 101
Collective Intelligence Inc.
 
CBGTBT - Part 3 - Transactions 101
CBGTBT - Part 3 - Transactions 101CBGTBT - Part 3 - Transactions 101
CBGTBT - Part 3 - Transactions 101
Blockstrap.com
 
The Bitcoin Lightning Network
The Bitcoin Lightning NetworkThe Bitcoin Lightning Network
The Bitcoin Lightning Network
Shun Shiku
 
Writing smart contracts
Writing smart contractsWriting smart contracts
Writing smart contracts
Marek Kirejczyk
 
Blockchain Technology - The Next Superpower By Priyank Vaghela
Blockchain Technology - The Next Superpower By Priyank VaghelaBlockchain Technology - The Next Superpower By Priyank Vaghela
Blockchain Technology - The Next Superpower By Priyank Vaghela
PriyankVaghela
 
Introduction to Consensus techniques
Introduction to Consensus techniques Introduction to Consensus techniques
Introduction to Consensus techniques
Vasiliy Suvorov
 
Distributed Ledgers, Blockchains, and Smart Contracts
Distributed Ledgers, Blockchains, and Smart ContractsDistributed Ledgers, Blockchains, and Smart Contracts
Distributed Ledgers, Blockchains, and Smart Contracts
Dusan Andric
 
Sidechain talk
Sidechain talkSidechain talk
Sidechain talk
jojva
 
Hands on with multichain
Hands on with multichainHands on with multichain
Hands on with multichain
Roderik van der Veer
 
Sidechains introduction
Sidechains introductionSidechains introduction
Sidechains introduction
Lin Lin (Wendy)
 
Ethereum Intro
Ethereum IntroEthereum Intro
Ethereum Intro
Dejan Radic
 
CBGTBT - Part 6 - Transactions 102
CBGTBT - Part 6 - Transactions 102CBGTBT - Part 6 - Transactions 102
CBGTBT - Part 6 - Transactions 102
Blockstrap.com
 
Overview of Blockchain Consensus Mechanisms
Overview of Blockchain Consensus MechanismsOverview of Blockchain Consensus Mechanisms
Overview of Blockchain Consensus Mechanisms
Johannes Ahlmann
 
Bitcoin Status Report - On-Chain Scaling Aug 2016
Bitcoin Status Report - On-Chain Scaling Aug 2016Bitcoin Status Report - On-Chain Scaling Aug 2016
Bitcoin Status Report - On-Chain Scaling Aug 2016
Jeff Garzik
 
EUIPO DPM knowledge share: Blockchain and IP
EUIPO DPM knowledge share: Blockchain and IPEUIPO DPM knowledge share: Blockchain and IP
EUIPO DPM knowledge share: Blockchain and IP
Audrius Ramoska
 
Introduction to Ethereum
Introduction to EthereumIntroduction to Ethereum
Introduction to Ethereum
Terek Judi
 
Vilnius blockchain club 20170413 consensus
Vilnius blockchain club 20170413 consensusVilnius blockchain club 20170413 consensus
Vilnius blockchain club 20170413 consensus
Audrius Ramoska
 
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
 
CBGTBT - Part 3 - Transactions 101
CBGTBT - Part 3 - Transactions 101CBGTBT - Part 3 - Transactions 101
CBGTBT - Part 3 - Transactions 101
Blockstrap.com
 
The Bitcoin Lightning Network
The Bitcoin Lightning NetworkThe Bitcoin Lightning Network
The Bitcoin Lightning Network
Shun Shiku
 
Blockchain Technology - The Next Superpower By Priyank Vaghela
Blockchain Technology - The Next Superpower By Priyank VaghelaBlockchain Technology - The Next Superpower By Priyank Vaghela
Blockchain Technology - The Next Superpower By Priyank Vaghela
PriyankVaghela
 
Introduction to Consensus techniques
Introduction to Consensus techniques Introduction to Consensus techniques
Introduction to Consensus techniques
Vasiliy Suvorov
 
Distributed Ledgers, Blockchains, and Smart Contracts
Distributed Ledgers, Blockchains, and Smart ContractsDistributed Ledgers, Blockchains, and Smart Contracts
Distributed Ledgers, Blockchains, and Smart Contracts
Dusan Andric
 
Sidechain talk
Sidechain talkSidechain talk
Sidechain talk
jojva
 
CBGTBT - Part 6 - Transactions 102
CBGTBT - Part 6 - Transactions 102CBGTBT - Part 6 - Transactions 102
CBGTBT - Part 6 - Transactions 102
Blockstrap.com
 
Overview of Blockchain Consensus Mechanisms
Overview of Blockchain Consensus MechanismsOverview of Blockchain Consensus Mechanisms
Overview of Blockchain Consensus Mechanisms
Johannes Ahlmann
 
Bitcoin Status Report - On-Chain Scaling Aug 2016
Bitcoin Status Report - On-Chain Scaling Aug 2016Bitcoin Status Report - On-Chain Scaling Aug 2016
Bitcoin Status Report - On-Chain Scaling Aug 2016
Jeff Garzik
 
EUIPO DPM knowledge share: Blockchain and IP
EUIPO DPM knowledge share: Blockchain and IPEUIPO DPM knowledge share: Blockchain and IP
EUIPO DPM knowledge share: Blockchain and IP
Audrius Ramoska
 
Introduction to Ethereum
Introduction to EthereumIntroduction to Ethereum
Introduction to Ethereum
Terek Judi
 

Similar to A quick introduction to Consensus Models (20)

Consensus Algorithms: An Introduction & Analysis
Consensus Algorithms: An Introduction & AnalysisConsensus Algorithms: An Introduction & Analysis
Consensus Algorithms: An Introduction & Analysis
Zak Cole
 
Storm at Forter
Storm at ForterStorm at Forter
Storm at Forter
Re'em Bensimhon
 
This pdf contains consensus mechanism its types and its need.
This pdf contains consensus mechanism its types and its need.This pdf contains consensus mechanism its types and its need.
This pdf contains consensus mechanism its types and its need.
PushpalathaB10
 
different consensus protocols in blockchian.pptx
different consensus protocols in blockchian.pptxdifferent consensus protocols in blockchian.pptx
different consensus protocols in blockchian.pptx
meena466141
 
Distributed Consensus: Making Impossible Possible by Heidi howard
Distributed Consensus: Making Impossible Possible by Heidi howardDistributed Consensus: Making Impossible Possible by Heidi howard
Distributed Consensus: Making Impossible Possible by Heidi howard
J On The Beach
 
Distributed Consensus: Making Impossible Possible
Distributed Consensus: Making Impossible PossibleDistributed Consensus: Making Impossible Possible
Distributed Consensus: Making Impossible Possible
Heidi Howard
 
Designing large scale distributed systems
Designing large scale distributed systemsDesigning large scale distributed systems
Designing large scale distributed systems
Ashwani Priyedarshi
 
Distributed Consensus: Making Impossible Possible [Revised]
Distributed Consensus: Making Impossible Possible [Revised]Distributed Consensus: Making Impossible Possible [Revised]
Distributed Consensus: Making Impossible Possible [Revised]
Heidi Howard
 
Understanding Consensus Mechanisms in Blockchain: Proof of Work, Proof of Sta...
Understanding Consensus Mechanisms in Blockchain: Proof of Work, Proof of Sta...Understanding Consensus Mechanisms in Blockchain: Proof of Work, Proof of Sta...
Understanding Consensus Mechanisms in Blockchain: Proof of Work, Proof of Sta...
NAtional Institute of TEchnology Rourkela , Galgotias University
 
Supporting Time-Sensitive Applications on a Commodity OS
Supporting Time-Sensitive Applications on a Commodity OSSupporting Time-Sensitive Applications on a Commodity OS
Supporting Time-Sensitive Applications on a Commodity OS
NamHyuk Ahn
 
Beyond Off the-Shelf Consensus
Beyond Off the-Shelf ConsensusBeyond Off the-Shelf Consensus
Beyond Off the-Shelf Consensus
Rebecca Bilbro
 
notes of blockchain and architectural design unit 2
notes of blockchain and architectural design unit 2notes of blockchain and architectural design unit 2
notes of blockchain and architectural design unit 2
saurabhkumar7155294
 
01 what is blockchain
01 what is blockchain01 what is blockchain
01 what is blockchain
BastianBlankenburg
 
designing distributed scalable and reliable systems
designing distributed scalable and reliable systemsdesigning distributed scalable and reliable systems
designing distributed scalable and reliable systems
Mauro Servienti
 
Intro to distributed systems
Intro to distributed systemsIntro to distributed systems
Intro to distributed systems
Ahmed Soliman
 
Distributed Consensus: Making the Impossible Possible
Distributed Consensus: Making the Impossible PossibleDistributed Consensus: Making the Impossible Possible
Distributed Consensus: Making the Impossible Possible
C4Media
 
Open west 2015 talk ben coverston
Open west 2015 talk ben coverstonOpen west 2015 talk ben coverston
Open west 2015 talk ben coverston
bcoverston
 
Modern Distributed Messaging and RPC
Modern Distributed Messaging and RPCModern Distributed Messaging and RPC
Modern Distributed Messaging and RPC
Max Alexejev
 
Hbase hive pig
Hbase hive pigHbase hive pig
Hbase hive pig
Xuhong Zhang
 
Blockchain Ecosystem and Cryptocurrency Regulations
Blockchain Ecosystem and Cryptocurrency RegulationsBlockchain Ecosystem and Cryptocurrency Regulations
Blockchain Ecosystem and Cryptocurrency Regulations
Amir Rafati
 
Consensus Algorithms: An Introduction & Analysis
Consensus Algorithms: An Introduction & AnalysisConsensus Algorithms: An Introduction & Analysis
Consensus Algorithms: An Introduction & Analysis
Zak Cole
 
This pdf contains consensus mechanism its types and its need.
This pdf contains consensus mechanism its types and its need.This pdf contains consensus mechanism its types and its need.
This pdf contains consensus mechanism its types and its need.
PushpalathaB10
 
different consensus protocols in blockchian.pptx
different consensus protocols in blockchian.pptxdifferent consensus protocols in blockchian.pptx
different consensus protocols in blockchian.pptx
meena466141
 
Distributed Consensus: Making Impossible Possible by Heidi howard
Distributed Consensus: Making Impossible Possible by Heidi howardDistributed Consensus: Making Impossible Possible by Heidi howard
Distributed Consensus: Making Impossible Possible by Heidi howard
J On The Beach
 
Distributed Consensus: Making Impossible Possible
Distributed Consensus: Making Impossible PossibleDistributed Consensus: Making Impossible Possible
Distributed Consensus: Making Impossible Possible
Heidi Howard
 
Designing large scale distributed systems
Designing large scale distributed systemsDesigning large scale distributed systems
Designing large scale distributed systems
Ashwani Priyedarshi
 
Distributed Consensus: Making Impossible Possible [Revised]
Distributed Consensus: Making Impossible Possible [Revised]Distributed Consensus: Making Impossible Possible [Revised]
Distributed Consensus: Making Impossible Possible [Revised]
Heidi Howard
 
Supporting Time-Sensitive Applications on a Commodity OS
Supporting Time-Sensitive Applications on a Commodity OSSupporting Time-Sensitive Applications on a Commodity OS
Supporting Time-Sensitive Applications on a Commodity OS
NamHyuk Ahn
 
Beyond Off the-Shelf Consensus
Beyond Off the-Shelf ConsensusBeyond Off the-Shelf Consensus
Beyond Off the-Shelf Consensus
Rebecca Bilbro
 
notes of blockchain and architectural design unit 2
notes of blockchain and architectural design unit 2notes of blockchain and architectural design unit 2
notes of blockchain and architectural design unit 2
saurabhkumar7155294
 
designing distributed scalable and reliable systems
designing distributed scalable and reliable systemsdesigning distributed scalable and reliable systems
designing distributed scalable and reliable systems
Mauro Servienti
 
Intro to distributed systems
Intro to distributed systemsIntro to distributed systems
Intro to distributed systems
Ahmed Soliman
 
Distributed Consensus: Making the Impossible Possible
Distributed Consensus: Making the Impossible PossibleDistributed Consensus: Making the Impossible Possible
Distributed Consensus: Making the Impossible Possible
C4Media
 
Open west 2015 talk ben coverston
Open west 2015 talk ben coverstonOpen west 2015 talk ben coverston
Open west 2015 talk ben coverston
bcoverston
 
Modern Distributed Messaging and RPC
Modern Distributed Messaging and RPCModern Distributed Messaging and RPC
Modern Distributed Messaging and RPC
Max Alexejev
 
Blockchain Ecosystem and Cryptocurrency Regulations
Blockchain Ecosystem and Cryptocurrency RegulationsBlockchain Ecosystem and Cryptocurrency Regulations
Blockchain Ecosystem and Cryptocurrency Regulations
Amir Rafati
 
Ad

Recently uploaded (20)

Integrating FME with Python: Tips, Demos, and Best Practices for Powerful Aut...
Integrating FME with Python: Tips, Demos, and Best Practices for Powerful Aut...Integrating FME with Python: Tips, Demos, and Best Practices for Powerful Aut...
Integrating FME with Python: Tips, Demos, and Best Practices for Powerful Aut...
Safe Software
 
machines-for-woodworking-shops-en-compressed.pdf
machines-for-woodworking-shops-en-compressed.pdfmachines-for-woodworking-shops-en-compressed.pdf
machines-for-woodworking-shops-en-compressed.pdf
AmirStern2
 
Shoehorning dependency injection into a FP language, what does it take?
Shoehorning dependency injection into a FP language, what does it take?Shoehorning dependency injection into a FP language, what does it take?
Shoehorning dependency injection into a FP language, what does it take?
Eric Torreborre
 
Accommodating Neurodiverse Users Online (Global Accessibility Awareness Day 2...
Accommodating Neurodiverse Users Online (Global Accessibility Awareness Day 2...Accommodating Neurodiverse Users Online (Global Accessibility Awareness Day 2...
Accommodating Neurodiverse Users Online (Global Accessibility Awareness Day 2...
User Vision
 
Building the Customer Identity Community, Together.pdf
Building the Customer Identity Community, Together.pdfBuilding the Customer Identity Community, Together.pdf
Building the Customer Identity Community, Together.pdf
Cheryl Hung
 
UX for Data Engineers and Analysts-Designing User-Friendly Dashboards for Non...
UX for Data Engineers and Analysts-Designing User-Friendly Dashboards for Non...UX for Data Engineers and Analysts-Designing User-Friendly Dashboards for Non...
UX for Data Engineers and Analysts-Designing User-Friendly Dashboards for Non...
UXPA Boston
 
Multi-Agent AI Systems: Architectures & Communication (MCP and A2A)
Multi-Agent AI Systems: Architectures & Communication (MCP and A2A)Multi-Agent AI Systems: Architectures & Communication (MCP and A2A)
Multi-Agent AI Systems: Architectures & Communication (MCP and A2A)
HusseinMalikMammadli
 
Is Your QA Team Still Working in Silos? Here's What to Do.
Is Your QA Team Still Working in Silos? Here's What to Do.Is Your QA Team Still Working in Silos? Here's What to Do.
Is Your QA Team Still Working in Silos? Here's What to Do.
marketing943205
 
Design pattern talk by Kaya Weers - 2025 (v2)
Design pattern talk by Kaya Weers - 2025 (v2)Design pattern talk by Kaya Weers - 2025 (v2)
Design pattern talk by Kaya Weers - 2025 (v2)
Kaya Weers
 
Middle East and Africa Cybersecurity Market Trends and Growth Analysis
Middle East and Africa Cybersecurity Market Trends and Growth Analysis Middle East and Africa Cybersecurity Market Trends and Growth Analysis
Middle East and Africa Cybersecurity Market Trends and Growth Analysis
Preeti Jha
 
SQL Database Design For Developers at PhpTek 2025.pptx
SQL Database Design For Developers at PhpTek 2025.pptxSQL Database Design For Developers at PhpTek 2025.pptx
SQL Database Design For Developers at PhpTek 2025.pptx
Scott Keck-Warren
 
Google DeepMind’s New AI Coding Agent AlphaEvolve.pdf
Google DeepMind’s New AI Coding Agent AlphaEvolve.pdfGoogle DeepMind’s New AI Coding Agent AlphaEvolve.pdf
Google DeepMind’s New AI Coding Agent AlphaEvolve.pdf
derrickjswork
 
論文紹介:"InfLoRA: Interference-Free Low-Rank Adaptation for Continual Learning" ...
論文紹介:"InfLoRA: Interference-Free Low-Rank Adaptation for Continual Learning" ...論文紹介:"InfLoRA: Interference-Free Low-Rank Adaptation for Continual Learning" ...
論文紹介:"InfLoRA: Interference-Free Low-Rank Adaptation for Continual Learning" ...
Toru Tamaki
 
MULTI-STAKEHOLDER CONSULTATION PROGRAM On Implementation of DNF 2.0 and Way F...
MULTI-STAKEHOLDER CONSULTATION PROGRAM On Implementation of DNF 2.0 and Way F...MULTI-STAKEHOLDER CONSULTATION PROGRAM On Implementation of DNF 2.0 and Way F...
MULTI-STAKEHOLDER CONSULTATION PROGRAM On Implementation of DNF 2.0 and Way F...
ICT Frame Magazine Pvt. Ltd.
 
Refactoring meta-rauc-community: Cleaner Code, Better Maintenance, More Machines
Refactoring meta-rauc-community: Cleaner Code, Better Maintenance, More MachinesRefactoring meta-rauc-community: Cleaner Code, Better Maintenance, More Machines
Refactoring meta-rauc-community: Cleaner Code, Better Maintenance, More Machines
Leon Anavi
 
TrustArc Webinar: Cross-Border Data Transfers in 2025
TrustArc Webinar: Cross-Border Data Transfers in 2025TrustArc Webinar: Cross-Border Data Transfers in 2025
TrustArc Webinar: Cross-Border Data Transfers in 2025
TrustArc
 
Digital Technologies for Culture, Arts and Heritage: Insights from Interdisci...
Digital Technologies for Culture, Arts and Heritage: Insights from Interdisci...Digital Technologies for Culture, Arts and Heritage: Insights from Interdisci...
Digital Technologies for Culture, Arts and Heritage: Insights from Interdisci...
Vasileios Komianos
 
Risk Analysis 101: Using a Risk Analyst to Fortify Your IT Strategy
Risk Analysis 101: Using a Risk Analyst to Fortify Your IT StrategyRisk Analysis 101: Using a Risk Analyst to Fortify Your IT Strategy
Risk Analysis 101: Using a Risk Analyst to Fortify Your IT Strategy
john823664
 
Best 10 Free AI Character Chat Platforms
Best 10 Free AI Character Chat PlatformsBest 10 Free AI Character Chat Platforms
Best 10 Free AI Character Chat Platforms
Soulmaite
 
In-App Guidance_ Save Enterprises Millions in Training & IT Costs.pptx
In-App Guidance_ Save Enterprises Millions in Training & IT Costs.pptxIn-App Guidance_ Save Enterprises Millions in Training & IT Costs.pptx
In-App Guidance_ Save Enterprises Millions in Training & IT Costs.pptx
aptyai
 
Integrating FME with Python: Tips, Demos, and Best Practices for Powerful Aut...
Integrating FME with Python: Tips, Demos, and Best Practices for Powerful Aut...Integrating FME with Python: Tips, Demos, and Best Practices for Powerful Aut...
Integrating FME with Python: Tips, Demos, and Best Practices for Powerful Aut...
Safe Software
 
machines-for-woodworking-shops-en-compressed.pdf
machines-for-woodworking-shops-en-compressed.pdfmachines-for-woodworking-shops-en-compressed.pdf
machines-for-woodworking-shops-en-compressed.pdf
AmirStern2
 
Shoehorning dependency injection into a FP language, what does it take?
Shoehorning dependency injection into a FP language, what does it take?Shoehorning dependency injection into a FP language, what does it take?
Shoehorning dependency injection into a FP language, what does it take?
Eric Torreborre
 
Accommodating Neurodiverse Users Online (Global Accessibility Awareness Day 2...
Accommodating Neurodiverse Users Online (Global Accessibility Awareness Day 2...Accommodating Neurodiverse Users Online (Global Accessibility Awareness Day 2...
Accommodating Neurodiverse Users Online (Global Accessibility Awareness Day 2...
User Vision
 
Building the Customer Identity Community, Together.pdf
Building the Customer Identity Community, Together.pdfBuilding the Customer Identity Community, Together.pdf
Building the Customer Identity Community, Together.pdf
Cheryl Hung
 
UX for Data Engineers and Analysts-Designing User-Friendly Dashboards for Non...
UX for Data Engineers and Analysts-Designing User-Friendly Dashboards for Non...UX for Data Engineers and Analysts-Designing User-Friendly Dashboards for Non...
UX for Data Engineers and Analysts-Designing User-Friendly Dashboards for Non...
UXPA Boston
 
Multi-Agent AI Systems: Architectures & Communication (MCP and A2A)
Multi-Agent AI Systems: Architectures & Communication (MCP and A2A)Multi-Agent AI Systems: Architectures & Communication (MCP and A2A)
Multi-Agent AI Systems: Architectures & Communication (MCP and A2A)
HusseinMalikMammadli
 
Is Your QA Team Still Working in Silos? Here's What to Do.
Is Your QA Team Still Working in Silos? Here's What to Do.Is Your QA Team Still Working in Silos? Here's What to Do.
Is Your QA Team Still Working in Silos? Here's What to Do.
marketing943205
 
Design pattern talk by Kaya Weers - 2025 (v2)
Design pattern talk by Kaya Weers - 2025 (v2)Design pattern talk by Kaya Weers - 2025 (v2)
Design pattern talk by Kaya Weers - 2025 (v2)
Kaya Weers
 
Middle East and Africa Cybersecurity Market Trends and Growth Analysis
Middle East and Africa Cybersecurity Market Trends and Growth Analysis Middle East and Africa Cybersecurity Market Trends and Growth Analysis
Middle East and Africa Cybersecurity Market Trends and Growth Analysis
Preeti Jha
 
SQL Database Design For Developers at PhpTek 2025.pptx
SQL Database Design For Developers at PhpTek 2025.pptxSQL Database Design For Developers at PhpTek 2025.pptx
SQL Database Design For Developers at PhpTek 2025.pptx
Scott Keck-Warren
 
Google DeepMind’s New AI Coding Agent AlphaEvolve.pdf
Google DeepMind’s New AI Coding Agent AlphaEvolve.pdfGoogle DeepMind’s New AI Coding Agent AlphaEvolve.pdf
Google DeepMind’s New AI Coding Agent AlphaEvolve.pdf
derrickjswork
 
論文紹介:"InfLoRA: Interference-Free Low-Rank Adaptation for Continual Learning" ...
論文紹介:"InfLoRA: Interference-Free Low-Rank Adaptation for Continual Learning" ...論文紹介:"InfLoRA: Interference-Free Low-Rank Adaptation for Continual Learning" ...
論文紹介:"InfLoRA: Interference-Free Low-Rank Adaptation for Continual Learning" ...
Toru Tamaki
 
MULTI-STAKEHOLDER CONSULTATION PROGRAM On Implementation of DNF 2.0 and Way F...
MULTI-STAKEHOLDER CONSULTATION PROGRAM On Implementation of DNF 2.0 and Way F...MULTI-STAKEHOLDER CONSULTATION PROGRAM On Implementation of DNF 2.0 and Way F...
MULTI-STAKEHOLDER CONSULTATION PROGRAM On Implementation of DNF 2.0 and Way F...
ICT Frame Magazine Pvt. Ltd.
 
Refactoring meta-rauc-community: Cleaner Code, Better Maintenance, More Machines
Refactoring meta-rauc-community: Cleaner Code, Better Maintenance, More MachinesRefactoring meta-rauc-community: Cleaner Code, Better Maintenance, More Machines
Refactoring meta-rauc-community: Cleaner Code, Better Maintenance, More Machines
Leon Anavi
 
TrustArc Webinar: Cross-Border Data Transfers in 2025
TrustArc Webinar: Cross-Border Data Transfers in 2025TrustArc Webinar: Cross-Border Data Transfers in 2025
TrustArc Webinar: Cross-Border Data Transfers in 2025
TrustArc
 
Digital Technologies for Culture, Arts and Heritage: Insights from Interdisci...
Digital Technologies for Culture, Arts and Heritage: Insights from Interdisci...Digital Technologies for Culture, Arts and Heritage: Insights from Interdisci...
Digital Technologies for Culture, Arts and Heritage: Insights from Interdisci...
Vasileios Komianos
 
Risk Analysis 101: Using a Risk Analyst to Fortify Your IT Strategy
Risk Analysis 101: Using a Risk Analyst to Fortify Your IT StrategyRisk Analysis 101: Using a Risk Analyst to Fortify Your IT Strategy
Risk Analysis 101: Using a Risk Analyst to Fortify Your IT Strategy
john823664
 
Best 10 Free AI Character Chat Platforms
Best 10 Free AI Character Chat PlatformsBest 10 Free AI Character Chat Platforms
Best 10 Free AI Character Chat Platforms
Soulmaite
 
In-App Guidance_ Save Enterprises Millions in Training & IT Costs.pptx
In-App Guidance_ Save Enterprises Millions in Training & IT Costs.pptxIn-App Guidance_ Save Enterprises Millions in Training & IT Costs.pptx
In-App Guidance_ Save Enterprises Millions in Training & IT Costs.pptx
aptyai
 
Ad

A quick introduction to Consensus Models

  • 1. Consensus Models A quick introduction to oded.noam@kik.comOded Noam, Blockchain Architect kin.kik.com
  • 2. History: Distributed Systems • Attempt to solve scale, geo-redundancy and/or custody of systems • Handle two types of faults: • Crashes (incoherent state) • Byzantine faults (1982) ● CAP theorem (consistency/availability/partition-tolerance: can’t have more than 2) ● FLP Impossibility (no consensus in finite time with faulty processes) • Abstract use-case: Replicated State Machine
  • 3. (Byzantine Faults) • Generals need to decide attack/retreat • Half-hearted attack will result in failure • Communication via couriers (peer-to-peer) • Traitor may create false consensus
  • 4. “Fast” vs “Slow” Consensus ● “Fast” (weakly synchronous / final): system-wide consensus in bound timing ● Handle faults: crashes (incoherent state) and byzantine faults ● Known set of verifiers ● “Slow” (eventual / asynchronous / non-final): distribute the mandate to sign blocks, and determine consensus in retrospect (e.g. Longest- chain or GHOST protocols) ● Can be permissionless/open
  • 5. Slow Consensus: Proof-of-Work (1) • Proposed by Naor and Dwork (1993) for eliminating e-mail spam • Whoever solves a puzzle can publish a block • Solving costs money in computer time, electricity and cooling • Nontrivial balance between worth of network and cost of its protection
  • 6. • Target difficulty is 000000000FFFFFFFFFFFFF Construct block: Put “0” in nonce, hash the block → 6ebd2efb6476025951da175a82ce0fbc Put “1” in the nonce, hash the block → 8d678c54ff53cac1efd6d62697aeb5a0 … Put “59324502” in the nonce, hash the block → 0000000009efb30f7e7ca5bda314561e winner! Slow Consensus: Proof-of-Work (2)
  • 7. • Bitcoin, Ethereum: hash(block+nonce) < difficulty • Other variants: Memory-hard PoW (ZCash); Quantum resistant PoW; Proof-of-useful-work (Primecoin) • Trade-off between block time and forking • High carbon footprint Slow Consensus: Proof-of-Work (3)
  • 8. • Replace PoW with block signing by weighted-random stakeholder • Some require participating verifiers to put security deposit (“bonding”) ● Nothing-at-stake problem: leader can sign competing blocks ● Circular logic problem: stakeholders vote on stakeholding Examples: Casper (Ethereum), Ouroboros (Cardano) Slow Consensus: Proof-of-Stake
  • 9. Fast Consensus Protocols • Widely used in distributed systems (databases, KVS, filesystems) • Variety of consensus algorithms, for example • PAXOS variants (multi-paxos, byzantine-paxos & more) • PBFT ● BA* • Known set of verifiers, preferably small → BIG CHALLENGE
  • 10. Fast Consensus: Private • Known set of verifiers: owned by one entity • Controlled execution environment; enforceable adherence to protocol • Centralized; decentralization (?) by consortium Examples: Hyperledger
  • 11. Fast Consensus: Federation • Eliminate central governance of consortium • Each node has a set of trusted verifiers • Modified consensus algorithm to allow partially-overlapping trusted sets; each node may see different projection of the ledger Examples: Ripple, Stellar
  • 12. Fast Consensus: Delegated PoS • Stakeholders periodically elect verifiers to represent them • Specific criticism: delegate corruption, voter indifference (parliamentary democracy) • Other POS problems (nothing-at-stake problem, circular logic) Examples: BitShares, Steem.it, EOS, Waves
  • 13. Fast Consensus: AlgoRand • Cryptographic sortition: incorruptible selection of random verifier set each round • Like jury duty, every user may be selected to be verifier • Not ready for production yet; some practical challenges still unsolved
  • 14. Thank You! oded.noam@kik.comOded Noam, Blockchain Architect kin.kik.com
  翻译: