{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T04:48:33Z","timestamp":1780634913788,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T00:00:00Z","timestamp":1700006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,15]]},"DOI":"10.1145\/3576915.3616645","type":"proceedings-article","created":{"date-parts":[[2023,11,21]],"date-time":"2023-11-21T12:35:13Z","timestamp":1700570113000},"page":"1805-1819","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Short Privacy-Preserving Proofs of Liabilities"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8415-6237","authenticated-orcid":false,"given":"Francesca","family":"Falzon","sequence":"first","affiliation":[{"name":"Brown University, University of Chicago, Providence, RI, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1652-6846","authenticated-orcid":false,"given":"Kaoutar","family":"Elkhiyaoui","sequence":"additional","affiliation":[{"name":"IBM Research, Z\u00fcrich, Z\u00fcrich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0479-6478","authenticated-orcid":false,"given":"Yacov","family":"Manevich","sequence":"additional","affiliation":[{"name":"IBM Research, Z\u00fcrich, Z\u00fcrich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-8284-5632","authenticated-orcid":false,"given":"Angelo","family":"De Caro","sequence":"additional","affiliation":[{"name":"IBM Research, Z\u00fcrich, Z\u00fcrich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,11,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Bitcoin: A peer-to-peer electronic cash system. https:\/\/bitcoin. org\/bitcoin.pdf","author":"Nakamoto Satoshi","year":"2008","unstructured":"Satoshi Nakamoto. Bitcoin: A peer-to-peer electronic cash system. https:\/\/bitcoin. org\/bitcoin.pdf, 2008. Online; accessed 14 January 2023."},{"key":"e_1_3_2_1_2_1","volume-title":"Bankrupt ftx has recouped over $5 billion in liquid assets-but still has billions more to go to meet liabilities","author":"Saul Derek","year":"2023","unstructured":"Derek Saul. Bankrupt ftx has recouped over $5 billion in liquid assets-but still has billions more to go to meet liabilities, 2023."},{"key":"e_1_3_2_1_3_1","volume-title":"Audit: What it means in finance and accounting, 3 main types","author":"Tuovila Alicia","year":"2022","unstructured":"Alicia Tuovila. Audit: What it means in finance and accounting, 3 main types, 2022."},{"key":"e_1_3_2_1_4_1","volume-title":"Proving your bitcoin reserves. https:\/\/iwilcox.me.uk\/2014\/proving-bitcoin-reserves","author":"Wilcox Zak","year":"2014","unstructured":"Zak Wilcox. Proving your bitcoin reserves. https:\/\/iwilcox.me.uk\/2014\/proving-bitcoin-reserves, 2014. Online; accessed 13 July 2022."},{"key":"e_1_3_2_1_5_1","volume-title":"Breaking the binding: Attacks on the merkle approach to prove liabilities and its applications. Comput. Secur., 87(C), nov","author":"Hu Kexin","year":"2019","unstructured":"Kexin Hu, Zhenfeng Zhang, and Kaiwen Guo. Breaking the binding: Attacks on the merkle approach to prove liabilities and its applications. Comput. Secur., 87(C), nov 2019."},{"key":"e_1_3_2_1_6_1","volume-title":"Amsterdam ZKProof Community Even","author":"Chalkias Konstantinos","year":"2019","unstructured":"Konstantinos Chalkias, Kevin Lewi, Payman Mohassel, and Valeria Nikolaenko. Practical privacy preserving proofs of solvency. Amsterdam ZKProof Community Even, 2019."},{"key":"e_1_3_2_1_7_1","volume-title":"Secure protocols for provable security","author":"Camacho Philippe","year":"2014","unstructured":"Philippe Camacho. Secure protocols for provable security, 2014. https:\/\/www. slideshare.net\/philippecamacho\/protocols-for-provable-solvency-38501620."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813674"},{"key":"e_1_3_2_1_9_1","volume-title":"Paper 2020\/468","author":"Chalkias Konstantinos","year":"2020","unstructured":"Konstantinos Chalkias, Kevin Lewi, Payman Mohassel, and Valeria Nikolaenko. Distributed auditing proofs of liabilities. Cryptology ePrint Archive, Paper 2020\/468, 2020. https:\/\/eprint.iacr.org\/2020\/468."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484802"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417244"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00020"},{"key":"e_1_3_2_1_13_1","unstructured":"https:\/\/github.com\/yacovm\/PoL."},{"key":"e_1_3_2_1_14_1","volume-title":"Verkle trees. https:\/\/math.mit.edu\/research\/highschool\/primes\/ materials\/2018\/Kuszmaul.pdf","author":"Kuszmaul John","year":"2018","unstructured":"John Kuszmaul. Verkle trees. https:\/\/math.mit.edu\/research\/highschool\/primes\/ materials\/2018\/Kuszmaul.pdf, 2018. Online; accessed 17 October 2022."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings on 33rd Annual ACM Symposium on Theory of Computing","author":"Naor Moni","year":"2001","unstructured":"Moni Naor and Vanessa Teague. Anti-presistence: history independent data structures. In Jeffrey Scott Vitter, Paul G. Spirakis, and Mihalis Yannakakis, editors, Proceedings on 33rd Annual ACM Symposium on Theory of Computing, July 6-8, 2001, Heraklion, Crete, Greece, pages 492--501. ACM, 2001."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47560-8_13"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36362-7_5"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11799-2_30"},{"key":"e_1_3_2_1_19_1","first-page":"186","volume-title":"Proceedings on Advances in Cryptology-CRYPTO '86","author":"Fiat Amos","year":"1987","unstructured":"Amos Fiat and Adi Shamir. How to prove yourself: Practical solutions to identification and signature problems. In Proceedings on Advances in Cryptology-CRYPTO '86, page 186--194, Berlin, Heidelberg, 1987. Springer-Verlag."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_12"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-34805-0_22"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78967-3_24"},{"key":"e_1_3_2_1_23_1","first-page":"1","volume-title":"43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016","volume":"55","author":"Libert Beno\u00eet","year":"2016","unstructured":"Beno\u00eet Libert, Somindu C. Ramanna, and Moti Yung. Functional commitment schemes: From polynomial commitments to pairing-based accumulators from simple assumptions. In 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy, volume 55 of LIPIcs, pages 30:1-30:14. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2016."},{"key":"e_1_3_2_1_24_1","unstructured":"Google. Go programming language https:\/\/go.dev\/."},{"key":"e_1_3_2_1_25_1","first-page":"319","volume-title":"Selected Areas in Cryptography","author":"Paulo S. L.","year":"2006","unstructured":"Paulo S. L. M. Barreto and Michael Naehrig. Pairing-friendly elliptic curves of prime order. In Bart Preneel and Stafford Tavares, editors, Selected Areas in Cryptography, pages 319--331, Berlin, Heidelberg, 2006. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_26_1","volume-title":"Arya Tabaie, Gus Gutoski, and Ivo Kubjas. Consensys\/gnark-crypto: v0.6.0","author":"Botrel Gautam","year":"2023","unstructured":"Gautam Botrel, Thomas Piellard, Youssef El Housni, Arya Tabaie, Gus Gutoski, and Ivo Kubjas. Consensys\/gnark-crypto: v0.6.0, January 2023."},{"key":"e_1_3_2_1_27_1","unstructured":"USA government. about social security numbers www.usa.gov\/about-social-security."},{"key":"e_1_3_2_1_28_1","unstructured":"Yan Ji; Konstantinos Chalkias. Dapol implementation."}],"event":{"name":"CCS '23: ACM SIGSAC Conference on Computer and Communications Security","location":"Copenhagen Denmark","acronym":"CCS '23","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576915.3616645","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3576915.3616645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T01:49:55Z","timestamp":1755740995000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576915.3616645"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,15]]},"references-count":28,"alternative-id":["10.1145\/3576915.3616645","10.1145\/3576915"],"URL":"https:\/\/doi.org\/10.1145\/3576915.3616645","relation":{},"subject":[],"published":{"date-parts":[[2023,11,15]]},"assertion":[{"value":"2023-11-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}