zkSNARK 可验证算力用途，或成 AI 监管的硬件审计工具

teortaxesTex · x · 2026-11-03

被转发的材料提出了用 zkSNARK（零知识证明）解决 AI 监管中算力核查的思路。图示讨论了两个挑战：一是 pacing——监管者要求算力只用于推理而非训练新模型时，供应商可能暗中挪用算力训练，zkSNARK 证书可在不泄露专有模型信息的前提下证明推理请求确实来自所声称的模型；二是 tamper detection——随着模型价值升高，推理服务器成为攻击目标，可能被入侵窃取权重或投递恶意响应。发帖人 teortaxesTex 评论称这类技术「当然会被用于最恶意的目的，但技术本身很酷」。