Kurt Pan 密码周刊 (4)

Papers

• Banquet: Short and Fast Signatures from AES: https://eprint.iacr.org/2021/068.pdf
• Application of Velusqrt algorithm to Huff’s and general Huff’s curves: https://eprint.iacr.org/2021/073.pdf
• Cross-Domain Attribute-Based Access Control Encryption: https://eprint.iacr.org/2021/074.pdf
• QuickSilver: Efficient and Affordable Zero-Knowledge Proofs for Circuits and Polynomials over Any Field: https://eprint.iacr.org/2021/076.pdf
• Magnetic RSA: https://eprint.iacr.org/2021/077.pdf
• Error Term Checking: Towards Chosen Ciphertext Security without Re-encryption: https://eprint.iacr.org/2021/080.pdf
• Grades of Trust in Multiparty Computation: https://eprint.iacr.org/2021/082.pdf
• ZEN: Efficient Zero-Knowledge Proofs for Neural Networks: https://eprint.iacr.org/2021/087.pdf
• An Overview of the Hybrid Argument: https://eprint.iacr.org/2021/088.pdf
• Fuzzy Message Detection: https://eprint.iacr.org/2021/089.pdf
• New Public-Key Cryptosystem: https://eprint.iacr.org/2021/092.pdf
• Collusion-Deterrent Threshold Information Escrow: https://eprint.iacr.org/2021/095.pdf
• Gladius: LWR based efficient hybrid public key encryption with distributed decryption: https://eprint.iacr.org/2021/096.pdf
• SPURT: Scalable Distributed Randomness Beacon with Transparent Setup: https://eprint.iacr.org/2021/100.pdf

QIP 2021 papers:

https://www.mcqst.de/qip2021/program/conference-program/

• 176 | Alex Bredariol Grilo, Huijia Lin, Fang Song and Vinod Vaikuntanathan. Oblivious Transfer is in MiniQCrypt
• 424 | James Bartusek, Andrea Coladangelo, Dakshita Khurana and Fermi Ma. One-Way Functions Imply Secure Computation in a Quantum World
• 58 | Anne Broadbent and Alex Bredariol Grilo. QMA-hardness of Consistency of Local Density Matrices with Applications to Quantum Zero-Knowledge
• 279 | Peter Brown, Hamza Fawzi and Omar Fawzi. New quantum Rényi divergences and their application to device-independent cryptography and quantum Shannon theory
• 301 | Gorjan Alagic, Prabhanjan Ananth, Zvika Brakerski, Yfke Dulek, Rolando La Placa and Christian Schaffner. Secure Software Leasing and Implications for Quantum Copy-Protection and Obfuscation
• 114 | Alex Bredariol Grilo, Kathrin Hövelmanns, Andreas Hülsing and Christian Majenz. Tight adaptive reprogramming in the QROM
• 124 | Dmitri Maslov, Jin-Sung Kim, Sergey Bravyi, Theodore J. Yoder and Sarah Sheldon. Quantum advantage for computations with limited space
• 131 | Zvika Brakerski and Henry Yuen. Quantum Garbled Circuits
• 148 | Pierre Fraigniaud, Francois Le Gall, Harumichi Nishimura and Ami Paz. Distributed Quantum Proofs for Replicated Data
• 250 | Tony Metger, Yfke Dulek, Andrea Coladangelo, Rotem Arnon-Friedman and Thomas Vidick. Device-independent protocols from computational assumptions
• 271 | Noah Shutty, Mary Wootters and Patrick Hayden, Tight Limits on Nonlocality from Nontrivial Communication Complexity
• 342 | Alexander Sherstov, Andrey Storozhenko and Pei Wu. An Optimal Separation of Randomized and Quantum Query Complexity
• 384 | James Bartusek, Andrea Coladangelo, Dakshita Khurana and Fermi Ma. On The Round Complexity of Two-Party Quantum Computation
• 420 | Greg Kuperberg. The hidden subgroup problem for infinite groups
• 429 | Honghao Fu, Carl Miller and William Slofstra. The membership problem for constant-sized quantum correlations is undecidable
• 162 | Andrea Coladangelo, Christian Majenz and Alexander Poremba. Quantum Copy-Protection of Compute-and-Compare Programs in the Quantum Random Oracle Model
• 211 | Gorjan Alagic, Andrew Childs, Andrea Coladangelo, Alex Bredariol Grilo, Shih-Han Hung, Thomas Vidick and Tina Zhang. Non-interactive zero-knowledge protocols for QMA
• 286 | Nir Bitansky and Omri Shmueli. Post-quantum Zero Knowledge in Constant Rounds

Posts

• Zero Knowledge Cryptography & the Next Digital Revolution: https://medium.com/zeroknowledge/zero-knowledge-cryptography-the-next-digital-revolution-3ae7f301ae2d
• Proof of Work, a pictorial essay: https://joinmarket.me/blog/blog/pow-a-pictorial-essay/
• An approximate introduction to how zk-SNARKs are possible: https://vitalik.ca/general/2021/01/26/snarks.html
• 一起了解最热门的 zkSNARK 方案——零知识证明引论（三）: https://mp.weixin.qq.com/s/VM7BTUix54NrGrcSKad2-Q
• 理解零知识算法PLONK（一）—电路: https://mp.weixin.qq.com/s/qr4njTJG89Mj_puIyzMu1w
• 理解零知识算法PLONK（二）——协议: https://mp.weixin.qq.com/s/ecCnCH-Fd6_fhKqbzLhoMA
• 【隐私计算笔谈】零知识证明系列专题（五）：用QSPs构造zk-SNARK: https://mp.weixin.qq.com/s/ksTFqX99zQDS0ECn7AqDQw
• Year in Review: 2020 laid the groundwork for zero knowledge proofs: https://medium.com/minaprotocol/year-in-review-2020-laid-the-groundwork-for-zero-knowledge-proofs-78573920d3f0
• Trusted Setup with Isogenies: https://mariascrs.github.io/2021/01/23/Trusted-Setup.html
• Password Monitor: Safeguarding passwords in Microsoft Edge: https://www.microsoft.com/en-us/research/blog/password-monitor-safeguarding-passwords-in-microsoft-edge/

Videos

• Hybrid Classical-Quantum Algorithms: https://simons.berkeley.edu/talks/hybrid-classical-quantum-algorithms

Projects

• Cairo: A Language For Writing Provable Programs: https://www.cairo-lang.org
• https://github.com/ZenGo-X/zk-paillier

Books/Courses/Events

• The Hash Book: https://hash-book.info

• Handbook of Satisfiability: https://www.iospress.nl/book/handbook-of-satisfiability-2/

• List of BIU Winter School on Cryptography(1-11) http://cyber.biu.ac.il/events/

• Math 371 Algebra: https://www.youtube.com/playlist?list=PLgKjq_nhy2RadlA1XE6JxGkwUuSR-cx1m

• Theoretical Foundations of Computer Systems Boot Camp: https://simons.berkeley.edu/workshops/tfcs2021-boot-camp

• Trapdoor - 零知识证明技术直播（2020）2021/01/30 （周六）：https://mp.weixin.qq.com/s/injNd2EHFeXIelHMX4jXsQ