{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T22:30:07Z","timestamp":1730327407493,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","funder":[{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Oracle Corporation"},{"name":"Steel Perlot"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,6,23]]},"DOI":"10.1145\/3595647.3595648","type":"proceedings-article","created":{"date-parts":[[2023,6,15]],"date-time":"2023-06-15T12:13:15Z","timestamp":1686831195000},"page":"1-9","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Scaling Zero-Knowledge to Verifiable Databases"],"prefix":"10.1145","author":[{"ORCID":"http:\/\/orcid.org\/0009-0000-0782-6508","authenticated-orcid":false,"given":"Tal","family":"Derei","sequence":"first","affiliation":[{"name":"Dept. of Computer Science and Eng., Lehigh University, USA"}]},{"ORCID":"http:\/\/orcid.org\/0009-0005-7663-2957","authenticated-orcid":false,"given":"Benjamin","family":"Aulenbach","sequence":"additional","affiliation":[{"name":"Macguyver Tech, USA"}]},{"ORCID":"http:\/\/orcid.org\/0009-0008-3013-5746","authenticated-orcid":false,"given":"Victor","family":"Carolino","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science and Eng., Lehigh University, USA"}]},{"ORCID":"http:\/\/orcid.org\/0009-0002-3135-0444","authenticated-orcid":false,"given":"Caleb","family":"Geren","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science and Eng., Lehigh University, USA"}]},{"ORCID":"http:\/\/orcid.org\/0009-0003-1707-9851","authenticated-orcid":false,"given":"Michael","family":"Kaufman","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science and Eng., Lehigh University, USA"}]},{"ORCID":"http:\/\/orcid.org\/0009-0005-1041-6477","authenticated-orcid":false,"given":"Jonathan","family":"Klein","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science and Eng., Lehigh University, USA"}]},{"ORCID":"http:\/\/orcid.org\/0009-0009-9284-3825","authenticated-orcid":false,"given":"Rishad","family":"Islam Shanto","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science and Eng., Lehigh University, USA"}]},{"ORCID":"http:\/\/orcid.org\/0009-0005-8961-8193","authenticated-orcid":false,"given":"Henry F.","family":"Korth","sequence":"additional","affiliation":[{"name":"Dept. of Computer Science and Eng., Lehigh University, USA"}]}],"member":"320","published-online":{"date-parts":[[2023,6,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Eli Ben-Sasson Iddo Bentov Yinon Horesh and Michael Riabzev. 2018. Scalable transparent and post-quantum secure computational integrity. IACR Cryptol. ePrint Arch. (2018) 46. http:\/\/eprint.iacr.org\/2018\/046 Eli Ben-Sasson Iddo Bentov Yinon Horesh and Michael Riabzev. 2018. Scalable transparent and post-quantum secure computational integrity. IACR Cryptol. ePrint Arch. (2018) 46. http:\/\/eprint.iacr.org\/2018\/046"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.36"},{"key":"e_1_3_2_1_3_1","volume":"200","author":"Daniel\u00a0","unstructured":"Daniel\u00a0 J. Bernstein. 200 2. Pippenger\u2019s Exponentiation Algorithm. Manuscript, University of Illinois at Chicago. https:\/\/cr.yp.to\/papers\/pippenger-20020118-retypeset20220327.pdf. Daniel\u00a0J. Bernstein. 2002. Pippenger\u2019s Exponentiation Algorithm. Manuscript, University of Illinois at Chicago. https:\/\/cr.yp.to\/papers\/pippenger-20020118-retypeset20220327.pdf.","journal-title":"J. Bernstein."},{"key":"e_1_3_2_1_4_1","unstructured":"Dan Boneh and Victor Shoup. 2023. A Graduate Course in Applied Cryptography version 0.6. cryptobook.us. Dan Boneh and Victor Shoup. 2023. A Graduate Course in Applied Cryptography version 0.6. cryptobook.us."},{"key":"e_1_3_2_1_5_1","volume-title":"Izaak\u00a0Meckler2 andVanishree Rao2, and Evan Shapiro2","author":"Bonneau Joseph","year":"2020","unstructured":"Joseph Bonneau , Izaak\u00a0Meckler2 andVanishree Rao2, and Evan Shapiro2 . 2020 . Mina : Decentralized Cryptocurrency at Scale. Mina White Paper . https:\/\/minaprotocol.com\/wp-content\/uploads\/technicalWhitepaper.pdf Joseph Bonneau, Izaak\u00a0Meckler2 andVanishree Rao2, and Evan Shapiro2. 2020. Mina: Decentralized Cryptocurrency at Scale. Mina White Paper. https:\/\/minaprotocol.com\/wp-content\/uploads\/technicalWhitepaper.pdf"},{"key":"e_1_3_2_1_6_1","unstructured":"Binyi Chen Benedikt B\u00fcnz Dan Boneh and Zhenfei Zhang. 2022. HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates. Cryptology ePrint Archive Paper 2022\/1355. https:\/\/eprint.iacr.org\/2022\/1355 https:\/\/eprint.iacr.org\/2022\/1355. Binyi Chen Benedikt B\u00fcnz Dan Boneh and Zhenfei Zhang. 2022. HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates. Cryptology ePrint Archive Paper 2022\/1355. https:\/\/eprint.iacr.org\/2022\/1355 https:\/\/eprint.iacr.org\/2022\/1355."},{"key":"e_1_3_2_1_7_1","volume-title":"Marlin: Preprocessing zkSNARKs with Universal and Updatale SRS. Cryptology ePrint Archive, Report 2019\/1047. https:\/\/eprint.iacr.org\/2019\/1047.pdf.","author":"Chiesa Alessandro","year":"2019","unstructured":"Alessandro Chiesa , Yuncong Hu , Mary Maller , Pratyush Mishra , Psi Vesely , and Nicholas Ward . 2019 . Marlin: Preprocessing zkSNARKs with Universal and Updatale SRS. Cryptology ePrint Archive, Report 2019\/1047. https:\/\/eprint.iacr.org\/2019\/1047.pdf. Alessandro Chiesa, Yuncong Hu, Mary Maller, Pratyush Mishra, Psi Vesely, and Nicholas Ward. 2019. Marlin: Preprocessing zkSNARKs with Universal and Updatale SRS. Cryptology ePrint Archive, Report 2019\/1047. https:\/\/eprint.iacr.org\/2019\/1047.pdf."},{"key":"e_1_3_2_1_8_1","unstructured":"Tal Derei. 2022. Cuda-Barretenberg. https:\/\/github.com\/TalDerei\/cuda-barretenberg. Tal Derei. 2022. Cuda-Barretenberg. https:\/\/github.com\/TalDerei\/cuda-barretenberg."},{"volume-title":"Technical Report","author":"Derei Tal","key":"e_1_3_2_1_12_1","unstructured":"Tal Derei , Caleb Geren , Michael Kaufman , Jon Klein , and Rishad\u00a0Islam Shantho . 2023. Benchmarking PlonK, TurboPlonk, and UltraPlonk Proving Systems . Technical Report . Lehigh University . https:\/\/github.com\/TalDerei\/Masters-Research\/blob\/main\/Benchmarking%20Plonk%2C%20TurboPlonk%2C%20and%20UltraPlonk%20Proving%20Systems.pdf. Tal Derei, Caleb Geren, Michael Kaufman, Jon Klein, and Rishad\u00a0Islam Shantho. 2023. Benchmarking PlonK, TurboPlonk, and UltraPlonk Proving Systems. Technical Report. Lehigh University. https:\/\/github.com\/TalDerei\/Masters-Research\/blob\/main\/Benchmarking%20Plonk%2C%20TurboPlonk%2C%20and%20UltraPlonk%20Proving%20Systems.pdf."},{"key":"e_1_3_2_1_13_1","volume-title":"Federal Reserve and MIT","author":"S.","year":"2022","unstructured":"U.\u00a0 S. Federal Reserve and MIT . 2022 . Project Hamilton Phase 1: A High Performance Payment Processing System Designed for Central Bank Digital Currencies. Federal Reserve Bank of Boston and Massachusetts Institute of Technology Digital Currency Initiative . https:\/\/www.bostonfed.org\/-\/media\/Documents\/Project-Hamilton\/Project-Hamilton-Phase-1-Whitepaper.pdf. U.\u00a0S. Federal Reserve and MIT. 2022. Project Hamilton Phase 1: A High Performance Payment Processing System Designed for Central Bank Digital Currencies. Federal Reserve Bank of Boston and Massachusetts Institute of Technology Digital Currency Initiative. https:\/\/www.bostonfed.org\/-\/media\/Documents\/Project-Hamilton\/Project-Hamilton-Phase-1-Whitepaper.pdf."},{"key":"e_1_3_2_1_14_1","volume":"202","author":"Gabizon Ariel","unstructured":"Ariel Gabizon and Zachary\u00a0 J. Williamson. 202 0. plookup: A Simplified Polynomial Protocol for Lookup Tables. Cryptology ePrint Archive, Report 2020\/315. https:\/\/eprint.iacr.org\/2020\/315.pdf. Ariel Gabizon and Zachary\u00a0J. Williamson. 2020. plookup: A Simplified Polynomial Protocol for Lookup Tables. Cryptology ePrint Archive, Report 2020\/315. https:\/\/eprint.iacr.org\/2020\/315.pdf.","journal-title":"J. Williamson."},{"key":"e_1_3_2_1_15_1","volume":"202","author":"Gabizon Ariel","unstructured":"Ariel Gabizon and Zachary\u00a0 J. Williamson. 202 0. The Turbo-PLONK Program Syntax for Specifying SNARK Programs. https:\/\/docs.zkproof.org\/pages\/standards\/accepted-workshop3\/proposal-turbo_plonk.pdf. Ariel Gabizon and Zachary\u00a0J. Williamson. 2020. The Turbo-PLONK Program Syntax for Specifying SNARK Programs. https:\/\/docs.zkproof.org\/pages\/standards\/accepted-workshop3\/proposal-turbo_plonk.pdf.","journal-title":"J. Williamson."},{"key":"e_1_3_2_1_16_1","unstructured":"Ariel Gabizon Zachary\u00a0J. Williamson and Oana-Madalina Ciobotaru. 2019. PlonK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge. IACR Cryptol. ePrint Arch. (2019) 953. Ariel Gabizon Zachary\u00a0J. Williamson and Oana-Madalina Ciobotaru. 2019. PlonK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge. IACR Cryptol. ePrint Arch. (2019) 953."},{"volume-title":"Proc. 17th ACM Symp. on the Theory of Computing.","author":"Goldwasser S.","key":"e_1_3_2_1_17_1","unstructured":"S. Goldwasser , S. Micali , and C. Rackoff . 1985. The Knowledge Complexity of Interactive Proof-Systems . In Proc. 17th ACM Symp. on the Theory of Computing. S. Goldwasser, S. Micali, and C. Rackoff. 1985. The Knowledge Complexity of Interactive Proof-Systems. In Proc. 17th ACM Symp. on the Theory of Computing."},{"key":"e_1_3_2_1_18_1","unstructured":"Noah Grossman. 2022. Algorand State Proofs. Medium. https:\/\/medium.com\/algorand\/algorand-state-proofs-707d64038e35 Noah Grossman. 2022. Algorand State Proofs. Medium. https:\/\/medium.com\/algorand\/algorand-state-proofs-707d64038e35"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_11"},{"key":"e_1_3_2_1_20_1","unstructured":"Tao Lu Chengkun Wei Ruijing Yu Yi Chen Li Wang Chaochao Chen Zeke Wang and Wenzhi Chen. 2022. cuZK: Accelerating Zero-Knowledge Proof with A Faster Parallel Multi-Scalar Multiplication Algorithm on GPUs. Cryptology ePrint Archive Paper 2022\/1321. https:\/\/eprint.iacr.org\/2022\/1321 https:\/\/eprint.iacr.org\/2022\/1321. Tao Lu Chengkun Wei Ruijing Yu Yi Chen Li Wang Chaochao Chen Zeke Wang and Wenzhi Chen. 2022. cuZK: Accelerating Zero-Knowledge Proof with A Faster Parallel Multi-Scalar Multiplication Algorithm on GPUs. Cryptology ePrint Archive Paper 2022\/1321. https:\/\/eprint.iacr.org\/2022\/1321 https:\/\/eprint.iacr.org\/2022\/1321."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575711"},{"key":"e_1_3_2_1_22_1","unstructured":"Mary Maller Sean Bowe Markulf Kohlweiss and Sarah Meiklejohn. 2019. Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updateable Structured Reference Strings. Cryptology ePrint Archive Paper 2019\/099. https:\/\/eprint.iacr.org\/2019\/099 https:\/\/eprint.iacr.org\/2019\/099. Mary Maller Sean Bowe Markulf Kohlweiss and Sarah Meiklejohn. 2019. Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updateable Structured Reference Strings. Cryptology ePrint Archive Paper 2019\/099. https:\/\/eprint.iacr.org\/2019\/099 https:\/\/eprint.iacr.org\/2019\/099."},{"volume-title":"Advances in Cryptology \u2014 CRYPTO \u201987","author":"Merkle C.","key":"e_1_3_2_1_23_1","unstructured":"Ralph\u00a0 C. Merkle . 1988. A Digital Signature Based on a Conventional Encryption Function . In Advances in Cryptology \u2014 CRYPTO \u201987 . Springer Berlin Heidelberg , 369\u2013378. Ralph\u00a0C. Merkle. 1988. A Digital Signature Based on a Conventional Encryption Function. In Advances in Cryptology \u2014 CRYPTO \u201987. Springer Berlin Heidelberg, 369\u2013378."},{"key":"e_1_3_2_1_24_1","unstructured":"Valeria Nikolaenko Sam Ragsdale Joseph Bonneau and Dan Boneh. 2022. Powers-of-Tau to the People: Decentralizing Setup Ceremonies. Cryptology ePrint Archive Paper 2022\/1592. https:\/\/eprint.iacr.org\/2022\/1592 https:\/\/eprint.iacr.org\/2022\/1592. Valeria Nikolaenko Sam Ragsdale Joseph Bonneau and Dan Boneh. 2022. Powers-of-Tau to the People: Decentralizing Setup Ceremonies. Cryptology ePrint Archive Paper 2022\/1592. https:\/\/eprint.iacr.org\/2022\/1592 https:\/\/eprint.iacr.org\/2022\/1592."},{"key":"e_1_3_2_1_25_1","volume-title":"Why and How zk-SNARK Works: Definitive Explanation. arXiv","author":"Petkus Maksym","year":"1906","unstructured":"Maksym Petkus . 2019. Why and How zk-SNARK Works: Definitive Explanation. arXiv 1906 .07221v1. Maksym Petkus. 2019. Why and How zk-SNARK Works: Definitive Explanation. arXiv 1906.07221v1."},{"key":"e_1_3_2_1_26_1","unstructured":"Protocol Labs. 2017. FileCoin: A Decentralized Storage Network. Web document. https:\/\/filecoin.io\/filecoin.pdf. Protocol Labs. 2017. FileCoin: A Decentralized Storage Network. Web document. https:\/\/filecoin.io\/filecoin.pdf."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Justin Thaler. 2023. Proofs Arguments and Zero-Knowledge. Now Foundation and Trends. https:\/\/people.cs.georgetown.edu\/jthaler\/ProofsArgsAndZK.html. Justin Thaler. 2023. Proofs Arguments and Zero-Knowledge. Now Foundation and Trends. https:\/\/people.cs.georgetown.edu\/jthaler\/ProofsArgsAndZK.html.","DOI":"10.1561\/9781638281252"},{"key":"e_1_3_2_1_29_1","unstructured":"Charles.\u00a0F. Xavier. 2022. PipeMSM: Hardware Acceleration for Multi-Scalar Multiplication. Cryptology ePrint Archive Paper 2022\/999. https:\/\/eprint.iacr.org\/2022\/999 https:\/\/eprint.iacr.org\/2022\/999. Charles.\u00a0F. Xavier. 2022. PipeMSM: Hardware Acceleration for Multi-Scalar Multiplication. Cryptology ePrint Archive Paper 2022\/999. https:\/\/eprint.iacr.org\/2022\/999 https:\/\/eprint.iacr.org\/2022\/999."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA52012.2021.00040"}],"event":{"name":"VDBS 2023: Workshop on Verifiable Database Systems","acronym":"VDBS 2023","location":"Seattle WA USA"},"container-title":["Proceedings of the 1st Workshop on Verifiable Database Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3595647.3595648","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T19:41:56Z","timestamp":1701373316000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3595647.3595648"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,23]]},"references-count":26,"alternative-id":["10.1145\/3595647.3595648","10.1145\/3595647"],"URL":"https:\/\/doi.org\/10.1145\/3595647.3595648","relation":{},"subject":[],"published":{"date-parts":[[2023,6,23]]},"assertion":[{"value":"2023-06-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}