---
title: Blockchain Epidemic Consensus Protocol (BECP)
url: https://www.emergentmind.com/topics/blockchain-epidemic-consensus-protocol-becp
type: topic
---

# Blockchain Epidemic Consensus Protocol (BECP)

Blockchain Epidemic Consensus Protocol (BECP) is a fully decentralised, leader-less blockchain consensus protocol proposed for large-scale and extreme-scale blockchain systems. In the 2025 descriptions of the protocol, BECP is presented as an epidemic, or gossip-based, consensus design that avoids fixed validators and leaders, relies on probabilistic convergence, and uses local phase-transition tests to decide when a candidate block should be committed. Its published formulations combine three sub-protocols—System Size Estimation Protocol (SSEP), Node Cache Protocol (NCP), and Phase Transition Protocol (PTP)—and report comparative evaluations against PAXOS, RAFT, PBFT, Avalanche, and Snowman [2508.02595][2508.02552].

## 1. Placement within epidemic blockchain consensus

BECP belongs to the family of epidemic consensus mechanisms, also described as sampling-based or gossip-based consensus. In this family, consensus departs from classical replicated-state-machine approaches such as PBFT and Raft by relying on randomized peer sampling and statistical decision processes rather than full-quorum votes. Nodes exchange information with small, randomly chosen peer sets over repeated rounds, and local estimates concentrate toward a common value as gossip proceeds [2102.04063].

Within that setting, BECP adopts the standard epidemic advantages emphasized in its own descriptions: no reliance on a fixed set of validators or leaders, probabilistic guarantees of convergence, efficient use of network resources, and tolerance to node and network failures [2508.02595]. One of the papers explicitly frames the protocol goal as the design of a “fully-decentralised, leader-less blockchain consensus protocol” that scales to \(O(10^4)\) nodes and uses epidemic push–pull communication to disseminate block proposals, resolve forks, and detect convergence probabilistically [2508.02552].

This positioning is important because BECP is not presented as a minor variation of a leader-based BFT protocol. Its design logic is instead closer to epidemic systems such as Avalanche and Snowman, but with a distinct reliance on single-peer gossip per cycle, local counter aggregation, and explicit local stability tests rather than \(K\)-sampling plus quorum thresholds [2508.02595][2508.02552].

## 2. Network model, assumptions, and protocol decomposition

The published BECP descriptions characterize the network as a peer-to-peer overlay in which each node maintains only a partial view of the system. In one formulation, the model is asynchronous: there is no global clock or round-synchrony, messages are delivered reliably with arbitrary but bounded delay in \([\Delta_{\min}, \Delta_{\max}]\), and the experiments instantiate \(\Delta_{\min}=0.01\,s\) and \(\Delta_{\max}=0.3\,s\). In another formulation, the network is described as partially synchronous with bounded message-delay distributions that may be uniform or Pareto [2508.02595][2508.02552].

BECP is decomposed into three intertwined sub-protocols. SSEP maintains a local estimate \(\hat N_i\) of the current system size. NCP maintains a cache \(C_i\) of peer identifiers and provides random neighbour sampling via `getRandomNode()`. PTP is the epidemic consensus engine that updates local counters and determines when a block has stabilized sufficiently to be committed [2508.02595].

The fault model requires careful reading because the two descriptions are aligned on crash-stop and delay tolerance but not on a fully developed Byzantine model. One formulation states explicitly that no Byzantine faults are assumed and that all nodes are “benign”; only crash failures and arbitrary message reordering or delay are considered [2508.02595]. The other states that nodes are honest, with no Byzantine mis-reports, but possibly slow, and that up to \(f\) “slow” or crash-stop nodes are tolerated; it then discusses Byzantine behaviour only as an extension and future direction rather than as the baseline protocol model [2508.02552].

This means that BECP, as documented, is primarily a protocol for large-scale consensus under reliable delivery, delay, and crash-stop conditions, rather than a finished Byzantine consensus construction in the same sense as classical BFT protocols.

## 3. State variables and gossip-cycle mechanics

