cover_image

【论文速递】STOC 2024（量子、电路、单向函数、承诺、零知识、证明、不可区分混淆、格基SNARKs）

Kurt Pan XPTY
2024年06月24日 12:00

Full list : https://acm-stoc.org/stoc2024/toc.html

Video list: https://www.youtube.com/playlist?list=PL2200vk1q4pnoZJZphNyvIFzB3UnUZEmj

  • Memory Checking Requires Logarithmic Overhead[1]
  • Perfect Zero-Knowledge PCPs for #P[2]
  • One-Way Functions and Zero Knowledge[3]
  • Tight Time-Space Tradeoffs for the Decisional Diffie-Hellman Problem[4]
  • SNARGs under LWE via Propositional Proofs[5]
  • Probabilistically Checkable Reconfiguration Proofs and Inapproximability of Reconfiguration Problems[6]
  • Randomly Punctured Reed–Solomon Codes Achieve List-Decoding Capacity over Linear-Sized Fields[7]
  • Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers[8]
  • On the Power of Interactive Proofs for Learning[9]
  • Commitments from Quantum One-Wayness[10]
  • Two Prover Perfect Zero Knowledge for MIP*[11]
  • How to Use Quantum Indistinguishability Obfuscation[12]
  • Quantum State Obfuscation from Classical Oracles[13]
  • Hardness of Range Avoidance and Remote Point for Restricted Circuits via Cryptography[14]
  • Adaptively-Sound Succinct Arguments for NP from Indistinguishability Obfuscation[15]
  • A New Approach for Non-Interactive Zero-Knowledge from Learning with Errors[16]
  • Quantum Oblivious LWE Sampling and Insecurity of Standard Model Lattice-Based SNARKs[17]
  • Batch Proofs Are Statistically Hiding[18]
[1]

: https://dl.acm.org/doi/10.1145/3618260.3649686

[2]

: https://dl.acm.org/doi/10.1145/3618260.3649698

[3]

: https://dl.acm.org/doi/10.1145/3618260.3649701

[4]

: https://dl.acm.org/doi/10.1145/3618260.3649752

[5]

: https://dl.acm.org/doi/10.1145/3618260.3649770

[6]

: https://dl.acm.org/doi/10.1145/3618260.3649667

[7]

: https://dl.acm.org/doi/10.1145/3618260.3649634

[8]

: https://dl.acm.org/doi/10.1145/3618260.3649616

[9]

: https://dl.acm.org/doi/10.1145/3618260.3649784

[10]

: https://dl.acm.org/doi/10.1145/3618260.3649654

[11]

: https://dl.acm.org/doi/10.1145/3618260.3649702

[12]

: https://dl.acm.org/doi/10.1145/3618260.3649779

[13]

: https://dl.acm.org/doi/10.1145/3618260.3649673

[14]

: https://dl.acm.org/doi/10.1145/3618260.3649602

[15]

: https://dl.acm.org/doi/10.1145/3618260.3649671

[16]

: https://dl.acm.org/doi/10.1145/3618260.3649683

[17]

: https://dl.acm.org/doi/10.1145/3618260.3649766

[18]

: https://dl.acm.org/doi/10.1145/3618260.3649775