{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,23]],"date-time":"2026-05-23T20:06:54Z","timestamp":1779566814798,"version":"3.53.1"},"publisher-location":"Cham","reference-count":57,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032267399","type":"print"},{"value":"9783032267405","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-26740-5_16","type":"book-chapter","created":{"date-parts":[[2026,5,23]],"date-time":"2026-05-23T19:29:13Z","timestamp":1779564553000},"page":"494-526","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Verifiable Delay Functions from\u00a0Time-Lock Puzzles"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7524-3133","authenticated-orcid":false,"given":"Hamza","family":"Abusalah","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-9303-750X","authenticated-orcid":false,"given":"Karen","family":"Azari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7274-6600","authenticated-orcid":false,"given":"Dario","family":"Fiore","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-6812-7317","authenticated-orcid":false,"given":"Chethan","family":"Kamath","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2283-4829","authenticated-orcid":false,"given":"Erkan","family":"Tairi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,24]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Abusalah, H., Azari, K., Fiore, D., Kamath, C., Tairi, E.: On verifiable delay functions from time-lock puzzles. Cryptology ePrint Archive, Report 2025\/1782","DOI":"10.1007\/978-3-032-25330-9_2"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Abusalah, H., Fuchsbauer, G., Pietrzak, K.: Constrained PRFs for unbounded inputs. In: CT-RSA\u00a02016","DOI":"10.1007\/978-3-319-29485-8_24"},{"key":"16_CR3","unstructured":"Ahrens, K., Zumbr\u00e4gel, J.: DEFEND: towards verifiable delay functions from endomorphism rings. IACR Cryptol. ePrint Arch"},{"key":"16_CR4","unstructured":"Applebaum, B., Ishai, Y., Kushilevitz, E.: Cryptography in NC$$^0$$. In: 45th FOCS"},{"key":"16_CR5","unstructured":"Armknecht, F., Barman, L., Bohli, J.M., Karame, G.O.: Mirror: enabling proofs of data replication and retrievability in the cloud. In: USENIX Security 2016"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Arun, A., Bonneau, J., Clark, J.: Short-lived zero-knowledge proofs and signatures. In: ASIACRYPT\u00a02022, Part\u00a0III","DOI":"10.1007\/978-3-031-22969-5_17"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Banerjee, A., Fuchsbauer, G., Peikert, C., Pietrzak, K., Stevens, S.: Key-homomorphic constrained pseudorandom functions. In: TCC\u00a02015, Part\u00a0II","DOI":"10.1007\/978-3-662-46497-7_2"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Bellare, M., Fuchsbauer, G.: Policy-based signatures. In: PKC\u00a02014","DOI":"10.1007\/978-3-642-54631-0_30"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Biryukov, A., et al.: Cryptanalysis of algebraic verifiable delay functions. In: Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, 18\u201322 August 2024, Proceedings, Part III","DOI":"10.1007\/978-3-031-68382-4_14"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Bitansky, N., et al.: PPAD is as hard as LWE and iterated squaring. In: TCC\u00a02022, Part\u00a0II","DOI":"10.1007\/978-3-031-22365-5_21"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Bitansky, N., Garg, R.: Succinct randomized encodings from laconic function evaluation, faster and simpler. In: Advances in Cryptology - EUROCRYPT 2025 - 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Madrid, Spain, 4\u20138 May 2025, Proceedings, Part VII","DOI":"10.1007\/978-3-031-91098-2_15"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Bitansky, N., Goldwasser, S., Jain, A., Paneth, O., Vaikuntanathan, V., Waters, B.: Time-lock puzzles from randomized encodings. In: ITCS 2016","DOI":"10.1145\/2840728.2840745"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Bitansky, N., Paneth, O., Wichs, D.: Perfect structure on the edge of chaos - trapdoor permutations from indistinguishability obfuscation. In: TCC\u00a02016-A, Part\u00a0I","DOI":"10.1007\/978-3-662-49096-9_20"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Block, A.R., Holmgren, J., Rosen, A., Rothblum, R.D., Soni, P.: Time- and space-efficient arguments from groups of unknown order. In: CRYPTO\u00a02021, Part\u00a0IV","DOI":"10.1007\/978-3-030-84259-8_5"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Boneh, D., Bonneau, J., B\u00fcnz, B., Fisch, B.: Verifiable delay functions. In: CRYPTO\u00a02018, Part\u00a0I","DOI":"10.1007\/978-3-319-96884-1_25"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Boneh, D., Waters, B.: Constrained pseudorandom functions and their applications. In: ASIACRYPT\u00a02013, Part\u00a0II","DOI":"10.1007\/978-3-642-42045-0_15"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Boyle, E., Goldwasser, S., Ivan, I.: Functional signatures and pseudorandom functions. In: PKC\u00a02014","DOI":"10.1007\/978-3-642-54631-0_29"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Brakerski, Z., Vaikuntanathan, V.: Constrained key-homomorphic PRFs from standard lattice assumptions - or: how to secretly embed a circuit in your PRF. In: TCC\u00a02015, Part\u00a0II","DOI":"10.1007\/978-3-662-46497-7_1"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Canetti, R., Lin, H., Tessaro, S., Vaikuntanathan, V.: Obfuscation of probabilistic circuits and applications. In: TCC\u00a02015, Part\u00a0II","DOI":"10.1007\/978-3-662-46497-7_19"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., Prabhakaran, M., Wichs, D.: Witness maps and applications. In: PKC\u00a02020, Part\u00a0I","DOI":"10.1007\/978-3-030-45374-9_8"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Ch\u00e1vez-Saab, J., Rodr\u00edguez-Henr\u00edquez, F., Tibouchi, M.: Verifiable isogeny walks: towards an isogeny-based postquantum VDF. In: Selected Areas in Cryptography - 28th International Conference, SAC 2021, Virtual Event, 29 September\u20131 October 2021, Revised Selected Papers","DOI":"10.1007\/978-3-030-99277-4_21"},{"key":"16_CR22","unstructured":"Choudhuri, A.R., Hubacek, P., Kamath, C., Pietrzak, K., Rosen, A., Rothblum, G.N.: PPAD-hardness via iterated squaring modulo a composite. Cryptology ePrint Archive, Report 2019\/667"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Cini, V., Lai, R.W.F., Malavolta, G.: Lattice-based succinct arguments from vanishing polynomials - (extended abstract). In: CRYPTO\u00a02023, Part\u00a0II","DOI":"10.1007\/978-3-031-38545-2_3"},{"key":"16_CR24","unstructured":"Cohen, B., Pietrzak, K.: The chia network blockchain. https:\/\/www.chia.net\/wp-content\/uploads\/2022\/07\/ChiaGreenPaper.pdf. Accessed 29 Sept 2024"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Davidson, A., Katsumata, S., Nishimaki, R., Yamada, S., Yamakawa, T.: Adaptively secure constrained pseudorandom functions in the standard model. In: CRYPTO\u00a02020, Part\u00a0I","DOI":"10.1007\/978-3-030-56784-2_19"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"De Feo, L., Masson, S., Petit, C., Sanso, A.: Verifiable delay functions from supersingular isogenies and pairings. In: ASIACRYPT\u00a02019, Part\u00a0I","DOI":"10.1007\/978-3-030-34578-5_10"},{"key":"16_CR27","unstructured":"D\u00f6ttling, N., Garg, S., Malavolta, G., Vasudevan, P.N.: Tight verifiable delay functions. In: SCN 20"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"Dujmovic, J., Garg, R., Malavolta, G.: Time-lock puzzles with efficient batch solving. In: Advances in Cryptology - EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, 26\u201330 May 2024, Proceedings, Part II","DOI":"10.1007\/978-3-031-58723-8_11"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Ephraim, N., Freitag, C., Komargodski, I., Pass, R.: Continuous verifiable delay functions. In: EUROCRYPT\u00a02020, Part\u00a0III","DOI":"10.1007\/978-3-030-45727-3_5"},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"Ephraim, N., Freitag, C., Komargodski, I., Pass, R.: SPARKs: succinct parallelizable arguments of knowledge. In: EUROCRYPT\u00a02020, Part\u00a0I","DOI":"10.1007\/978-3-030-45721-1_25"},{"key":"16_CR31","unstructured":"Fiat, A., Shamir, A.: How to prove yourself: practical solutions to identification and signature problems. In: CRYPTO 1986"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Freitag, C., Pass, R., Sirkin, N.: Parallelizable delegation from LWE. In: TCC\u00a02022, Part\u00a0II","DOI":"10.1007\/978-3-031-22365-5_22"},{"key":"16_CR33","unstructured":"Garg, S., Gentry, C., Halevi, S., Raykova, M., Sahai, A., Waters, B.: Candidate indistinguishability obfuscation and functional encryption for all circuits. In: 54th FOCS"},{"key":"16_CR34","unstructured":"Goldreich, O., Goldwasser, S., Micali, S.: How to construct random functions (extended abstract). In: 25th FOCS"},{"key":"16_CR35","doi-asserted-by":"crossref","unstructured":"Goyal, R., Kim, S., Manohar, N., Waters, B., Wu, D.J.: Watermarking public-key cryptographic primitives. In: CRYPTO\u00a02019, Part\u00a0III","DOI":"10.1007\/978-3-030-26954-8_12"},{"key":"16_CR36","doi-asserted-by":"crossref","unstructured":"Hoffmann, C., Hub\u00e1cek, P., Kamath, C., Klein, K., Pietrzak, K.: Practical statistically-sound proofs of exponentiation in any group. In: CRYPTO\u00a02022, Part\u00a0II","DOI":"10.1007\/978-3-031-15979-4_13"},{"key":"16_CR37","doi-asserted-by":"crossref","unstructured":"Hoffmann, C., Hub\u00e1cek, P., Kamath, C., Krn\u00e1k, T.: (Verifiable) delay functions from lucas sequences. In: TCC\u00a02023, Part\u00a0IV","DOI":"10.1007\/978-3-031-48624-1_13"},{"key":"16_CR38","doi-asserted-by":"crossref","unstructured":"Jaques, S., Montgomery, H., Rosie, R., Roy, A.: Time-release cryptography from minimal circuit assumptions. In: Progress in Cryptology \u2013 INDOCRYPT 2021","DOI":"10.1007\/978-3-030-92518-5_26"},{"key":"16_CR39","doi-asserted-by":"crossref","unstructured":"Katz, J., Loss, J., Xu, J.: On the security of time-lock puzzles and timed commitments. In: TCC\u00a02020, Part\u00a0III","DOI":"10.1007\/978-3-030-64381-2_14"},{"key":"16_CR40","unstructured":"Khovratovich, D., Maller, M., Tiwari, P.R.: Minroot: candidate sequential function for ethereum VDF. IACR Cryptol. ePrint Arch"},{"key":"16_CR41","doi-asserted-by":"crossref","unstructured":"Kiayias, A., Papadopoulos, S., Triandopoulos, N., Zacharias, T.: Delegatable pseudorandom functions and applications. In: ACM CCS 2013","DOI":"10.1145\/2508859.2516668"},{"key":"16_CR42","doi-asserted-by":"crossref","unstructured":"Lai, R.W.F., Malavolta, G.: Lattice-based timed cryptography. In: CRYPTO\u00a02023, Part\u00a0V","DOI":"10.1007\/978-3-031-38554-4_25"},{"key":"16_CR43","unstructured":"Lamport, L.: Constructing digital signatures from a one-way function. Technical Report SRI-CSL-98, SRI International Computer Science Laboratory"},{"key":"16_CR44","doi-asserted-by":"crossref","unstructured":"Landerreche, E., Stevens, M., Schaffner, C.: Non-interactive cryptographic timestamping based on verifiable delay functions. In: FC 2020","DOI":"10.1007\/978-3-030-51280-4_29"},{"key":"16_CR45","unstructured":"Lenstra, A.K., Wesolowski, B.: Trustworthy public randomness with sloth, unicorn, and trx. Int. J. Appl. Cryptogr"},{"key":"16_CR46","doi-asserted-by":"crossref","unstructured":"Lombardi, A., Vaikuntanathan, V.: Fiat-Shamir for repeated squaring with applications to PPAD-hardness and VDFs. In: CRYPTO\u00a02020, Part\u00a0III","DOI":"10.1007\/978-3-030-56877-1_22"},{"key":"16_CR47","doi-asserted-by":"crossref","unstructured":"Mahmoody, M., Moran, T., Vadhan, S.P.: Publicly verifiable proofs of sequential work. In: ITCS 2013","DOI":"10.1145\/2422436.2422479"},{"key":"16_CR48","doi-asserted-by":"crossref","unstructured":"Malavolta, G., Thyagarajan, S.A.K.: Homomorphic time-lock puzzles and applications. In: CRYPTO\u00a02019, Part\u00a0I","DOI":"10.1007\/978-3-030-26948-7_22"},{"key":"16_CR49","unstructured":"Paneth, O.: Alternate vdf constructions. MIT VDF Day. https:\/\/www.youtube.com\/watch?v=ckIYmtY3KAw. Accessed 15 Feb 2026"},{"key":"16_CR50","doi-asserted-by":"crossref","unstructured":"Peikert, C., Tang, Y.: Cryptanalysis of lattice-based sequentiality assumptions and proofs of sequential work. In: CRYPTO\u00a02024, Part\u00a0V","DOI":"10.1007\/978-3-031-68388-6_6"},{"key":"16_CR51","unstructured":"Pietrzak, K.: Simple verifiable delay functions. In: ITCS 2019"},{"key":"16_CR52","unstructured":"Rivest, R.L., Shamir, A., Wagner, D.A.: Time-lock puzzles and timed-release crypto. Technical report, USA"},{"key":"16_CR53","unstructured":"Sahai, A., Waters, B.: How to use indistinguishability obfuscation: deniable encryption, and more. In: 46th ACM STOC"},{"key":"16_CR54","unstructured":"StarkWare: Veedo. https:\/\/medium.com\/starkware\/presenting-veedo-e4bbff77c7ae. Accessed 1 Oct 2024"},{"key":"16_CR55","unstructured":"Waters, B., Wu, D.J.: Adaptively-sound succinct arguments for NP from indistinguishability obfuscation. In: 56th ACM STOC"},{"key":"16_CR56","doi-asserted-by":"crossref","unstructured":"Waters, B., Zhandry, M.: Adaptive security in SNARGs via iO and lossy functions. In: CRYPTO\u00a02024, Part\u00a0X","DOI":"10.1007\/978-3-031-68403-6_3"},{"key":"16_CR57","doi-asserted-by":"crossref","unstructured":"Wesolowski, B.: Efficient verifiable delay functions. In: EUROCRYPT\u00a02019, Part\u00a0III","DOI":"10.1007\/978-3-030-17659-4_13"}],"container-title":["Lecture Notes in Computer Science","Public-Key Cryptography \u2013 PKC 2026"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-26740-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,23]],"date-time":"2026-05-23T19:29:17Z","timestamp":1779564557000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-26740-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032267399","9783032267405"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-26740-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"24 May 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PKC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IACR International Conference on Public-Key Cryptography","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"West Palm Beach, FL","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 May 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 May 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pkc2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/pkc.iacr.org\/2026\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}