Each node runs a repeated epidemic cycle. In the concise formulation, at local cycle \(k\) and cycle-time \(\tau\), node \(i\) samples one peer \(j \leftarrow \texttt{getRandomNode()}\), exchanges its local vote-counter tuple
\[
T_i(k) = (vp_i, wp_i, va_i, wa_i),
\]
merges the received counters by addition, and computes a local estimate
\[
e_i(k) = \frac{vp_i+1}{wp_i+1}.
\]
If \(|e_i(k)-e_i(k-1)| < \epsilon_1\) for \(\psi\) consecutive cycles, the node decides on the current candidate block \(B\), transitions to `COMMIT`, and garbage-collects other candidates [2508.02595].

The more elaborate formulation expands the same design into explicit blockchain state. Each node maintains a confirmed ledger, a cache \(C_b\) of candidate blocks, and a current preferred block \(B_{\mathrm{pref}} \in C_b\). For each candidate block \(\tau \in C_b\), the node stores the block sequence number \(\tau.id\), creator identifier \(\tau.o\), creation timestamp \(\tau.t\), two counter pairs \((vp, wp)\) and \((va, wa)\), and a block state
\[
\tau.state \in \{\mathrm{PROPAGATED}, \mathrm{AGREED}, \mathrm{COMMITTED}\}.
\]
Messages `MSG_PUSH` and `MSG_PULL` piggy-back both new block proposals and estimator values for each \(\tau \in C_b\) [2508.02552].

In that second description, nodes may generate a new block every \(T_{\mathrm{block}} = 10\,s\) with probability \(P_{\mathrm{block}} = 5\%\), referencing the current preferred block \(B_{\mathrm{pref}}\). Fork resolution is handled by comparing blocks with the same sequence number and, when origins differ, breaking ties by timestamp and then proposer identifier. The routine `forkResolution(τ)` recursively removes descendants of a replaced fork [2508.02552].

Taken together, the two descriptions indicate a common design pattern: epidemic dissemination carries both candidate blocks and lightweight counters, while local state machines infer convergence from the evolution of those counters rather than from explicit global rounds or all-to-all certification.

## 4. Decision rules, convergence, and asymptotic bounds

The most explicit convergence statement appears in the theorem-style analysis. Under the asynchronous, reliable-delivery model, BECP is stated to commit on a single block \(B\) at all non-failed nodes within
\[
O\!\left(\log N + \log\!\left(\frac{1}{\epsilon_1}\right)\right)
\]
cycles, with probability at least \(1 - 1/N^c\) for any fixed \(c>0\) [2508.02595].

The same source gives the corresponding asymptotic bounds:
\[
T_{\mathrm{lat}} = O\!\left(\tau \cdot \left(\log N + \log\!\left(\frac{1}{\epsilon_1}\right)\right)\right)
\]
for wall-clock consensus latency, and
\[
M = O\!\left(N \cdot \left(\log N + \log\!\left(\frac{1}{\epsilon_1}\right)\right)\right)
\]
for total message complexity until commit. Throughput is described as asymptotically independent of \(N\), namely \(\Theta(1/T_{\mathrm{block}})\), because new proposals can proceed in parallel [2508.02595].

A second analysis presents the same behaviour through standard push–pull epidemic dissemination. If each node contacts one random peer per round, then for any \(\delta>0\),
\[
R \ge \ln(N) + \ln\!\left(\frac{1}{\delta}\right)
\]
implies that the probability all honest nodes have seen a given block by round \(R\) is at least \(1-\delta\). After separate propagation and agreement phases, the joint convergence probability is stated as at least \(1-2\delta\), yielding very high-probability finality in \(O(\log N)\) cycles [2508.02552].

These analyses are consistent at the level of asymptotic structure. Both formulations treat logarithmic epidemic spread as the core mechanism, and both attach finality to a local criterion: either repeated stability of the estimator \(e_i(k)\) or threshold-based state transitions across `PROPAGATED`, `AGREED`, and `COMMITTED`.

## 5. Experimental evidence and reported performance

The reported evaluations use the JABS Java simulator and compare BECP against classical protocols and epidemic baselines. One study evaluates \(N \in \{500,1000,2000,3000,4000,5000\}\) with \(\tau=0.7\,s\), \(T_{\mathrm{block}}=10\,s\), \(P_{\mathrm{block}}=5\%\), \(\epsilon_1=0.01\), \(\psi=3\), and \(NCACHE=50\). Another evaluates \(N \in \{1000,\dots,10000\}\) with cycle \(\Delta=0.35\,s\), \(T_{\mathrm{block}}=10\,s\), \(P_{\mathrm{block}}=5\%\), \(\epsilon=0.05\), \(\Psi=5\), and \(N_{\mathrm{cache}}=100\) [2508.02595][2508.02552].

