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

Pei Xu, Yulei Sui, Mark Staples

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 pre…