Work

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

Year: 2025

Type: conference-paper

Abstract: Debugging and auditing zero-knowledge-compatible smart contracts remains a significant challenge due to the lack of source mapping in compilers such as zkSolc. In this work, we present a preliminary source mapping framework that establishes traceability between Solidity source code, LLVM IR, and zkEVM bytecode within the zkSolc compilation pipeline. Our approach addresses the traceability challenges introduced by non-linear transformations and proof-friendly optimizations in zero-knowledge compilation.

Source: ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)

DOI: 10.1145/3713081.3732932

Authors: Pei Xu, Yulei Sui, Mark Staples

Institutions: University of Technology Sydney, UNSW Sydney

Language: English

Topic: Blockchain Technology Applications and Security

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

OpenAlex ID: W4411088314

FWCI:

Cites: 9

Cited by:

Related to: 10