QED Protocol

总结分析

QED Protocol 是 BTC 上的 ZK rollup，基于 zkevm 运行。与其他 zk rollup 不同，QED 没有选择为整个 Rollup 的交易生成 zk proof，而只为从 rollup 到 BTC L1 的提款交易创建 ZK proof。

与 BitVM 的思路类似，QED Protocol 将脚本组成逻辑电路，从而在 BTC L1 上对提款交易的 ZK proof 进行了验证，这类逻辑电路将包含 1000 个 UTXO，虽然实现了直接验证，但成本耗费巨大。

项目介绍

QED Protocol 是一个 zk 原生区块链协议。借助快速递归零知识证明的进步，QED 能够在不影响安全性或去中心化的情况下实现这一规模，并使用证明递归端到端地证明所有交易（在零知识证明中验证零知识证明）。这种去中心化递归证明的过程最终形成一个可以由以太坊智能合约验证的单一区块证明，使得该协议仅依赖于数学证明本身，而不是基于激励的共识系统。

官网：https://qedprotocol.com/

Twitter: https://twitter.com/QEDProtocol

RootData: https://www.rootdata.com/zh/Projects/detail/QED%20Protocol?k=OTE3MQ%3D%3D