{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T14:14:25Z","timestamp":1784556865671,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,12,2]],"date-time":"2024-12-02T00:00:00Z","timestamp":1733097600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,12,2]]},"DOI":"10.1145\/3658644.3670354","type":"proceedings-article","created":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T12:19:20Z","timestamp":1733746760000},"page":"1538-1551","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Reckle Trees: Updatable Merkle Batch Proofs with Applications"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1905-9403","authenticated-orcid":false,"given":"Charalampos","family":"Papamanthou","sequence":"first","affiliation":[{"name":"Lagrange Labs & Yale University, New Haven, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3939-3465","authenticated-orcid":false,"given":"Shravan","family":"Srinivasan","sequence":"additional","affiliation":[{"name":"Lagrange Labs, Gaithersburg, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0134-3026","authenticated-orcid":false,"given":"Nicolas","family":"Gailly","sequence":"additional","affiliation":[{"name":"Lagrange Labs, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-3135-9633","authenticated-orcid":false,"given":"Ismael","family":"Hishon-Rezaizadeh","sequence":"additional","affiliation":[{"name":"Lagrange Labs, New York, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-7425-1328","authenticated-orcid":false,"given":"Andrus","family":"Salumets","sequence":"additional","affiliation":[{"name":"Lagrange Labs, Amsterdam, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-8218-457X","authenticated-orcid":false,"given":"Stjepan","family":"Golemac","sequence":"additional","affiliation":[{"name":"Lagrange Labs, New York, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,12,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2020. Ethereum: Nodes and clients - Light Nodes. https:\/\/web.archive.org\/ web\/20240623035301\/https:\/\/ethereum.org\/en\/developers\/docs\/nodes-andclients\/# light-node"},{"key":"e_1_3_2_1_2_1","unstructured":"2022. Merkle Patricia Trie. https:\/\/web.archive.org\/web\/20240619085644\/https: \/\/ethereum.org\/en\/developers\/docs\/data-structures-and-encoding\/patriciamerkle- trie\/."},{"key":"e_1_3_2_1_3_1","unstructured":"2022. Securely Scaling ZK Interoperability. https:\/\/www.lagrange.dev\/."},{"key":"e_1_3_2_1_4_1","volume-title":"Eurocrypt 93","author":"Benaloh Josh","unstructured":"Josh Benaloh and Michael de Mare. 1993. One-Way Accumulators: A Decentralized Alternative to Digital Signatures. In Eurocrypt 93. International Association for Cryptologic Research."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-004-0314-9"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36362-7_5"},{"key":"e_1_3_2_1_7_1","volume-title":"Edrax: A Cryptocurrency with Stateless Transaction Validation. Cryptology ePrint Archive, Report 2018\/968.","author":"Chepurnoy Alexander","year":"2018","unstructured":"Alexander Chepurnoy, Charalampos Papamanthou, Shravan Srinivasan, and Yupeng Zhang. 2018. Edrax: A Cryptocurrency with Stateless Transaction Validation. Cryptology ePrint Archive, Report 2018\/968."},{"key":"e_1_3_2_1_8_1","first-page":"310","article-title":"Proof-Carrying Data and Hearsay Arguments from Signature Cards","volume":"10","author":"Chiesa Alessandro","year":"2010","unstructured":"Alessandro Chiesa and Eran Tromer. 2010. Proof-Carrying Data and Hearsay Arguments from Signature Cards.. In ICS, Vol. 10. 310--331.","journal-title":"ICS"},{"key":"e_1_3_2_1_9_1","volume-title":"MapReduce: Simplified Data Processing on Large Clusters. In OSDI'04: Sixth Symposium on Operating System Design and Implementation. 137--150","author":"Dean Jeffrey","year":"2004","unstructured":"Jeffrey Dean and Sanjay Ghemawat. 2004. MapReduce: Simplified Data Processing on Large Clusters. In OSDI'04: Sixth Symposium on Operating System Design and Implementation. 137--150."},{"key":"e_1_3_2_1_10_1","unstructured":"Sai Deng and Bo Du. 2023. zkTree: A Zero-Knowledge Recursion Tree with ZKP Membership Proofs. Cryptology ePrint Archive Paper 2023\/208."},{"key":"e_1_3_2_1_11_1","unstructured":"Ben Edgington. 2022. Upgrading Ethereum: A technical handbook on Ethereums move to proof of stake and beyond. https:\/\/web.archive.org\/web\/20240605021226\/ https:\/\/eth2book.info\/capella\/part2\/building_blocks\/signatures\/#proof-ofpossession."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417244"},{"key":"e_1_3_2_1_13_1","volume-title":"Poseidon: A New Hash Function for Zero-Knowledge Proof Systems. In 30th USENIX Security Symposium (USENIX Security 21)","author":"Grassi Lorenzo","year":"2021","unstructured":"Lorenzo Grassi, Dmitry Khovratovich, Christian Rechberger, Arnab Roy, and Markus Schofnegger. 2021. Poseidon: A New Hash Function for Zero-Knowledge Proof Systems. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 519--535."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_11"},{"key":"e_1_3_2_1_15_1","volume-title":"Nova: Recursive Zero-Knowledge Arguments from Folding Schemes. In Advances in Cryptology -- CRYPTO","author":"Kothapalli Abhiram","year":"2022","unstructured":"Abhiram Kothapalli, Srinath Setty, and Ioanna Tzialla. 2022. Nova: Recursive Zero-Knowledge Arguments from Folding Schemes. In Advances in Cryptology -- CRYPTO 2022. Springer Nature Switzerland, 359--388."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560591"},{"key":"e_1_3_2_1_17_1","volume-title":"9th Annual International Cryptology Conference","author":"Merkle Ralph C.","year":"1989","unstructured":"Ralph C. Merkle. 1989. A Certified Digital Signature. In Advances in Cryptology - CRYPTO 89, 9th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20--24, 1989, Proceedings. 218--238."},{"key":"e_1_3_2_1_18_1","unstructured":"Alex Ozdemir. 2020. bellman-bignat. https:\/\/github.com\/alex-ozdemir\/bellmanbignat."},{"key":"e_1_3_2_1_19_1","volume-title":"Scaling Verifiable Computation Using Efficient Set Accumulators. In 29th USENIX Security Symposium (USENIX Security 20)","author":"Ozdemir Alex","year":"2020","unstructured":"Alex Ozdemir, Riad Wahby, Barry Whitehat, and Dan Boneh. 2020. Scaling Verifiable Computation Using Efficient Set Accumulators. In 29th USENIX Security Symposium (USENIX Security 20). USENIX Association, 2075--2092."},{"key":"e_1_3_2_1_20_1","volume-title":"Andrus Salumets, and Stjepan Golemac.","author":"Papamanthou Charalampos","year":"2024","unstructured":"Charalampos Papamanthou, Shravan Srinivasan, Nicolas Gailly, Ismael Hishon- Rezaizadeh, Andrus Salumets, and Stjepan Golemac. 2024. Reckle Trees: Updatable Merkle Batch Proofs with Applications. Cryptology ePrint Archive, Paper 2024\/493. https:\/\/eprint.iacr.org\/2024\/493."},{"key":"e_1_3_2_1_21_1","unstructured":"Qope. 2023. plonky2-bn254. https:\/\/github.com\/qope\/plonky2-bn254."},{"key":"e_1_3_2_1_22_1","volume-title":"Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments. In 31st USENIX Security Symposium (USENIX Security 22)","author":"Srinivasan Shravan","year":"2022","unstructured":"Shravan Srinivasan, Alexander Chepurnoy, Charalampos Papamanthou, Alin Tomescu, and Yupeng Zhang. 2022. Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 3001--3018."},{"key":"e_1_3_2_1_23_1","unstructured":"Polygon Zero Team. 2022. Plonky2: Fast recursive arguments with plonk and FRI. https:\/\/docs.rs\/crate\/plonky2\/latest\/source\/plonky2.pdf"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Alin Tomescu Ittai Abraham Vitalik Buterin Justin Drake Dankrad Feist and Dmitry Khovratovich. 2020. Aggregatable Subvector Commitments for Stateless Cryptocurrencies. In Security and Cryptography for Networks. 45--64.","DOI":"10.1007\/978-3-030-57990-6_3"},{"key":"e_1_3_2_1_25_1","volume-title":"Towards Scalable Threshold Cryptosystems. In 2020 IEEE Symposium on Security and Privacy (SP). 877--893","author":"Tomescu Alin","year":"2020","unstructured":"Alin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham, Benny Pinkas, Guy Golan Gueta, and Srinivas Devadas. 2020. Towards Scalable Threshold Cryptosystems. In 2020 IEEE Symposium on Security and Privacy (SP). 877--893."},{"key":"e_1_3_2_1_26_1","volume-title":"BalanceProofs: Maintainable Vector Commitments with Fast Aggregation. In 32nd USENIX Security Symposium (USENIX Security 23)","author":"Wang Weijie","year":"2023","unstructured":"Weijie Wang, Annie Ulichney, and Charalampos Papamanthou. 2023. BalanceProofs: Maintainable Vector Commitments with Fast Aggregation. In 32nd USENIX Security Symposium (USENIX Security 23). USENIX Association, Anaheim, CA, 4409--4426."},{"key":"e_1_3_2_1_27_1","volume-title":"2017 IEEE Symposium on Security and Privacy (SP). 863--880","author":"Zhang Y.","unstructured":"Y. Zhang, D. Genkin, J. Katz, D. Papadopoulos, and C. Papamanthou. 2017. vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases. In 2017 IEEE Symposium on Security and Privacy (SP). 863--880."}],"event":{"name":"CCS '24: ACM SIGSAC Conference on Computer and Communications Security","location":"Salt Lake City UT USA","acronym":"CCS '24","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3670354","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3658644.3670354","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:52:16Z","timestamp":1755841936000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3670354"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,2]]},"references-count":27,"alternative-id":["10.1145\/3658644.3670354","10.1145\/3658644"],"URL":"https:\/\/doi.org\/10.1145\/3658644.3670354","relation":{},"subject":[],"published":{"date-parts":[[2024,12,2]]},"assertion":[{"value":"2024-12-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}