Write, autoreview, editor, reviewer
3,129
edits
Prepare-and-Send Verifiable Quantum Fully Homomorphic Encryption: Difference between revisions
Jump to navigation
Jump to search
Prepare-and-Send Verifiable Quantum Fully Homomorphic Encryption (edit)
Revision as of 13:24, 26 May 2019
, 26 May 2019no edit summary
No edit summary |
No edit summary |
||
| Line 47: | Line 47: | ||
** $\pi_i \xleftarrow[r]{r} S_{3m}$ | ** $\pi_i \xleftarrow[r]{r} S_{3m}$ | ||
** $(g_i, \gamma_i^{in}, \gamma_i^{mid}, \gamma_i^{out}) \xleftarrow[]{} TrapTP.GadgetGen(sk_{i-1})$ | ** $(g_i, \gamma_i^{in}, \gamma_i^{mid}, \gamma_i^{out}) \xleftarrow[]{} TrapTP.GadgetGen(sk_{i-1})$ | ||
** $\Gamma_i \xleftarrow[]{} MAC.Sign(HE.ENC_{pk_i}(g_i, \pi_i)) \otimes TrapTP.ENC((\pi_i, k, sk_0, ..., sk_t, pk_i), \gamma^{mid}_i \otimes TrapTP.Enc(sk, \gamma^{in}_i, \gamma^{out}_i$ | |||
* $keys \xleftarrow[]{} MAC.Sign(evk_0, ..., evk_t, pk_0, ..., pk_t, HE.Enc_{pk_0}(\pi))$ | * $keys \xleftarrow[]{} MAC.Sign(evk_0, ..., evk_t, pk_0, ..., pk_t, HE.Enc_{pk_0}(\pi))$ | ||
* $\rho_{evk} \xleftarrow[]{} (keys, \mu^{P}_0, ..., \mu^{P}_p, \mu^{T}_0, ..., \mu^{T}_t, \mu^{H}_0, ..., \mu^{H}_h, \Gamma_1, ..., \Gamma_t)$ | * $\rho_{evk} \xleftarrow[]{} (keys, \mu^{P}_0, ..., \mu^{P}_p, \mu^{T}_0, ..., \mu^{T}_t, \mu^{H}_0, ..., \mu^{H}_h, \Gamma_1, ..., \Gamma_t)$ | ||