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

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

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

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

以太坊 ZK 协处理器 Axiom 推出 V2 版本，简化 ZK 验证

以太坊ZK协处理器Axiom推出V2版本，简化ZK验证以太坊ZK协处理器（Axiom）发布了新版本AxiomV2，为智能合约开发者提供了经过ZK验证的计算能力。新版本简化了ZK的使用，开发者可以使用Solidity和Javascript集成，而无需学习新语言或部署复杂的ZK验证合约。AxiomV2允许开发者读取以太坊历史上的任何链上数据，包括区块头、账户、合约存储、交易和收据等。在Goerli测试网上已经发布了Beta版本，主网部署将在完成安全审核后进行。新功能还包括对交易和收据数据的ZK验证访问，以及通过Javascript界面进行ZK验证计算。开发者可以通过AxiomClientSDK在智能合约中集成AxiomV2，并通过回调接口在链上验证结果。目前，AxiomV2正在接受审计，暂不建议在生产环境中使用。

OKX Ventures 宣布投资模块化计算层和 ZK-RaaS 平台 Lumoz

OKXVentures宣布投资模块化计算层和ZK-RaaS平台Lumoz4月8日消息，OKXVentures宣布投资Lumoz。Lumoz是去中心化的ZK-RaaS平台，通过其无需编码的ZK-RollupLaunchbase，任何用户都能无代码生成定制化的zkEVM应用链。同时，Lumoz通过DecentralizedProverNetwork来为通用ZKP计算提供底层算力。OKXVentures的创始人Dora表示，Lumoz的定位结合了ZK-RaaS和DePIN，提供低成本且便捷的ZK-Rollup部署能力，OKXVentures看到了其在ZK-RaaS领域及Prover技术方面的进步，该笔投资将助力Lumoz加快模块化计算层和ZK-RaaS平台的开发和技术创新。

【OKX Ventures宣布投资模块化计算层和ZK-RaaS平台Lumoz】

【OKXVentures宣布投资模块化计算层和ZK-RaaS平台Lumoz】2024年04月08日08点03分4月8日消息，OKXVentures宣布投资Lumoz。Lumoz是去中心化的ZK-RaaS平台，通过其无需编码的ZK-RollupLaunchbase，任何用户都能无代码生成定制化的zkEVM应用链。同时，Lumoz通过DecentralizedProverNetwork来为通用ZKP计算提供底层算力。OKXVentures的创始人Dora表示，Lumoz的定位结合了ZK-RaaS和DePIN，提供低成本且便捷的ZK-Rollup部署能力，OKXVentures看到了其在ZK-RaaS领域及Prover技术方面的进步，该笔投资将助力Lumoz加快模块化计算层和ZK-RaaS平台的开发和技术创新。

Flare 宣布加入 Ankr、Figment 作为验证者和数据提供商

Flare宣布加入Ankr、Figment作为验证者和数据提供商与以太坊EVM标准兼容的L1区块链Flare宣布加入Ankr、Figment、Restake、Luganodes和NorthStake等专业基础设施提供商，作为网络原生预言机的验证者和数据提供商。Flare成为第一个智能合约平台，这些机构验证者还为网络上的构建者提供去中心化数据源。通过将验证与数据提供相结合，Flare将能够让开发人员以最小的成本、大规模地完全去中心化地访问最广泛的数据。