{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T02:34:05Z","timestamp":1755225245736,"version":"3.43.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,8,25]]},"DOI":"10.1145\/3708821.3736204","type":"proceedings-article","created":{"date-parts":[[2025,8,13]],"date-time":"2025-08-13T06:30:56Z","timestamp":1755066656000},"page":"215-230","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["LogaLookup: Efficient Multivariate Lookup Argument for Accelerated Proof Generation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-8761-5997","authenticated-orcid":false,"given":"Dien H. A.","family":"Tran","sequence":"first","affiliation":[{"name":"Decentralized Cryptography Lab, University Of Science, VNUHCM, Ho Chi Minh City, Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-2633-3685","authenticated-orcid":false,"given":"Tam N. B.","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Decentralized Cryptography Lab, University Of Science, VNUHCM, Ho Chi Minh City, Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4373-2212","authenticated-orcid":false,"given":"Nhien-An","family":"Le-Khac","sequence":"additional","affiliation":[{"name":"University College Dublin, Dublin, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0524-8841","authenticated-orcid":false,"given":"Thuc D.","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Decentralized Cryptography Lab, University Of Science, VNUHCM, Ho Chi Minh City, Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,8,24]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"crossref","unstructured":"Marta Bell\u00e9s-Mu\u00f1oz Miguel Isabel Jose\u00a0Luis Mu\u00f1oz-Tapia Albert Rubio and Jordi Baylina. 2022. Circom: A circuit description language for building zero-knowledge applications. IEEE Transactions on Dependable and Secure Computing 20 6 (2022) 4733\u20134751.","DOI":"10.1109\/TDSC.2022.3232813"},{"key":"e_1_3_3_2_3_2","unstructured":"Eli Ben-Sasson Iddo Bentov Yinon Horesh and Michael Riabzev. 2018. Scalable transparent and post-quantum secure computational integrity. Cryptology ePrint Archive (2018)."},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-26954-8_23"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40084-1_6"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17653-2_4"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53644-5_2"},{"key":"e_1_3_3_2_8_2","first-page":"781","volume-title":"23rd USENIX Security Symposium (USENIX Security 14)","author":"Ben-Sasson Eli","year":"2014","unstructured":"Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, and Madars Virza. 2014. Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture. In 23rd USENIX Security Symposium (USENIX Security 14). USENIX Association, San Diego, CA, 781\u2013796. https:\/\/www.usenix.org\/conference\/usenixsecurity14\/technical-sessions\/presentation\/ben-sasson"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","unstructured":"Manuel Blum Alfredo De\u00a0Santis Silvio Micali and Giuseppe Persiano. 1991. Noninteractive Zero-Knowledge. SIAM J. Comput. 20 6 (1991) 1084\u20131118. 10.1137\/0220068 arXiv:10.1137\/0220068","DOI":"10.1137\/0220068"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3335741.3335757"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03326-2_20"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-07085-3_15"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-07085-3_10"},{"key":"e_1_3_3_2_14_2","unstructured":"Sean Bowe Ariel Gabizon and Ian Miers. 2017. Scalable Multi-party Computation for zk-SNARK Parameters in the Random Beacon Model. IACR Cryptol. ePrint Arch. 2017 (2017) 1050. https:\/\/api.semanticscholar.org\/CorpusID:3636212"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30617-4_17"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45721-1_26"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"crossref","unstructured":"Pierre Duhamel and Martin Vetterli. 1990. Fast Fourier transforms: a tutorial review and a state of the art. Signal processing 19 4 (1990) 259\u2013299.","DOI":"10.1016\/0165-1684(90)90158-U"},{"key":"e_1_3_3_2_18_2","unstructured":"Liam Eagen Dario Fiore and Ariel Gabizon. 2022. cq: Cached quotients for fast lookups. Cryptology ePrint Archive (2022)."},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/FSCS.1990.89549"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.5555\/36664.36676"},{"key":"e_1_3_3_2_21_2","unstructured":"Ariel Gabizon and Dmitry Khovratovich. 2022. flookup: Fractional decomposition-based lookups in quasi-linear time independent of table size. Cryptology ePrint Archive (2022)."},{"key":"e_1_3_3_2_22_2","unstructured":"Ariel Gabizon and Zachary\u00a0J Williamson. 2020. plookup: A simplified polynomial protocol for lookup tables. Cryptology ePrint Archive (2020)."},{"key":"e_1_3_3_2_23_2","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 (2019) 953. https:\/\/api.semanticscholar.org\/CorpusID:201685538"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38348-9_37"},{"key":"e_1_3_3_2_25_2","unstructured":"Oded Goldreich. 20008. Probabilistic proof systems: A primer.91\u00a0pages."},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","unstructured":"Oded Goldreich and Hugo Krawczyk. 1996. On the Composition of Zero-Knowledge Proof Systems. SIAM J. Comput. 25 1 (1996) 169\u2013192. 10.1137\/S0097539791220688 arXiv:10.1137\/S0097539791220688","DOI":"10.1137\/S0097539791220688"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","unstructured":"Oded Goldreich Silvio Micali and Avi Wigderson. 1991. Proofs That Yield Nothing but Their Validity or All Languages in NP Have Zero-Knowledge Proof Systems. J. ACM 38 3 (jul 1991) 690\u2013728. 10.1145\/116825.116852","DOI":"10.1145\/116825.116852"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/3335741.3335750"},{"key":"e_1_3_3_2_29_2","unstructured":"Alexander Golovnev Jonathan Lee Srinath\u00a0TV Setty Justin Thaler and Riad\u00a0S Wahby. 2021. Brakedown: Linear-time and post-quantum SNARKs for R1CS. IACR Cryptol. ePrint Arch. 2021 (2021) 1043."},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_11"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96878-0_24"},{"key":"e_1_3_3_2_32_2","unstructured":"Ulrich Hab\u00f6ck. 2022. Multivariate lookups based on logarithmic derivatives. Cryptology ePrint Archive (2022)."},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17373-8_11"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3339817"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36594-2_13"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"crossref","unstructured":"Bryan Parno Jon Howell Craig Gentry and Mariana Raykova. 2016. Pinocchio: Nearly practical verifiable computation. Commun. ACM 59 2 (2016) 103\u2013112.","DOI":"10.1145\/2856449"},{"key":"e_1_3_3_2_37_2","unstructured":"Luke Pearson Joshua Fitzgerald H\u00e9ctor Masip Marta Bell\u00e9s-Mu\u00f1oz and Jose\u00a0Luis Mu\u00f1oz-Tapia. 2022. Plonkup: Reconciling plonk with plookup. Cryptology ePrint Archive (2022)."},{"key":"e_1_3_3_2_38_2","unstructured":"Jim Posen and Assimakis\u00a0A Kattis. 2022. Caulk+: Table-independent lookup arguments. Cryptology ePrint Archive (2022)."},{"key":"e_1_3_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46766-1_35"},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-56877-1_25"},{"key":"e_1_3_3_2_41_2","doi-asserted-by":"crossref","unstructured":"Justin Thaler et\u00a0al. 2022. Proofs arguments and zero-knowledge. Foundations and Trends\u00ae in Privacy and Security 4 2\u20134 (2022) 117\u2013660.","DOI":"10.1561\/3300000030"},{"key":"e_1_3_3_2_42_2","doi-asserted-by":"crossref","unstructured":"Riad\u00a0S Wahby Srinath Setty Max Howald Zuocheng Ren Andrew\u00a0J Blumberg and Michael Walfish. 2014. Efficient RAM and control flow in verifiable outsourced computation. Cryptology ePrint Archive (2014).","DOI":"10.14722\/ndss.2015.23097"},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00060"},{"key":"e_1_3_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-26954-8_24"},{"key":"e_1_3_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15985-5_11"},{"key":"e_1_3_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560646"},{"key":"e_1_3_3_2_47_2","unstructured":"Arantxa Zapico Ariel Gabizon Dmitry Khovratovich Mary Maller and Carla Rafols. 2022. Baloo: nearly optimal lookup arguments. Cryptology ePrint Archive (2022)."}],"event":{"name":"ASIA CCS '25: 20th ACM Asia Conference on Computer and Communications Security","location":"Hanoi Vietnam","acronym":"ASIA CCS '25","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 20th ACM Asia Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3708821.3736204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,13]],"date-time":"2025-08-13T07:30:13Z","timestamp":1755070213000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3708821.3736204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,24]]},"references-count":46,"alternative-id":["10.1145\/3708821.3736204","10.1145\/3708821"],"URL":"https:\/\/doi.org\/10.1145\/3708821.3736204","relation":{},"subject":[],"published":{"date-parts":[[2025,8,24]]},"assertion":[{"value":"2025-08-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}