paperbot · PL 论文追踪

全部论文 待读 收藏

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

面向零知识智能合约的源映射：设计与初步评估
ISSTA Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis2025匹配度 2/10 · 论文关注 zkSolc 编译管线中 Solidity、LLVM IR 与 zkEVM 字节码之间的源映射，属于编译器与调试方向，但既不涉及 LLM/Agent 与静态分析的交叉，也不涉及浮点或贝叶斯程序分析，与用户的核心研究方向关联很弱。引用 0 inbox
Pei Xu, Yulei Sui, Mark Staples
编译与代码生成测试、调试与修复
crossref: 2026-09-12

AI 速览

一句话：提出在 zkSolc 编译管线中建立 Solidity 源码、LLVM IR 与 zkEVM 字节码之间可追溯源映射的初步框架。

零知识兼容智能合约的调试与审计长期面临困难，其根源之一是 zkSolc 等编译器缺乏源映射支持。本文提出一个初步的源映射框架，在 zkSolc 编译管线内建立 Solidity 源代码、LLVM IR 与 zkEVM 字节码之间的可追溯性。该工作重点应对零知识编译中非线性变换以及面向证明的优化所引入的可追溯性挑战，从而使高层源码与底层字节码之间的对应关系得以恢复。论文以设计与初步评估为主，通过初步评估考察框架在 zkSolc 管线中的可行性与有效性。该框架为后续零知识智能合约的调试、审计及相关工具构建提供了基础。

问题
零知识兼容智能合约难以调试与审计，因为 zkSolc 等编译器缺少连接源码与字节码的源映射机制。
方法
提出一个源映射框架，在 zkSolc 编译管线中建立 Solidity 源码、LLVM IR 与 zkEVM 字节码之间的可追溯关系，并处理非线性变换和面向证明的优化带来的挑战。
评估
对框架进行了初步评估，以考察其在 zkSolc 编译管线中的可行性与有效性（摘要未给出具体实验设置与量化结果）。
原文摘要（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.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot9582,
  title = {Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation},
  author = {Pei Xu and Yulei Sui and Mark Staples},
  booktitle = {ISSTA},
  year = {2025},
  doi = {10.1145/3713081.3732932}
}