Write, autoreview, editor, reviewer
3,129
edits
Prepare-and-Send Verifiable Quantum Fully Homomorphic Encryption: Difference between revisions
Prepare-and-Send Verifiable Quantum Fully Homomorphic Encryption (edit)
Revision as of 08:38, 10 June 2019
, 10 June 2019→Pseudo Code
No edit summary |
|||
| Line 67: | Line 67: | ||
'''Stage 1''': Key generation and encryption </br> | '''Stage 1''': Key generation and encryption </br> | ||
Main function: TrapTP.KeyGen | |||
'''Function 1''': TrapTP.KeyGen(<math>1^\kappa, 1^t, 1^p, 1^h</math>)</br> | '''Function 1''': TrapTP.KeyGen(<math>1^\kappa, 1^t, 1^p, 1^h</math>)</br> | ||
| Line 101: | Line 102: | ||
* return <math>\tilde{\sigma}</math> | * return <math>\tilde{\sigma}</math> | ||
'''Stage 32''': 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 150: | Line 152: | ||
* return <math>(\tilde{\gamma_i^{out}}, \tilde{x}, \tilde{z}, log_1, log_2, log_3)</math> | * return <math>(\tilde{\gamma_i^{out}}, \tilde{x}, \tilde{z}, log_1, log_2, log_3)</math> | ||
'''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>) | ||