{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T14:56:21Z","timestamp":1773154581281,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":74,"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:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Hong Kong RGC Projects","award":["PolyU15224121 and PolyU15231223"],"award-info":[{"award-number":["PolyU15224121 and PolyU15231223"]}]},{"DOI":"10.13039\/501100006374","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["No.62332004"],"award-info":[{"award-number":["No.62332004"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Sichuan Provincial Natural Science Foundation for Distinguished Young Scholars","award":["No.2023NSFSC1963"],"award-info":[{"award-number":["No.2023NSFSC1963"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,12,2]]},"DOI":"10.1145\/3658644.3690243","type":"proceedings-article","created":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T12:19:20Z","timestamp":1733746760000},"page":"971-985","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["<scp>fAmulet:<\/scp>\n            Finding Finalization Failure Bugs in Polygon zkRollup"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4382-577X","authenticated-orcid":false,"given":"Zihao","family":"Li","sequence":"first","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-3652-9378","authenticated-orcid":false,"given":"Xinghao","family":"Peng","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2131-1046","authenticated-orcid":false,"given":"Zheyuan","family":"He","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9082-3208","authenticated-orcid":false,"given":"Xiapu","family":"Luo","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9165-8331","authenticated-orcid":false,"given":"Ting","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,12,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2024. Our full paper with the appendix. https:\/\/zzzihao-li.github.io\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Arbitrum. 2022. Arbitrum Rollup. https:\/\/docs.arbitrum.io\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Arbitrum. 2024. The Sequencer and Censorship Resistance. https:\/\/docs.arbitrum. io\/sequencer"},{"key":"e_1_3_2_1_4_1","volume-title":"A survey of blockchain consensus algorithms performance evaluation criteria. Expert Systems with Applications","author":"Hosseini Bamakan Seyed Mojtaba","year":"2020","unstructured":"Seyed Mojtaba Hosseini Bamakan, Amirhossein Motavali, and Alireza Babaei Bondarti. 2020. A survey of blockchain consensus algorithms performance evaluation criteria. Expert Systems with Applications (2020)."},{"key":"e_1_3_2_1_5_1","volume-title":"Twins: BFT Systems Made Robust. arXiv","author":"Bano Shehar","year":"2022","unstructured":"Shehar Bano, Alberto Sonnino, Andrey Chursin, Dmitri Perelman, Zekun Li, Avery Ching, and Dahlia Malkhi. 2022. Twins: BFT Systems Made Robust. arXiv (2022)."},{"key":"e_1_3_2_1_6_1","volume-title":"Albert Rubio, and Jordi Baylina.","author":"Bell\u00e9s-Mu\u00f1oz Marta","year":"2022","unstructured":"Marta Bell\u00e9s-Mu\u00f1oz, Miguel Isabel, Jose Luis Mu\u00f1oz-Tapia, Albert Rubio, and Jordi Baylina. 2022. Circom: A circuit description language for building zeroknowledge applications. TDSC (2022)."},{"key":"e_1_3_2_1_7_1","unstructured":"Eli Ben-Sasson Iddo Bentov Yinon Horesh and Michael Riabzev. 2018. Fast reed-solomon interactive oracle proofs of proximity. In ICALP."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Eli Ben-Sasson Iddo Bentov Yinon Horesh and Michael Riabzev. 2019. Scalable zero knowledge with no trusted setup. In CRYPTO.","DOI":"10.1007\/978-3-030-26954-8_23"},{"key":"e_1_3_2_1_9_1","volume-title":"Valentin JM Man\u00e8s, and Sang Kil Cha","author":"B\u00f6hme Marcel","year":"2020","unstructured":"Marcel B\u00f6hme, Valentin JM Man\u00e8s, and Sang Kil Cha. 2020. Boosting fuzzer efficiency: An information theoretic perspective. In FSE."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Lexi Brent Neville Grech Sifis Lagouvardos Bernhard Scholz and Yannis Smaragdakis. 2020. Ethainter: a smart contract security analyzer for composite vulnerabilities. In PLDI.","DOI":"10.1145\/zenodo.3760403"},{"key":"e_1_3_2_1_11_1","unstructured":"State of the art of zero-knowledge proofs in blockchain. In TELFOR."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483564"},{"key":"e_1_3_2_1_13_1","volume-title":"Tyr: Finding consensus failure bugs in blockchain system with behaviour divergent model. In SP.","author":"Chen Yuanliang","year":"2023","unstructured":"Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Yu Jiang, Ting Chen, and Jiaguang Sun. 2023. Tyr: Finding consensus failure bugs in blockchain system with behaviour divergent model. In SP."},{"key":"e_1_3_2_1_14_1","volume-title":"Smartian: Enhancing smart contract fuzzing with static and dynamic data-flow analyses. In ASE.","author":"Choi Jaeseung","year":"2021","unstructured":"Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, and Sang Kil Cha. 2021. Smartian: Enhancing smart contract fuzzing with static and dynamic data-flow analyses. In ASE."},{"key":"e_1_3_2_1_15_1","unstructured":"Consensys. 2017. Mythril. https:\/\/github.com\/Consensys\/mythril."},{"key":"e_1_3_2_1_16_1","unstructured":"Solidity documentation. 2024. Solidity. https:\/\/docs.soliditylang.org\/en\/latest\/"},{"key":"e_1_3_2_1_17_1","unstructured":"Ying Fu Meng Ren Fuchen Ma Heyuan Shi Xin Yang Yu Jiang Huizhong Li and Xiang Shi. 2019. Evmfuzzer: detect evm vulnerabilities via fuzz testing. In FSE."},{"key":"e_1_3_2_1_18_1","unstructured":"Google. 2023. Sanitizers. https:\/\/github.com\/google\/sanitizers"},{"key":"e_1_3_2_1_19_1","unstructured":"Lorenzo Grassi Dmitry Khovratovich Christian Rechberger Arnab Roy and Markus Schofnegger. 2021. Poseidon:Anewhash function for {Zero-Knowledge} proof systems. In USENIX Security."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Gustavo Grieco Will Song Artur Cygan Josselin Feist and Alex Groce. 2020. Echidna: effective usable and fast fuzzing for smart contracts. In ISSTA.","DOI":"10.1145\/3395363.3404366"},{"key":"e_1_3_2_1_21_1","unstructured":"Jingxuan He Mislav Balunovi? Nodar Ambroladze Petar Tsankov and Martin Vechev. 2019. Learning to fuzz from symbolic execution with application to smart contracts. In CCS."},{"key":"e_1_3_2_1_22_1","volume-title":"NURGLE: Exacerbating Resource Consumption in Blockchain State Storage via MPT Manipulation. In SP.","author":"He Zheyuan","year":"2024","unstructured":"Zheyuan He, Zihao Li, Ao Qiao, Xiapu Luo, Xiaosong Zhang, Ting Chen, Shuwei Song, Dijun Liu, and Weina Niu. 2024. NURGLE: Exacerbating Resource Consumption in Blockchain State Storage via MPT Manipulation. In SP."},{"key":"e_1_3_2_1_23_1","volume-title":"Cristina P\u00e9rez-Sol\u00e0, and Joaquin Garcia-Alfaro.","author":"Herrera-Joancomart\u00ed Jordi","year":"2019","unstructured":"Jordi Herrera-Joancomart\u00ed, Guillermo Navarro-Arribas, Alejandro Ranchal- Pedrosa, Cristina P\u00e9rez-Sol\u00e0, and Joaquin Garcia-Alfaro. 2019. On the difficulty of hiding the balance of lightning network channels. In CCS."},{"key":"e_1_3_2_1_24_1","unstructured":"Immunefi. 2023. Bug bounty program of Polygon zkRollup. https:\/\/immunefi. com\/bounty\/polygonzkevm\/"},{"key":"e_1_3_2_1_25_1","volume-title":"Arbitrum: Scalable, private smart contracts. In USENIX Security.","author":"Kalodner Harry","year":"2018","unstructured":"Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S Matthew Weinberg, and Edward W Felten. 2018. Arbitrum: Scalable, private smart contracts. In USENIX Security."},{"key":"e_1_3_2_1_26_1","unstructured":"Shinhae Kim and Sungjae Hwang. 2023. EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes. In FSE."},{"key":"e_1_3_2_1_27_1","unstructured":"Soohyeong Kim Yongseok Kwon and Sunghyun Cho. 2018. A survey of scalability solutions on blockchain. In ICTC."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Adrian Koegl Zeeshan Meghji Donato Pellegrino Jan Gorzny and Martin Derka. 2023. Attacks on Rollups. In DICG.","DOI":"10.1145\/3631310.3633493"},{"key":"e_1_3_2_1_29_1","unstructured":"EVM lab. 2019. Utilities for interacting with the Ethereum virtual machine. https:\/\/github.com\/ethereum\/evmlab."},{"key":"e_1_3_2_1_30_1","unstructured":"Offchain Labs. 2023. Solutions to Delay Attacks on Rollups. https:\/\/medium.com\/ offchainlabs\/solutions-to-delay-attacks-on-rollups-434f9d05a07a."},{"key":"e_1_3_2_1_31_1","volume-title":"A trusted and regulated data trading scheme based on blockchain and zero-knowledge proof. IET Blockchain","author":"Li Dongmei","year":"2024","unstructured":"Dongmei Li, Xiaohui Ke, Xiaomei Zhang, and Yujin Zhang. 2024. A trusted and regulated data trading scheme based on blockchain and zero-knowledge proof. IET Blockchain (2024)."},{"key":"e_1_3_2_1_32_1","volume-title":"Deter: Denial of ethereum txpool services. In CCS.","author":"Li Kai","year":"2021","unstructured":"Kai Li, Yibo Wang, and Yuzhe Tang. 2021. Deter: Denial of ethereum txpool services. In CCS."},{"key":"e_1_3_2_1_33_1","unstructured":"LibFuzzer. 2003. A library for coverage-guided fuzz testing. https:\/\/llvm.org\/ docs\/LibFuzzer.html."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Feng Luo Huangkun Lin Zihao Li Xiapu Luo Ruijie Luo Zheyuan He Shuwei Song Ting Chen and Wenxuan Luo. 2024. Towards Automatic Discovery of Denial of Service Weaknesses in Blockchain Resource Models. In CCS.","DOI":"10.1145\/3658644.3690329"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Loi Luu Duc-Hiep Chu Hrishi Olickel Prateek Saxena and Aquinas Hobor. 2016. Making smart contracts smarter. In CCS.","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_36_1","volume-title":"LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols.. In NDSS.","author":"Ma Fuchen","year":"2023","unstructured":"Fuchen Ma, Yuanliang Chen, Meng Ren, Yuanhang Zhou, Yu Jiang, Ting Chen, Huizhong Li, and Jiaguang Sun. 2023. LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols.. In NDSS."},{"key":"e_1_3_2_1_37_1","volume-title":"Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos. In CCS.","author":"Ma Fuchen","year":"2023","unstructured":"Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Jingxuan Sun, Zhuo Su, Yu Jiang, Jiaguang Sun, and Huizhong Li. 2023. Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos. In CCS."},{"key":"e_1_3_2_1_38_1","volume-title":"Research on transaction privacy protection solutions for cross-border commerce. IET Blockchain","author":"Ma JinCheng","year":"2024","unstructured":"JinCheng Ma and Fei Li. 2024. Research on transaction privacy protection solutions for cross-border commerce. IET Blockchain (2024)."},{"key":"e_1_3_2_1_39_1","volume-title":"Anonymous multi-hop locks for blockchain scalability and interoperability. ePrint","author":"Malavolta Giulio","year":"2018","unstructured":"Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, and Matteo Maffei. 2018. Anonymous multi-hop locks for blockchain scalability and interoperability. ePrint (2018)."},{"key":"e_1_3_2_1_40_1","volume-title":"ZKP Protocols for Usowan, Herugolf, and Five Cells. Tsinghua Science and Technology","author":"Miyahara Daiki","year":"2024","unstructured":"Daiki Miyahara, L\u00e9o Robert, Pascal Lafourcade, and Takaaki Mizuki. 2024. ZKP Protocols for Usowan, Herugolf, and Five Cells. Tsinghua Science and Technology (2024)."},{"key":"e_1_3_2_1_41_1","unstructured":"Trail of Bits. 2023. Griefing attacks. https:\/\/github.com\/ethereum-optimism\/ optimism\/blob\/develop\/docs\/security-reviews\/2023_01-Bedrock_Updates- TrailOfBits.pdf."},{"key":"e_1_3_2_1_42_1","unstructured":"Optimism. 2022. Optimism Rollup. https:\/\/optimism.io\/."},{"key":"e_1_3_2_1_43_1","unstructured":"Optimism. 2024. Optimism audit reports. https:\/\/github.com\/ethereum-optimism\/ optimism\/blob\/develop\/docs\/security-reviews."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3006113"},{"key":"e_1_3_2_1_45_1","volume-title":"Broken metre: Attacking resource metering in EVM. NDSS","author":"Perez Daniel","year":"2020","unstructured":"Daniel Perez and Benjamin Livshits. 2020. Broken metre: Attacking resource metering in EVM. NDSS (2020)."},{"key":"e_1_3_2_1_46_1","volume-title":"Verx: Safety verification of smart contracts. In SP.","author":"Permenev Anton","year":"2020","unstructured":"Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, and Martin Vechev. 2020. Verx: Safety verification of smart contracts. In SP."},{"key":"e_1_3_2_1_47_1","volume-title":"Why and how zk-snark works. arXiv","author":"Petkus Maksym","year":"2019","unstructured":"Maksym Petkus. 2019. Why and how zk-snark works. arXiv (2019)."},{"key":"e_1_3_2_1_48_1","unstructured":"Polygon. 2023. Polygon zkEVM doc. https:\/\/docs.polygon.technology\/zkEVM\/."},{"key":"e_1_3_2_1_49_1","unstructured":"Polygon. 2023. Polygon zkRollup repository. https:\/\/github.com\/ 0xPolygonHermez."},{"key":"e_1_3_2_1_50_1","unstructured":"Polygon. 2024. DApps on Polygon zkRollup. https:\/\/polygon.technology\/ ecosystem"},{"key":"e_1_3_2_1_51_1","unstructured":"Polygon. 2024. An incident of triggering finalization failure bugs in Polygon zkRollup. https:\/\/forum.polygon.technology\/t\/update-about-current-situationon- the-incident-of-the-zkevm-mainnet-beta\/13684."},{"key":"e_1_3_2_1_52_1","unstructured":"Sigma Prime. 2023. Differential Fuzzer for Ethereum 2.0 Resources. https:\/\/github. com\/sigp\/beacon-fuzz."},{"key":"e_1_3_2_1_53_1","volume-title":"Time-dilation attacks on the lightning network. arXiv","author":"Riard Antoine","year":"2020","unstructured":"Antoine Riard and Gleb Naumenko. 2020. Time-dilation attacks on the lightning network. arXiv (2020)."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","unstructured":"Moritz Schloegel Nils Bars Nico Schiller Lukas Bernhard Tobias Scharnowski Addison Crump Arash Ale-Ebrahim Nicolai Bissantz Marius Muench and Thorsten Holz. 2024. SoK: Prudent Evaluation Practices for Fuzzing. In SP.","DOI":"10.1109\/SP54263.2024.00137"},{"key":"e_1_3_2_1_55_1","volume-title":"Ertem Nusret Tas, and David Tse","author":"Schwarz-Schilling Caspar","year":"2022","unstructured":"Caspar Schwarz-Schilling, Joachim Neu, Barnab\u00e9 Monnot, Aditya Asgaonkar, Ertem Nusret Tas, and David Tse. 2022. Three attacks on proof-of-stake ethereum. In FC."},{"key":"e_1_3_2_1_56_1","unstructured":"Scroll. 2023. Scroll zkRollup. https:\/\/github.com\/scroll-tech"},{"key":"e_1_3_2_1_57_1","volume-title":"Layer 2 blockchain scaling: A survey. arXiv","author":"Sguanci Cosimo","year":"2021","unstructured":"Cosimo Sguanci, Roberto Spatafora, and Andrea Mario Vergani. 2021. Layer 2 blockchain scaling: A survey. arXiv (2021)."},{"key":"e_1_3_2_1_58_1","unstructured":"Sunbeom So Seongjoon Hong and Hakjoo Oh. 2021. SmarTest: Effectively hunting vulnerable transaction sequences in smart contracts through language Model-Guided symbolic execution. In USENIX Security 21."},{"key":"e_1_3_2_1_59_1","volume-title":"Verismart: A highly precise safety verifier for ethereum smart contracts. In SP.","author":"So Sunbeom","year":"2020","unstructured":"Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, and Hakjoo Oh. 2020. Verismart: A highly precise safety verifier for ethereum smart contracts. In SP."},{"key":"e_1_3_2_1_60_1","volume-title":"A hybrid entropy and blockchain approach for network security defense in SDN-based IIoT. Chinese Journal of Electronics","author":"Su Jian","year":"2023","unstructured":"Jian Su and Mengnan Jiang. 2023. A hybrid entropy and blockchain approach for network security defense in SDN-based IIoT. Chinese Journal of Electronics (2023)."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.011.2000473"},{"key":"e_1_3_2_1_62_1","unstructured":"Zhiyuan Sun Zihao Li Xinghao Peng Xiapu Luo Muhui Jiang Hao Zhou and Yinqian Zhang. 2024. DoubleUp Roll: Double-spending in Arbitrum by Rolling It Back. In CCS."},{"key":"e_1_3_2_1_63_1","unstructured":"Taiko. 2024. Taiko zkRollup. https:\/\/docs.taiko.xyz\/."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_1_65_1","volume-title":"Understanding ethereum mempool security under asymmetric dos by symbolic fuzzing. arXiv","author":"Wang Yibo","year":"2023","unstructured":"Yibo Wang, Wanning Ding, Kai Li, and Yuzhe Tang. 2023. Understanding ethereum mempool security under asymmetric dos by symbolic fuzzing. arXiv (2023)."},{"key":"e_1_3_2_1_66_1","volume-title":"Practical Security Analysis of Zero- Knowledge Proof Circuits. USENIX Security","author":"Wen Hongbo","year":"2024","unstructured":"Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, and Yu Feng. 2024. Practical Security Analysis of Zero- Knowledge Proof Circuits. USENIX Security (2024)."},{"key":"e_1_3_2_1_67_1","volume-title":"Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper","author":"Wood Gavin","year":"2014","unstructured":"Gavin Wood. 2014. Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper (2014)."},{"key":"e_1_3_2_1_68_1","unstructured":"Shuohan Wu Zihao Li Hao Zhou Xiapu Luo Jianfeng Li and Haoyu Wang. 2024. Following the 'Thread': Toward Finding Manipulatable Bottlenecks In Blockchain Clients. In ISSTA."},{"key":"e_1_3_2_1_69_1","volume-title":"Zero-Cerd: A Self-Blindable Anonymous Authentication System Based on Blockchain. Chinese Journal of Electronics","author":"Yang Kunwei","year":"2023","unstructured":"Kunwei Yang, Bo Yang, Tao Wang, and Yanwei Zhou. 2023. Zero-Cerd: A Self-Blindable Anonymous Authentication System Based on Blockchain. Chinese Journal of Electronics (2023)."},{"key":"e_1_3_2_1_70_1","unstructured":"Youngseok Yang Taesoo Kim and Byung-Gon Chun. 2021. Finding consensus bugs in ethereum via multi-transaction differential fuzzing. In OSDI."},{"key":"e_1_3_2_1_71_1","unstructured":"Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason AndrewMiller and Michael Bailey. 2018. Erays: reverse engineering ethereum's opaque smart contracts. In USENIX Security."},{"key":"e_1_3_2_1_72_1","unstructured":"Polygon zkRollup. 2023. Time cost for producing a zk proof in Polygon zkRollup. https:\/\/polygon.technology\/blog\/the-audit-upgraded-testnet-forpolygon-zkevm"},{"key":"e_1_3_2_1_73_1","unstructured":"Polygon zkRollup. 2023. Witness data. https:\/\/github.com\/0xPolygonHermez\/zkevm-proverjs\/blob\/main\/testvectors\/proof_good.json"},{"key":"e_1_3_2_1_74_1","volume-title":"Optimized consensus for blockchain in internet of things networks via reinforcement learning. Tsinghua Science and Technology","author":"Zou Yifei","year":"2023","unstructured":"Yifei Zou, Zongjing Jin, Yanwei Zheng, Dongxiao Yu, and Tian Lan. 2023. Optimized consensus for blockchain in internet of things networks via reinforcement learning. Tsinghua Science and Technology (2023)."}],"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.3690243","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3658644.3690243","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T06:05:57Z","timestamp":1755842757000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3690243"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,2]]},"references-count":74,"alternative-id":["10.1145\/3658644.3690243","10.1145\/3658644"],"URL":"https:\/\/doi.org\/10.1145\/3658644.3690243","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"}}]}}