computer

Documentation

Index

• Constants
• func GenerateExecutionReceipt(signer module.Local, receiptHasher hash.Hasher, result *flow.ExecutionResult, ...) (*flow.ExecutionReceipt, error)
• func SPOCKProve(sk crypto.PrivateKey, data []byte, kmac hash.Hasher) (crypto.Signature, error)
• func SystemChunkContext(vmCtx fvm.Context, logger zerolog.Logger) fvm.Context
• type BlockComputer
  • func NewBlockComputer(vm fvm.VM, vmCtx fvm.Context, metrics module.ExecutionMetrics, ...) (BlockComputer, error)
• type ViewCommitter

Constants

const (
	SystemChunkEventCollectionMaxSize = 256_000_000 // ~256MB
)

Functions

func GenerateExecutionReceipt

func GenerateExecutionReceipt(
	signer module.Local,
	receiptHasher hash.Hasher,
	result *flow.ExecutionResult,
	spockSignatures []crypto.Signature,
) (
	*flow.ExecutionReceipt,
	error,
)

func SPOCKProve

func SPOCKProve(
	sk crypto.PrivateKey,
	data []byte,
	kmac hash.Hasher,
) (
	crypto.Signature,
	error,
)

This is a temporary wrapper that simulates a call to SPoCK prove, required for the emulator build. The function is never called by the emulator although it is required for a successful build.

TODO(tarak): remove once the crypto module properly implements a non-relic version of SPOCKProve.

func SystemChunkContext

func SystemChunkContext(vmCtx fvm.Context, logger zerolog.Logger) fvm.Context

Types

type BlockComputer

type BlockComputer interface {
	ExecuteBlock(
		ctx context.Context,
		parentBlockExecutionResultID flow.Identifier,
		block *entity.ExecutableBlock,
		snapshot state.StorageSnapshot,
		derivedBlockData *derived.DerivedBlockData,
	) (
		*execution.ComputationResult,
		error,
	)
}

A BlockComputer executes the transactions in a block.

func NewBlockComputer

func NewBlockComputer(
	vm fvm.VM,
	vmCtx fvm.Context,
	metrics module.ExecutionMetrics,
	tracer module.Tracer,
	logger zerolog.Logger,
	committer ViewCommitter,
	signer module.Local,
	executionDataProvider *provider.Provider,
	colResCons []result.ExecutedCollectionConsumer,
) (BlockComputer, error)

NewBlockComputer creates a new block executor.

type ViewCommitter

type ViewCommitter interface {
	// CommitView commits a views' register delta and collects proofs
	CommitView(
		*state.ExecutionSnapshot,
		flow.StateCommitment,
	) (
		flow.StateCommitment,
		[]byte,
		*ledger.TrieUpdate,
		error,
	)
}

ViewCommitter commits views's deltas to the ledger and collects the proofs