verifier

The on-chain verifier checks the submitted proof is valid before accepting the new state root.链上验证者在接受新的状态根之前，会检查提交的证明是否有效。

In a ZK rollup, the verifier contract on Ethereum needs only milliseconds to check a proof covering thousands of transactions.在 ZK rollup 中，以太坊上的验证者合约仅需毫秒即可检查涵盖数千笔交易的证明。