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