StarkNet 上线由 Cairo 通用计算支持的递归证明
链捕手消息,零知识证明技术开发公司 StarkWare 宣布由 Cairo 的通用计算提供支持的递归证明 Recursive Proving 现已在主网上线,可以通过单一证明来扩展 StarkEx 应用和 StarkNet。
据悉,递归证明的优点包括可通过将多个证明压缩至 1 个来实现降低链上成本、减少延迟,并开启了向 StarkNet 提交证明的可能性,因为 statement 可以被纳入 StarkNet 智能合约,这允许在公共 StarkNet 之上构建 L3 部署。
(来源链接)
链捕手ChainCatcher提醒,请广大读者理性看待区块链,切实提高风险意识,警惕各类虚拟代币发行与炒作, 站内所有内容仅系市场信息或相关方观点,不构成任何形式投资建议。如发现站内内容含敏感信息,可点击“举报”,我们会及时处理。