扫描下载APP
其它方式登录
证明递归几乎是零知识证明证明庞大复杂程序的唯一方法。
递归证明指的是通过生成一个证明来验证多个「上游」证明的有效性,不仅适用于硬编码逻辑,而且适用于通用计算,直接优势包括降低链上成本,降低延迟以及催生 L3 和应用递归等新机会。