Result of ErgoTree reduction procedure (see reduceToCrypto
).
Result of ErgoTree reduction procedure (see reduceToCrypto
).
The first component is the value of SigmaProp type which represents a statement
verifiable via sigma protocol.
The second component is the estimated cost of contract execution
Result of Box.ergoTree verification procedure (see verify
method).
Result of Box.ergoTree verification procedure (see verify
method).
The first component is the value of Boolean type which represents a result of
SigmaProp condition verification via sigma protocol.
The second component is the estimated cost of contract execution.