AI 资源库 · 已整理 2 项

审计回执

查看与审计回执相关的 AI 资讯、工具、Skill、工作流和开源项目。

AI 编程

VNX Orchestration：面向 Claude Code、Codex 与 Gemini CLI 的治理优先式多 CLI 编排运行时

Vinix24/vnx-orchestration · Governance-first orchestration for Claude Code, Codex, and Gemini CLI — parallel workers, receipts, quality gates, and full provenance.

VNX Orchestration 是一个本地控制平面，把本机已安装的 AI 编程 CLI（claude、codex、gemini、kimi、ollama）作为子进程调度，不引入厂商 SDK。每个 worker 在独立的 git worktree 中执行，经评审门决定是否合并，每次派发生成仅追加的 NDJSON 回执，形成可回溯的本地审计链；提供 per-gate 成本记录、零 LLM 上下文注入与仓库地图、受治理记忆，以及可选开启的智能路由、弹性 worker 池与路线图自动驾驶。项目明确说明其不是安全沙箱、不是合规认证，面向人工把关的编码流程而非全自动合并。

# AI 治理# 编码代理# 多 Agent 编排# 审计回执# 质量门
☆ 收藏查看来源 ↗
评论 · 分享第一个看法
评测与安全

VerInf：为 LLM 推理生成零知识证明

JamesPetrie/VerInf

VerInf 是一个研究原型，用于为大型语言模型推理生成零知识证明。它针对已训练的浮点模型，通过证明观测到的输出流与已承诺的整数模型之间的相似性，并给出“未解释信息”的比特数上界，而不是要求逐位精确复现。项目采用仅基于哈希的承诺，无需可信设置，构造上具有后量子可能性；证明除该上界和公开声明列表外不泄露权重、激活值或隐藏 token。README 记录了 400B 参数 Llama 4 Maverick 全模型 1000 token 前向的可信证明（单台 DGX Spark 约 14.3 小时，证明体积 93.6 GB），以及 32 层 Llama-2-7B 的较小验证门（约 44 分钟证明、23 分钟验证）。项目包含 Python+CUDA 证明器、独立 Rust 验证器、示例与设计文档。

# 零知识证明# 推理与部署# NVIDIA GPU# 模型验证# 审计回执
☆ 收藏查看来源 ↗
评论 · 分享第一个看法