TY  - RPRT
TI  - Weaver: Unlocking Blockchain Transaction Parallelism through State-Decoupled Symbolic Execution
AU  - Ru Cheng
AU  - Maofan Yin
AU  - Liangrong Chen
AU  - Lizan Zhou
AU  - Chenyuan Wu
PY  - 2026
UR  - https://arxiv.org/abs/2611.06462
ID  - 2611.06462
ER  -