FSM Modeling of Off-Blockchain Computation