TY  - RPRT
TI  - Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
AU  - Yahya Hassanzadeh-Nazarabadi
AU  - Sanaz Taheri-Boshrooyeh
PY  - 2026
UR  - https://arxiv.org/abs/2510.05376
ID  - 2510.05376
ER  -