Horizen Labs 宣布推出用于 ZK Proof 验证的模块化区块链 zkVerif

HorizenLabs宣布推出用于ZKProof验证的模块化区块链zkVerif5月23日消息，HorizenLabs推出zkVerify，这是一个专为结算优化而设计的专用零知识证明验证网络。HorizenLabs估计，2023年以太坊上的zk-rollups的证明验证花费达到4700万美元，zkVerify为使用zk-rollups构建的开发人员消除了计算密集型证明验证的成本和复杂性，为去中心化应用程序的可扩展性和采用提出了关键的解锁方案。

【Manta Network推出EVM原生模块化执行层Manta Pacific】

【MantaNetwork推出EVM原生模块化执行层MantaPacific】2023年07月12日10点28分7月12日消息，零知识证明ZK协议MantaNetwork基于OPStack推出专为零知识证明（ZK）应用设计的EVM原生模块化执行层MantaPacific。MantaPacific使用Celestia数据可用层提供安全性，降低Gas费用，通过Caldera改进的OPStack，实现可扩展性。MantaNetwork联合创始人VictorJi称，Manta网络的Layer1已重命名为MantaAtlantic，未来Manta生态系统将由MantaAtlantic和MantaPacific两部分组成。

【Gelato将于Q4基于Polygon zkEVM推出ZK Rollup服务平台zkRaaS】

【Gelato将于Q4基于PolygonzkEVM推出ZKRollup服务平台zkRaaS】2023年09月15日11点26分9月15日消息，以太坊智能合约自动化执行工具Gelato宣布将于四季度基于PolygonzkEVM推出ZKRollup服务平台zkRaaS，旨在解决ZK大规模采用的问题，提供Gelato帐户抽象体验、PolygonzkEVM可扩展性和ZK支持的Validiums的隐私等。zkRaaS核心功能包括托管、监控和操作Rollups或Validium，这些Rollups或Validium可以访问原生帐户抽象、智能合约自动化以及访问可验证的链外数据（例如随机性或价格流）等。

Polygon 与 StarkWare 合作推出 ZK 技术升级 “Circle STARK”

Polygon与StarkWare合作推出ZK技术升级“CircleSTARK”Polygon与StarkWare联手推出了“CircleSTARKs”，这是对当前零知识证明（ZK）的重大技术升级。根据白皮书，新的CircleSTARK将会加速rollups的证明过程，从而提高区块链的可扩展性和效率。此外，CircleSTARK证明的最终确定速度将比当前的STARK证明快得多。CircleSTARKS的发布时间尚未确定，Polygon联合创始人BrendanFarmer在接受采访时表示：“这会在我们的新证明系统Plonky3中发挥作用。我们预计会有7到10倍的改进。”

【模块化区块链项目Avail推出数据证明桥】

【模块化区块链项目Avail推出数据证明桥】模块化区块链项目Avail已推出“数据证明桥”（dataattestationbridge），这是旨在降低以太坊Layer2与Layer3链成本的新产品，有助于保护链下数据安全。“数据证明桥”连接到以太坊，可以被使用以太坊作为基础层的ZKRollup与OptimisticRollup。该数据证明桥通过Avail的链下数据可用性层在L2Rollup数据和L1之间建立连接。快讯/广告联系@xingkong888885

【模块化区块链Astria推出开发集群，可通过简单命令部署Rollup】

【模块化区块链Astria推出开发集群，可通过简单命令部署Rollup】2023年08月17日04点22分8月17日消息，模块化区块链Astria宣布推出Astria开发集群（developmentcluster），旨在使部署Rollup像部署智能合约一样简单。开发集群由一个本地Astria共享排序器网络、一个本地Celestia网络、一个配备faucet和区块浏览器的EVMrollup，以及将其连接在一起的粘合服务组成，可通过一个简单的命令将其他rollups部署到这个开发集群中。此前消息，模块化区块链Astria于今天5月完成550万美元种子轮融资，Maven11领投。