Cover Image

From Paradigm Shift to Audit Rift: Empirical Analysis and Validation of Security Audit Methodologies for Asynchronous Smart Contract Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yanovich, Yury, Sobolev, Sergey, Madhwal, Yash, Ziborov, Kirill, Gorgadze, Vladimir, Kovalevskay, Victoria, Smirnova, Elizaveta, Mishuris, Matvey, Sharma, Subodh
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Distributed, Parallel, and Cluster Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities
by: Yanovich, Yury, et al.
Published: (2025)

Unpacking Maximum Extractable Value on Polygon: A Study on Atomic Arbitrage
by: Vostrikov, Daniil, et al.
Published: (2025)

Chain Reactions: How Nonce Collisions in ECDSA Compromise Polygon MEV Searchers
by: Madhwal, Yash, et al.
Published: (2026)

Caliper-in-the-Loop: Black-Box Optimization for Hyperledger Fabric Performance Tuning
by: Madhwal, Yash, et al.
Published: (2026)

The Bidding Games: Reinforcement Learning for MEV Extraction on Polygon Blockchain
by: Seoev, Andrei, et al.
Published: (2025)

SwarmRaft: Leveraging Consensus for Robust Drone Swarm Coordination in GNSS-Degraded Environments
by: Dev, Kapel, et al.
Published: (2025)

AuditGPT: Auditing Smart Contracts with ChatGPT
by: Xia, Shihao, et al.
Published: (2024)

From Impermanent Loss to Sustainable Gain: Quantifying Profitability Zones for Liquidity Providers on DEX
by: Melnikov, Ignat, et al.
Published: (2026)

Characterizing Path-Independent Fees: A Route to Zero Impermanent Loss in CPMMs
by: Voronin, Andrey, et al.
Published: (2026)

LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
by: Wei, Zhiyuan, et al.
Published: (2024)

SmartLLM: Smart Contract Auditing using Custom Generative AI
by: Kevin, Jun, et al.
Published: (2025)

Adaptive Plan-Execute Framework for Smart Contract Security Auditing
by: Wei, Zhiyuan, et al.
Published: (2025)

LISA Technical Report: An Agentic Framework for Smart Contract Auditing
by: Sun, Izaiah, et al.
Published: (2025)

Large Language Model based Smart Contract Auditing with LLMBugScanner
by: Yuan, Yining, et al.
Published: (2025)

An Effective and Cost-Efficient Agentic Framework for Ethereum Smart Contract Auditing
by: Hu, Xiaohui, et al.
Published: (2026)

SC-Bench: A Large-Scale Dataset for Smart Contract Auditing
by: Xia, Shihao, et al.
Published: (2024)

Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization
by: Kong, Ziqiao, et al.
Published: (2026)

FTSmartAudit: A Knowledge Distillation-Enhanced Framework for Automated Smart Contract Auditing Using Fine-Tuned LLMs
by: Wei, Zhiyuan, et al.
Published: (2024)

SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing
by: Chebolu, Indraveni, et al.
Published: (2026)

Evaluation of ChatGPT's Smart Contract Auditing Capabilities Based on Chain of Thought
by: Du, Yuying, et al.
Published: (2024)

Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications
by: Ma, Wei, et al.
Published: (2024)

Retracted: Enabling Decentralized and Auditable Access Control for IoT through Blockchain and Smart Contracts
by: Security and Communication Networks
Published: (2024)

A Landen-type method for computation of Weierstrass functions
by: Smirnov, Matvey, et al.
Published: (2024)

Lara: Lightweight Anonymous Authentication with Asynchronous Revocation Auditability
by: Correia, Claudio, et al.
Published: (2025)

Auditing the Compliance and Enforcement of Twitter's Advertising Policy
by: Vekaria, Yash, et al.
Published: (2023)

CSR‐Linked Compensation Contract and Audit Pricing
by: Yiqing Tan
Published: (2025)

SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
by: Xia, Shihao, et al.
Published: (2025)

Smart Audit System Empowered by LLM
by: Yao, Xu, et al.
Published: (2024)

On the Suitability of LLM-Driven Agents for Dark Pattern Audits
by: Sun, Chen, et al.
Published: (2026)

DIT: Dimension Reduction View on Optimal NFT Rarity Meters
by: Belousov, Dmitry, et al.
Published: (2025)

Strong Normalisation for Asynchronous Effects
by: Ahman, Danel, et al.
Published: (2026)

A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter
by: Bouafif, Mohamed Salah, et al.
Published: (2024)

Obfuscation as an Effective Signal for Prioritizing Cross-Chain Smart Contract Audits: Large-Scale Measurement and Risk Profiling
by: Zhao, Yao, et al.
Published: (2026)

An Auditing Test To Detect Behavioral Shift in Language Models
by: Richter, Leo, et al.
Published: (2024)

Private, Auditable, and Distributed Ledger for Financial Institutes
by: Eloul, Shaltiel, et al.
Published: (2025)

Validation Framework for E-Contract and Smart Contract
by: Godboley, Sangharatna, et al.
Published: (2025)

SuiGPT MAD: Move AI Decompiler to Improve Transparency and Auditability on Non-Open-Source Blockchain Smart Contract
by: Chen, Eason, et al.
Published: (2024)

Simple Vision-Language Math Reasoning via Rendered Text
by: Skripkin, Matvey, et al.
Published: (2025)

Beyond the Safety Bundle: Auditing the Helpful and Harmless Dataset
by: Chehbouni, Khaoula, et al.
Published: (2024)

PRISM: A Methodology for Auditing Biases in Large Language Models
by: Azzopardi, Leif, et al.
Published: (2024)