org.ergoplatform.dsl.ContractSpec
Verifies the proof generated by the ProvingParty (using prove method) for the given inBox.
prove
inBox