从理论上来说,ZK 系列的 RAAS 是有可能提升 Appchain 使用体验的,因为像是 ZK-Sync,Scroll 这些走 ZKEVM 路线的都是重点关注兼容性,所以电路设计多少会牺牲一些效率,没法针对某个特定的 Dapps 进⾏优化。如果 RAAS 可以根据
早提出 ZK-IBC 的概
这其实是不少人相对扩容更加看好的赛道,因为拿 ZK 来做扩容是个非常「重」的活,看这几个 Rollup 折腾几年主网还没上线就知道,而中间件则相对轻量很多,同时可以完美的发挥 ZK 特性 最为火热的中间件赛道自然是 Interoperability—互操作性这个赛道,通过 ZK 证明,免除对于第三方见证人的要求,大幅提升桥的安全性,甚至打通一些原本互相割裂,甚至很难互通的生态,比如各个 Layer2 之间,或是 EVM 与 Cosmos 的 IBC 互联等等。目前在做的几个团队有 Succinct Labs(前几天刚发布了他们的 Telepathy 产品,实现了 ETH 的单向 ZK 桥), Electron Labs (最早提出 ZK-IBC 的概念),Polyhedra(ZK Bridge,ZK DID,ABCDE 出手的第一个项目)。 这个赛道虽然比 Rollup 轻量许多,但依旧是个超级硬核+费时费力的赛道,今年想要看到双向的,性能满意又安全的 ZK 桥,大概率不太可能。完全基于 ZK 的互操作性,我们依旧得找着 2–3 年这个时间线去规划。 至于其他的 ZK 赛道,今年...
早提出 ZK-IBC 的概
这其实是不少人相对扩容更加看好的赛道,因为拿 ZK 来做扩容是个非常「重」的活,看这几个 Rollup 折腾几年主网还没上线就知道,而中间件则相对轻量很多,同时可以完美的发挥 ZK 特性 最为火热的中间件赛道自然是 Interoperability—互操作性这个赛道,通过 ZK 证明,免除对于第三方见证人的要求,大幅提升桥的安全性,甚至打通一些原本互相割裂,甚至很难互通的生态,比如各个 Layer2 之间,或是 EVM 与 Cosmos 的 IBC 互联等等。目前在做的几个团队有 Succinct Labs(前几天刚发布了他们的 Telepathy 产品,实现了 ETH 的单向 ZK 桥), Electron Labs (最早提出 ZK-IBC 的概念),Polyhedra(ZK Bridge,ZK DID,ABCDE 出手的第一个项目)。 这个赛道虽然比 Rollup 轻量许多,但依旧是个超级硬核+费时费力的赛道,今年想要看到双向的,性能满意又安全的 ZK 桥,大概率不太可能。完全基于 ZK 的互操作性,我们依旧得找着 2–3 年这个时间线去规划。 至于其他的 ZK 赛道,今年...
这个从长期来看当然没毛病。
ZK 系的性能,至少在现阶段,是要 <=OP 系的。当然从用户角度可能感知不明显,因为都是 Sequencer 上几秒内给你确认了,ZK 证明什么的,其实可以慢慢做(通常要 10–20 分钟做完一个块),用户对于交易在 L1 上真正实现「Finality」,是不怎么 Care,也感知不到的。现在流行的电路优化,或是硬件加速,加速的其实是那个 10–20 分钟的证明时间,但对用户体验来讲,反而没什么影响人家 OP 那边欺诈证明基本不花钱,你这边做 ZK 证明,是要消耗大量算力的,这都是钱……当然你可以说 ZK 上传 L1 的数据比 OP 少,也就是传到 CallData 那边花费的 Gas 低,但这个减少的 Gas 大概率是比不过 Prover 上多花的钱,尤其等 4844 的 Blob 出来之后,上传 L1 费用大幅降低,OP 那边的费用优势会比现在更加明显这是个见仁见智的问题,传统意义上的理解是,ZK 基于数学证明,OP 基于经济博弈,数学>博弈,所以 ZK 比 OP 要安全 这个从长期来看当然没毛病。 但现阶段不一定是这样。 所谓安全,也就是交易要真的在 ETH L1 上「终...
这个从长期来看当然没毛病。
ZK 系的性能,至少在现阶段,是要 <=OP 系的。当然从用户角度可能感知不明显,因为都是 Sequencer 上几秒内给你确认了,ZK 证明什么的,其实可以慢慢做(通常要 10–20 分钟做完一个块),用户对于交易在 L1 上真正实现「Finality」,是不怎么 Care,也感知不到的。现在流行的电路优化,或是硬件加速,加速的其实是那个 10–20 分钟的证明时间,但对用户体验来讲,反而没什么影响人家 OP 那边欺诈证明基本不花钱,你这边做 ZK 证明,是要消耗大量算力的,这都是钱……当然你可以说 ZK 上传 L1 的数据比 OP 少,也就是传到 CallData 那边花费的 Gas 低,但这个减少的 Gas 大概率是比不过 Prover 上多花的钱,尤其等 4844 的 Blob 出来之后,上传 L1 费用大幅降低,OP 那边的费用优势会比现在更加明显这是个见仁见智的问题,传统意义上的理解是,ZK 基于数学证明,OP 基于经济博弈,数学>博弈,所以 ZK 比 OP 要安全 这个从长期来看当然没毛病。 但现阶段不一定是这样。 所谓安全,也就是交易要真的在 ETH L1 上「终...
这个从长期来看当然没毛病。
ZK 系的性能,至少在现阶段,是要 <=OP 系的。当然从用户角度可能感知不明显,因为都是 Sequencer 上几秒内给你确认了,ZK 证明什么的,其实可以慢慢做(通常要 10–20 分钟做完一个块),用户对于交易在 L1 上真正实现「Finality」,是不怎么 Care,也感知不到的。现在流行的电路优化,或是硬件加速,加速的其实是那个 10–20 分钟的证明时间,但对用户体验来讲,反而没什么影响人家 OP 那边欺诈证明基本不花钱,你这边做 ZK 证明,是要消耗大量算力的,这都是钱……当然你可以说 ZK 上传 L1 的数据比 OP 少,也就是传到 CallData 那边花费的 Gas 低,但这个减少的 Gas 大概率是比不过 Prover 上多花的钱,尤其等 4844 的 Blob 出来之后,上传 L1 费用大幅降低,OP 那边的费用优势会比现在更加明显这是个见仁见智的问题,传统意义上的理解是,ZK 基于数学证明,OP 基于经济博弈,数学>博弈,所以 ZK 比 OP 要安全 这个从长期来看当然没毛病。 但现阶段不一定是这样。 所谓安全,也就是交易要真的在 ETH L1 上「终...
这个从长期来看当然没毛病。
ZK 系的性能,至少在现阶段,是要 <=OP 系的。当然从用户角度可能感知不明显,因为都是 Sequencer 上几秒内给你确认了,ZK 证明什么的,其实可以慢慢做(通常要 10–20 分钟做完一个块),用户对于交易在 L1 上真正实现「Finality」,是不怎么 Care,也感知不到的。现在流行的电路优化,或是硬件加速,加速的其实是那个 10–20 分钟的证明时间,但对用户体验来讲,反而没什么影响人家 OP 那边欺诈证明基本不花钱,你这边做 ZK 证明,是要消耗大量算力的,这都是钱……当然你可以说 ZK 上传 L1 的数据比 OP 少,也就是传到 CallData 那边花费的 Gas 低,但这个减少的 Gas 大概率是比不过 Prover 上多花的钱,尤其等 4844 的 Blob 出来之后,上传 L1 费用大幅降低,OP 那边的费用优势会比现在更加明显这是个见仁见智的问题,传统意义上的理解是,ZK 基于数学证明,OP 基于经济博弈,数学>博弈,所以 ZK 比 OP 要安全 这个从长期来看当然没毛病。 但现阶段不一定是这样。 所谓安全,也就是交易要真的在 ETH L1 上「终...
ZK 的障碍可以在以下几个方面分别来看
从理论上来说,ZK 系列的 RAAS 是有可能提升 Appchain 使用体验的,因为像是 ZK-Sync,Scroll 这些走 ZKEVM 路线的都是重点关注兼容性,所以电路设计多少会牺牲一些效率,没法针对某个特定的 Dapps 进⾏优化。如果 RAAS 可以根据不同的 DAPP 做单独的电路设计或是优化的话,ZK Appchain 的性能和体验肯定是要好过通用型的 ZkEVM 的 然而,这个世界上既懂 ZK 又懂区块链的人才太少了,为数不多的基本都集中在 Starknet,Zk-Sync,Scroll,Polygon 那边,就目前市面上看到的 ZK 系 RAAS,基本就是在拿 Zk-Sync 的 Alpha 开源版本给你发条 Zk-Sync 的 Fork 链出来。。等到 Polygon,Scroll 上线+完全开源之后,最多也就是提供客户选项,你喜欢 ZK-Sync 还是 Polygon 还是 Scroll 的 EVM 啊,有那么点 AWS 里面创建 Linux 虚拟机的时候你选 Redhat,还是 Centos,还是 Debian 的即视感 所以,同样的,没什么技术壁垒,依...
ZK 的障碍可以在以下几个方面分别来看
从理论上来说,ZK 系列的 RAAS 是有可能提升 Appchain 使用体验的,因为像是 ZK-Sync,Scroll 这些走 ZKEVM 路线的都是重点关注兼容性,所以电路设计多少会牺牲一些效率,没法针对某个特定的 Dapps 进⾏优化。如果 RAAS 可以根据不同的 DAPP 做单独的电路设计或是优化的话,ZK Appchain 的性能和体验肯定是要好过通用型的 ZkEVM 的 然而,这个世界上既懂 ZK 又懂区块链的人才太少了,为数不多的基本都集中在 Starknet,Zk-Sync,Scroll,Polygon 那边,就目前市面上看到的 ZK 系 RAAS,基本就是在拿 Zk-Sync 的 Alpha 开源版本给你发条 Zk-Sync 的 Fork 链出来。。等到 Polygon,Scroll 上线+完全开源之后,最多也就是提供客户选项,你喜欢 ZK-Sync 还是 Polygon 还是 Scroll 的 EVM 啊,有那么点 AWS 里面创建 Linux 虚拟机的时候你选 Redhat,还是 Centos,还是 Debian 的即视感 所以,同样的,没什么技术壁垒,依...