TinyZKP

TinyZKP

TinyZKP 是一个采用 MIT 许可、受资源限制的 Plonky3 证明后端。其生产目标很简单：让证明团队在明确的 RAM 上限下完成更大的 STARK 跟踪，并在全局变换需要时使用确定性的 SSD 暂存空间，同时保留官方 Plonky3 证明格式和未经修改的验证器。

发布权限： MIT Community 源码已公开；只有自动化发布证据通过后，才支持生产引擎二进制文件。TinyZKP 不运营托管证明、托管验证、客户账户、用量计量或 MCP 商务。Guard 工件和结账功能均由基于证据生成的 release/guard-launch-state-v2.json 独立执行默认拒绝策略；该文件由 release/guard-launch-evidence-v2.json 生成，并依据受保护的签名和发布信任进行验证。当前可用性请参阅这些生成的契约；不要根据 README 的描述推断。

产品边界

TinyZKP 不会引入新的生产转录、验证器、证明格式或安全配置文件。生产路径固定为 Plonky3 0.6.1 和上游 Goldilocks/Poseidon2 p3-uni-stark 示例配置，并将其冻结为 tinyzkp-p3-goldilocks-v1。

差异化部分是证明端基础设施：

• RAM、暂存空间、线程和检查点保留的资源策略；
• 带校验和、仅所有者可访问的矩阵存储，以及可分块读取的矩阵访问；
• 确定性的、基于暂存空间的 Plonky3 DFT 适配器；
• 针对 Fibonacci 和 Goldilocks Poseidon2 参考 AIR 的官方 Plonky3 证明生成和验证；
• 由共享的 tinyzkp-contracts Rust 权威源生成的十二个面向 Guard 的冻结契约，以及证明引擎契约；
• 从创建新进程到验证完成的 Linux cgroup-v2 测量；
• 发布溯源信息、兼容性锁定和默认拒绝式发布门禁。

受资源限制的流水线在本地实现：跟踪和商生成、四步变换、MMCS、开启值以及 FRI 均使用持久化的有界存储；类型化检查点则保留官方挑战者状态，以支持逐字节一致的恢复。Plonky3 0.6.1 仍会将一个自有的 RowMajorMatrix 传递给其通用 DFT trait；因此，TinyZKP 的有界编排会使用独立的分块矩阵入口。对于确切的发布版本，只有在自动化验证器、确定性、固定主机资源、恢复、模糊测试、溯源信息、SBOM、签名、CLI 和 OCI 检查全部通过，且由所有者控制的 Guard 发布门禁发布该工件后，此实现才会脱离预生产状态。独立评审和设计合作伙伴的结果仍作为公开建议保留。

独立的 TinyZKP 协议、旧版收据、托管服务、递归、zkML、zkVM、IPA、Spartan、KZG 和 rollup 原型仅用于研究。旧版 CLI 需要显式启用 legacy-research 功能；它不会编译进公共引擎容器或默认 CI 路径。

仓库结构

路径	用途
crates/tinyzkp-contracts	引擎和 Guard 共用的冻结公共 JSON 契约、原因词汇表、架构和资源算术
crates/hc-stream	资源策略、区块矩阵、矩阵存储、预检和检查点契约
crates/hc-plonky3	固定版本的 Plonky3 配置、工作负载、DFT 适配器、官方证明器／验证器和制品契约
crates/hc-cli	生产环境 Plonky3 CLI 和基准测试工作进程
scripts/benchmark	cgroup-v2 基准测试编排和报告工具
release	依赖兼容性和强制发布门禁证据
site	Guard 产品、兼容性、证据、文档和法律状态静态站点
docs/recovery	架构、交付、发布和运维文档

服务器、MCP、计费、SDK 和托管测试版的源代码暂时保留在此分支中，等待完成义务清单、验证最终导出、替换在线冒烟测试并获得授权后再停用。相关工作流已禁用，其二进制文件也已从活动发布和部署负载中排除。archive/hosted-beta-2026-07-17 标签保留了历史快照；这并不表示剩余源代码或外部基础设施已被移除。

