我尝试解释 STARKs 如何捕捉错误: 想象一个万花筒。里面的珠子代表交易:白色代表有效,红色代表无效。 假设这个万花筒里有一千个白色珠子和一个红色珠子。那颗红色珠子会在镜子中一次又一次地反射。它的影像会在镜子之间反弹,然后进入反射那些镜子的镜子,依此类推。 结果:它会出现在每个地方。你无法忽视它。 这有点像 STARK 证明的作用:一个微小的错误或无效交易会在整个证明中变得可见,直到你无法忽视它。