以太坊基金会宣布ZK资助轮，旨在增强零知识证明系统

以太坊基金会推出了一个新的ZK资助轮，旨在加速零知识（ZK）证明系统的开发和采用。根据以太坊基金会博客，该计划旨在促进创新并解决区块链生态系统中的关键挑战。

主要项目和目标

ZK资助轮包括多样化的项目，专注于ZK技术的各个方面。这些项目预计会显著提高ZK证明系统的效率、安全性和可扩展性。

重点项目

资助项目包括：

• 来自折叠GKR的数据承载证明：该项目旨在通过利用Goldwasser-Kalai-Rothblum（GKR）累积方案来增强当前的交互式可验证计算（IVC）方案，从而减少见证大小并提高计算效率。
• Zippel：一种新的语言和编译器，专为构建简洁的证明系统而设计，让开发者能够用高级语言表达协议，同时管理低级细节如并行性和内存管理。
• 从Halo2中提取电路约束的Lean提取：该项目旨在开发一个形式验证工具，用于从Halo2电路中提取约束，并在Lean 4证明助手中对它们进行推理。
• ZK基准：一个创建不同类型证明系统性能基准的综合存储库的项目，帮助开发人员和项目经理做出明智的决策。
• zkFold Symbolic：一种用于编写零知识智能合约的高级函数语言，直接编译成各种ZK协议的算术电路。

其他贡献

这些资助也支持旨在改进开发工具和可访问性的项目。例如，ZK Treesitter项目将维护主要ZK电路语言的独立树形词法语法，增强开发者工具链并提供更广泛的资源访问。

其他值得注意的项目包括Wasm PLUME，旨在使密码学PLUME方案的实现更容易在Rust生态系统之外使用；以及将用户引导到可验证KYC，其目的是创建一个使用Noir语言的开源端到端可验证KYC应用程序。

对区块链生态系统的影响

以太坊基金会的ZK资助轮有望在零知识证明领域带来重大进展。通过支持各种创新项目，该计划旨在提高区块链应用的可扩展性、安全性和效率。

这些努力预计会降低开发者的准入门槛，使他们能够创建更高效的ZK应用程序和智能合约。此外，这些资助将促进新工具和框架的开发，从而惠及更广泛的区块链社区。

有关资助项目的完整列表和详细描述，请访问以太坊基金会博客。