Cover Image

fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Zihao, Peng, Xinghao, He, Zheyuan, Luo, Xiapu, Chen, Ting
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Large Language Models for Blockchain Security: A Systematic Literature Review
by: He, Zheyuan, et al.
Published: (2024)

Data Availability and Decentralization: New Techniques for zk-Rollups in Layer 2 Blockchain Networks
by: Huang, Chengpeng, et al.
Published: (2024)

Nurgle: Exacerbating Resource Consumption in Blockchain State Storage via MPT Manipulation
by: He, Zheyuan, et al.
Published: (2024)

When Priority Fails: Revert-Based MEV on Fast-Finality Rollups
by: Gogol, Krzysztof, et al.
Published: (2025)

TeeRollup: Efficient Rollup Design Using Heterogeneous TEE
by: Wen, Xiaoqing, et al.
Published: (2024)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
by: Hochrainer, Christoph, et al.
Published: (2025)

Amulet: Fast TEE-Shielded Inference for On-Device Model Protection
by: Mao, Zikai, et al.
Published: (2025)

Detect Llama -- Finding Vulnerabilities in Smart Contracts using Large Language Models
by: Ince, Peter, et al.
Published: (2024)

Proof of Diligence: Cryptoeconomic Security for Rollups
by: Sheng, Peiyao, et al.
Published: (2024)

Towards Generalized and Stealthy Watermarking for Generative Code Models
by: Li, Haoxuan, et al.
Published: (2025)

zkStruDul: Programming zkSNARKs with Structural Duality
by: Krishnan, Rahul, et al.
Published: (2025)

Towards a Formal Foundation for Blockchain Rollups
by: Chaliasos, Stefanos, et al.
Published: (2024)

Privacy-Preserving UCB Decision Process Verification via zk-SNARKs
by: Jiang, Xikun, et al.
Published: (2024)

A Public Dataset For the ZKsync Rollup
by: Silva, Maria Inês, et al.
Published: (2024)

Pricing Factors and TFMs for Scalability-Focused ZK-Rollups
by: Chaliasos, Stefanos, et al.
Published: (2024)

Unaligned Incentives: Pricing Attacks Against Blockchain Rollups
by: Chaliasos, Stefanos, et al.
Published: (2025)

$\mathsf{CRATE}$: Cross-Rollup Atomic Transaction Execution
by: Kaklamanis, Ioannis, et al.
Published: (2025)

Challenges and Design Considerations for Finding CUDA Bugs Through GPU-Native Fuzzing
by: Li, Mingkai, et al.
Published: (2026)

Towards a zk-SNARK compiler for Wolfram language
by: Cruz, Armando
Published: (2024)

Artemis: Efficient Commit-and-Prove SNARKs for zkML
by: Lycklama, Hidde, et al.
Published: (2024)

Phantom Events: Demystifying the Issues of Log Forgery in Blockchain
by: Liu, Yixuan, et al.
Published: (2025)

Amulet: a Python Library for Assessing Interactions Among ML Defenses and Risks
by: Waheed, Asim, et al.
Published: (2025)

Enhancing the Security of Rollup Sequencers using Decentrally Attested TEEs
by: Cristiano, Giovanni Maria, et al.
Published: (2025)

Calyx: Privacy-Preserving Multi-Token Optimistic-Rollup Protocol
by: Apel, Dominik, et al.
Published: (2025)

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing
by: Zhang, Yancheng, et al.
Published: (2025)

Modern DDoS Threats and Countermeasures: Insights into Emerging Attacks and Detection Strategies
by: Wang, Jincheng, et al.
Published: (2025)

zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials
by: Baldimtsi, Foteini, et al.
Published: (2024)

UBfuzz: Finding Bugs in Sanitizer Implementations
by: Li, Shaohua, et al.
Published: (2024)

Rolling in the Shadows: Analyzing the Extraction of MEV Across Layer-2 Rollups
by: Torres, Christof Ferreira, et al.
Published: (2024)

A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
by: Capretto, Margarita, et al.
Published: (2025)

Optimistic TEE-Rollups: A Hybrid Architecture for Scalable and Verifiable Generative AI Inference on Blockchain
by: Chan, Aaron, et al.
Published: (2025)

zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
by: Takahashi, Hideaki, et al.
Published: (2025)

SoK: Understanding zk-SNARKs: The Gap Between Research and Practice
by: Liang, Junkai, et al.
Published: (2025)

zkToken: Empowering Holders to Limit Revocation Checks for Verifiable Credentials
by: Manimaran, Praveensankar, et al.
Published: (2025)

$ρ$Hammer: Reviving RowHammer Attacks on New Architectures via Prefetching
by: Chen, Weijie, et al.
Published: (2025)

Quantifying Arbitrage in Automated Market Makers: An Empirical Study of Ethereum ZK Rollups
by: Gogol, Krzysztof, et al.
Published: (2024)

Cross-Rollup MEV: Non-Atomic Arbitrage Across L2 Blockchains
by: Gogol, Krzysztof, et al.
Published: (2024)

A Comparative Analysis of zk-SNARKs and zk-STARKs: Theory and Practice
by: Nainwal, Ayush, et al.
Published: (2025)

LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models
by: Chen, Hongbo, et al.
Published: (2024)

zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms
by: Ramezan, Gholamreza, et al.
Published: (2024)