Efficient verifiable delay functions

From MaRDI portal
Publication:5919373

DOI10.1007/978-3-030-17659-4_13OpenAlexW2885172320MaRDI QIDQ5919373

Benjamin Wesolowski

Publication date: 4 February 2020

Published in: Advances in Cryptology – EUROCRYPT 2019 (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/28683




Related Items (39)

Non-malleable codes for bounded parallel-time tamperingTime- and space-efficient arguments from groups of unknown orderMulti-instance publicly verifiable time-lock puzzle and its applicationsAn incremental PoSW for general weight distributionsCRAFT: \underline{C}omposable \underline{R}andomness beacons and output-independent \underline{A}bort MPC \underline{F}rom \underline{T}imeSimple, fast, efficient, and tightly-secure non-malleable non-interactive timed commitments\textsf{Dew}: a transparent constant-sized polynomial commitment schemeParallelizable delegation from LWEInner product functional commitments with constant-size public parameters and openingsSNACKs: leveraging proofs of sequential work for blockchain light clientsShort-lived zero-knowledge proofs and signaturesOn time-lock cryptographic assumptions in abelian hidden-order groupsAstrolabous: a universally composable time-lock encryption schemeSnarky ceremoniesTime-release cryptography from minimal circuit assumptionsNova: recursive zero-knowledge arguments from folding schemesTowards practical homomorphic time-lock puzzles: applicability and verifiabilityThe special case of cyclotomic fields in quantum algorithms for unit groupsApplications of timed-release encryption with implicit authenticationCompleteness theorems for adaptively secure broadcastSecure multiparty computation from threshold encryption based on class groupsOn the impossibility of purely algebraic signaturesSimple and efficient batch verification techniques for verifiable delay functionsNon-malleable time-lock puzzles and applicationsMinting mechanism for proof of stake blockchainsMultiparty generation of an RSA modulusTransparent SNARKs from DARK compilersSPARKs: succinct parallelizable arguments of knowledgeContinuous verifiable delay functionsGeneric-group delay functions require hidden-order groupsBandwidth-efficient threshold EC-DSADelay encryptionGeneric compiler for publicly verifiable covert multi-party computationTARDIS: a foundation of time-lock puzzles in UCMultiparty generation of an RSA modulusGenerically speeding-up repeated squaring is equivalent to factoring: sharp thresholds for all generic-ring delay functionsCompressed \(\varSigma\)-protocol theory and practical application to plug \& play secure algorithmicsFiat-Shamir for repeated squaring with applications to PPAD-hardness and VDFsA note on Low Order assumptions in RSA groups




This page was built for publication: Efficient verifiable delay functions