内容导读:最新的打样系统比目前的100TPS吞吐率更高,并能长期降低成本。zkSync推出基于STARK的新型系统新闻以太坊的第二层扩容解决方案zkSyncEra近日发布了一种基于ScalableTransparentArgumentofK...……
最新的打样系统比目前的100TPS吞吐率更高,并能长期降低成本。
zkSync推出基于STARK的新型系统新闻
以太坊的第二层扩容解决方案zkSync Era近日发布了一种基于Scalable Transparent Argument of Knowledge (STARK) 的新型证明系统Boojum。Boojum承诺能够在普通级别的图形处理器(GPU)上运行。
zkSync Era是众多使用零知识卷积(ZK-rollups)提高以太坊性能和速度,同时降低手续费的扩容协议之一。ZK-rollups主要使用两种知名的证明系统:zk-STARKs和zk-SNARKs。
新的Boojum证明系统基于zkSync的一个基于Rust的加密库,该加密库实现了zkSync Era及其ZK开发栈的算术电路的升级版本。最重要的是,它允许Boojum的证明者在日常个人电脑上运行,而不需要强大的硬件和服务器。
此次升级可以在只有16GB GPU随机访问内存(RAM)的电脑上运行,确保普通用户可以参与网络活动。作为对照,zkSync目前运行在一个由100个GPU组成的集群上,每个GPU都有80GB的RAM。
在Boojum发布之前,zkSync主要依赖于zk-SNARKs。尽管它们有能力处理任务,但与基于zk-STARK的系统相比,透明度相对较低。先前的系统每秒处理约100笔交易,而Boojum承诺可以提供更优质的处理能力。
在实施的最后阶段,新的证明将用基于配对的非透明SNARK来包装 STARK证明。本质上,它将是当前基于SNARK的证明系统的稍微升级版本。这种证明需要的存储空间少,验证成本低,降低了证明系统的成本,从而也降低了交易本身的成本。
Boojum目前在zkSync Era主网上进行测试,生成并验证“影子证明”。开发人员目前正在使用真实生产数据测试 "影子证明",然后再进行完全迁移和大规模使用。新系统升级时则不需要再重新生成。