1/ 有无数个 ZK 项目 – Zcash、Polygon、StarkNet – 每个项目都有自己独特的前端语言、后端证明系统或应用。
但它们都有一个共同的层次:
前端 → 代数电路 (IR) → 后端
中间表示 (IR) 或代数电路是共同的线索。
最小化 IR 可能是实现实时 ZK 证明的关键,不仅仅是针对任何单一应用,而是针对整个 ZK 生态系统。

3/ 因为编写优化的中间表示(IR)是困难的。
扩展约束可能会导致内存爆炸,而ZK中的IR设计仍然是一个年轻的领域,与传统数学或编译理论不同,后者已经有数十年的优化工作。
我们相信,通过将代数和其他数学领域的成熟思想映射到ZK领域,我们可以解锁一波新的效率。
4,744
76
本页面内容由第三方提供。除非另有说明,欧易不是所引用文章的作者,也不对此类材料主张任何版权。该内容仅供参考,并不代表欧易观点,不作为任何形式的认可,也不应被视为投资建议或购买或出售数字资产的招揽。在使用生成式人工智能提供摘要或其他信息的情况下,此类人工智能生成的内容可能不准确或不一致。请阅读链接文章,了解更多详情和信息。欧易不对第三方网站上的内容负责。包含稳定币、NFTs 等在内的数字资产涉及较高程度的风险,其价值可能会产生较大波动。请根据自身财务状况,仔细考虑交易或持有数字资产是否适合您。