Cover Image

Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xu, Pei, Sui, Yulei, Staples, Mark
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SmartML: Towards a Modeling Language for Smart Contracts
by: Veschetti, Adele, et al.
Published: (2024)

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

Generating Move Smart Contracts based on Concepts
by: Karanjai, Rabimba, et al.
Published: (2024)

SmartIntentNN: Towards Smart Contract Intent Detection
by: Huang, Youwei, et al.
Published: (2022)

Immutable in Principle, Upgradeable by Design: Exploratory Study of Smart Contract Upgradeability
by: Qasse, Ilham, et al.
Published: (2024)

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
by: Cheng, Xiao, et al.
Published: (2025)

Smart Contract Fuzzing Towards Profitable Vulnerabilities
by: Kong, Ziqiao, et al.
Published: (2025)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
by: Mbodji, Fatou Ndiaye, et al.
Published: (2024)

Demystifying the Characteristics for Smart Contract Upgrades
by: Liu, Ye, et al.
Published: (2024)

Effective Targeted Testing of Smart Contracts
by: Fooladgar, Mahdi, et al.
Published: (2024)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
by: Wang, Sally Junsong, et al.
Published: (2024)

SCPatcher: Automated Smart Contract Code Repair via Retrieval-Augmented Generation and Knowledge Graph
by: Li, Xiaoqi, et al.
Published: (2026)

Automated Invariant Generation for Solidity Smart Contracts
by: Liu, Ye, et al.
Published: (2024)

Definition and Detection of Centralization Defects in Smart Contracts
by: Lin, Zewei, et al.
Published: (2024)

A Systematic Mapping Study on Contract-based Software Design for Dependable Systems
by: Okumus, Fazli Faruk, et al.
Published: (2025)

CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
by: Lin, Zewei, et al.
Published: (2024)

Automating Comment Generation for Smart Contract from Bytecode
by: Xiang, Jianhang, et al.
Published: (2025)

Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
by: Li, Lantian, et al.
Published: (2025)

Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
by: Wang, Zexu, et al.
Published: (2024)

End-user Comprehension of Transfer Risks in Smart Contracts
by: Panicker, Yustynn, et al.
Published: (2024)

Metamorphic Testing for Smart Contract Validation:A Case Study of Ethereum-Based Crowdfunding Contracts
by: Villanueva, Irving Jared, et al.
Published: (2025)

Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair
by: Chen, Zaoyu, et al.
Published: (2025)

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning
by: Liu, Ye, et al.
Published: (2025)

MOS: Towards Effective Smart Contract Vulnerability Detection through Mixture-of-Experts Tuning of Large Language Models
by: Yuan, Hang, et al.
Published: (2025)

Detecting Buggy Contracts via Smart Testing
by: Wang, Sally Junsong, et al.
Published: (2024)

Teaching Machines to Code: Smart Contract Translation with LLMs
by: Karanjai, Rabimba, et al.
Published: (2024)

CGP-Tuning: Structure-Aware Soft Prompt Tuning for Code Vulnerability Detection
by: Feng, Ruijun, et al.
Published: (2025)

Zero-Shot Vulnerability Detection in Low-Resource Smart Contracts Through Solidity-Only Training
by: Hu, Minghao, et al.
Published: (2026)

The Myth of Immutability: A Multivocal Review on Smart Contract Upgradeability
by: Qasse, Ilham, et al.
Published: (2025)

Do Automated Fixes Truly Mitigate Smart Contract Exploits?
by: Bobadilla, Sofia, et al.
Published: (2025)

WakeMint: Detecting Sleepminting Vulnerabilities in NFT Smart Contracts
by: Xiao, Lei, et al.
Published: (2025)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
by: Liu, Ye, et al.
Published: (2024)

Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
by: Wu, Shuohan, et al.
Published: (2024)

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
by: Wijayakoon, Chanuka, et al.
Published: (2025)

Weaving the Cosmos: WASM-Powered Interchain Communication for AI Enabled Smart Contracts
by: Karanjai, Rabimba, et al.
Published: (2025)

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
by: Liu, Christian Gang, et al.
Published: (2025)

Satellite: Detecting and Analyzing Smart Contract Vulnerabilities caused by Subcontract Misuse
by: Liao, Zeqin, et al.
Published: (2025)

Trace: Securing Smart Contract Repository Against Access Control Vulnerability
by: Chen, Chong, et al.
Published: (2025)

EvoChain: A Framework for Tracking and Visualizing Smart Contract Evolution
by: Qasse, Ilham, et al.
Published: (2025)

A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
by: Meloche, Regan, et al.
Published: (2025)