Files
zeekayandHanzo Dev 974d0d5422 rename: drop the upstream protocol name from the tree
The module is luxfi/bft and that is now the only name it answers to.

- simplex/ -> engine/. Upstream's module is named for the protocol, so its root
  package and its engine package shared that name; under luxfi/bft the engine
  package would have collided with the module's own root package. It is the
  consensus engine, so engine.Epoch and engine.NewEpoch read without stutter.
- Identifiers keep the qualifier where it carries meaning and only change the
  word: a block produced by this protocol as against a pre-existing chain's block
  is a real distinction, so makeNonSimplexBlock became makeNonBFTBlock,
  lastNonSimplexInnerBlockHeight became lastNonBFTInnerBlockHeight,
  newSnowToSimplexChain became newSnowToBFTChain. Dropping the qualifier outright
  would have left names that assert nothing.
- The canoto-tagged fields of StateMachineMetadata lose the prefix entirely:
  EpochInfo, ProtocolMetadata, Blacklist. The wire format is unchanged — canoto
  keys off the tag numbers, which still read 1,2,3,4,5, and the generated
  .canoto.go files were renamed in step with the source. The msm fuzz and
  encoding round-trip tests cover this.
- Prose cites the protocol paper by reference number instead of by name, so the
  origin stays findable without the name. The HyperSDK sentence still says
  Avalanche because that sentence is about Avalanche's VM and is true.

Also here, from review of the logger port:
- monitor_test's Fatal panics instead of returning. It reported a state the
  caller had declared impossible and then carried on regardless, which made it
  the one Fatal in the tree that was weaker than the original.
- TestInstanceNonValidatorBootstraps asserts the property it is named for — that
  the node was still a non-validator when the bootstrap finished — rather than
  counting how many times a debug line was emitted. The count tracks how often
  onEpochChange happened to observe the branch, so transitions can coalesce; it
  measured 2 here where it had been reliably 3, and a logger-cost explanation was
  tested and refuted. The count never checked the property either way: a node
  that wrongly became a validator mid-bootstrap would still have counted 3.
- SilenceExceptKeywords documents last-call-wins, and Trace/Verbo now reaching
  hooks is recorded where a future hook author will see it.

Co-authored-by: Hanzo Dev <[email protected]>
2026-08-06 05:16:49 -07:00

147 lines
4.4 KiB
Go

// Copyright (C) 2019-2025, Ava Labs, Inc. All rights reserved.
// See the file LICENSE for licensing terms.
package metadata
import (
"crypto/sha256"
"fmt"
"github.com/luxfi/bft/common"
"github.com/luxfi/bft/host"
)
//go:generate go run github.com/StephenButtolph/canoto/canoto block.go
type BlockType uint8
// A StateMachineBlock is a representation of a parsed OuterBlock, containing the inner block and the metadata.
type StateMachineBlock struct {
// InnerBlock is the VM-level block, or nil if this is a block without an inner block (e.g., a Telock block).
InnerBlock host.VMBlock
// Metadata contains the state machine metadata associated with this block.
Metadata StateMachineMetadata
}
// RawBlock is the serialized form of a StateMachineBlock.
type RawBlock struct {
Metadata StateMachineMetadata `canoto:"value,1"`
InnerBlockBytes []byte `canoto:"bytes,2"`
canotoData canotoData_RawBlock
}
// Clone returns a shallow copy of the block, skipping the canoto caches
// so it is safe to call while the original is being marshaled.
func (smb *StateMachineBlock) Clone() StateMachineBlock {
return StateMachineBlock{
InnerBlock: smb.InnerBlock,
Metadata: smb.Metadata.Clone(),
}
}
// Digest returns the SHA-256 hash of the combined inner block digest and metadata digest.
func (smb *StateMachineBlock) Digest() [32]byte {
var blockDigest [32]byte
if smb.InnerBlock != nil {
blockDigest = smb.InnerBlock.Digest()
} else {
blockDigest = [32]byte{}
}
md := smb.Metadata.Clone()
mdDigest := sha256.Sum256(md.MarshalCanoto())
combined := make([]byte, 64)
copy(combined[:32], blockDigest[:])
copy(combined[32:], mdDigest[:])
return sha256.Sum256(combined)
}
const (
BlockTypeNormal BlockType = iota + 1 // In-epoch block with no epoch transition in progress
BlockTypeZero // The first ever BFT block; establishes the first epoch
BlockTypeTelock // Built after the sealing block to extend its epoch until the sealing block finalizes
BlockTypeSealing // Seals its epoch; only Telocks may follow it
BlockTypeTransitioning // An epoch transition is in progress (collecting aux info and approvals) but the epoch is not yet sealed
)
func (bt BlockType) String() string {
switch bt {
case BlockTypeNormal:
return "Normal"
case BlockTypeZero:
return "Zero"
case BlockTypeTelock:
return "Telock"
case BlockTypeSealing:
return "Sealing"
case BlockTypeTransitioning:
return "Transitioning"
default:
return fmt.Sprintf("UnknownBlockType(%d)", bt)
}
}
var emptyHash [32]byte
func (smb *StateMachineBlock) Type() BlockType {
sei := smb.Metadata.EpochInfo
// Only sealing blocks carry block validation descriptors
if sei.BlockValidationDescriptor != nil {
// The zeroth block has a descriptor but points to an empty digest
if sei.PrevSealingBlockHash == emptyHash {
return BlockTypeZero
}
return BlockTypeSealing
}
if sei.SealingBlockSeq != 0 {
return BlockTypeTelock
}
if sei.NextPChainReferenceHeight > 0 {
return BlockTypeTransitioning
}
// Otherwise, we do not fall into any of these cases, so it's a normal block
return BlockTypeNormal
}
// SealingBlockInfo returns the information derived from this block's BlockValidationDescriptor:
// the validator set of the next epoch and the hash of the previous sealing block.
// It returns the zero value for blocks that carry no descriptor (any block that is neither
// a sealing block nor the zero block).
func (smb *StateMachineBlock) SealingBlockInfo() *common.SealingBlockInfo {
bvd := smb.Metadata.EpochInfo.BlockValidationDescriptor
if bvd == nil {
return nil
}
nodes := make(common.Nodes, 0, len(bvd.AggregatedMembership.Members))
for i := range bvd.AggregatedMembership.Members {
vdr := &bvd.AggregatedMembership.Members[i]
nodes = append(nodes, common.Node{
Id: vdr.NodeID[:],
Weight: vdr.Weight,
PK: vdr.BLSKey,
})
}
return &common.SealingBlockInfo{
ValidatorSet: nodes,
PrevSealingBlockHash: smb.Metadata.EpochInfo.PrevSealingBlockHash,
}
}
func (smb *StateMachineBlock) Bytes() []byte {
var innerBlockBytes []byte
if smb.InnerBlock != nil {
innerBlockBytes = smb.InnerBlock.Bytes()
}
rawBlock := &RawBlock{
Metadata: smb.Metadata.Clone(),
InnerBlockBytes: innerBlockBytes,
}
return rawBlock.MarshalCanoto()
}