如何验证zkrollups中的事务数据？

Question

stateroot转换由见证(前、后状态根)和证明进行验证，但验证器也应验证操作符提出的事务数据。如何验证事务是否包含在stateroot转换中？或者，是否应该以另一种方式验证事务数据？

AFAIK，当然还有如何验证stateroot转换，但没有解释如何验证事务数据。https://medium.com/fcats-blockchain-incubator/how-zk-rollups-work-8ac4d7155b0e

该证明仅可验证有效事务序列的存在。因此，我们无法通过证明来验证事务数据。

https://ethereum.org/en/developers/docs/scaling/zk-rollups/

如果证明满足电路(即，它是有效的)，它意味着存在一个有效事务序列，将汇总从先前的状态(由预状态根以加密方式指纹)转换为一个新的状态(由后状态根以密码方式指纹)。

Answer 1

在ZK-rollup中，我们有两个Merkle树，一个是存储帐户，另一个是存储余额和事务，通过检查前后Merkle根验证(正如您提到的)，证明了运行在离链VM(与EVM兼容的)中的机制。总之，验证器会将值相乘。

以一个数字的方式，使验证者在不知道的情况下执行验证。这就需要密码数学，总之，它使用同胚机制证明E(s)在数上不知情而证明E(S)，证明多重E(t(X))，E(h(N))，E(w(s))和E(v(0))，验证器不知道数字的情况下对它们进行验证。这是一个复杂的问题，我可以用公式和数学在这里解释，我推荐阅读本文，深入学习ZK证明。

Answer 2

ZK将处理的每一个事务的状态数据发布到Ethereum。有了这些数据，个人就有可能复制汇总的状态并验证链本身。Ethereum将此数据以calldata的形式提供给网络的所有参与者，事务数据以calldata的形式发布在Ethereum上。虽然calldata不是作为Ethereum状态的一部分存储的，但它作为Ethereum链的历史日志的一部分而在链上持久存在。ZK使用calldata在链上发布压缩的事务数据.

请参阅：https://ethereum.org/en/developers/docs/scaling/zk-rollups/