TY  - RPRT
TI  - Towards Automated Formal Verification of zkEVMs Using LLM-Guided Constraint Synthesis
AU  - Shichen Huang
AU  - Zhenghe Jiang
AU  - Yi Jiang
AU  - Ling-I Wu
AU  - Jingyang Li
AU  - Guoqiang Li
PY  - 2026
UR  - https://arxiv.org/abs/2607.19795
ID  - 2607.19795
ER  -