ceremonyclient/node/execution/engines/factory.go
Cassandra Heart 53f7c2b5c9
v2.1.0.2 (#442)
* v2.1.0.2

* restore tweaks to simlibp2p

* fix: nil ref on size calc

* fix: panic should induce shutdown from event_distributor

* fix: friendlier initialization that requires less manual kickstarting for test/devnets

* fix: fewer available shards than provers should choose shard length

* fix: update stored worker registry, improve logging for debug mode

* fix: shut the fuck up, peer log

* qol: log value should be snake cased

* fix:non-archive snap sync issues

* fix: separate X448/Decaf448 signed keys, add onion key to registry

* fix: overflow arithmetic on frame number comparison

* fix: worker registration should be idempotent if inputs are same, otherwise permit updated records

* fix: remove global prover state from size calculation

* fix: divide by zero case

* fix: eager prover

* fix: broadcast listener default

* qol: diagnostic data for peer authenticator

* fix: master/worker connectivity issue in sparse networks

tight coupling of peer and workers can sometimes interfere if mesh is sparse, so give workers a pseudoidentity but publish messages with the proper peer key

* fix: reorder steps of join creation

* fix: join verify frame source + ensure domain is properly padded (unnecessary but good for consistency)

* fix: add delegate to protobuf <-> reified join conversion

* fix: preempt prover from planning with no workers

* fix: use the unallocated workers to generate a proof

* qol: underflow causes join fail in first ten frames on test/devnets

* qol: small logging tweaks for easier log correlation in debug mode

* qol: use fisher-yates shuffle to ensure prover allocations are evenly distributed when scores are equal

* qol: separate decisional logic on post-enrollment confirmation into consensus engine, proposer, and worker manager where relevant, refactor out scoring

* reuse shard descriptors for both join planning and confirm/reject decisions

* fix: add missing interface method and amend test blossomsub to use new peer id basis

* fix: only check allocations if they exist

* fix: pomw mint proof data needs to be hierarchically under global intrinsic domain

* staging temporary state under diagnostics

* fix: first phase of distributed lock refactoring

* fix: compute intrinsic locking

* fix: hypergraph intrinsic locking

* fix: token intrinsic locking

* fix: update execution engines to support new locking model

* fix: adjust tests with new execution shape

* fix: weave in lock/unlock semantics to liveness provider

* fix lock fallthrough, add missing allocation update

* qol: additional logging for diagnostics, also testnet/devnet handling for confirmations

* fix: establish grace period on halt scenario to permit recovery

* fix: support test/devnet defaults for coverage scenarios

* fix: nil ref on consensus halts for non-archive nodes

* fix: remove unnecessary prefix from prover ref

* add test coverage for fork choice behaviors and replay – once passing, blocker (2) is resolved

* fix: no fork replay on repeat for non-archive nodes, snap now behaves correctly

* rollup of pre-liveness check lock interactions

* ahead of tests, get the protobuf/metrics-related changes out so teams can prepare

* add test coverage for distributed lock behaviors – once passing, blocker (3) is resolved

* fix: blocker (3)

* Dev docs improvements (#445)

* Make install deps script more robust

* Improve testing instructions

* Worker node should stop upon OS SIGINT/SIGTERM signal (#447)

* move pebble close to Stop()

* move deferred Stop() to Start()

* add core id to worker stop log message

* create done os signal channel and stop worker upon message to it

---------

Co-authored-by: Cassandra Heart <7929478+CassOnMars@users.noreply.github.com>

---------

Co-authored-by: Daz <daz_the_corgi@proton.me>
Co-authored-by: Black Swan <3999712+blacks1ne@users.noreply.github.com>
2025-10-23 01:03:06 -05:00

219 lines
5.2 KiB
Go

package engines
import (
"github.com/pkg/errors"
"go.uber.org/zap"
"source.quilibrium.com/quilibrium/monorepo/config"
"source.quilibrium.com/quilibrium/monorepo/node/execution/fees"
"source.quilibrium.com/quilibrium/monorepo/node/execution/intrinsics/token"
"source.quilibrium.com/quilibrium/monorepo/types/compiler"
"source.quilibrium.com/quilibrium/monorepo/types/consensus"
"source.quilibrium.com/quilibrium/monorepo/types/crypto"
"source.quilibrium.com/quilibrium/monorepo/types/execution"
"source.quilibrium.com/quilibrium/monorepo/types/hypergraph"
"source.quilibrium.com/quilibrium/monorepo/types/keys"
"source.quilibrium.com/quilibrium/monorepo/types/store"
)
type EngineType string
const (
EngineTypeGlobal EngineType = "global"
EngineTypeCompute EngineType = "compute"
EngineTypeToken EngineType = "token"
EngineTypeHypergraph EngineType = "hypergraph"
)
var DefaultFeeMarket *fees.Policy
func init() {
DefaultFeeMarket = &fees.Policy{
ProducerDomain: token.QUIL_TOKEN_ADDRESS,
ConsumeDeploy: true,
ConsumeUpdate: true,
ConsumeTx: true,
ConsumePendingTx: true,
ConsumeMintTx: false, // mint executes free
ConsumeComputeDeploy: true,
ConsumeComputeUpdate: true,
ConsumeCodeDeploy: true,
ConsumeCodeExecute: true,
ConsumeCodeFinalize: true,
ConsumeHypergraphDeploy: true,
ConsumeHypergraphUpdate: true,
ConsumeVertexAdd: true,
ConsumeVertexRemove: true,
ConsumeHyperedgeAdd: true,
ConsumeHyperedgeRemove: true,
}
}
// CreateExecutionEngine creates the specified type of execution engine
func CreateExecutionEngine(
engineType EngineType,
config *config.P2PConfig,
logger *zap.Logger,
hypergraph hypergraph.Hypergraph,
clockStore store.ClockStore,
shardsStore store.ShardsStore,
keyManager keys.KeyManager,
inclusionProver crypto.InclusionProver,
bulletproofProver crypto.BulletproofProver,
verEnc crypto.VerifiableEncryptor,
decafConstructor crypto.DecafConstructor,
compiler compiler.CircuitCompiler,
frameProver crypto.FrameProver,
rewardIssuance consensus.RewardIssuance,
proverRegistry consensus.ProverRegistry,
blsConstructor crypto.BlsConstructor,
mode ExecutionMode,
) (execution.ShardExecutionEngine, error) {
switch engineType {
case EngineTypeGlobal:
return NewGlobalExecutionEngine(
logger,
config,
hypergraph,
clockStore,
shardsStore,
keyManager,
inclusionProver,
bulletproofProver,
verEnc,
decafConstructor,
frameProver,
rewardIssuance,
proverRegistry,
blsConstructor,
)
case EngineTypeCompute:
return NewComputeExecutionEngine(
logger,
hypergraph,
keyManager,
inclusionProver,
bulletproofProver,
verEnc,
decafConstructor,
compiler,
mode,
)
case EngineTypeToken:
return NewTokenExecutionEngine(
logger,
hypergraph,
clockStore,
keyManager,
inclusionProver,
bulletproofProver,
verEnc,
decafConstructor,
mode,
)
case EngineTypeHypergraph:
return NewHypergraphExecutionEngine(
logger,
hypergraph,
clockStore,
keyManager,
inclusionProver,
bulletproofProver,
verEnc,
decafConstructor,
mode,
)
default:
return nil, errors.Errorf("unknown engine type: %s", engineType)
}
}
// CreateAllEngines creates all available execution engines
func CreateAllEngines(
logger *zap.Logger,
config *config.P2PConfig,
hypergraph hypergraph.Hypergraph,
clockStore store.ClockStore,
shardsStore store.ShardsStore,
keyManager keys.KeyManager,
inclusionProver crypto.InclusionProver,
bulletproofProver crypto.BulletproofProver,
verEnc crypto.VerifiableEncryptor,
decafConstructor crypto.DecafConstructor,
compiler compiler.CircuitCompiler,
frameProver crypto.FrameProver,
rewardIssuance consensus.RewardIssuance,
proverRegistry consensus.ProverRegistry,
blsConstructor crypto.BlsConstructor,
includeGlobal bool,
) ([]execution.ShardExecutionEngine, error) {
engines := make([]execution.ShardExecutionEngine, 0, 4)
mode := ApplicationMode
// Create global engine if requested
if includeGlobal {
mode = GlobalMode
globalEngine, err := CreateExecutionEngine(
EngineTypeGlobal,
config,
logger.With(zap.String("engine", "global")),
hypergraph,
clockStore,
shardsStore,
keyManager,
inclusionProver,
bulletproofProver,
verEnc,
decafConstructor,
compiler,
frameProver,
rewardIssuance,
proverRegistry,
blsConstructor,
mode,
)
if err != nil {
return nil, errors.Wrap(err, "create all engines")
}
engines = append(engines, globalEngine)
}
// Create other engines
for _, engineType := range []EngineType{
EngineTypeCompute,
EngineTypeToken,
EngineTypeHypergraph,
} {
engine, err := CreateExecutionEngine(
engineType,
config,
logger.With(zap.String("engine", string(engineType))),
hypergraph,
clockStore,
shardsStore,
keyManager,
inclusionProver,
bulletproofProver,
verEnc,
decafConstructor,
compiler,
frameProver,
rewardIssuance,
proverRegistry,
blsConstructor,
mode,
)
if err != nil {
logger.Warn(
"failed to create engine",
zap.String("engine", string(engineType)),
zap.Error(err),
)
continue
}
engines = append(engines, engine)
}
return engines, nil
}