org.ergoplatform.dsl.ContractSpec
Generate proof for the given inBox
.
Generate proof for the given inBox
. The input box has attached guarding proposition,
which is executed in the Context, specifically created for inBox
.
Public key of this party represented as sigma protocol proposition.
Public key of this party represented as sigma protocol proposition.
Thus, it can be used in logical &&
, ||
and atLeast
propositions.
For example (HEIGHT > 10 && bob.pubKey) || (HEIGHT <= 10 && alice.pubKey).
Represents a participant of blockchain scenario (protocol). Participants are identified by
pubKey
and may have human readable names. This type of participant can generate proof for input boxes.