# ProveKit

整理：链小知（AI 辅助）
资料核对日期：2026-10-14
引用地址：https://lianxiaozhi.com/tools/provekit

World Foundation的Noir→R1CS/WHIR证明工具链，提供本地验证与递归Groth16集成资料；适合核对产物版本、配对和public inputs，不能从支持菜单推业务或链上验收。

官方入口：https://docs.provekit.org/
类别：开发与基础设施
网络：具体支持网络见官方文档
访问条件：官方开源仓库/文档公开。文档当前建议v1.0.2 release，v1维护分支和main分别核；已有日志仅文档诊断，不安装、编译、生成/验证证明或提交身份材料。
费用：开源代码；证明/验证计算、存储、托管、递归可信设置及链上验证Gas另计。所读文档未给统一商业套餐或单证明费用，不把发布者速度/安全数字当本机实测。

## 用途
- 核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不自动认证现实身份或授权付款。

## 操作教程
- [ProveKit证明文件为什么校验不通：核release、产物配对与公开输入](https://lianxiaozhi.com/tools/guides/provekit-artifact-release-public-input-mismatch-check)：用既有非敏感构建日志定位v1.0.2/main、路径和递归产物错配，不生成或提交证明。

## 相关知识
- [原始、解码和整理后的链上数据有什么区别？](https://lianxiaozhi.com/learn/raw-decoded-curated-data)
- [把数据上链，与只保存数据哈希有什么区别？](https://lianxiaozhi.com/learn/data-onchain-vs-offchain)

## 官方依据
- [ProveKit：v1.0.2版本与宿主兼容状态](https://docs.provekit.org/reference/project-status/)
- [ProveKit：产物配对与生命周期](https://docs.provekit.org/concepts/artifact-lifecycle/)
- [ProveKit：显式文件路径、public inputs与recursive export](https://docs.provekit.org/e2e/generate-artifacts/)
- [ProveKit：CLI/Rust、server与递归路径验证边界](https://docs.provekit.org/integrations/overview/)
- [ProveKit：分支/文件/证明错误定位](https://docs.provekit.org/troubleshooting/common-errors/)