Optimistic Rollup: Realization principle