用途：本地运行 STRK20 交易证明器，为钱包/SDK 集成提供证明算力。运行服务本身不注册账户、不转移代币、不改变钱包的服务提供商。
主要能力：提供 assets/local-prover/ 材料，含 Compose 文件、占位 env 文件与标准库 Python 检查器；指导 Docker 配置、网络与 RPC 设置、健康检查及与 SDK 的集成验证。
使用方式：优先原生 Linux amd64 或 WSL2 下的 amd64 Ubuntu。复制 assets/local-prover/ 到工作目录，将 .env.example 复制为 .env 并设为 600 权限后私下编辑，遵循 dotenv 语法。操作统一用 docker compose --file compose.yaml --env-file .env：先 config --quiet，再 pull，然后 up -d。用 python3 check.py docker 检查 Docker Engine 28.0.0+ 与 Compose 插件及内存，用 python3 check.py rpc 检查链与 RPC v0.10，用 python3 check.py health（或 --port PORT）检查健康，用 python3 check.py logs 查看脱敏日志。需 RPC_URL 与 BUILD_MODE=release，使用自己的 RPC 凭证。默认 Sepolia，主网需匹配 RPC 与 CHAIN_ID=SN_MAIN。
适用场景与限制：本机端口应绑定 127.0.0.1，跨机使用加密 SSH 隧道；公开多用户托管需额外认证、传输保护、请求限流与威胁评估。Apple Silicon 有 SIGILL 复现记录，旧版本勿用 ARM 镜像。WSL2 直装 Docker 时仅 systemd 无法保持发行版存活，需前台 keeper 或 SSH 会话。证明请求可能含私有查看材料，证明主机与管理员均处于隐私信任边界。自托管证明不绕过存款筛查，注册与主网调用需费用与授权。specVersion 结果仅证明 API 可达，实际证明须用匹配 SDK 验证，并区分证明生成、交易提交与回执成功。发现服务为独立服务，本配方不部署。检查失败时仅保留脱敏错误、镜像摘要、平台与 RPC 版本用于上游问题，不得伪造证明格式或绕过链上验证。未提供价格、账号注册与官方支持信息。