Buchumschlag

SPECA: Specification-to-Checklist Agentic Auditing for Multi-Implementation Systems -- A Case Study on Ethereum Clients

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kamba, Masato, Sannai, Akiyoshi
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Beyond Code Reasoning: Specification-Anchored Auditing of Multi-Implementation Distributed Protocols
von: Kamba, Masato, et al.
Veröffentlicht: (2026)

An Effective and Cost-Efficient Agentic Framework for Ethereum Smart Contract Auditing
von: Hu, Xiaohui, et al.
Veröffentlicht: (2026)

Towards Stateless Clients in Ethereum: Benchmarking Verkle Trees and Binary Merkle Trees with SNARKs
von: Oberst, Jan
Veröffentlicht: (2025)

Implementation Study of Cost-Effective Verification for Pietrzak's Verifiable Delay Function in Ethereum Smart Contracts
von: Lee, Suhyeon, et al.
Veröffentlicht: (2024)

Confidential Wrapped Ethereum
von: Chystiakov, Artem, et al.
Veröffentlicht: (2025)

On the Design of Ethereum Data Availability Sampling: A Comprehensive Simulation Study
von: Chaudhuri, Arunima, et al.
Veröffentlicht: (2024)

LISA Technical Report: An Agentic Framework for Smart Contract Auditing
von: Sun, Izaiah, et al.
Veröffentlicht: (2025)

Bridging BRC-20 to Ethereum
von: Wang, Qin, et al.
Veröffentlicht: (2023)

Decentralization of Ethereum's Builder Market
von: Yang, Sen, et al.
Veröffentlicht: (2024)

When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
von: Ma, Jie, et al.
Veröffentlicht: (2026)

A security framework for Ethereum smart contracts
von: Vivar, Antonio López, et al.
Veröffentlicht: (2024)

ML Study of MaliciousTransactions in Ethereum
von: Katz, Natan
Veröffentlicht: (2024)

Commitment Attacks on Ethereum's Reward Mechanism
von: Sarenche, Roozbeh, et al.
Veröffentlicht: (2024)

Decentralized Firmware Integrity Verification for Cyber-Physical Systems Using Ethereum Blockchain
von: Hossain, S M Mostaq, et al.
Veröffentlicht: (2026)

Quantifying Arbitrage in Automated Market Makers: An Empirical Study of Ethereum ZK Rollups
von: Gogol, Krzysztof, et al.
Veröffentlicht: (2024)

Eclipse Attacks on Ethereum's Peer-to-Peer Network
von: Shi, Ruisheng, et al.
Veröffentlicht: (2026)

Sisu: Decentralized Trustless Bridge For Full Ethereum Node
von: Pham, Billy, et al.
Veröffentlicht: (2024)

MEV Ecosystem Evolution From Ethereum 1.0
von: Rasheed, et al.
Veröffentlicht: (2024)

Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2017)

Security Analysis of Ponzi Schemes in Ethereum Smart Contracts
von: Zhang, Chunyi, et al.
Veröffentlicht: (2025)

An Automated Analyzer for Financial Security of Ethereum Smart Contracts
von: Wang, Wansen, et al.
Veröffentlicht: (2022)

KGBERT4Eth: A Feature-Complete Transformer Powered by Knowledge Graph for Multi-Task Ethereum Fraud Detection
von: Jia, Yifan, et al.
Veröffentlicht: (2025)

Guardians of the Agentic System: Preventing Many Shots Jailbreak with Agentic System
von: Barua, Saikat, et al.
Veröffentlicht: (2025)

Phishing Detection in Ethereum via Temporal Graph Contrastive Learning
von: Wu, Cong, et al.
Veröffentlicht: (2026)

Understanding and Characterizing Obfuscated Funds Transfers in Ethereum Smart Contracts
von: Sheng, Zhang, et al.
Veröffentlicht: (2025)

Demystifying Private Transactions and Their Impact in PoW and PoS Ethereum
von: Lyu, Xingyu, et al.
Veröffentlicht: (2025)

Defining and Preventing Asymmetric Mempool DoS in Ethereum with saferAd
von: Ding, Wanning, et al.
Veröffentlicht: (2023)

Digital identity management system with blockchain:An implementation with Ethereum and Ganache
von: Lopes, André Davi, et al.
Veröffentlicht: (2025)

Remeasuring the Arbitrage and Sandwich Attacks of Maximal Extractable Value in Ethereum
von: Chi, Tianyang, et al.
Veröffentlicht: (2024)

PickleFuzzer: A Case Study in Fuzzing for Discrepancies Between Python Pickle Implementations
von: Applegate, Justin, et al.
Veröffentlicht: (2026)

Securing Private Federated Learning in a Malicious Setting: A Scalable TEE-Based Approach with Client Auditing
von: Takagi, Shun, et al.
Veröffentlicht: (2025)

Probabilistic Analysis and Empirical Validation of Patricia Tries in Ethereum State Management
von: Kuznetsov, Oleksandr, et al.
Veröffentlicht: (2024)

EthCluster: An Unsupervised Static Analysis Method for Ethereum Smart Contract
von: Huang, Hong-Sheng, et al.
Veröffentlicht: (2025)

Ethereum Crypto Wallets under Address Poisoning: How Usable and Secure Are They?
von: Guan, Shixuan, et al.
Veröffentlicht: (2025)

MATRA: Modeling the Attack Surface of Agentic AI Systems -- OpenClaw Case Study
von: Van hamme, Tim, et al.
Veröffentlicht: (2026)

FlexiContracts: A Novel and Efficient Scheme for Upgrading Smart Contracts in Ethereum Blockchain
von: Hossain, Tahrim, et al.
Veröffentlicht: (2025)

Order Flow Exclusivity and Value Extraction Mechanisms: An Analysis of Ethereum Builder Centralization
von: Zhang, Ao, et al.
Veröffentlicht: (2026)

Where Does MEV Really Come From? Revisiting CEXDEX Arbitrage on Ethereum
von: Ladóczk, Bence, et al.
Veröffentlicht: (2026)

PhishingHook: Catching Phishing Ethereum Smart Contracts leveraging EVM Opcodes
von: De Rosa, Pasquale, et al.
Veröffentlicht: (2025)

Unraveling Ethereum's Mempool: The Impact of Fee Fairness, Transaction Prioritization, and Consensus Efficiency
von: Hossain, S M Mostaq, et al.
Veröffentlicht: (2025)