TY  - RPRT
TI  - Proving the Wrong Program: Miscompilations as a Threat to zkVM Guarantees
AU  - Hui Xuan Tan
AU  - Stefanos Chaliasos
AU  - Alastair F. Donaldson
PY  - 2026
UR  - https://arxiv.org/abs/2611.04701
ID  - 2611.04701
ER  -