{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:43:06Z","timestamp":1767339786646,"version":"3.40.3"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031786785"},{"type":"electronic","value":"9783031786792"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-78679-2_1","type":"book-chapter","created":{"date-parts":[[2025,2,15]],"date-time":"2025-02-15T09:29:39Z","timestamp":1739611779000},"page":"3-21","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Light Clients for\u00a0Lazy Blockchains"],"prefix":"10.1007","author":[{"given":"Ertem Nusret","family":"Tas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Tse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dionysis","family":"Zindros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,16]]},"reference":[{"key":"1_CR1","unstructured":"Colored coins (2015). https:\/\/en.bitcoin.it\/wiki\/Colored_Coins"},{"key":"1_CR2","unstructured":"Agrawal, S., Neu, J., Tas, E.N., Zindros, D.: Proofs of proof-of-stake with sublinear complexity. In: AFT. LIPIcs, vol.\u00a0282, pp. 14:1\u201314:24. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2023)"},{"key":"1_CR3","unstructured":"Al-Bassam, M.: Lazyledger: A distributed data availability ledger with client-side smart contracts. arXiv:1905.09274 [cs.CR] (2019). https:\/\/arxiv.org\/abs\/1905.09274"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-662-64331-0_15","volume-title":"Financial Cryptography and Data Security","author":"M Al-Bassam","year":"2021","unstructured":"Al-Bassam, M., Sonnino, A., Buterin, V., Khoffi, I.: Fraud and data availability proofs: detecting invalid blocks in light clients. In: Borisov, N., Diaz, C. (eds.) FC 2021. LNCS, vol. 12675, pp. 279\u2013298. Springer, Heidelberg (2021). https:\/\/doi.org\/10.1007\/978-3-662-64331-0_15"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Bagaria, V.K., Kannan, S., Tse, D., Fanti, G., Viswanath, P.: Prism: deconstructing the blockchain to approach physical limits. In: CCS, pp. 585\u2013602. ACM (2019)","DOI":"10.1145\/3319535.3363213"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/978-3-662-44381-1_16","volume-title":"Advances in Cryptology \u2013 CRYPTO 2014","author":"E Ben-Sasson","year":"2014","unstructured":"Ben-Sasson, E., Chiesa, A., Tromer, E., Virza, M.: Scalable zero knowledge via cycles of elliptic curves. In: Garay, J.A., Gennaro, R. (eds.) CRYPTO 2014. LNCS, vol. 8617, pp. 276\u2013294. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44381-1_16"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Bitansky, N., Canetti, R., Chiesa, A., Tromer, E.: Recursive composition and bootstrapping for SNARKS and proof-carrying data. In: STOC, pp. 111\u2013120. ACM (2013)","DOI":"10.1145\/2488608.2488623"},{"key":"1_CR8","unstructured":"Bonneau, J., Meckler, I., Rao, V., Shapiro, E.: Coda: Decentralized cryptocurrency at scale. Cryptology ePrint Archive, Paper 2020\/352 (2020). https:\/\/eprint.iacr.org\/2020\/352"},{"key":"1_CR9","unstructured":"Bowe, S., Grigg, J., Hopwood, D.: Halo: Recursive proof composition without a trusted setup. Cryptology ePrint Archive, Paper 2019\/1021 (2019). https:\/\/eprint.iacr.org\/2019\/1021"},{"key":"1_CR10","unstructured":"Buchman, E., Kwon, J., Milosevic, Z.: The latest gossip on BFT consensus. CoRR abs\/1807.04938 (2018)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-64378-2_1","volume-title":"Theory of Cryptography","author":"B B\u00fcnz","year":"2020","unstructured":"B\u00fcnz, B., Chiesa, A., Mishra, P., Spooner, N.: Recursive proof composition from accumulation schemes. In: Pass, R., Pietrzak, K. (eds.) TCC 2020. LNCS, vol. 12551, pp. 1\u201318. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-64378-2_1"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"B\u00fcnz, B., Kiffer, L., Luu, L., Zamani, M.: Flyclient: Super-light clients for cryptocurrencies. In: SP, pp. 928\u2013946. IEEE (2020)","DOI":"10.1109\/SP40000.2020.00049"},{"key":"1_CR13","unstructured":"Buterin, V.e.a.: Light client protocol (2014). https:\/\/eth.wiki\/en\/concepts\/light-client-protocol"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Canetti, R., Riva, B., Rothblum, G.N.: Practical delegation of computation using multiple servers. In: CCS, pp. 445\u2013454. ACM (2011)","DOI":"10.1145\/2046707.2046759"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.ic.2013.03.003","volume":"226","author":"R Canetti","year":"2013","unstructured":"Canetti, R., Riva, B., Rothblum, G.N.: Refereed delegation of computation. Inf. Comput. 226, 16\u201336 (2013)","journal-title":"Inf. Comput."},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/978-3-031-18283-9_31","volume-title":"Financial Cryptography and Data Security: 26th International Conference, FC 2022, Grenada, May 2\u20136, 2022, Revised Selected Papers","author":"P Chatzigiannis","year":"2022","unstructured":"Chatzigiannis, P., Baldimtsi, F., Chalkias, K.: SoK: blockchain light clients. In: Eyal, I., Garay, J. (eds.) Financial Cryptography and Data Security: 26th International Conference, FC 2022, Grenada, May 2\u20136, 2022, Revised Selected Papers, pp. 615\u2013641. Springer International Publishing, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-18283-9_31"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-319-47560-8_13","volume-title":"Secure IT Systems","author":"R Dahlberg","year":"2016","unstructured":"Dahlberg, R., Pulls, T., Peeters, R.: Efficient sparse merkle trees. In: Brumley, B.B., R\u00f6ning, J. (eds.) NordSec 2016. LNCS, vol. 10014, pp. 199\u2013215. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47560-8_13"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-030-32101-7_2","volume-title":"Financial Cryptography and Data Security","author":"P Daian","year":"2019","unstructured":"Daian, P., Pass, R., Shi, E.: Snow White: robustly reconfigurable consensus and applications to provably secure proof of stake. In: Goldberg, I., Moore, T. (eds.) FC 2019. LNCS, vol. 11598, pp. 23\u201341. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-32101-7_2"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-319-78375-8_3","volume-title":"Advances in Cryptology \u2013 EUROCRYPT 2018","author":"B David","year":"2018","unstructured":"David, B., Ga\u017ei, P., Kiayias, A., Russell, A.: Ouroboros Praos: an adaptively-secure, semi-synchronous proof-of-stake blockchain. In: Nielsen, J.B., Rijmen, V. (eds.) EUROCRYPT 2018. LNCS, vol. 10821, pp. 66\u201398. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-78375-8_3"},{"key":"1_CR20","unstructured":"Developers, B.: Developer Guide - Bitcoin. https:\/\/bitcoin.org\/en\/developer-guide"},{"key":"1_CR21","unstructured":"Developers, F.: Fuel - Beyond Monolithic. https:\/\/www.fuel.network\/"},{"key":"1_CR22","unstructured":"Developers, G.: Merkle Mountain Ranges (MMR). https:\/\/docs.grin.mw\/wiki\/chain-state\/merkle-mountain-range\/"},{"key":"1_CR23","unstructured":"Developers, O.: Optimism. https:\/\/www.optimism.io\/"},{"key":"1_CR24","unstructured":"Fitzi, M., Gazi, P., Kiayias, A., Russell, A.: Parallel chains: improving throughput and latency of blockchain protocols via parallel composition. Cryptology ePrint Archive, Paper 2018\/1119 (2018). https:\/\/eprint.iacr.org\/2018\/1119"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-662-46803-6_10","volume-title":"Advances in Cryptology - EUROCRYPT 2015","author":"J Garay","year":"2015","unstructured":"Garay, J., Kiayias, A., Leonardos, N.: The bitcoin backbone protocol: analysis and applications. In: Oswald, E., Fischlin, M. (eds.) EUROCRYPT 2015. LNCS, vol. 9057, pp. 281\u2013310. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46803-6_10"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-319-63688-7_10","volume-title":"Advances in Cryptology \u2013 CRYPTO 2017","author":"J Garay","year":"2017","unstructured":"Garay, J., Kiayias, A., Leonardos, N.: The bitcoin backbone protocol with chains of variable difficulty. In: Katz, J., Shacham, H. (eds.) CRYPTO 2017. LNCS, vol. 10401, pp. 291\u2013323. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63688-7_10"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Gazi, P., Kiayias, A., Zindros, D.: Proof-of-stake sidechains. In: IEEE Symposium on Security and Privacy, pp. 139\u2013156. IEEE (2019)","DOI":"10.1109\/SP.2019.00040"},{"key":"1_CR28","unstructured":"Heilman, E., Kendler, A., Zohar, A., Goldberg, S.: Eclipse attacks on bitcoin\u2019s peer-to-peer network. In: USENIX Security Symposium, pp. 129\u2013144. USENIX Association (2015)"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"van\u00a0den Hooff, J., Kaashoek, M.F., Zeldovich, N.: Versum: Verifiable computations over large public logs. In: CCS, pp. 1304\u20131316. ACM (2014)","DOI":"10.1145\/2660267.2660327"},{"key":"1_CR30","unstructured":"Kalodner, H.A., Goldfeder, S., Chen, X., Weinberg, S.M., Felten, E.W.: Arbitrum: scalable, private smart contracts. In: USENIX Security Symposium, pp. 1353\u20131370. USENIX Association (2018)"},{"key":"1_CR31","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-030-37110-4_6","volume-title":"Mathematical Research for Blockchain Economy: 1st International Conference MARBLE 2019, Santorini, Greece","author":"K Karantias","year":"2020","unstructured":"Karantias, K., Kiayias, A., Zindros, D.: Compact storage of superblocks for NIPoPoW applications. In: Pardalos, P., Kotsireas, I., Guo, Y., Knottenbelt, W. (eds.) Mathematical Research for Blockchain Economy: 1st International Conference MARBLE 2019, Santorini, Greece, pp. 77\u201391. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-37110-4_6"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Katz, J., Lindell, Y.: Introduction to Modern Cryptography, Second Edition. CRC Press (2014)","DOI":"10.1201\/b17668"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-662-53357-4_5","volume-title":"Financial Cryptography and Data Security","author":"A Kiayias","year":"2016","unstructured":"Kiayias, A., Lamprou, N., Stouka, A.-P.: Proofs of proofs of work with sublinear complexity. In: Clark, J., Meiklejohn, S., Ryan, P.Y.A., Wallach, D., Brenner, M., Rohloff, K. (eds.) FC 2016. LNCS, vol. 9604, pp. 61\u201378. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-53357-4_5"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Kiayias, A., Leonardos, N., Zindros, D.: Mining in logarithmic space. In: CCS, pp. 3487\u20133501. ACM (2021)","DOI":"10.1145\/3460120.3484784"},{"key":"1_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/978-3-030-51280-4_27","volume-title":"Financial Cryptography and Data Security","author":"A Kiayias","year":"2020","unstructured":"Kiayias, A., Miller, A., Zindros, D.: Non-interactive proofs of proof-of-work. In: Bonneau, J., Heninger, N. (eds.) FC 2020. LNCS, vol. 12059, pp. 505\u2013522. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-51280-4_27"},{"key":"1_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-319-63688-7_12","volume-title":"Advances in Cryptology \u2013 CRYPTO 2017","author":"A Kiayias","year":"2017","unstructured":"Kiayias, A., Russell, A., David, B., Oliynykov, R.: Ouroboros: a provably secure proof-of-stake blockchain protocol. In: Katz, J., Shacham, H. (eds.) CRYPTO 2017. LNCS, vol. 10401, pp. 357\u2013388. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63688-7_12"},{"key":"1_CR37","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-030-43725-1_3","volume-title":"Financial Cryptography and Data Security: FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18\u201322, 2019, Revised Selected Papers","author":"A Kiayias","year":"2020","unstructured":"Kiayias, A., Zindros, D.: Proof-of-work sidechains. In: Bracciali, A., Clark, J., Pintore, F., R\u00f8nne, P.B., Sala, M. (eds.) Financial Cryptography and Data Security: FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18\u201322, 2019, Revised Selected Papers, pp. 21\u201334. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43725-1_3"},{"key":"1_CR38","unstructured":"Nakamoto, S.: Bitcoin: A peer-to-peer electronic cash system (2008). https:\/\/bitcoin.org\/bitcoin.pdf"},{"key":"1_CR39","unstructured":"Neu, J., Tas, E.N., Tse, D.: Snap-and-chat protocols: System aspects. arXiv:2010.10447v1 [cs.CR] (2020). http:\/\/arxiv.org\/abs\/2010.10447v1"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Neu, J., Tas, E.N., Tse, D.: Ebb-and-flow protocols: A resolution of the availability-finality dilemma. In: 2021 IEEE Symposium on Security and Privacy (SP). pp. 446\u2013465. IEEE (2021)","DOI":"10.1109\/SP40001.2021.00045"},{"key":"1_CR41","unstructured":"Russell, B.: In Praise of Idleness. Unwin (1935)"},{"key":"1_CR42","unstructured":"Sompolinsky, Y., Lewenberg, Y., Zohar, A.: SPECTRE: A fast and scalable cryptocurrency protocol. IACR Cryptol. ePrint Arch, pp.\u00a01159 (2016)"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Sompolinsky, Y., Wyborski, S., Zohar, A.: PHANTOM GHOSTDAG: a scalable generalization of nakamoto consensus: September 2, 2021. In: AFT, pp. 57\u201370. ACM (2021)","DOI":"10.1145\/3479722.3480990"},{"key":"1_CR44","unstructured":"Sompolinsky, Y., Zohar, A.: PHANTOM: A scalable blockdag protocol. IACR Cryptol. ePrint Arch., p.\u00a0104 (2018)"},{"key":"1_CR45","unstructured":"Tas, E.N.: Woods Attack on Celestia (2021). https:\/\/forum.celestia.org\/t\/woods-attack-on-celestia\/59"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Tas, E.N., Tse, D., Gai, F., Kannan, S., Maddah-Ali, M.A., Yu, F.: Bitcoin-enhanced proof-of-stake security: Possibilities and impossibilities. In: SP, pp. 126\u2013145. IEEE (2023)","DOI":"10.1109\/SP46215.2023.10179426"},{"key":"1_CR47","unstructured":"Tas, E.N., Tse, D., Yang, L., Zindros, D.: Light clients for lazy blockchains. Cryptology ePrint Archive, Paper 2022\/384 (2022). https:\/\/eprint.iacr.org\/2022\/384"},{"key":"1_CR48","unstructured":"Todd, P.: Merkle mountain ranges (2012). https:\/\/github.com\/opentimestamps\/opentimestamps-server\/blob\/master\/doc\/merkle-mountain-range.md"},{"key":"1_CR49","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/978-3-031-18283-9_30","volume-title":"Financial Cryptography and Data Security: 26th International Conference, FC 2022, Grenada, May 2\u20136, 2022, Revised Selected Papers","author":"P Vesely","year":"2022","unstructured":"Vesely, P., Gurkan, K., Straka, M., Gabizon, A., Jovanovic, P., Konstantopoulos, G., Oines, A., Olszewski, M., Tromer, E.: Plumo: an ultralight blockchain client. In: Eyal, I., Garay, J. (eds.) Financial Cryptography and Data Security: 26th International Conference, FC 2022, Grenada, May 2\u20136, 2022, Revised Selected Papers, pp. 597\u2013614. Springer International Publishing, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-18283-9_30"},{"key":"1_CR50","unstructured":"W\u00fcst, K., Gervais, A.: Ethereum eclipse attacks (2016). https:\/\/www.research-collection.ethz.ch\/bitstream\/handle\/20.500.11850\/121310\/eth-49728-01.pdf"},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"Xie, T., et al.: zkbridge: Trustless cross-chain bridges made practical. In: CCS, pp. 3003\u20133017. ACM (2022)","DOI":"10.1145\/3548606.3560652"}],"container-title":["Lecture Notes in Computer Science","Financial Cryptography and Data Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-78679-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,15]],"date-time":"2025-02-15T09:29:55Z","timestamp":1739611795000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-78679-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031786785","9783031786792"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-78679-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"16 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Financial Cryptography and Data Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Willemstad","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cura\u00e7ao","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 March 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 March 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fc2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fc24.ifca.ai\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}