ProofForge

NEAR

WAT/Wasm + wat2wasm · near-sandbox 工程（弱于 EVM/Solana）

目标

near

族

Wasm 宿主

轨道

accepted Phase 1

成熟度

WAT/Wasm + wat2wasm · near-sandbox 工程（弱于 EVM/Solana）

主制品

WAT → Wasm

工具锁定

锁定 wat2wasm + 可选 near-sandbox 2.13.0 收据门

可部署

true

Feature 清单

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

11

合计

7

已支持

1

部分

2

显式拒绝

1

缺失

跨链对照：目标矩阵

执行模型

Wasm 宿主 KV

状态为宿主 storage KV 叶；非 EVM 槽或 Solana 账户。

Sandbox 收据

near-sandbox 对 Counter 类 deploy/init/mutate/view——仅工程。

异步 promise

schedule → promise 即发即弃已 lower；同步 externalCall FC。

追赶中

runtime 差分腿与资产 demo 少于 EVM/Solana。

制品

文件角色
*.wat / *.wasm主制品

Feature 列表

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

流水线与工具

NearPlan → WAT → wat2wasm → 可选 sandbox。

2/3 已支持

  • SUPPORTED

    WAT/Wasm 产品路径

    锁定 wat2wasm；host 可选 wasmtime/wasmer 加载门。

  • SUPPORTED

    near-sandbox 收据门

    Counter deploy/init/mutate/view 工程——不是 formal Reference↔sandbox。

  • MISSING

    Formal 差分

    无 formal Stage-0 声明。

状态与类型

聚合/Map/Option 已开；String FC；宽乘 schoolbook。

3/4 已支持

  • SUPPORTED

    多宽度 UInt + UInt128/256

    T9e 多字；mul schoolbook；部分宽度 div/mod/shift 仍 FC。

  • SUPPORTED

    Struct/Enum/Array/Map/Bytes/Option

    NearAggregate + BL-30 Option UInt64 状态。

  • FAIL-CLOSED

    String 状态

    NEAR 产品路径 fail-closed。

  • SUPPORTED

    Principal 存储试点

    T12 叶存储——不做 account-id 强制转换。

副作用与调用

异步 schedule 强于同步 call。

2/4 已支持

  • SUPPORTED

    emit / revert / assert

    产品 lower 路径。

  • PARTIAL

    contextRead

    unixTimeSeconds / blockHeight / caller（init/entry）；view caller FC。

  • FAIL-CLOSED

    externalCall（同步）

    NEAR 产品路径拒绝同步 call。

  • SUPPORTED

    schedule（promise）

    即发即弃 promise lower。

Profile

near-wat-wasm-v1

产品 WAT 发射 + 锁定 wat2wasm。

构建

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

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