我们现在处于正式验证代码的时代