FINALITY PROOFS & CONSENSUS
Weight-based immutability and the transition from probabilistic to deterministic finality.
In the Zeqron BlockDAG, finality is a factor of the accumulated weight of the past-cone of a block. Once a block is "buried" under enough subsequent blocks, it becomes mathematically impossible to revert without breaking the consensus rules of the mesh.
PROBABILISTIC V DETERMINISTIC
- ::SOFT_FINALITY: Achieved in < 200ms once a block is accepted by local peers.
- ::HARD_FINALITY: Achieved when the block's Weight Certificate is signed by the required quorum of reputation-weighted nodes in the zone.
THE FINALITY GARDEN
Finality is monitored via the "Garden" engine, which tracks the density of confirmations across the lattice.
- ::TIP_CONFIRMATION: New tips are selected based on their weight relative to the main chain.
- ::STABILITY_CALCULATION: Each level of the DAG is assigned a stability score ($S$).
- ::THRESHOLD_CROSSING: When $S > 0.999$, the block is moved to the immutable archive.
BYZANTINE RESILIENCE ($f$)
The consensus path (Mysticeti PQ adaptation) is designed to maintain finality under standard BFT assumptions (at most one-third Byzantine by weight). Post-quantum signatures (ML-DSA-87) bind validator identity; they do not by themselves prove end-to-end public-network readiness.
Consensus Specification // Zeqron Core Research
Was this directive helpful?
Feedback controls are a preview and do not submit data yet.
