A New Approach to Post-Quantum Non-Malleability

07/12/2022
by   Xiao Liang, et al.
0

We provide the first 𝑐𝑜𝑛𝑠𝑡𝑎𝑛𝑡-𝑟𝑜𝑢𝑛𝑑 construction of post-quantum non-malleable commitments under the minimal assumption that 𝑝𝑜𝑠𝑡-𝑞𝑢𝑎𝑛𝑡𝑢𝑚 𝑜𝑛𝑒-𝑤𝑎𝑦 𝑓𝑢𝑛𝑐𝑡𝑖𝑜𝑛𝑠 exist. We achieve the standard notion of non-malleability with respect to commitments. Prior constructions required Ω(log^*λ) rounds under the same assumption. We achieve our results through a new technique for constant-round non-malleable commitments which is easier to use in the post-quantum setting. The technique also yields an almost elementary proof of security for constant-round non-malleable commitments in the classical setting, which may be of independent interest. As an application, when combined with existing work, our results yield the first constant-round post-quantum secure multiparty computation under the 𝑝𝑜𝑙𝑦𝑛𝑜𝑚𝑖𝑎𝑙 hardness of quantum fully-homomorphic encryption and quantum learning with errors.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/23/2020

Post-Quantum Multi-Party Computation in Constant Rounds

We obtain the first constant-round post-quantum multi-party computation ...
research
12/10/2019

Post-Quantum Zero Knowledge in Constant Rounds

We construct the first constant-round zero-knowledge classical argument ...
research
03/15/2021

Post-Quantum Succinct Arguments

We prove that Kilian's four-message succinct argument system is post-qua...
research
03/20/2021

On the Impossibility of Post-Quantum Black-Box Zero-Knowledge in Constant Rounds

We investigate the existence of constant-round post-quantum black-box ze...
research
11/16/2021

Post-Quantum Simulatable Extraction with Minimal Assumptions: Black-Box and Constant-Round

From the minimal assumption of post-quantum semi-honest oblivious transf...
research
12/30/2021

Deniable Encryption in a Quantum World

(Sender-)Deniable encryption provides a very strong privacy guarantee: a...
research
12/02/2019

Classical Verification of Quantum Computations with Efficient Verifier

In this paper, we extend the protocol of classical verification of quant...

Please sign up or login with your details

Forgot password? Click here to reset