hexens 的文章 - 登链社区

TA的文章 TA购买的 TA喜欢的 TA收藏的

本文对比了三种零知识虚拟机（zkVM）的领域特定语言（DSL）：Halo2、Zirgen 和 Plonky3，它们分别代表了不同的零知识系统开发哲学，从高级抽象到低级数学原语，通过比较它们的架构、数据模型和Fibonacci示例的实际应用，帮助开发者理解零知识证明领域，并根据特定需求选择合适的工具。

零知识证明 zkVM Halo2 Zirgen Plonky3 领域特定语言

发布于 15小时前阅读(74) 点赞(0) ( 3 )

以太坊邻近奖：Reed-Solomon码和MCA

以太坊基金会悬赏高达 1.11 亿美元，用于解决 Reed-Solomon 码的容量接近差距猜想，特别是其被称为互相关协议的强化变体。这个数学猜想是现代零知识证明的基石，尤其是在基于哈希的 SNARK 中使用的 FRI 和 WHIR 中。解决这个猜想将对整个区块链生态系统产生深远的影响。

Reed-Solomon 码零知识证明 FRI WHIR 互相关协议密码学

发布于 2025-09-09 17:12 阅读(13) 点赞(0)