亚密2021论文简介-签名/零知识

原创 Kurt Pan XPTY

2021年11月01日 19:43

1数字签名

Hierarchical Integrated Signature and Encryption提出层次化集成签名和加密方案（HISE），支持解密能力的安全代理，同时享用key reuse的优点并支持individual key escrow。两个HISE的通用构造：一个来自身份基加密，另一个来自uniform OWF,PKE,public-coin ZKPoK。并扩展HISE使其支持global key escrow。https://eprint.iacr.org/2021/1237.pdf
Boosting the Security of Blind Signature Schemes一种新的盲签名转换，是对Pointcheval (Eurocrypt ’98)转换的扩展和泛化，允许将特定的支持并发签发对数多个签名的盲签名方案转换为相应的支持多项式次并发签名签发的方案。https://eprint.iacr.org/2021/806.pdf
Generalized Channels from Limited Blockchain Scripts and Adaptor Signatures引入generalized channels，用户可以在链下执行底层区块链支持的任意操作，扩展了payment channels和state channels。在构造generalized channels中使用了adaptor signatures 并首次给出该原语的形式化定义。在UC框架中给出了generalized channel构造的安全证明。https://eprint.iacr.org/2020/476.pdf
Chain Reductions for Multi-Signatures and the HBMS Scheme对基于离散对数的多重签名（比如BN,MuSig) 给出在AGM中到DL的紧归约，以及基于非DL假设的标准模型中的紧归约。提出新的两轮多重签名方案，HBMS。归约基于链归约框架，即归约可以分为涉及中间问题的一系列子归约链。https://eprint.iacr.org/2021/404.pdf
Digital Signatures with Memory-Tight Security in the Multi-Challenge Setting给出首个strongly EUF-CMA-secure的内存紧致签名 in the MC setting。提出canonical reductions in the SC setting的概念。https://eprint.iacr.org/2021/1220.pdf
Giving an Adversary Guarantees (Or: How to Model Designated Verifier Signatures in a Composable Framework)给出首个多指定验证者签名(MDVS)的组合安全定义，在保守密码学框架 (Maurer and Renner, ICS 2011)中。https://eprint.iacr.org/2021/1185.pdf
Compressed Sigma-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures将 Compressed -Protocol 理论 (CRYPTO 2020)扩展到双线性群算术电路上。构造首个-out-of-门限签名方案，其既具有透明设置，而且签名大小对呈对数。给出一个很多被签名的消息满足一个公开谓词的证明系统的直接构造，避免大规模电路。https://eprint.iacr.org/2020/1447.pdf
Shorter Lattice-Based Group Signatures via Almost Free Encryption and Other Optimizations给出一个参数大小和运行时间和群大小独立的格基群签名，签名大小相比Pino et al. (CCS 2018)减小3倍。https://iacr.org/cryptodb/data/paper.php?pubkey=31461
Promise -protocol: How to Construct Efficient Threshold ECDSA from Encryptions Based on Class Groups标准假设下，基于class groups的加密方案，得到不需要并行重复底层零知识协议的门限ECDSA，导致密钥生成的效率提升。提出promise -协议，满足更弱的promise extractability可靠性条件。展示如何在基于class-group的加密方案上模拟同态操作。https://www.iacr.org/cryptodb/data/paper.php?pubkey=31487

2零知识证明

Efficient NIZKs for Algebraic Sets给出证明加密向量属于一个代数集合的NIZK的构造框架。扩展框架得到对R1CS，ACSS，NP的高效NIZK。https://eprint.iacr.org/2021/1251.pdf
Snarky Ceremonies给出带ceremony协议的NIZKA的安全框架。Groth的SNARK的ceremony协议可以简化与优化，在新安全框架下证明安全，避免使用random beacon model。https://eprint.iacr.org/2021/219.pdf
Lunar: a Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions提出一种新的IOP变体Polynomial Holographic IOPs (PHPs)，得到universal updatable zkSNARKs with linear-size SRS https://eprint.iacr.org/2020/1069.pdf
Gentry-Wichs Is Tight: A Falsifiable Non-Adaptively Sound SNARG构造non-adaptively sound SNARGs for NP from falsifiable assumptions，从而说明Gentry-Wichs的不可能结果是紧致的。https://www.iacr.org/cryptodb//data/paper.php?pubkey=31492
Verifiably-Extractable OWFs and Their Applications to Subversion Zero-Knowledge研究具有公开象验证算法的EOWF ，并通过相互构造研究这种OWF与 subversion zero-knowledge (Sub-ZK) NIZKs 的关系。https://eprint.iacr.org/2021/1264.pdf
Quantum Computationally Predicate-Binding Commitments with Application in Quantum Zero-Knowledge Arguments for NP通过并行组合量子完美计算绑定比特承诺，得到具有更强绑定性质predicate-binding的量子承诺。应用该承诺到对NPC语言哈密顿回路的零知识协议中，得到第一个仅基于量子安全单向函数的量子完美零知识论证系统https://eprint.iacr.org/2020/1510.pdf
PrORAM: Fast O(log n) Authenticated Shares ZK ORAM基于算术值的认证分享构造ZK ORAM https://eprint.iacr.org/2021/587.pdf
Proofs for Inner Pairing Products and Applications使用内积论证构造第一个对数验证时间，证明时间和CRS大小的多项式承诺方案。聚合个Groth 16 zkSNARKs为一个大小的证明，从而构造低内存SNARKhttps://eprint.iacr.org/2019/1177.pdf