Write, autoreview, editor, reviewer
3,129
edits
Line 57: | Line 57: | ||
*The functions <math>f_0, f_1</math> used must be trapdoor claw-free(TCF) such that one it is not possible to find a triple <math>(\mu_0,\mu_1,y)</math> such that <math>f_0(\mu_0)=f_1(\mu_1)=y</math> | *The functions <math>f_0, f_1</math> used must be trapdoor claw-free(TCF) such that one it is not possible to find a triple <math>(\mu_0,\mu_1,y)</math> such that <math>f_0(\mu_0)=f_1(\mu_1)=y</math> | ||
== | ==Protocol Description== | ||
*Boxed texts are not part of the code but contain proofs used in various steps, illustrated for a better understanding of the protocol. | *Boxed texts are not part of the code but contain proofs used in various steps, illustrated for a better understanding of the protocol. | ||
==='''Stage 1''' Client’s Preparation=== | ==='''Stage 1''' Client’s Preparation=== |