1.引言前序博客：PolygonMiden：扩展以太坊功能集的ZK-optimizedrollupPolygonMidenzkRollup中的UTXO+账户混合状态模型PolygonMiden为：ZK-optimizedrollup由客户端生成证明完善PolygonZK系列解决方案，致力于成为网络价值层扩展以太坊功能集本文专注于PolygonMiden的几个核心概念：Accounts账户NotesTransactions交易PolygonMiden中：notes和accounts都持有资产。交易会引起账户状态更改。交易通常以单个账户和某些notes为输入，输出为：同一账户的新状态，以及，一些其

SuiMove允许用户使用Groth16进行高效验证任何非确定性多项式时间（Non-deterministicPolynomialtime，NP）状态。Groth16是一种高效且广泛使用的零知识简洁非交互知识证明（Zero-KnowledgeSuccinctNon-interactiveArgumentofKnowledge，ZK-SNARKs），这是一种非常有用的零知识证明系统。零知识证明是增强区块链隐私和安全的关键密码方法。它允许一方（“证明者”）向另一方（“验证者”）证明某个语句为真，而不揭示任何机密细节。例如，证明者可以证明他们知道某个谜题的答案，而不揭示答案本身。Groth16满足传

1.引言参考资料有：[1]FigmentCapital团队2023年4月博客AcceleratingZero-KnowledgeProofs[2]Ulvetanna团队2023年5月博客PoseidonMerkleTreesinHardware[3]supranational2023年1月博客OpenVDF:AcceleratingtheNovaSNARK-basedVDF【采用ASIC加速Nova实现的VDF，开源代码见：https://github.com/supranational/minroot_hardware（Verilog）】[4]Ingonyama团队2023年5月博客Intr

1.引言本文重点关注当前区块链未解决问题，以及如何使用ZKP（Zero-KnowledgeProof）来解决这些问题。当前区块链待解决问题有：1）可扩容zk-rollup2）更快的哈希函数3）跨链：trust、data以及隐私4）proofaggregation的通用层5）可验证游戏以及开放世界（Verifiablegamingandopenworld）6）ZK系统的形式化验证2.可扩容zk-rollup生成ZKP可能需要相当长的时间，特别是当我们处理像以太坊这样的传统执行环境时。当前的ZK-rollup（ZKR）项目重点关注了生成proof的效率。某些项目，如StarkNet，为了提高证明者