这个过程首先是迭代的。所以可以应用到神经网络上。
推导：针对Validition过程的推导：
这个公式是Xt经过一个原子操作能够生成下一个Xt+1的生成。
这个（2）是Lipschitz（利普希茨）连续其中L是一个常数。这个公式证明是局部变化小于某个范围常量。
这个过程是报告的状态-背书的状态的欧式范式小于validition的边界值。（这里理解是一个震荡值）
Verfication:这个过程：
这个方法记录了所有的中间状态。对每个中间状态进行了判断。如果中间状态都是正确的。那么整个过程就是完整的。
这块还没怎么想好。