ProofForge

Noir

source relation + 锁定 nargo 仅编译 · 无 prove/verify

目标

noir

族

ZK 电路编译器

轨道

accepted Phase 1

成熟度

source relation + 锁定 nargo 仅编译 · 无 prove/verify

主制品

.nr relation packages

工具锁定

nargo 1.0.0-beta.26 仅编译（双平台）

可部署

false

Feature 清单

本目标的产品面计数（工程词汇，不是营销分数）。

10

合计

5

已支持

2

部分

2

显式拒绝

1

缺失

跨链对照：目标矩阵

执行模型

电路域

无墙钟或 caller 锚点；contextRead 全 FC。

仅编译门

Counter 包 NoirCompileAcceptance；Barretenberg/CRS 未锁定。

bn254 原生

bn254 上 Field 运算；BLS/Goldilocks FC。

无证明制品

validate_artifacts 拒绝 proof 阶段叶。

制品

文件角色
*.nr packages主制品

Feature 列表

今天能 lower 什么、显式拒绝什么、仍缺失什么。

流水线与工具

NoirPlan → .nr → 锁定 nargo 编译。

2/3 已支持

  • SUPPORTED

    Relation 包发射

    产品 Counter 类包。

  • SUPPORTED

    锁定 nargo 编译

    NoirCompileAcceptance

    仅编译验收门。

  • MISSING

    prove / verify / VK

    明确未实现；研究结论不把 prove 升入产品。

状态与类型

聚合 + Map 试点 + Option；String FC。

2/4 已支持

  • SUPPORTED

    Field bn254

    原生电路域。

  • SUPPORTED

    Struct/Enum/Array/Map/Bytes/Option

    NoirAggregate + 容器试点；Option UInt64 状态。

  • PARTIAL

    UInt128 / UInt256

    原生/多肢类似物；部分路径 mul/div/mod 仍 FC。

  • FAIL-CLOSED

    contextRead

    电路域无时钟/caller。

副作用

部分副作用用 relation 槽；commit FC。

1/3 已支持

  • SUPPORTED

    emit / revert / assert

    电路约束下的产品路径。

  • FAIL-CLOSED

    commit

    Noir 上 fail-closed。

  • PARTIAL

    externalCall / schedule

    relation 槽；语义 PARTIAL。

Profile

noir-nargo-compile-v1

对产品 relation 包做锁定 nargo 编译。

构建

lake env .lake/build/bin/proof-forge-next build \
  Examples/Counter.lean \
  --module Examples.Counter \
  --target noir -o build/counter-noir

lake env .lake/build/bin/proof-forge-next inspect build/counter-noir --json
开放名单 →目标矩阵 →