返回
Sending zero-knowledge proofs to the future
DOI:10.1186/s42400-025-00453-7.png)
摘要
En 中文
Time-release cryptography is a flourishing research area with a long history and has been extensively studied. In this work, we enrich it by introducing a novel concept: a time-release zero-knowledge proof (TRZKP). A TRZKP is a non-interactive zero-knowledge proof that allows one to publish a proof for a given relation $$R_\mathcal {L}$$ , such that anyone can only finish the verification after time $$\textbf{T}$$ by performing a sequential computation. This work formalizes the concept of TRZKP and presents light constructions for the time-release version of any NIZK obtained from a public-coin protocol via Fiat-Shamir transformation. TRZKPs can be applied to provide time-release authentication, for example, they can be employed to construct verifiable timed signatures (VTS), introduced by Thyagarajan et al. (CCS’20). Through both theoretical and practical analysis, our construction has advantages over existing VTS for Fiat-Shamir signatures. Specifically, when instantiated with Shnorr signature, our VTS signing time remains basically unchanged as the delay time grows, and is preferable for longer delay times; our VTS verification time is significantly small (on the level of milliseconds, while existing works on the level of seconds), and our VTS size is 67 times smaller than the state-of-the-art. It also has the time-verifiability property, which ensures the signature is recoverable after the specified time.
Keyword:
Zero-knowledge proofs
Time-release cryptography
Verifiable timed signatures
AI总结
对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
C
IF:
3.7
论文数:
601
被引数:
1.0K
机构
引用论文
An Efficient System for Non-transferable Anonymous Credentials with Optional Anonymity Revocation具有可选匿名撤销功能的不可转移匿名凭证的高效系统

