This design is broken. You may see more information at Short S[NT]ARK exclusion proofs for Plasma and at 18th plasma call.