关于Bob是否重复计算电路的问题

感谢安比实验室的文章,看完后很受启发,但是有个地方不太明白,就是在"可验证计算与电路可满足性问题"部分中写到:
"这样 Bob 完全可以在不重复计算电路的情况下来验证这张纸上的证明对不对，验证过程很简单：
Bob 依次检查每一个门的输入输出能不能满足一个加法等式或者一个乘法等式。"
我的问题是 Bob 依次检查每一个门的过程是不是在重复计算电路呢?如果不算重复计算电路,那么这种做法比重复计算电路节省了哪些时间呢?因为这种做法也需要 Bob 对电路中所有的门进行检查.