TY  - RPRT
TI  - Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation
AU  - Pei Xu
AU  - Yulei Sui
AU  - Mark Staples
PY  - 2025
UR  - https://arxiv.org/abs/2504.04322
ID  - 2504.04322
ER  -