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,虽然实现了直接验证,但成本耗费巨大