arrow
返回

Sending zero-knowledge proofs to the future

delete2026-01-21
delete0
delete
OA
AI
Z
Zhichao Wang
X
Xudong Zhu
X
Xinxuan Zhang
Y
Yi Deng *
X
Xuyang Song
DOI:10.1186/s42400-025-00453-7delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

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总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

C
Cybersecurity
IF:
3.7
论文数:
601
被引数:
1.0K

机构

K
Key Laboratory of Cyberspace Security Defense
学者数:
51
论文数: 22
被引数: 0
引用论文

引用论文

Concurrent zero-knowledge
err2004-11-01
err0
PREAI
errCynthia Dwork; Moni Naor; Amit Sahai
err分享
err收藏
Designated Verifier Proofs and Their Applications
err2001-07-13
err0
errOAAI
errMarkus Jakobsson; Kazue Sako; Russell Impagliazzo
err分享
err收藏
err分享
err收藏
err分享
err收藏
Orion: Zero Knowledge Proof with Linear Prover Time
err2022-10-11
err0
PREAI
errTiancheng Xie; Yupeng Zhang; Dawn Song
err分享
err收藏
Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives
err2017-10-30
err0
PREAI
errMelissa Chase; David Derler; Steven Goldfeder; Claudio Orlandi; Sebastian Ramacher; Christian Rechberger; Daniel Slamanig; Greg Zaverucha
err分享
err收藏
学者 查看更多内容