Logo DarkLogo Light
DocsDiscord ↗
GitHubGitHub
𝕏
  • Introduction
  • What is Protokit?
  • Architecture
    • Runtime
    • Protocol
    • Sequencer
  • FAQ
  • Developer Documentation
  • Provable code
  • Quickstart
    • App-chain's runtime
    • Configuration
    • Implementing runtime modules
    • Client interaction
    • User interface
  • Runtime
    • State
    • Methods
    • Network & Transaction APIs
    • Composability
    • Testing
    • Runtime Events
    • Customizing the protocol
    • State proofs
    • Settlement
    • Bridging basics
    • Deposits
    • Withdrawals
    • Databases
    • Mempool
    • Monitoring
    • Explorer
    • Remote caching
    • About Infrastructure
    • Math
    • Transaction Fees
    • Sparse Merkle Trees
    • State & Storage
  • Tutorials
  • Contributor Documentation
    • Worker Architecture
  • Graphql API docs ↗
  • Technical specs ↗
      • Overview
        • AdvancedNodeStatusResolver
        • BatchModel
        • BatchStorageResolver
        • BlockModel
        • BlockResolver
        • GraphqlModule
        • GraphqlSequencerModule
        • GraphqlServer
        • LinkedLeafDTO
        • LinkedMerkleWitnessDTO
        • LinkedMerkleWitnessResolver
        • LinkedTreeWitnessDTO
        • MempoolResolver
        • MerkleWitnessDTO
        • MerkleWitnessResolver
        • ModularizedInstrumentation
        • NodeInformationObject
        • NodeStatusObject
        • NodeStatusResolver
        • NodeStatusService
        • OpenTelemetryServer
        • OpenTelemetryTracer
        • ProcessInformationObject
        • QueryGraphqlModule
        • ResolverFactoryGraphqlModule
        • SchemaGeneratingGraphqlModule
        • Signature
        • TransactionObject
        • VanillaGraphqlModules
        • graphqlModule
      • Globals
        • GraphqlServerOptions
        • NodeInformation
        • ProcessInformation
        • GraphqlModulesRecord
        • GraphqlSequencerModuleConfig
        • OpenTelemetryServerConfig
        • VanillaGraphqlModulesRecord
      • Overview
      • Globals
      • Overview
        • AtomicCompileHelper
        • CacheManifest
        • ChildVerificationKeyService
        • CompileRegistry
        • ConfigurableModule
        • EventEmitter
        • EventEmitterProxy
        • InMemoryLinkedLeafStore
        • InMemoryMerkleTreeStorage
        • LinkedLeafStruct
        • LinkedMerkleTree
        • LinkedMerkleTreeReadWitness
        • LinkedMerkleTreeWitness
        • MockAsyncMerkleTreeStore
        • ModuleContainer
        • O1PublicKeyOption
        • ProvableMethodExecutionContext
        • ProvableMethodExecutionResult
        • ProxyCache
        • RemoteCacheCompiler
        • ReplayingSingleUseEventEmitter
        • RollupMerkleTree
        • RollupMerkleTreeWitness
        • StructTemplate
        • ZkProgrammable
        • assertDefined
        • assertSizeOneOrTwo
        • assertValidTextLogLevel
        • batch
        • compileToMockable
        • createLinkedMerkleTree
        • createMerkleTree
        • createReference
        • dependencyFactory
        • dummyValue
        • expectDefined
        • filterNonNull
        • filterNonUndefined
        • getInjectAliases
        • hashWithPrefix
        • implement
        • injectAlias
        • isFull
        • isGeneratedProvider
        • isSubtypeOfName
        • mapSequential
        • maybeSwap
        • noop
        • padArray
        • prefixToField
        • provableMethod
        • range
        • reduceSequential
        • requireTrue
        • safeParseJson
        • sleep
        • splitArray
        • takeFirst
        • toProver
        • tryNTimes
        • unzip
        • verifyToMockable
        • yieldSequential
      • Globals
        • AbstractLinkedMerkleTree
        • AbstractLinkedMerkleTreeClass
        • AbstractMerkleTree
        • AbstractMerkleTreeClass
        • AbstractMerkleWitness
        • AreProofsEnabled
        • BaseModuleInstanceType
        • ChildContainerCreatable
        • ChildContainerProvider
        • CompilableModule
        • Compile
        • CompileArtifact
        • Configurable
        • DependencyFactory
        • EventEmittingComponent
        • EventEmittingContainer
        • LinkedLeafStore
        • MerkleTreeStore
        • ModuleContainerLike
        • ModulesRecord
        • PlainZkProgram
        • RemoteCache
        • Startable
        • StaticConfigurableModule
        • ToFieldable
        • ToFieldableStatic
        • ToJSONableStatic
        • Verify
        • WithZkProgrammable
          • BigIntMath
            • max
          • LinkedMerkleTreeCircuitOps
            • ComputeRootInstruction
            • applyTreeWrite
        • ArgumentTypes
        • ArrayElement
        • ArtifactRecord
        • BaseModuleType
        • CapitalizeAny
        • CastToEventsRecord
        • CombinedModuleContainerConfig
        • CompileTarget
        • ContainerEvents
        • DecoratedMethod
        • DependenciesFromModules
        • DependencyDeclaration
        • DependencyRecord
        • EventListenable
        • EventsRecord
        • FilterNeverValues
        • FlattenObject
        • FlattenedContainerEvents
        • GeneratedProvider
        • InferDependencies
        • InferProofBase
        • LinkedLeaf
        • MapDependencyRecordToTypes
        • MergeObjects
        • ModuleEvents
        • ModulesConfig
        • NoConfig
        • NonMethods
        • Nullable
        • O1JSPrimitive
        • OmitKeys
        • OverwriteObjectType
        • Preset
        • Presets
        • ProofTypes
        • RecursivePartial
        • Reference
        • ResolvableModules
        • StoredLeaf
        • StringKeyOf
        • TreeWrite
        • TypeFromDependencyDeclaration
        • TypedClass
        • UnTypedClass
        • UnionToIntersection
        • EMPTY_PUBLICKEY
        • EMPTY_PUBLICKEY_X
        • MAX_FIELD
        • MOCK_PROOF
        • MOCK_VERIFICATION_KEY
        • ModuleContainerErrors
        • injectAliasMetadataKey
        • log
      • Overview
        • BullQueue
        • Environment
        • S3RemoteCache
      • Globals
        • BullQueueConfig
        • S3Config
        • StartableEnvironment
      • Overview
        • GeneratedResolverFactoryGraphqlModule
        • IndexBatchTask
        • IndexBlockTask
        • IndexBlockTaskParametersSerializer
        • IndexPendingTxTask
        • IndexSettlementTask
        • Indexer
        • IndexerHeightInstrumentation
        • IndexerModule
        • IndexerNotifier
        • ValidateTakeArg
        • cleanResolvers
      • Globals
        • IndexBlockTaskParameters
        • IndexBlockResult
        • IndexerModulesRecord
        • NotifierMandatorySequencerModules
      • Overview
        • Balance
        • Balances
        • BalancesKey
        • FeeTree
        • InMemorySequencerModules
        • MethodFeeConfigData
        • RuntimeFeeAnalyzerService
        • SimpleSequencerModules
        • TokenId
        • TransactionFeeHook
        • UInt
        • UInt112
        • UInt224
        • UInt32
        • UInt64
        • VanillaProtocolModules
        • VanillaRuntimeModules
        • Withdrawal
        • WithdrawalMessageProcessor
        • Withdrawals
      • Globals
        • BalancesEvents
        • FeeIndexes
        • FeeTreeValues
        • MethodFeeConfig
        • RuntimeFeeAnalyzerServiceConfig
        • TransactionFeeHookConfig
        • AdditionalSequencerModules
        • InMemorySequencerModulesRecord
        • MinimalBalances
        • MinimumAdditionalSequencerModules
        • SimpleSequencerModulesRecord
        • SimpleSequencerWorkerModulesRecord
        • UIntConstructor
        • VanillaProtocolModulesRecord
        • VanillaRuntimeModulesRecord
        • errors
        • treeFeeHeight
      • Overview
        • InMemoryStateService
        • MethodIdFactory
        • MethodIdResolver
        • MethodParameterEncoder
        • OutgoingMessages
        • Runtime
        • RuntimeEvents
        • RuntimeModule
        • RuntimeZkProgrammable
        • checkArgsProvable
        • combineMethodName
        • getAllPropertyNames
        • isFlexibleProvablePure
        • isRuntimeMethod
        • outgoingMessage
        • runtimeMessage
        • runtimeMethod
        • runtimeModule
        • toEventsHash
        • toStateTransitionsHash
        • toWrappedMethod
      • Globals
        • RuntimeEnvironment
        • AsyncWrappedMethod
        • OutgoingMessagesRecord
        • RuntimeMethodInvocationType
        • RuntimeModulesRecord
        • WrappedMethod
        • runtimeMethodMetadataKey
        • runtimeMethodNamesMetadataKey
        • runtimeMethodTypeMetadataKey
      • Overview
        • BatchMapper
        • BlockMapper
        • BlockResultMapper
        • FieldMapper
        • PrismaBatchStore
        • PrismaBlockStorage
        • PrismaDatabaseConnection
        • PrismaLinkedLeafStore
        • PrismaMessageStorage
        • PrismaRedisDatabase
        • PrismaSettlementStorage
        • PrismaStateService
        • PrismaTransactionStorage
        • RedisConnectionModule
        • RedisMerkleTreeStore
        • SettlementMapper
        • StateTransitionArrayMapper
        • StateTransitionBatchArrayMapper
        • StateTransitionMapper
        • TransactionExecutionResultMapper
        • TransactionMapper
      • Globals
        • PrismaConnection
        • PrismaDatabaseConfig
        • PrismaRedisCombinedConfig
        • RedisConnection
        • RedisConnectionConfig
        • RedisTransaction
        • Decimal
      • Overview
        • BlockFetching
        • Database
        • DatabasePruneModule
        • HandlersExecutor
        • Processor
        • ProcessorModule
        • ResolverFactoryGraphqlModule
        • TimedProcessorTrigger
        • ValidateTakeArg
        • cleanResolvers
      • Globals
        • BlockFetchingConfig
        • BlockResponse
        • DatabasePruneModuleConfig
        • HandlersExecutorConfig
        • HandlersRecord
        • TimedProcessorTriggerConfig
        • BasePrismaClient
        • BlockHandler
        • ClientTransaction
        • ProcessorModulesRecord
      • Overview
        • AccountState
        • AccountStateHook
        • AppliedBatchHashList
        • AppliedStateTransitionBatch
        • AppliedStateTransitionBatchState
        • AuthorizedTransaction
        • BlockArguments
        • BlockArgumentsBatch
        • BlockHashMerkleTree
        • BlockHashMerkleTreeWitness
        • BlockHashTreeEntry
        • BlockHeightHook
        • BlockProver
        • BlockProverProgrammable
        • BlockProverPublicInput
        • BlockProverPublicOutput
        • BlockProverState
        • BlockProverStateInput
        • BridgeContract
        • BridgeContractBase
        • BridgeContractProtocolModule
        • BridgingSettlementContract
        • BridgingSettlementContractBase
        • BridgingSettlementContractModule
        • Bundle
        • BundleHashList
        • BundlePreimage
        • ContractArgsRegistry
        • ContractModule
        • CurrentBlock
        • DefaultProvableHashList
        • Deposit
        • DispatchContractProtocolModule
        • DispatchSmartContract
        • DispatchSmartContractBase
        • DynamicBlockProof
        • FieldOption
        • FieldTransition
        • LastStateRootBlockHook
        • MerkleWitnessBatch
        • MethodPublicOutput
        • MethodVKConfigData
        • MinaActions
        • MinaActionsHashList
        • MinaEvents
        • MinaPrefixedProvableHashList
        • NetworkState
        • NetworkStateSettlementModule
        • Option
        • OptionBase
        • OutgoingMessageArgument
        • OutgoingMessageArgumentBatch
        • OutgoingMessageKey
        • OutgoingMessageKeyStruct
        • OutgoingMessageProcessor
        • Path
        • PrefixedProvableHashList
        • PreviousBlock
        • Protocol
        • ProtocolModule
        • ProvableBlockHook
        • ProvableHashList
        • ProvableOption
        • ProvableReductionHashList
        • ProvableSettlementHook
        • ProvableStateTransition
        • ProvableStateTransitionEntry
        • ProvableStateTransitionType
        • ProvableTransactionHook
        • PublicKeyOption
        • RuntimeMethodExecutionContext
        • RuntimeMethodExecutionDataStruct
        • RuntimeProvableMethodExecutionResult
        • RuntimeTransaction
        • RuntimeVerificationKeyAttestation
        • RuntimeVerificationKeyRootService
        • SettlementBase
        • SettlementContract
        • SettlementContractModule
        • SettlementSmartContractModule
        • State
        • StateMap
        • StateServiceProvider
        • StateTransition
        • StateTransitionProvableBatch
        • StateTransitionProver
        • StateTransitionProverProgrammable
        • StateTransitionProverPublicInput
        • StateTransitionProverPublicOutput
        • StateTransitionReductionList
        • StateTransitionType
        • TokenBridgeAttestation
        • TokenBridgeDeploymentAuth
        • TokenBridgeEntry
        • TokenBridgeTree
        • TokenBridgeTreeAddition
        • TokenBridgeTreeWitness
        • TokenMapping
        • TransactionHashList
        • TransactionProver
        • TransactionProverArguments
        • TransactionProverExecutionData
        • TransactionProverPublicInput
        • TransactionProverPublicOutput
        • TransactionProverState
        • TransactionProverTransactionArguments
        • TransactionProverZkProgrammable
        • TransitionMethodExecutionResult
        • UInt64Option
        • UpdateMessagesHashAuth
        • VKTree
        • VKTreeWitness
        • WithPath
        • WithStateServiceProvider
        • WitnessedRoot
        • WitnessedRootHashList
        • WitnessedRootWitness
        • addTransactionToBundle
        • assert
        • assertEqualsIf
        • constructBatch
        • createMessageStruct
        • emptyActions
        • emptyEvents
        • executeHooks
        • notInCircuit
        • outgoingMessageProcessor
        • reduceStateTransitions
        • singleFieldToString
        • state
        • stringToField
        • toAfterBlockHookArgument
        • toAfterTransactionHookArgument
        • toBeforeBlockHookArgument
        • toBeforeTransactionHookArgument
        • toProvableHookTransactionState
      • Globals
        • AfterBlockHookArguments
        • AfterTransactionHookArguments
        • BeforeBlockHookArguments
        • BeforeTransactionHookArguments
        • BlockProvable
        • BlockProverType
        • BridgeContractArgs
        • BridgingSettlementContractArgs
        • BridgingSettlementContractType
        • ContractAuthorization
        • DispatchContractArgs
        • DispatchContractType
        • MinimalVKTreeService
        • ProtocolEnvironment
        • RuntimeLike
        • RuntimeMethodExecutionData
        • SettlementContractArgs
        • SettlementContractType
        • SimpleAsyncStateService
        • StateTransitionProvable
        • StateTransitionProverType
        • StatefulModule
        • StaticInitializationContract
        • TransactionProvable
        • TransactionProverType
        • TransitionMethodExecutionContext
        • AccountStateHookConfig
        • BlockProof
        • BridgeContractConfig
        • BridgeContractType
        • BridgingSettlementModulesRecord
        • DispatchContractConfig
        • DynamicRuntimeProof
        • DynamicSTProof
        • DynamicTransactionProof
        • InputBlockProof
        • MandatoryProtocolModulesRecord
        • MandatorySettlementModulesRecord
        • MessageProcessorArgs
        • NaiveObjectSchema
        • NonMethods
        • OutgoingMessage
        • OutgoingMessageEvent
        • ProtocolModulesRecord
        • ProvableHashListData
        • ProvableHookBlockState
        • ProvableHookTransactionState
        • ReturnType
        • RuntimeMethodIdMapping
        • RuntimeMethodInvocationType
        • SettlementContractConfig
        • SettlementHookInputs
        • SettlementModulesRecord
        • SettlementStateRecord
        • SmartContractClassFromInterface
        • StateTransitionProof
        • Subclass
        • TransactionProof
        • TransactionResult
        • VerifiedTransition
        • ACTIONS_EMPTY_HASH
        • BATCH_SIGNATURE_PREFIX
        • BlockProverStateCommitments
        • BridgeContractArgsSchema
        • BridgingSettlementContractArgsSchema
        • DEFAULT_ESCAPE_HATCH
        • DispatchContractArgsSchema
        • MINA_PREFIXES
        • MINA_SALTS
        • OUTGOING_MESSAGE_BATCH_SIZE
        • PROTOKIT_FIELD_PREFIXES
        • PROTOKIT_PREFIXES
        • ProtocolConstants
        • SettlementContractArgsSchema
        • TransactionProverStateCommitments
        • treeFeeHeight
      • Overview
        • AppChainTransaction
        • AuroSigner
        • BlockStorageNetworkStateModule
        • ClientAppChain
        • GraphqlBlockExplorerTransportModule
        • GraphqlClient
        • GraphqlNetworkStateTransportModule
        • GraphqlQueryTransportModule
        • GraphqlTransactionSender
        • InMemoryBlockExplorer
        • InMemorySigner
        • InMemoryTransactionSender
        • StateServiceQueryModule
        • TestingAppChain
      • Globals
        • GraphqlClientConfig
        • InMemorySignerConfig
        • Signer
        • TransactionSender
        • InferModules
        • PartialVanillaRuntimeModulesRecord
        • randomFeeRecipient
      • Overview
        • AbstractTaskQueue
        • AppChain
        • AppChainModule
        • AreProofsEnabledFactory
        • ArtifactRecordSerializer
        • BatchFlow
        • BatchProducerModule
        • BatchTracingService
        • BlockExplorerQuery
        • BlockFlow
        • BlockProducerModule
        • BlockProductionInstrumentation
        • BlockProductionService
        • BlockProofSerializer
        • BlockProverCompileTask
        • BlockReductionTask
        • BlockResultService
        • BlockTracingService
        • BlockTriggerBase
        • BridgingModule
        • CachedLinkedLeafStore
        • CachedMerkleTreeStore
        • CachedStateService
        • CircuitAnalysisModule
        • CircuitCompileTask
        • CloseWorkerError
        • CompressedSignature
        • ConsoleTracer
        • ConsoleTracingFactory
        • ConstantFeeStrategy
        • DecodedStateSerializer
        • DefaultMempoolSorting
        • DefaultOutgoingMessageAdapter
        • DummyStateService
        • DynamicProofTaskSerializer
        • Flow
        • FlowCreator
        • FlowTaskWorker
        • FungibleTokenAdminContractModule
        • FungibleTokenContractModule
        • InMemoryAreProofsEnabled
        • InMemoryAsyncMerkleTreeStore
        • InMemoryBatchStorage
        • InMemoryBlockStorage
        • InMemoryDatabase
        • InMemoryMessageStorage
        • InMemoryMinaSigner
        • InMemorySettlementStorage
        • InMemoryTransactionStorage
        • LightnetUtils
        • ListenerList
        • LocalBlockchainUtils
        • LocalSequencerCoreModule
        • LocalTaskQueue
        • ManualBlockTrigger
        • MempoolInstrumentation
        • MinaBaseLayer
        • MinaIncomingMessageAdapter
        • MinaSimulationService
        • MinaTransactionSender
        • MinaTransactionSimulator
        • NetworkStateQuery
        • NewBlockProvingParametersSerializer
        • NewBlockTask
        • NoopBaseLayer
        • PairProofTaskSerializer
        • PendingTransaction
        • PreFilledStateService
        • PrivateMempool
        • ProofTaskSerializer
        • ProtocolCompileTask
        • ProvenSettlementPermissions
        • PushInstrumentation
        • ReductionTaskFlow
        • RemoteNetworkUtils
        • RuntimeCompileTask
        • RuntimeProofParametersSerializer
        • RuntimeProvingTask
        • RuntimeVerificationKeyAttestationSerializer
        • STProverCompileTask
        • Sequencer
        • SequencerCoreModule
        • SequencerIdProvider
        • SequencerModule
        • SequencerStartupModule
        • SettlementCompileTask
        • SettlementModule
        • SettlementProvingTask
        • SettlementStartupModule
        • SettlementUtils
        • SharedDependencyFactory
        • SignedSettlementPermissions
        • SomeProofSubclass
        • StateTransitionFlow
        • StateTransitionParametersSerializer
        • StateTransitionReductionTask
        • StateTransitionTask
        • StateTransitionTracingService
        • SyncCachedMerkleTreeStore
        • TaskWorkerModule
        • TimedBlockTrigger
        • TransactionExecutionService
        • TransactionFlow
        • TransactionProverCompileTask
        • TransactionProvingTask
        • TransactionProvingTaskParameterSerializer
        • TransactionReductionTask
        • TransactionTracingService
        • UnsignedTransaction
        • UntypedOption
        • UntypedStateTransition
        • VanillaTaskWorkerModules
        • VerificationKeySerializer
        • WorkerModule
        • WorkerReadyModule
        • WorkerRegistrationTask
        • InclusionStatus
        • closeable
        • collectStartingState
        • distinct
        • distinctByPredicate
        • distinctByString
        • ensureNotBusy
        • executeWithExecutionContext
        • executeWithPrefilledStateService
        • instrumentation
        • sequencerModule
        • startable
        • task
        • toStateTransitionHashNonProvable
        • trace
      • Globals
        • AsyncLinkedLeafStore
        • AsyncLinkedMerkleTreeDatabase
        • AsyncMerkleTreeStore
        • AsyncStateService
        • BaseLayer
        • BaseLayerContractPermissions
        • BaseLayerDependencyRecord
        • Batch
        • BatchStorage
        • Block
        • BlockConfig
        • BlockExplorerTransportModule
        • BlockQueue
        • BlockResult
        • BlockStorage
        • BlockTrigger
        • BlockWithMaybeResult
        • BlockWithResult
        • ClientBlock
        • ClientTransaction
        • Closeable
        • Database
        • DatabaseDependencyFactory
        • InMemorySignerConfig
        • IncomingMessageAdapter
        • InstantiatedQueue
        • InstrumentationModule
        • LocalSequencerCoreConfig
        • LocalSequencerCoreDependencies
        • LocalTaskQueueConfig
        • Mempool
        • MempoolSorting
        • MerkleTreeNode
        • MerkleTreeNodeQuery
        • MessageStorage
        • MinaBaseLayerConfig
        • MinaNetworkUtils
        • MinaSigner
        • NetworkStateTransportModule
        • NewBlockProverParameters
        • PairingDerivedInput
        • PollInstrumentation
        • Prunable
        • QueryGetterState
        • QueryGetterStateMap
        • QueryTransportModule
        • RuntimeProofParameters
        • Sequenceable
        • SequencerCoreConfig
        • SequencerCoreDependencies
        • SettleableBatch
        • Settlement
        • SettlementStorage
        • SharedDependencyRecord
        • SignTxOptions
        • StartableModule
        • StateEntry
        • StateTransitionBatch
        • StateTransitionProofParameters
        • StorageDependencyMinimumDependencies
        • Task
        • TaskPayload
        • TaskQueue
        • TaskSerializer
        • TimedBlockTriggerConfig
        • Tracer
        • TracingStateTransitionBatch
        • TransactionExecutionResult
        • TransactionStorage
        • TxEvents
          • ArchiveNode
            • waitOnSync
        • AllTaskWorkerModules
        • AppChainModulesRecord
        • BatchTrace
        • BlockEvents
        • BlockTrace
        • BlockTracingState
        • BlockTrackers
        • BridgingModuleConfig
        • ChainStateTaskArgs
        • CompilerTaskParams
        • ConstantFeeStrategyConfig
        • JSONEncodableState
        • LightnetMinaBaseLayerConfig
        • LocalMinaBaseLayerConfig
        • MapStateMapToQuery
        • MapStateToQuery
        • MempoolEvents
        • MinimalAppChainDefinition
        • ModuleQuery
        • NewBlockArguments
        • NewBlockProvingParameters
        • PairTuple
        • PickByType
        • PickStateMapProperties
        • PickStateProperties
        • Query
        • RemoteMinaBaseLayerConfig
        • RuntimeContextReducedExecutionResult
        • SequencerModulesRecord
        • SerializedArtifactRecord
        • SettlementModuleConfig
        • SettlementModuleEvents
        • SettlementTokenConfig
        • SomeRuntimeMethod
        • StateRecord
        • TaskStateRecord
        • TaskWorkerModulesRecord
        • TaskWorkerModulesWithoutSettlement
        • TransactionExecutionResultStatus
        • TransactionProverTaskParametersJSON
        • TransactionProverTransactionArgumentsJSON
        • TransactionProvingTaskParametersJSON
        • TransactionTaskArgs
        • TransactionTaskResult
        • TransactionTrace
        • TransactionTracingState
        • TxSendResult
        • TypedClass
        • UnsignedTransactionBody
        • VerificationKeyJSON
        • WorkerStartupPayload
        • Block
        • BlockTrackers
        • BlockWithResult
        • JSONTaskSerializer
        • QueryBuilderFactory
      • Overview
        • DefaultConfigs
        • DefaultModules
        • TestBalances
        • buildCustomTokenConfig
        • buildSettlementTokenConfig
        • getConfigs
        • resolveEnv
        • startServer
      • Globals
        • CoreEnv
        • DatabaseEnv
        • Environment
        • GraphqlServerEnv
        • IndexerEnv
        • MetricsEnv
        • ProcessorEnv
        • RedisEnv
        • RedisTaskQueueEnv
        • SettlementEnv
        • developmentConfig
        • inmemoryConfig
        • sovereignConfig

On This Page

  • Defined in
Edit this page
DocsReference@proto-kit/protocolType AliasesBlockProof

@proto-kit/protocol • Docs

Documentation / @proto-kit/protocol / BlockProof

Type Alias: BlockProof

BlockProof: Proof<BlockProverPublicInput, BlockProverPublicOutput>

Defined in

packages/protocol/src/prover/block/BlockProvable.ts:372

AccountStateHookConfigBridgeContractConfig
Logo symbol

Community

GitHubX.comDiscord

Resources

RepositoryStarterkit Repository

© Protokit 2026

Built by @rpanic & @maht0rz

Website by Palladians