ProveKit
docs.provekit.org
World Foundation的Noir→R1CS/WHIR证明工具链，提供本地验证与递归Groth16集成资料；适合核对产物版本、配对和public inputs，不能从支持菜单推业务或链上验收。
适合做什么
- 核release/commit与host兼容
- 区分.pkp/.pkv/proof与递归输入
- 定位原verify错误和路径错配
- 区分密码学验证与应用授权
中文使用教程
局限与核对事项
- 9/2媒体述v1以off-chain为重点、v2高效on-chain为计划；当前文档recursive path存在，不证明任意World Chain/Ethereum/Base/Solana部署或验证已上线。
- v1.0.2 CLI/Rust文档检查过；WASM cross-verification未通过，FFI mobile pending；Go recursive和verifier server未端到端运行，支持语言不等可验收。
- main可变格式，不能混不同产物代际。公开输入编码与电路语义由应用决定；数学证明valid不自动认证现实身份或授权付款。