协程化验证