Formal Barriers to Longest-Chain Proof-of-Stake Protocols

18 September 2018

Papers citing "Formal Barriers to Longest-Chain Proof-of-Stake Protocols"

42 / 42 papers shown

Title
Timestamp Manipulation: Timestamp-based Nakamoto-style Blockchains are Vulnerable Junjie Hu Na Ruan Sisi Duan 104 0 0 08 May 2025
Selfish mining under general stochastic rewards Maryam Bahrani Michael Neuder S. M. Weinberg 103 0 0 27 Feb 2025
Pulsar Consensus Samer Afach Benjamin Marsh Enrico Rubboli 72 0 0 21 Nov 2024
Bitcoin Under Volatile Block Rewards: How Mempool Statistics Can Influence Bitcoin Mining Roozbeh Sarenche Alireza Aghabagherloo S. Nikova Bart Preneel 122 0 0 18 Nov 2024
Mitigating Challenges in Ethereum's Proof-of-Stake Consensus: Evaluating the Impact of EigenLayer and Lido Li Li 59 5 0 30 Oct 2024
Optimal RANDAO Manipulation in Ethereum Kaya Alpturer S. Matthew Weinberg 43 3 0 30 Sep 2024
Drawing the boundaries between Blockchain and Blockchain-like systems: A Comprehensive Survey on Distributed Ledger Technologies Badr Bellaj Aafaf Ouaddah Noel Crespi Abdelatif Mezrioui Emmanuel Bertin 63 10 0 26 Sep 2024
Profitable Manipulations of Cryptographic Self-Selection are Statistically Detectable Linda Cai Jingyi Liu S. M. Weinberg Chenghan Zhou 69 2 0 24 Jul 2024
Computing Optimal Manipulations in Cryptographic Self-Selection Proof-of-Stake Protocols Matheus V. X. Ferreira Aadityan Ganesh Jack Hourigan Hannah Huh S. M. Weinberg Catherine Yu 62 5 0 21 Jun 2024
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains Krishnendu Chatterjee Amirali Ebrahimzadeh Mehrdad Karrabi Krzysztof Pietrzak Michelle Yeo Đorđe Žikelić 49 1 0 07 May 2024
Undetectable Selfish Mining Maryam Bahrani S. M. Weinberg 37 5 0 13 Sep 2023
CroCoDai: A Stablecoin for Cross-Chain Commerce Daniël Reijsbergen B. Hajek Tien Tuan Anh Dinh Jussi Keppo H. Korth Anwitaman Datta 103 2 0 16 Jun 2023
Permissionless Consensus Andrew Lewis-Pye Tim Roughgarden 122 12 0 28 Apr 2023
Modeling Resources in Permissionless Longest-chain Total-order Broadcast Sarah Azouvi Christian Cachin D. Le Marko Vukolić Luca Zanolini 57 3 0 22 Nov 2022
Crowdsourcing Work as Mining: A Decentralized Computation and Storage Paradigm Canhui Chen Zerui Cheng Shutong Qu Zhixuan Fang 63 4 0 12 Nov 2022
Credible Decentralized Exchange Design via Verifiable Sequencing Rules Matheus V. X. Ferreira David C. Parkes 76 46 0 30 Sep 2022
Optimal Strategic Mining Against Cryptographic Self-Selection in Proof-of-Stake Matheus V. X. Ferreira Sally Hahn S. M. Weinberg Catherine Yu 53 13 0 16 Jul 2022
The Loop of the Rings: A Fully Decentralized Cooperative System (The Concept) A. Vaezi Amir Daneshgar 11 0 0 02 Jun 2022
Blockchain Nash Dynamics and the Pursuit of Compliance Dimitris Karakostas A. Kiayias T. Zacharias 13 5 0 03 Jan 2022
Scalable Multi-Chain Coordination via the Hierarchical Longest Chain Rule Yanni Georghiades Karl Kreder Jonathan Downing Alan Orwick S. Vishwanath AI4CE 37 2 0 21 Dec 2021
Proof-of-Stake Mining Games with Perfect Randomness Matheus V. X. Ferreira S. M. Weinberg 73 19 0 08 Jul 2021
From Griefing to Stability in Blockchain Mining Economies Yun Kuen Cheung Stefanos Leonardos Georgios Piliouras Shyam Sridhar 33 3 0 23 Jun 2021
Low-cost attacks on Ethereum 2.0 by sub-1/3 stakeholders M. Neuder Daniel J. Moroz Rithvik Rao David C. Parkes AAML 46 35 0 03 Feb 2021
Byzantine Generals in the Permissionless Setting Andrew Lewis-Pye Tim Roughgarden 91 15 0 18 Jan 2021
PoSAT: Proof-of-Work Availability and Unpredictability, without the Work Soubhik Deb Sreeram Kannan David Tse 86 22 0 15 Oct 2020
A General Framework for the Security Analysis of Blockchain Protocols Andrew Lewis-Pye Tim Roughgarden 33 3 0 20 Sep 2020
Defending Against Malicious Reorgs in Tezos Proof-of-Stake M. Neuder Daniel J. Moroz Rithvik Rao David C. Parkes AAML 53 13 0 11 Sep 2020
Resource Pools and the CAP Theorem Andrew Lewis-Pye Tim Roughgarden 31 21 0 18 Jun 2020
LaKSA: A Probabilistic Proof-of-Stake Protocol Daniël Reijsbergen Pawel Szalachowski Junming Ke Zengpeng Li Jianying Zhou 85 2 0 02 Jun 2020
Selfish Behavior in the Tezos Proof-of-Stake Protocol M. Neuder Daniel J. Moroz Rithvik Rao David C. Parkes 91 29 0 06 Dec 2019
Competitive equilibria between staking and on-chain lending Tarun Chitra AAML 51 23 0 28 Nov 2019
Linear Consistency for Proof-of-Stake Blockchains Erica Blum A. Kiayias Cristopher Moore S. Quader Alexander Russell 26 6 0 22 Nov 2019
An Interleaving Hybrid Consensus Protocol Yaohua Sun A. Rajasekaran 11 2 0 21 Nov 2019
The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses I. Homoliak Sarad Venugopalan Qingze Hum Daniël Reijsbergen Richard Schumi Pawel Szalachowski 76 77 0 22 Oct 2019
Proof-of-Stake Longest Chain Protocols: Security vs Predictability Vivek Bagaria A. Ayodeji Sreeram Kannan Yong-kuo Liu David Tse Pramod Viswanath Xuechao Wang Ofer Zeitouni 48 27 0 05 Oct 2019
PREStO: A Systematic Framework for Blockchain Consensus Protocols Stefanos Leonardos Daniël Reijsbergen Georgios Piliouras 83 45 0 15 Jun 2019
A Unifying Hybrid Consensus Protocol Yulong Wu Yunfei Zha Yaohua Sun 19 2 0 07 Jun 2019
SoK: Tools for Game Theoretic Models of Security for Cryptocurrencies Sarah Azouvi A. Hicks 75 40 0 21 May 2019
Building Scalable Decentralized Payment Systems John Adler Mikerah Quintyne-Collins LRM 28 11 0 12 Apr 2019
Weighted Voting on the Blockchain: Improving Consensus in Proof of Stake Protocols Stefanos Leonardos Daniël Reijsbergen Georgios Piliouras 80 52 0 11 Mar 2019
Incentives in Ethereum's Hybrid Casper Protocol Vitalik Buterin Daniël Reijsbergen Stefanos Leonardos Georgios Piliouras 79 87 0 11 Mar 2019
Decrypting Distributed Ledger Design -- Taxonomy, Classification and Blockchain Community Evaluation M. Ballandies Marcus M. Dapp Evangelos Pournaras 67 65 0 30 Oct 2018