At \(N=5000\), one paper reports the following BECP-versus-Avalanche comparison [2508.02595]:

| Metric | Avalanche | BECP |
|---|---:|---:|
| Throughput (items/s) | 0.080 | 0.096 |
| Latency (s) | 101.92 | 21.34 |
| Msgs per 600 s | 85.6 M | 8.6 M |

The same study summarizes these differences as \( \times 1.196 \) higher throughput, \(4.775\times\) better average consensus latency, and a \(90\%\) reduction in messages relative to Avalanche at \(N=5000\) [2508.02595]. Across \(500\) to \(5000\) nodes, it further reports that BECP throughput is flat at approximately \(56\) blocks per \(600\,s\), Avalanche is approximately \(47/600\,s\), and BECP latency remains approximately \(21\,s\) while Avalanche remains approximately \(100\,s\) [2508.02595].

The second paper reports throughput of approximately \(0.096\) blocks/s, latency around \(9.72\) to \(10.25\,s\) for \(N=1000\) to \(5000\), and correctness under Pareto delay scenarios with \(\alpha \in \{4,5,6,7,8\}\), while Avalanche incurs failures or throughput drops at \(\alpha \le 5\) [2508.02552]. It also reports message counts for BECP ranging from \(1.71 \times 10^6\) at \(N=1000\) to \(8.55 \times 10^6\) at \(N=5000\), contrasted with PBFT values from \(5.91 \times 10^7\) to \(1.48 \times 10^9\) over the same range [2508.02552].

A notable point is that the strongest empirical advantage is consistently reported against Avalanche and PBFT-class overhead. One latency table in the second paper lists RAFT/PAXOS at \(0.300\,s\) and PBFT at \(0.335\,s\), whereas BECP is reported near \(10\,s\) on those experiments [2508.02552]. Accordingly, the evidence in the published descriptions supports BECP most directly as a scalable epidemic protocol with low communication overhead and competitive large-network performance, rather than as a universally lower-latency protocol across all possible baselines.

## 6. Peer sampling, limitations, and open directions

Epidemic consensus depends fundamentally on peer sampling. A separate line of work on epidemic blockchain consensus states that a Secure Random Peer Sampling service is at the heart of any epidemic consensus algorithm and identifies diversity, low Byzantine fraction, and connectivity as the core goals, with Sybil attacks, Eclipse attacks, collusion, and flooding as principal threats [2102.04063].

BECP assumes that NCP provides a uniform random sample of peers, but the 2025 BECP descriptions do not center on adversarial peer-sampling hardening. One formulation states that NCP provides a uniform random sample of size `NCACHE` from the existing membership; another assumes a connected overlay and honest nodes with no Byzantine mis-reports [2508.02595][2508.02552]. This suggests that BECP’s published results are conditioned on a benign or crash-stop environment in which random-neighbour sampling is available as a service rather than established as a security theorem.

That distinction matters because other epidemic blockchain work, such as BASALT, focuses precisely on secure peer sampling under adversarial pressure and proposes IP-prefix-based methods to reduce over-representation and Eclipse risk [2102.04063]. A plausible implication is that a production-grade permissionless deployment of epidemic blockchain consensus would need both a consensus engine of the BECP type and a secure random peer-sampling substrate of the BASALT type, although that integrated construction is not provided in the BECP descriptions.

The open research agenda is stated directly in the larger-scale BECP paper: Byzantine-resistant extensions, such as weighted gossip and signature aggregation; adaptive \(\Delta\) and \(\epsilon\) for variable network sizes and delay regimes; cross-shard consensus by multi-topic epidemic; and formal proofs of safety and liveness under Byzantine partial synchrony [2508.02552]. These directions identify the present boundary of the protocol family: BECP is documented as an epidemic, leader-less consensus design with logarithmic dissemination and \(O(N \log N)\) communication, but its Byzantine model, security composition with peer sampling, and deployment-level finality guarantees remain open areas of investigation.

Source: https://www.emergentmind.com/topics/blockchain-epidemic-consensus-protocol-becp