构建和测试

固定使用 Rust 1.95.0，因为 Plonky3 0.6.1 使用了旧版工具链不支持的 API。工作区中的 Plonky3 和制品序列化依赖均固定为确切版本，并已根据 release/plonky3-compatibility-v1.json 完成验证。

cargo test --locked -p hc-stream -p hc-plonky3 -p hc-cli
cargo clippy --locked -p hc-stream -p hc-plonky3 -p hc-cli \
  --all-targets -- -D warnings
python3 scripts/ci/guard_launch_gate.py --check

托管 API／MCP／计费启动审计已停用，不能用于授权 Guard。签名的引擎候选版本、Guard 候选版本、静态站点和 OCI 身份必须通过 Guard 证据及联合晋级控制。

CLI

根据 Rust 中的事实来源生成 12 个冻结的 Guard 面向 API 架构、独立的兼容性配置文件架构，以及证明引擎架构：

cargo run --locked -p hc-cli -- schema --output-dir /tmp/tinyzkp-schemas

已安装的生产环境可执行文件是 tinyzkp-engine；hc-cli 是 Cargo 包和开发二进制文件的名称。在证明前，使用已填充的 JobManifestV1 运行兼容性诊断：

tinyzkp-engine doctor --job job.json

声明式 AIR 证明路径使用由调用方精确指定的检查点目录：

tinyzkp-engine plonky3 prove-air \
  --air <air-package-v1.json> \
  --trace-manifest <trace-manifest-v1.json> \
  --chunks-dir <trace-chunks> \
  --public-inputs <public-inputs-v1.json> \
  --policy <resource-policy-v1.json> \
  --checkpoint-dir <job-directory/checkpoint> \
  --output <air-proof-bundle-v1.json>

tinyzkp-engine plonky3 inspect-checkpoint \
  --checkpoint <job-directory/checkpoint/checkpoint.json> \
  --air <air-package-v1.json> \
  --trace-manifest <trace-manifest-v1.json> \
  --chunks-dir <trace-chunks> \
  --public-inputs <public-inputs-v1.json> \
  --policy <resource-policy-v1.json>

tinyzkp-engine plonky3 resume-air \
  --air <air-package-v1.json> \
  --trace-manifest <trace-manifest-v1.json> \
  --chunks-dir <trace-chunks> \
  --public-inputs <public-inputs-v1.json> \
  --checkpoint <job-directory/checkpoint/checkpoint.json> \
  --output <air-proof-bundle-v1.json>

tinyzkp-engine plonky3 verify-air --bundle <air-proof-bundle-v1.json>

inspect-checkpoint 会执行相同的身份和持久化制品检查，但不会更改作业状态。随后，resume-air 会验证每个检查点身份和持久化制品，重建已上传的声明式工作负载，恢复官方挑战者状态，并从最后完成的阶段继续。精确发布版本的崩溃／恢复测试要求生成的证明字节与不中断运行完全一致。

通用 prove 和 verify 命令会返回迁移指导。历史复现仅可在离线研究构建中进行：

cargo run -p hc-cli --features legacy-research -- legacy-research --help

已安装的 tinyzkp-engine release 命令会输出 JSON，用于在发布前交叉核对引擎二进制文件、OCI 镜像、兼容性配置文件和基准测试溯源信息。在源代码开发检出版本中，其内部等效命令为 cargo run --locked -p hc-cli -- release。

基准测试完整性

发布测量必须在采用 cgroup v2 的 Linux 上运行，基线版本和候选版本各自在全新的进程中启动。报告包含硬件、操作系统、存储、发布 SHA、依赖配置、精确命令、CPU 秒数、整个进程的峰值内存、临时空间峰值、块 I/O、证明大小、验证时间和验证器结果。

cargo build --release -p hc-cli
sudo python3 scripts/benchmark/run_plonky3_cgroup.py \
  --manifest examples/plonky3/fibonacci-small.json \
  --report /tmp/fibonacci-bounded.json

