ArticleBlockchain
HotStuff: QC, highQC, and the three-chain rule
A visual and rigorous reading of quorum certificates, highQC memory, and the three-chain commit rule.
HotStuffBFTConsensusQC
Search
Find the localized piece you need without wandering.
This index shows content available in the current language. The historical Spanish library remains available in the main search.
Items
6
Types
1
6 localized results
Filter: localized content
ArticleBlockchain
Terraform and OpenTofu for reproducible labs
An operational foundation for declaring, reviewing, verifying, and destroying cloud labs without hiding manual steps or cost.
TerraformOpenTofuInfrastructure as CodeCloud Labs
ArticleBlockchain
HotStuff: view change, pacemaker, and safe memory
How a new leader collects QCs, selects highQC, and proposes again without erasing the protocol’s safety memory.
HotStuffBFTPacemakerView change
ArticleBlockchain
Terraform/OpenTofu: remote state, locking, and recovery
Why state is an operational contract, how locking prevents concurrent writers, and what evidence safe recovery requires.
TerraformOpenTofuStateLocking
ArticleBlockchain
BFT signatures: threshold, aggregation, and AggQC evidence
How to distinguish votes over one message, different view reports, and the proof a leader carries through a view change.
HotStuffBFTBLSAggregate signatures
ArticleBlockchain
Terraform modules: contracts, composition, and safe evolution
How to design inputs, outputs, and provider dependencies that reuse infrastructure without turning the module into a black box.
TerraformOpenTofuModulesComposition