v0.1.0

Initial release of a Go implementation of the HotStuff-2 Byzantine Fault Tolerant consensus protocol.

Made for personal use. Unaudited. Use at your own risk.

Features

• Two-phase BFT consensus with optimistic responsiveness
• Linear view-change with O(n) message complexity
• Dual signature schemes: Ed25519 and BLS12-381
• Configurable block time with adaptive pacemaker
• Generic design supporting custom hash types and blocks
• Interactive web demo with fault injection

Verification

• TLA+ model checked: 12 safety invariants, 4 liveness properties (790K distinct states)
• Twins framework for Byzantine fault injection testing
• Comprehensive test suite with race detection

Documentation

• Integration Guide
• Protocol Reference
• TLA+ Specification
• Interactive Demo