Hard Quantum Extrapolations in Quantum
Description: Hard Quantum Extrapolations in Quantum Cryptography Luowen Qian, Justin Raizes, Mark Zhandry One-Way Functions are Minimal, Classically OWF Commitments signatures, ZK, SKE Decision-style assumptions: Encryption, ZK, OT Search-style
Related Topics
Download Presentation
"Hard Quantum Extrapolations in Quantum" is the property of its rightful owner. Permission is granted to download and print the materials on this website for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
slide1. Hard Quantum Extrapolations in Quantum Cryptography Luowen Qian, Justin Raizes, Mark Zhandry<br>
slide2. One-Way Functions are Minimal, Classically OWF Commitments signatures, ZK, SKE… Decision-style assumptions:
Encryption, ZK, OT… Search-style assumptions: Signatures, commitments, … Impagliazzo
-Luby’89 Goldreich’90<br>
slide3. Is there a Minimal Quantum Assumption? Commitments ZK, OT, MPC… Decision-style assumptions:
Encryption, ZK, OT… Search-style assumptions: Money, signatures… ??? Yan’22, Brakerski-Canetti-Q’23 OWF Kretschmer’21, Kretschmer-Q-Sinha-Tal’23… This work<br>
slide6. Impagliazzo-Luby’89 proof overview OWF Weak coin flipping Signatures Commitments<br>
slide7. Universal Extrapolation [Impagliazzo-Levin’90] adversary<br>
slide8. Universal Extrapolation [Impagliazzo-Levin’90]<br>
slide9. Pure is WLOG adversary<br>
slide10. Pure is WLOG<br>
slide11. Commitments<br>
slide13. Related/concurrent works Universal extrapolation but w/ quantum sampler<br>
slide14. Quantum commitments (WLOG) Commit Reveal Test if correct<br>
slide15. ILL89/KT24 unified approach overview<br>
slide16. Commitment Construction: Try 1 Commitment Register Opening Register<br>
slide17. Commitment Construction: Try 1 Commitment Register Opening Register Perfectly Hiding<br>
slide18. Commitment Construction: Try 1 Commitment Register Opening Register Binding: It is hard to implement this mapping.<br>
slide19. Commitment Construction: Try 1 This state might not be efficient to prepare in general.<br>
slide20. Commitment Construction: Try 2<br>
slide21. Commitment Construction: Final<br>
slide22. Commitment Construction: Final<br>
slide23. Commitment Construction: Final<br>
slide24. Commitment Construction: Final<br>
slide25. (Fully) Quantum Extrapolation?<br>
slide26. Conclusions Commitments, ZK, MPC… Search-style assumptions: Money, signatures, 2QKD… Coin flipping? Thanks! ??? Best candidate for quantum minimal assumption<br>
slide2. One-Way Functions are Minimal, Classically OWF Commitments signatures, ZK, SKE… Decision-style assumptions:
Encryption, ZK, OT… Search-style assumptions: Signatures, commitments, … Impagliazzo
-Luby’89 Goldreich’90<br>
slide3. Is there a Minimal Quantum Assumption? Commitments ZK, OT, MPC… Decision-style assumptions:
Encryption, ZK, OT… Search-style assumptions: Money, signatures… ??? Yan’22, Brakerski-Canetti-Q’23 OWF Kretschmer’21, Kretschmer-Q-Sinha-Tal’23… This work<br>
slide6. Impagliazzo-Luby’89 proof overview OWF Weak coin flipping Signatures Commitments<br>
slide7. Universal Extrapolation [Impagliazzo-Levin’90] adversary<br>
slide8. Universal Extrapolation [Impagliazzo-Levin’90]<br>
slide9. Pure is WLOG adversary<br>
slide10. Pure is WLOG<br>
slide11. Commitments<br>
slide13. Related/concurrent works Universal extrapolation but w/ quantum sampler<br>
slide14. Quantum commitments (WLOG) Commit Reveal Test if correct<br>
slide15. ILL89/KT24 unified approach overview<br>
slide16. Commitment Construction: Try 1 Commitment Register Opening Register<br>
slide17. Commitment Construction: Try 1 Commitment Register Opening Register Perfectly Hiding<br>
slide18. Commitment Construction: Try 1 Commitment Register Opening Register Binding: It is hard to implement this mapping.<br>
slide19. Commitment Construction: Try 1 This state might not be efficient to prepare in general.<br>
slide20. Commitment Construction: Try 2<br>
slide21. Commitment Construction: Final<br>
slide22. Commitment Construction: Final<br>
slide23. Commitment Construction: Final<br>
slide24. Commitment Construction: Final<br>
slide25. (Fully) Quantum Extrapolation?<br>
slide26. Conclusions Commitments, ZK, MPC… Search-style assumptions: Money, signatures, 2QKD… Coin flipping? Thanks! ??? Best candidate for quantum minimal assumption<br>