Cover Image

Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Alpturer, Kaya, Huang, Gerald, van der Meyden, Ron
Format:	Preprint
Published:	2025
Subjects:	Distributed, Parallel, and Cluster Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Knowledge-Based Analysis of Intersection Protocols
by: Alpturer, Kaya, et al.
Published: (2024)

Optimality of Simultaneous Consensus with Limited Information Exchange (Extended Abstract)
by: Alpturer, Kaya, et al.
Published: (2025)

Timing Games in Responsive Consensus Protocols
by: Alpturer, Kaya, et al.
Published: (2025)

AetherWeave: Sybil-Resistant Robust Peer Discovery with Stake
by: Alpturer, Kaya, et al.
Published: (2026)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
by: van der Meyden, Ron
Published: (2025)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
by: Esposito, Andrea, et al.
Published: (2025)

CheckMate: Evaluating Checkpointing Protocols for Streaming Dataflows
by: Siachamis, George, et al.
Published: (2024)

SoK: DAG-based Consensus Protocols
by: Raikwar, Mayank, et al.
Published: (2024)

Interactive Visualization of Proof-of-Work Consensus Protocol on Raspberry Pi
by: Ivashkevich, Anton, et al.
Published: (2025)

An Almost Tight Lower Bound for Plurality Consensus with Undecided State Dynamics in the Population Protocol Model
by: El-Hayek, Antoine, et al.
Published: (2025)

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
by: Haas, Julian, et al.
Published: (2025)

A Fast Confirmation Rule (aka Fast Synchronous Finality) for the Ethereum Consensus Protocol
by: Asgaonkar, Aditya, et al.
Published: (2024)

DynaShard: Secure and Adaptive Blockchain Sharding Protocol with Hybrid Consensus and Dynamic Shard Management
by: Liu, Ao, et al.
Published: (2024)

Population Protocols for Exact Plurality Consensus -- How a small chance of failure helps to eliminate insignificant opinions
by: Bankhamer, Gregor, et al.
Published: (2024)

zkMixer: A Configurable Zero-Knowledge Mixer with Anti-Money Laundering Consensus Protocols
by: Constantinides, Theodoros, et al.
Published: (2025)

Byzantine Consensus in the Random Asynchronous Model
by: Danezis, George, et al.
Published: (2025)

Beluga: Block Synchronization for BFT Consensus Protocols
by: Kichidis, Tasos, et al.
Published: (2025)

Efficient and Secure Sleepy Model for BFT Consensus
by: Ren, Pengkun, et al.
Published: (2025)

Knowledge Connectivity Requirements for Solving BFT Consensus with Unknown Participants and Fault Threshold (Extended Version)
by: Heydari, Hasan, et al.
Published: (2024)

Time- and Space-Optimal Silent Self-Stabilizing Exact Majority in Population Protocols
by: Kanaya, Haruki, et al.
Published: (2025)

Consensus In Asynchrony
by: Klianev, Ivan
Published: (2026)

Permissionless Consensus
by: Lewis-Pye, Andrew, et al.
Published: (2023)

Prioritized-MVBA: A New Approach to Design an Optimal Asynchronous Byzantine Agreement Protocol
by: Sony, Nasit S, et al.
Published: (2024)

Proximal Byzantine Consensus
by: Shadmon, Roy, et al.
Published: (2024)

TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets
by: Dubois, Tanguy, et al.
Published: (2026)

Almost Time-Optimal Loosely-Stabilizing Leader Election on Arbitrary Graphs Without Identifiers in Population Protocols
by: Kanaya, Haruki, et al.
Published: (2024)

Validated Strong Consensus Protocol for Asynchronous Vote-based Blockchains
by: Xu, Yibin, et al.
Published: (2024)

Tolerating Disasters with Hierarchical Consensus
by: Yahyaoui, Wassim, et al.
Published: (2025)

The Economic Limits of Permissionless Consensus
by: Budish, Eric, et al.
Published: (2024)

Determining Recoverable Consensus Numbers
by: Ovens, Sean
Published: (2024)

Synchronous Consensus in Partial Synchrony
by: Klianev, Ivan
Published: (2023)

Dynamic Size Counting in the Population Protocol Model
by: Kaaser, Dominik, et al.
Published: (2024)

CheckMate: LLM-Powered Approximate Intermittent Computing
by: Sayyid-Ali, Abdur-Rahman Ibrahim, et al.
Published: (2024)

Pruning Blockchain Protocols for Efficient Access Control in IoT Systems
by: Huang, Yongtao, et al.
Published: (2024)

Morpheus Consensus: Excelling on trails and autobahns
by: Lewis-Pye, Andrew, et al.
Published: (2025)

Asymptotic Subspace Consensus in Dynamic Networks
by: Függer, Matthias, et al.
Published: (2026)

Topological Characterization of Consensus in Distributed Systems
by: Nowak, Thomas, et al.
Published: (2019)

Prefix Consensus For Censorship Resistant BFT
by: Xiang, Zhuolun, et al.
Published: (2026)

Generative Artificial Intelligence Reproducibility and Consensus
by: Kim, Edward, et al.
Published: (2023)

Optimal Good-Case Latency for Sleepy Consensus
by: Efron, Yuval, et al.
Published: (2025)