Write, autoreview, editor, reviewer
3,129
edits
Line 102: | Line 102: | ||
* return <math>\tilde{\sigma}</math> | * return <math>\tilde{\sigma}</math> | ||
'''Stage | </br> | ||
'''Stage 2''': Evalutation </br> | |||
</br> | </br> | ||
'''Function 4''': TrapTP.EvalMeasure(<math>\tilde{\sigma}, \tilde{x}, \tilde{z}, \tilde{\pi}, pk, evk</math>) | '''Function 4''': TrapTP.EvalMeasure(<math>\tilde{\sigma}, \tilde{x}, \tilde{z}, \tilde{\pi}, pk, evk</math>) | ||
Line 154: | Line 156: | ||
'''Stage 3''': Verification Decryption </br> | '''Stage 3''': Verification Decryption </br> | ||
</br> | </br> | ||
'''Function 10''': TrapTP.VerDec(<math>sk, \tilde{\sigma}, \tilde{x[i]}_i, \tilde{z[i]}_i, log, c</math>) | '''Function 10''': TrapTP.VerDec(<math>sk, \tilde{\sigma}, \tilde{x[i]}_i, \tilde{z[i]}_i, log, c</math>) |