用途：该技能面向使用 Rust 库 halo2（halo2_proofs）构建与调试 PLONK 零知识证明电路的智能体场景，版本以 GENERATION.md 记录为准，生成于 2026-02-24。halo2 是用于构建基于 PLONK 的零知识证明的 Rust 库，主要 crate 包括 halo2_proofs（电路 API、密钥生成、证明者、验证者）与 halo2_gadgets（可复用 gadget）。
主要能力：核心参考覆盖电路 API（Circuit trait、configure、synthesize、FloorPlanner）、约束系统（列、门、相等约束、查找）、Chip 与 Region（Chip trait、Region、Layouter、assign_region、copy_advice）、列与值（列类型、Value、Assigned、AssignedCell、Rotation）。特性方面覆盖查找表（Lookup argument、TableColumn、TableLayouter）、密钥生成与证明验证（Params、keygen_vk/keygen_pk、create_proof、verify_proof）、mock prover（MockProver::run、verify()、VerifyFailure）以及并行（RAYON_NUM_THREADS、multicore feature）。最佳实践涉及 floor planning（SimpleFloorPlanner、k 的选择、region）。
使用方式与限制：资料未提供具体安装命令、代码示例或调用步骤，暂未提供。适用场景为定义电路、配置约束、赋值见证并用 mock prover 调试。具体版本、平台与收费信息暂未提供。