据Odaily星球日报报道，Horizen Labs推出了zkVerify，这是一个专为结算优化而设计的专用零知识证明验证网络。Horizen Labs估计，仅2023年以太坊上的zk-rollups的证明验证花费就达到4700万美元。行业研究预测，到2030年，zk证明生成将成为一个价值100亿美元的市场。zkVerify为使用zk-rollups构建的开发人员消除了计算密集型证明验证的成本和复杂性，为去中心化应用程序的可扩展性和采用提出了关键的解锁方案。