cover_image

【论文速递】Asiacrypt'24（零知识协议、可验证计算、折叠方案、简洁论证）

Kurt Pan XPTY
2024年12月09日 06:51

https://asiacrypt.iacr.org/2024/program.php

December 9-13

Best Paper Award

  • Revisiting Key Decomposition Techniques for FHE: Simpler, Faster and More Generic https://eprint.iacr.org/2023/771 Mariya Georgieva Belorgey and Sergiu Carpov and Nicolas Gama and Sandra Guasch and Dimitar Jetchev
  • Unbounded ABE for Circuits from LWE, Revisited https://eprint.iacr.org/2024/1507 Valerio Cini and Hoeteck Wee
  • The First Practical Collision for 31-Step SHA-256 https://link.springer.com/chapter/10.1007/978-981-96-0941-3_8 Yingxin Li, Fukang Liu, Gaoli Wang, Xiaoyang Dong & Siwei Sun

Zero-Knowledge Protocols

  • Interactive Line-Point Zero-Knowledge with Sublinear Communication and Linear Computation https://eprint.iacr.org/2024/1431 Fuchun Lin and Chaoping Xing and Yizhou Yao
  • Code-Based Zero-Knowledge from VOLE-in-the-Head and Their Applications: Simpler, Faster, and Smaller https://eprint.iacr.org/2024/1414 Ying Ouyang and Deng Tang and Yanhong Xu
  • LogRobin++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK https://eprint.iacr.org/2024/1427 Carmit Hazay and David Heath and Vladimir Kolesnikov and Muthuramakrishnan Venkitasubramaniam and Yibin Yang

Verifiable Computation

  • HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical https://eprint.iacr.org/2023/1949 Diego F. Aranha and Anamaria Costache and Antonio Guimarães and Eduardo Soria-Vazquez
  • Proofs for Deep Thought: Accumulation for large memories and deterministic computations  https://eprint.iacr.org/2024/325 Benedikt Bünz and Jessica Chen

Folding Schemes

  • Lova: Lattice-Based Folding Scheme from Unstructured Lattices https://eprint.iacr.org/2024/1964 Giacomo Fenzi and Christian Knabenhans and Ngoc Khanh Nguyen and Duc Tu Pham
  • FLI: Folding Lookup Instances https://eprint.iacr.org/2024/1531 Albert Garreta and Ignacio Manzur

Succinct Arguments

  • MuxProofs: Succinct Arguments for Machine Computation from Vector Lookups https://eprint.iacr.org/2023/974 Zijing Di and Lucas Xia and Wilson Nguyen and Nirvan Tyagi
  • RoK, Paper, SISsors – Toolkit for Lattice-based Succinct Arguments https://eprint.iacr.org/2024/1972 Michael Klooß and Russell W. F. Lai and Ngoc Khanh Nguyen and Michał Osadnik