Python Interface for Celestia Node API
-
Updated
Sep 6, 2025 - Python
#
atomic-broadcast
Here are 6 public repositories matching this topic...
Lean 4 formalization of the safety and liveness proofs for the Zug Atomic Broadcast protocol
distributed-systems consensus theorem-proving formal-verification byzantine-fault-tolerance atomic-broadcast lean4
-
Updated
Apr 7, 2026 - Lean
Transport for atomic broadcasting messages.
-
Updated
Mar 2, 2021 - Go
Implementation of Atomic Broadcast using Paxos for the course of Distributed Algorithms at Università della Svizzera Italiana (USI). Professor: Fernando Pedone, TAs: Eliã Batista and Lorenzo Martignetti
-
Updated
Dec 8, 2024 - Python
Simulation of a Fault-Tolerant Distributed System using Active Replication and Atomic Broadcast (TO-URB). Validated for consistency and partition tolerance.
nodejs distributed-systems consistency fault-tolerance reliability chaos-engineering atomic-broadcast active-replication
-
Updated
Nov 30, 2025 - JavaScript
Implementação do protocolo Deferred Update Replication (DUR) com ordenação total via sequencer, suporte a múltiplas réplicas, verificação de conflitos de versão e tolerância a falhas. Inclui cenários de teste com concorrência, falhas e abortos controlados.
python distributed-systems replication consistency sequencer fault-tolerance concurrency transactions dur atomic-broadcast-protocol atomic-broadcast
-
Updated
May 13, 2025 - Python
Improve this page
Add a description, image, and links to the atomic-broadcast topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the atomic-broadcast topic, visit your repo's landing page and select "manage topics."