RAGas: Retrieval-Augmented Gas Optimization for Smart Contracts with Continuous Knowledge Integration

• URL: http://arxiv.org/abs/2608.15857v1
• Date: Sun, 16 Aug 2026 17:03:28 GMT
• Title: RAGas: Retrieval-Augmented Gas Optimization for Smart Contracts with Continuous Knowledge Integration
• Abstract summary: Execution fees, known as Gas, scale with the computational complexity of their functions.<n>No existing system continuously exploits evolving Gas usage patterns.<n>We operationalize these insights with RAGas, a three-stage retrieval-augmented generation framework.
• Score: 5.949109261833118
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Ethereum is now integral to mission-critical sectors, including finance, healthcare, and supply chain management. Execution fees, commonly referred to as Gas, scale with the computational complexity of their functions. Smart contracts on Ethereum incur execution fees, known as Gas, which increase with computational complexity. Thus, optimizing Gas-intensive code while preserving functional equivalence significantly lowers deployment costs. No existing system continuously exploits evolving Gas usage patterns. We systematically analyze syntactic and semantic constructs that drive excessive Gas use. This yields six high-level categories covering twelve fine-grained antipatterns underpinning a curated knowledge base. We operationalize these insights with RAGas, a three-stage retrieval-augmented generation framework that uses a large language model to pinpoint and automatically fix Gas inefficiencies. Experiments on deployed contracts demonstrate that RAGas reduces Gas usage by up to 11% and achieves high precision and recall in detecting code snippets exhibiting Gas wastage.

Related papers

• GASim: A Graph-Accelerated Hybrid Framework for Social Simulation [56.12016729479412]
  GASim is a graph-accelerated hybrid multi-agent framework for large-scale social simulations.<n>For core agents driven by LLM, GASim introduces Graph-Jasmined Memory (GOM) to replace intensive LLM-based retrieval pipelines.<n>For the majority of ordinary agents, GASim employs Graph Message Passing (GMP), substituting sequential ABM execution with parallel updates.
  arXiv  Detail & Related papers  (2026-05-08T13:01:25Z)
• GasLiteAA: Optimizing ERC-4337 for Efficient and Secure Gas Sponsorship [24.64185705942256]
  GasLiteAA is a framework that offloads paymaster logic to Trusted Execution Environments (TEE)<n>GasLiteAA significantly reduces on-chain computation and storage costs without sacrificing verifiability or decentralization.<n>By balancing security, efficiency, and deployability, GasLiteAA provides a practical approach to gas sponsorship for account-abstraction-based decentralized applications.
  arXiv  Detail & Related papers  (2026-04-11T11:13:07Z)
• GLOW: Graph-Language Co-Reasoning for Agentic Workflow Performance Prediction [51.83437071408662]
  We propose GLOW, a unified framework for AW performance prediction.<n>GLOW combines the graph-structure modeling capabilities of GNNs with the reasoning power of LLMs.<n>Experiments on FLORA-Bench show that GLOW outperforms state-of-the-art baselines in prediction accuracy and ranking utility.
  arXiv  Detail & Related papers  (2025-12-11T13:30:46Z)
• Curriculum-Guided Reinforcement Learning for Synthesizing Gas-Efficient Financial Derivatives Contracts [1.1565257196553245]
  This paper introduces a Reinforcement Learning framework to generate smart contracts directly from Common Domain Model (CDM) specifications.<n>We employ a Proximal Policy Optimization (PPO) agent that learns to select optimal code snippets from a pre-defined library.<n>Our empirical results show the RL agent learns to generate contracts with significant gas savings, achieving cost reductions of up to 35.59% on unseen test data.
  arXiv  Detail & Related papers  (2025-09-28T17:01:55Z)
• GasAgent: A Multi-Agent Framework for Automated Gas Optimization in Smart Contracts [13.526096153509407]
  GasAgent is a multi-agent system for smart contract Gas optimization.<n>It combines compatibility with existing patterns and automated discovery/validation of new patterns.<n>GasAgent successfully optimized 82 contracts, achieving an average deployment Gas savings of 9.97%.
  arXiv  Detail & Related papers  (2025-07-21T16:17:25Z)
• KG-Infused RAG: Augmenting Corpus-Based RAG with External Knowledge Graphs [58.12674907593879]
  KG-Infused RAG is a framework that incorporates pre-existing large-scale knowledge graphs into RAG.<n> KG-Infused RAG directly performs spreading activation over external KGs to retrieve relevant structured knowledge.<n>Experiments show that KG-Infused RAG consistently outperforms vanilla RAG.
  arXiv  Detail & Related papers  (2025-06-11T09:20:02Z)
• Don't Get Lost in the Trees: Streamlining LLM Reasoning by Overcoming Tree Search Exploration Pitfalls [83.89771461061903]
  Recent advancements in tree search algorithms guided by verifiers have significantly enhanced the reasoning capabilities of large language models (LLMs)<n>Recent advancements in tree search algorithms guided by verifiers have significantly enhanced the reasoning capabilities of large language models (LLMs)<n>We identify two key challenges contributing to this inefficiency: $textitover-exploration$ due to redundant states with semantically equivalent content, and $textitunder-exploration$ caused by high variance in verifier scoring.<n>We propose FETCH, a flexible, plug-and-play system compatible with various tree search algorithms.
  arXiv  Detail & Related papers  (2025-02-16T16:12:01Z)
• Gated Slot Attention for Efficient Linear-Time Sequence Modeling [59.019501274074564]
  Gated Slot Attention (GSA) enhances Attention with Bounded-memory-Control (ABC) GSA incorporates a gating mechanism inspired by Gated Linear Attention (GLA)
  arXiv  Detail & Related papers  (2024-09-11T09:49:50Z)
• How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs [7.886705842911351]
  Execution of smart contracts incurs a fee called gas fee for its computation and data storage.<n>When programmers develop smart contracts, they could unknowingly write code that unnecessarily cause more gas fees.<n>This paper takes the initiative in helping users reduce their gas fees in two key steps.
  arXiv  Detail & Related papers  (2024-03-05T05:12:10Z)
• Weakly-Supervised Physically Unconstrained Gaze Estimation [80.66438763587904]
  We tackle the previously unexplored problem of weakly-supervised gaze estimation from videos of human interactions. We propose a training algorithm along with several novel loss functions especially designed for the task. We show significant improvements in (a) the accuracy of semi-supervised gaze estimation and (b) cross-domain generalization on the state-of-the-art physically unconstrained in-the-wild Gaze360 gaze estimation benchmark.
  arXiv  Detail & Related papers  (2021-05-20T14:58:52Z)
• Profiling Gas Consumption in Solidity Smart Contracts [3.0378875015087567]
  We propose GasMet, a suite of metrics for statically evaluating the code quality of a smart contract from the gas consumption perspective. An experiment involving 2,186 smart contracts demonstrates that the proposed metrics have direct associations with deployment costs.
  arXiv  Detail & Related papers  (2020-08-12T17:26:55Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.