Common use of Correctness Clause in Contracts

Correctness. At the conclusion of the protocol, both parties agree on the output. Formally,

Appears in 2 contracts

Sources: Quantum Cryptography, Research Paper