Proof of correctness. The conditions for the correctness of the protocol given in Protocol 3.1 are stated as Lemma 10. To prove that, first we show the following supporting lemmas.
Appears in 2 contracts
Sources: Research Paper, Research Paper
Proof of correctness. The conditions for the correctness of the protocol given in Protocol 3.1 are stated as Lemma 10. To prove that, first we show the following supporting lemmas.
Appears in 2 contracts
Sources: Research Paper, Research Paper