Time-Lock Puzzles from Randomized Encodings

From MaRDI portal
Publication:2800583

DOI10.1145/2840728.2840745zbMath1334.94062OpenAlexW2294814269MaRDI QIDQ2800583

Nir Bitansky, Omer Paneth, Abhishek Jain, Brent Waters, Shafi Goldwasser, Vinod Vaikuntanathan

Publication date: 15 April 2016

Published in: Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1721.1/112999




Related Items (32)

Non-malleable codes for bounded parallel-time tamperingSecurity definitions on time-lock puzzlesSuccinct garbling schemes from functional encryption through a local simulation paradigmSecure Obfuscation in a Weak Multilinear Map ModelCompactness vs Collusion Resistance in Functional EncryptionVersatile and sustainable timed-release encryption and sequential time-lock puzzles (extended abstract)Proofs of Work from worst-case assumptionsCRAFT: \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 commitmentsTransparent batchable time-lock puzzles and applications to Byzantine consensusIndistinguishable Proofs of Work or KnowledgePractical statistically-sound proofs of exponentiation in any groupTIDE: a novel approach to constructing timed-release encryptionMemory-hard puzzles in the standard model with applications to memory-hard functions and resource-bounded locally decodable codesNon-interactive universal argumentsAstrolabous: a universally composable time-lock encryption schemeTime-release cryptography from minimal circuit assumptionsCompleteness theorems for adaptively secure broadcastLattice-based timed cryptographyTwo-Round and Non-Interactive Concurrent Non-Malleable Commitments from Time-Lock PuzzlesRobust Transforming Combiners from Indistinguishability Obfuscation to Functional EncryptionProjective Arithmetic Functional Encryption and Indistinguishability Obfuscation from Degree-5 Multilinear MapsOn Removing Graded Encodings from Functional EncryptionIndistinguishability Obfuscation: From Approximate to ExactContinuous verifiable delay functionsGeneric-group delay functions require hidden-order groupsDelay encryptionGeneric compiler for publicly verifiable covert multi-party computationNon-interactive distributional indistinguishability (NIDI) and non-malleable commitmentsTARDIS: a foundation of time-lock puzzles in UCGenerically speeding-up repeated squaring is equivalent to factoring: sharp thresholds for all generic-ring delay functionsPatchable Indistinguishability Obfuscation: $$i\mathcal {O}$$ for Evolving Software




This page was built for publication: Time-Lock Puzzles from Randomized Encodings