Copertina

Towards a Formal Foundation for Blockchain Rollups

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chaliasos, Stefanos, Firsov, Denis, Livshits, Benjamin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

The Blockchain Imitation Game
di: Qin, Kaihua, et al.
Pubblicazione: (2023)

Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems
di: Stronati, Marco, et al.
Pubblicazione: (2024)

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

SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
di: Chaliasos, Stefanos, et al.
Pubblicazione: (2024)

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

Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
di: Chaliasos, Stefanos, et al.
Pubblicazione: (2025)

The Writing is on the Wall: Analyzing the Boom of Inscriptions and its Impact on Rollup Performance and Cost Efficiency
di: Gogol, Krzysztof, et al.
Pubblicazione: (2024)

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

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
di: Chaliasos, Stefanos, et al.
Pubblicazione: (2023)

AlDBaran: Towards Blazingly Fast State Commitments for Blockchains
di: Kauer, Bernhard, et al.
Pubblicazione: (2025)

The Writing is on the Wall: Analyzing the Boom of Inscriptions and its Impact on EVM-compatible Blockchains
di: Messias, Johnnatan, et al.
Pubblicazione: (2024)

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

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

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

Short Paper: Atomic Execution is Not Enough for Arbitrage Profit Extraction in Shared Sequencers
di: Silva, Maria Inês, et al.
Pubblicazione: (2024)

LLMs + Security = Trouble
di: Livshits, Benjamin
Pubblicazione: (2026)

Airdrops: Giving Money Away Is Harder Than It Seems
di: Messias, Johnnatan, et al.
Pubblicazione: (2023)

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

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

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

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

Formal Verification for Blockchain-based Insurance Claims Processing
di: Neupane, Roshan Lal, et al.
Pubblicazione: (2024)

fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup
di: Li, Zihao, et al.
Pubblicazione: (2024)

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

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

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

RollupTheCrowd: Leveraging ZkRollups for a Scalable and Privacy-Preserving Reputation-based Crowdsourcing Platform
di: Bendada, Ahmed Mounsf Rafik, et al.
Pubblicazione: (2024)

Scaling DeFi with ZK Rollups: Design, Deployment, and Evaluation of a Real-Time Proof-of-Concept
di: Gogol, Krzysztof, et al.
Pubblicazione: (2025)

ZK-Rollup for Hyperledger Fabric: Architecture and Performance Evaluation
di: Siddiqui, Sania, et al.
Pubblicazione: (2026)

Towards Cost-Effective ZK-Rollups: Modeling and Optimization of Proving Infrastructure
di: Ahmadvand, Mohsen, et al.
Pubblicazione: (2025)

Extending the Formalism and Theoretical Foundations of Cryptography to AI
di: Villa, Federico, et al.
Pubblicazione: (2026)

A Formally Verified Lightning Network
di: Fabiański, Grzegorz, et al.
Pubblicazione: (2025)

Incentive Non-Compatibility of Optimistic Rollups
di: Landis, Daji
Pubblicazione: (2023)

A Time-Bound Signature Scheme for Blockchains
di: Marsh, Benjamin, et al.
Pubblicazione: (2025)

The Agent Economy: A Blockchain-Based Foundation for Autonomous AI Agents
di: Xu, Minghui
Pubblicazione: (2026)

Towards the Blockchain Massive Adoption with Permissionless Storage
di: Kan, Jia
Pubblicazione: (2024)

Towards Automated Discovery of Asymmetric Mempool DoS in Blockchains
di: Wang, Yibo, et al.
Pubblicazione: (2023)

Reliablocks: Developing Reliability Scores for Optimistic Rollups
di: Das, Souradeep, et al.
Pubblicazione: (2025)