- state root before current block application
- fixed number of last block headers in descending order (first header is the newest one)
- fields of block header with the current spendingTransaction
, that can be predicted
by a miner before it's formation
- boxes, that corresponds to id's of spendingTransaction.dataInputs
- boxes, that corresponds to id's of spendingTransaction.inputs
- transaction that contains self
box
- index of the box in boxesToSpend
that contains the script we're evaluating
- prover-defined key-value pairs, that may be used inside a script
validataion parameters passed to Interpreter.verify to detect soft-fork conditions
hard limit on accumulated execution cost, if exceeded lead to CostLimitException to be thrown
initial value of execution cost already accumulated before Interpreter.verify is called
- boxes, that corresponds to id's of spendingTransaction.inputs
hard limit on accumulated execution cost, if exceeded lead to CostLimitException to be thrown
hard limit on accumulated execution cost, if exceeded lead to CostLimitException to be thrown
- boxes, that corresponds to id's of spendingTransaction.dataInputs
- prover-defined key-value pairs, that may be used inside a script
- prover-defined key-value pairs, that may be used inside a script
- fixed number of last block headers in descending order (first header is the newest one)
initial value of execution cost already accumulated before Interpreter.verify is called
initial value of execution cost already accumulated before Interpreter.verify is called
- state root before current block application
- fields of block header with the current spendingTransaction
, that can be predicted
by a miner before it's formation
- index of the box in boxesToSpend
that contains the script we're evaluating
- transaction that contains self
box
Creates special.sigma.Context
instance based on this context.
Creates special.sigma.Context
instance based on this context.
validataion parameters passed to Interpreter.verify to detect soft-fork conditions
validataion parameters passed to Interpreter.verify to detect soft-fork conditions
Creates a new instance with given bindings added to extension.
Creates a new instance with given bindings added to extension.
Creates a new instance with costLimit updated with given value.
Creates a new instance with costLimit updated with given value.
Creates a new instance with extension updated with given value.
Creates a new instance with extension updated with given value.
Creates a new instance with initCost updated with given value.
Creates a new instance with initCost updated with given value.
Creates a new instance with given validation settings.
Creates a new instance with given validation settings.
TODO lastBlockUtxoRoot should be calculated from headers if it is nonEmpty