sigmastate.interpreter
A reducer which represents precompiled script reduction function. The function takes script execution context and produces the ReductionResult, which contains both sigma proposition and the approximation of the cost taken by the reduction.
Reduce this pre-compiled script in the given context.
Reduce this pre-compiled script in the given context. This is equivalent to reduceToCrypto, except that graph construction is completely avoided.
A reducer which represents precompiled script reduction function. The function takes script execution context and produces the ReductionResult, which contains both sigma proposition and the approximation of the cost taken by the reduction.