TY - RPRT TI - FSM Modeling For Off-Blockchain Computation AU - Christian Gang Liu PY - 2025 UR - https://arxiv.org/abs/2506.02086 ID - 2506.02086 ER -