Space and Time 的验证计算