Files

79 lines
3.7 KiB
Go

// Copyright (C) 2019-2025, Lux Industries, Inc. All rights reserved.
// See the file LICENSE for licensing terms.
// Defines the stateless interface for unmarshalling an arbitrary config of a precompile
package precompileconfig
import (
consensusctx "github.com/luxfi/consensus/context"
"github.com/luxfi/consensus/engine/chain/block"
"github.com/luxfi/geth/common"
"github.com/luxfi/warp"
)
// StatefulPrecompileConfig defines the interface for a stateful precompile to
// be enabled via a network upgrade.
type Config interface {
// Key returns the unique key for the stateful precompile.
Key() string
// Timestamp returns the timestamp at which this stateful precompile should be enabled.
// 1) 0 indicates that the precompile should be enabled from genesis.
// 2) n indicates that the precompile should be enabled in the first block with timestamp >= [n].
// 3) nil indicates that the precompile is never enabled.
Timestamp() *uint64
// IsDisabled returns true if this network upgrade should disable the precompile.
IsDisabled() bool
// Equal returns true if the provided argument configures the same precompile with the same parameters.
Equal(Config) bool
// Verify is called on startup and an error is treated as fatal. Configure can assume the Config has passed verification.
Verify(ChainConfig) error
}
// PredicateContext is the context passed in to the Predicater interface to verify
// a precompile predicate within a specific ProposerVM wrapper.
type PredicateContext struct {
ConsensusCtx *consensusctx.Context
// ProposerVMBlockCtx defines the ProposerVM context the predicate is verified within
ProposerVMBlockCtx *block.Context
}
// Predicater is an optional interface for StatefulPrecompileContracts to implement.
// If implemented, the predicate will be called for each predicate included in the
// access list of a transaction.
// PredicateGas will be called while calculating the IntrinsicGas of a transaction
// causing it to be dropped if the total gas goes above the tx gas limit.
// VerifyPredicate is used to populate a bit set of predicates verified prior to
// block execution, which can be accessed via the StateDB during execution.
// The bitset is stored in the block, so that historical blocks can be re-verified
// without calling VerifyPredicate.
type Predicater interface {
PredicateGas(predicateBytes []byte) (uint64, error)
VerifyPredicate(predicateContext *PredicateContext, predicateBytes []byte) error
}
type WarpMessageWriter interface {
AddMessage(unsignedMessage *warp.UnsignedMessage) error
}
// AcceptContext defines the context passed in to a precompileconfig's Accepter
type AcceptContext struct {
ConsensusCtx *consensusctx.Context
Warp WarpMessageWriter
}
// Accepter is an optional interface for StatefulPrecompiledContracts to implement.
// If implemented, Accept will be called for every log with the address of the precompile when the block is accepted.
// WARNING: If you are implementing a custom precompile, beware that coreth
// will not maintain backwards compatibility of this interface and your code should not
// rely on this. Designed for use only by precompiles that ship with coreth.
type Accepter interface {
Accept(acceptCtx *AcceptContext, blockHash common.Hash, blockNumber uint64, txHash common.Hash, logIndex int, topics []common.Hash, logData []byte) error
}
// ChainConfig is the chain-configuration view available to stateful
// precompiles. Under activate-all-implicitly there are no per-upgrade gates
// left to ask about, so the interface is currently empty. A precompile that
// needs to discriminate runtime behaviour should declare its own typed input,
// not piggy-back on the chain config.
type ChainConfig interface{}