TY  - RPRT
TI  - Lie to Me: Finding Bugs in ZK DSL Toolchains with Adversarial Witness Injection
AU  - Sebastian Watzinger
AU  - Christoph Hochrainer
AU  - Valentin Wüstholz
AU  - Maria Christakis
PY  - 2026
UR  - https://arxiv.org/abs/2608.30648
ID  - 2608.30648
ER  -