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