1.1 STARKs STARKs（Scalable, Transparent ARgument of Knowledge）是一种可以证明和验证计算的证明系统，旨在提高以太坊的扩展性。 它允许将大型计算从链上转移到链下以降低成本，为计算的正确性生成证明，然后在链上进行少量的计算来验证证明。即验证者通过在链上执行非常少的操作来判断链下完成的计算的完整性。 L2 通过STARKs技术将多笔交易打包在一起进行数以千计的计算，然后使用单个STARK证明在链上验证它们的有效性。 该批次内的所有交易共同分担链上处理的成本，从而在继承以太坊安全性的前提下降低了Gas成本，改善用户体验。这模式与共享的士的用户平摊路费相似。 SNARKs （Succinct，Non-Interactive，Argument，Knowledge）是一个简洁的非交互式的证明。STARKs 和 SNARKs 都是ZK Rollups 的解决方案。 SNARKs 和 STARKs 对比相比 SNARKs, STARKs具有以下三个优势：去信任STARKs 公开可验证随机来取代SNARKs的可信设置，减少对参与人的依赖，提...