era-boojum：为零知识证明提供高效支持

era-boojum：为零知识证明提供高效支持

era-boojum Boojum, the scariest SNARK implementation. 项目地址: https://gitcode.com/gh_mirrors/er/era-boojum

项目介绍

era-boojum 是一个为零知识证明（ZKP）设计的库，专为 zkSync Era 提供支持。zkSync Era 是一种基于零知识证明的区块链层 2 滚动链技术，旨在提高交易速度和扩展性，同时保持安全性和去中心化。era-boojum 提供了一种特定的算术化策略，允许开发者在保持现有代码完整性的同时，将区块链项目部署到 zkSync Era 上。

项目技术分析

era-boojum 的核心是一个层次化的逻辑函数系统，包括逻辑函数（gadgets）、门（gate）和评估器（evaluator）。这些组件共同协作，以自动组合函数来验证满意度和生成证明。以下是该项目的关键技术特点：

1. 算术化策略：era-boojum 采用一种特定的算术化策略，适用于大小约为 64 位字段（机器字大小）的域。
2. 逻辑函数和门：项目中的逻辑函数和门具有跟踪其应在迹中放置位置的能力，通过使用 Plonk 的复制约束和可复制的逻辑实体（变量）来构建最终的证明语句。
3. 专门化列和通用列：era-boojum 区分了专门化列和通用列，前者为特定门/评估器提供专用的列，后者允许不同类型的门共享列。
4. 查找论证：项目支持查找论证，通过特定的关系来保证查找表的正确性。

项目及技术应用场景

era-boojum 的设计旨在满足以下应用场景：

1. EVM 兼容性：由于与区块链虚拟机（EVM）兼容，era-boojum 可以让绝大多数区块链项目在不重构或重新审计代码的情况下部署到 zkSync Era。
2. 智能合约开发：era-boojum 最终将支持 LLVM 基础的编译器，允许开发者在 C++、Rust 等流行语言中编写智能合约。
3. 零知识证明优化：通过提供优化的算术化策略和逻辑函数，era-boojum 能够提升零知识证明的效率和性能。

项目特点

era-boojum 项目的特点包括：

1. 高度模块化：项目的逻辑函数和门设计允许高度模块化，便于扩展和维护。
2. 优化性能：era-boojum 采用了多种优化策略，如自动向量化、常数复用等，以提高证明生成速度和效率。
3. 易于集成：由于与 zkSync Era 的兼容性，era-boojum 可以轻松集成到现有的区块链项目中。
4. 可扩展性：项目计划支持多种扩展功能，如更灵活的查找表配置和更高效的 FFT 计算。

era-boojum 项目的推出，为开发者在 zkSync Era 上构建高效、安全的应用程序提供了一个强大的工具。随着其功能的不断成熟和优化，我们有理由相信，era-boojum 将成为零知识证明领域的一个重要组成部分。

era-boojum Boojum, the scariest SNARK implementation. 项目地址: https://gitcode.com/gh_mirrors/er/era-boojum