Prepare-and-Send Verifiable Quantum Fully Homomorphic Encryption: Difference between revisions

Jump to navigation Jump to search
Line 102: Line 102:
* return <math>\tilde{\sigma}</math>
* return <math>\tilde{\sigma}</math>


'''Stage 3''': Evalutation </br>
</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>)
Write, autoreview, editor, reviewer
3,129

edits

Navigation menu