【论文速递】PKC'25（格、（多重门限后量子）签名、零知识证明、协议、区块链）

https://pkc.iacr.org/2025/program.php

May 12-15, 2025

Røros, Norway

Foundations of Lattices and LPN

• Vanishing Short Integer Solution, Revisited https://link.springer.com/chapter/10.1007/978-3-031-91823-0_9 Kalle Jyrkinen, Russell W. F. Lai
• Discrete Gaussians Modulo Sub-Lattices: New Leftover Hash Lemmas for Discrete Gaussians https://link.springer.com/chapter/10.1007/978-3-031-91823-0_10 Haoxiang Jin, Feng-Hao Liu, Zhedong Wang, Dawu Gu
• Memory-Efficient BKW Algorithm for Solving the LWE Problem https://link.springer.com/chapter/10.1007/978-3-031-91823-0_11 Yu Wei, Lei Bi, Xianhui Lu, Kunpeng Wang
• Worst and Average Case Hardness of Decoding via Smoothing Bounds https://link.springer.com/chapter/10.1007/978-3-031-91823-0_12 Thomas Debris–Alazard, Nicolas Resch

Multi-signatures/ Threshold Signatures/ Post-quantum Signatures

• Universally Composable Interactive and Ordered Multi-signatures https://link.springer.com/chapter/10.1007/978-3-031-91823-0_1 Carsten Baum, Bernardo David, Elena Pagnin, Akira Takahashi
• Accountable Multi-signatures with Constant Size Public Keys https://link.springer.com/chapter/10.1007/978-3-031-91823-0_2 Dan Boneh, Aditi Partap, Brent Waters
• Privacy-Preserving Multi-signatures: Generic Techniques and Constructions Without Pairings https://link.springer.com/chapter/10.1007/978-3-031-91823-0_3 Calvin Abou Haidar, Dipayan Das, Anja Lehmann, Cavit Özbay, Octavio Perez Kempner
• A Framework for Group Action-Based Multi-signatures and Applications to LESS, MEDS, and ALTEQ https://link.springer.com/chapter/10.1007/978-3-031-91823-0_4 Giuseppe D’Alconzo, Andrea Flamini, Alessio Meneghetti, Edoardo Signorini
• BUFFing Threshold Signature Schemes https://link.springer.com/chapter/10.1007/978-3-031-91826-1_5 Marc Fischlin, Aikaterini Mitrokotsa, Jenit Tomy
• Finally! A Compact Lattice-Based Threshold Signature https://link.springer.com/chapter/10.1007/978-3-031-91826-1_6 Rafael del Pino, Guilhem Niot
• Commit-and-Prove System for Vectors and Applications to Threshold Signing https://link.springer.com/chapter/10.1007/978-3-031-91826-1_7 Anja Lehmann, Cavit Özbay
• Dazzle: Improved Adaptive Threshold Signatures from DDH https://link.springer.com/chapter/10.1007/978-3-031-91826-1_8 Yanbo Chen
• Thorough Power Analysis on Falcon Gaussian Samplers and Practical Countermeasure https://link.springer.com/chapter/10.1007/978-3-031-91820-9_8 Xiuhan Lin, Shiduo Zhang, Yang Yu, Weijia Wang, Qidi You, Ximing Xu et al.
• Finding a Polytope: A Practical Fault Attack Against Dilithium https://link.springer.com/chapter/10.1007/978-3-031-91820-9_9 Paco Azevedo-Oliveira, Andersson Calle Viera, Benoît Cogliati, Louis Goubin
• One Bit to Rule Them All – Imperfect Randomness Harms Lattice Signatures https://link.springer.com/chapter/10.1007/978-3-031-91820-9_10 Simon Damm, Nicolai Kraus, Alexander May, Julian Nowakowski, Jonas Thietke
• The Security of Hash-and-Sign with Retry Against Superposition Attacks https://link.springer.com/chapter/10.1007/978-3-031-91820-9_11 Haruhisa Kosuge, Keita Xagawa

Proofs and Arguments

• Split Prover Zero-Knowledge SNARKs https://link.springer.com/chapter/10.1007/978-3-031-91820-9_12 Sanjam Garg, Aarushi Goel, Dimitris Kolonelos, Sina Shiehian, Rohit Sinha
• Universally Composable Non-interactive Zero-Knowledge from Sigma Protocols via a New Straight-Line Compiler https://link.springer.com/chapter/10.1007/978-3-031-91820-9_13 Megan Chen, Pousali Dey, Chaya Ganesh, Pratyay Mukherjee, Pratik Sarkar, Swagata Sasmal
• Transparent SNARKs over Galois Rings https://link.springer.com/chapter/10.1007/978-3-031-91820-9_14 Yuanju Wei, Xinxuan Zhang, Yi Deng
• Lattice-Based Proof-Friendly Signatures from Vanishing Short Integer Solutions https://link.springer.com/chapter/10.1007/978-3-031-91820-9_15 Adrien Dubois, Michael Klooß, Russell W. F. Lai, Ivy K. Y. Woo

Protocols

• Security Analysis of Signal’s PQXDH Handshake https://link.springer.com/chapter/10.1007/978-3-031-91823-0_5 Rune Fiedler, Felix Günther
• Towards Leakage-Resilient Ratcheted Key Exchange https://link.springer.com/chapter/10.1007/978-3-031-91823-0_6 Daniel Collins, Simone Colombo, Sina Schaeffler
• Non-interactive Key Exchange: New Notions, New Constructions, and Forward Security https://link.springer.com/chapter/10.1007/978-3-031-91823-0_7 Suvradip Chakraborty, Dennis Hofheinz, Roman Langrehr
• Efficient Verifiable Mixnets from Lattices, Revisited https://link.springer.com/chapter/10.1007/978-3-031-91823-0_8 Jonathan Bootle, Vadim Lyubashevsky, Antonio Merino-Gallardo
• Non-Interactive Distributed Point Functions https://link.springer.com/chapter/10.1007/978-3-031-91820-9_1 Elette Boyle, Lalita Devadas, Sacha Servan-Schreiber
• Watermarkable and Zero-Knowledge Verifiable Delay Functions from Any Proof of Exponentiation https://link.springer.com/chapter/10.1007/978-3-031-91820-9_2 Charlotte Hoffmann, Krzysztof Pietrzak

Cryptography for Blockchains

• Lattice-Based Zero-Knowledge Proofs for Blockchain Confidential Transactions https://link.springer.com/chapter/10.1007/978-3-031-91832-2_5 Shang Gao, Tianyu Zheng, Yu Guo, Zhe Peng, Bin Xiao
• OCash: Fully Anonymous Payments Between Blockchain Light Clients https://link.springer.com/chapter/10.1007/978-3-031-91832-2_6 Adam Blatchley Hansen, Jesper Buus Nielsen, Mark Simkin
• On Graphs of Incremental Proofs of Sequential Work https://link.springer.com/chapter/10.1007/978-3-031-91832-2_7 Hamza Abusalah
• Arctic: Lightweight and Stateless Threshold Schnorr Signatures https://link.springer.com/chapter/10.1007/978-3-031-91832-2_8 Chelsea Komlo, Ian Goldberg
• Stateless Deterministic Multi-party EdDSA Signatures with Low Communication https://link.springer.com/chapter/10.1007/978-3-031-91832-2_9 Qi Feng, Kang Yang, Kaiyi Zhang, Xiao Wang, Yu Yu, Xiang Xie