macOS 测量和仅测试组件对开发很有用，但不能作为可接受的发布证据。TinyZKP 绝不会根据组件基准测试推断完整证明器的内存、吞吐量、成本或容量。

在所有者签名的自动化测试套件证明以下各项之前，发布目标仍处于阻止状态：

• 1M 行：峰值 RAM 至少降低 4 倍，耗时不超过基线的 3 倍，且不超过配置上限的 10%；
• 16,777,216 行：整个进程的峰值内存不超过 2 GiB，通过官方验证，且临时空间用量不超过预检结果的 10%；
• 确定性崩溃恢复、解析器／资源模糊测试、签名制品、SBOM、校验和、来源证明、CLI／OCI 冒烟测试，以及发布身份一致性。 独立复现、外部审查和外部工作负载均为透明的 not_completed 提示，不授权结账。

可自托管行为

公开产品是本地二进制文件和由客户运行的 OCI 镜像。它没有作业 API、账户数据库、队列、工作节点集群、证明存储、用量计量器，也不依赖 TinyZKP 运行时。客户的见证数据、临时数据和证明均保留在客户控制的存储上。

独立的商业 Guard 监督程序可通过名义商家激活签名发布版本。激活后，doctor、run、resume、policy 和 verify 操作均可离线执行。取消操作会阻止激活未来发布版本，但不会停用已激活的发布版本。

商业模式

证明关键软件仍采用 MIT 许可。TinyZKP 计划销售一款由客户自行运营的产品：

• 社区版：免费的 MIT 引擎、验证器、架构、doctor、参考工作负载和公开证据。
• TinyZKP Guard：每月 499 美元或每年 4,990 美元，供一个法人组织内部使用，包含自动模式选择、恢复监督、CI 策略、签名资格认证和新版本访问权限。

不提供免费的 Guard 试用、按用量计费、企业版、Fleet/OEM 计划、托管计算、定制 AIR 工作、SLA、入门指导电话或随附工程服务。免费的引擎和 doctor 是评估途径。在技术、法律、商户、外部工作负载、无辅助安装和首位客户这几项关卡均有证据之前，公开结账功能将保持禁用。

受支持的兼容性配置保持固定。只有通过 docs/validation/PROFILE_EXPANSION_DEMAND_GATE.md 中记录的本地聚合需求关卡，才会考虑在季度资格认证窗口评估不同配置；达到需求门槛并不意味着候选配置受支持。

机器可读的商业信息源是 site/pricing.json。 商业发布状态由 scripts/ci/guard_launch_gate.py 根据经审核的 V2 证据生成；派生状态文件不可手动编辑以批准发布。 有关运营控制，请参阅 BUSINESS_GUIDE.md；有关当前差距清单，请参阅 docs/recovery/implementation-status.md。 运营者必须遵循 docs/runbooks/release_provenance.md、 docs/validation/FOUNDING_VALIDATION_PROTOCOL.md 和 docs/runbooks/guard_commerce_setup.md。 可选的法律顾问资料收集已整合至 docs/governance/GUARD_COUNSEL_PACKET.md； 该资料包仅供参考，并非发布所需的授权。LN Holdings 所有者对确切销售方信息和文档摘要的批准，才是机器可验证的法律关卡。

安全与披露

不要提交密钥、见证数据、客户输入、支付服务商凭据、私钥或生产环境文件。临时产物必须仅供所有者访问，且重新打开时一律视为不可信；恢复前，必须验证清单、分块、发布标识、依赖锁定文件、工作负载、输入和策略。

通过 tinyzkp.com/security 上的私密渠道报告安全问题。性能和安全声明必须有可复现的证据；预发布源代码不代表生产认证。

许可证

本仓库及其公开引擎代码采用 MIT 许可证。TinyZKP Guard 是单独授权的商业监督程序。Guard 必须通过已发布的文件和 CLI 契约调用公开引擎；不得分叉证明语义，也不得将证明关键行为置于商业许可证之下。