SmartMemory: Detecting On-chain-off-chain Communication Inconsistency for Smart Contract via Memory-based Agent

arXiv:2609.34983 · cs.SE, cs.CR · Submitted 2026-09-28 · Read on arXiv

cs.SE, cs.CR

Submitted: 2026-09-28

Updated: 2026-09-28

Comments: Nil

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Verification — 11× in this paper · explained in 2 episodes
• Core — 6× in this paper · explained in 2 episodes
• Ablation — 5× in this paper · explained in 1 episode
• Abstraction — 4× in this paper · explained in 1 episode
• Tokenization — 3× in this paper · explained in 2 episodes
• Alignment — 2× in this paper · explained in 1 episode
• Embeddings — 2× in this paper · explained in 2 episodes
• Knowledge Graph — 2× in this paper · explained in 7 episodes
• Security and Privacy — 2× in this paper
• Verifier — 2× in this paper · explained in 2 episodes
• AI Agents — 1× in this paper · explained in 2 episodes
• Ablation study — 1× in this paper · explained in 1 episode
• Adaptability — 1× in this paper · explained in 1 episode
• Adaptation — 1× in this paper · explained in 1 episode
• Continual Learning — 1× in this paper · explained in 2 episodes
• Cosine Similarity — 1× in this paper · explained in 3 episodes
• Distillation — 1× in this paper · explained in 2 episodes
• Fine-Tuning — 1× in this paper · explained in 5 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes
• Information Leakage — 1× in this paper · explained in 2 episodes
• Introspection — 1× in this paper · explained in 2 episodes
• Knowledge Distillation — 1× in this paper · explained in 11 episodes
• Knowledge graphs — 1× in this paper · explained in 2 episodes
• Model-Agnostic — 1× in this paper · explained in 2 episodes
• Trace — 1× in this paper · explained in 2 episodes
• Two-Stage Framework — 1× in this paper · explained in 2 episodes

Sources

• An In-depth Survey of Large Language Model-based Artificial Intelligence Agents
• Memory in the Age of AI Agents
• A Survey of Agent Memory in the Second Half: Towards Self-Evolving and Long-Horizon Agents
• Large Multimodal Agents: A Survey
• FTSmartAudit: A Knowledge Distillation-Enhanced Framework for Automated Smart Contract Auditing Using Fine-Tuned LLMs

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties