尧图网络 高端网站定制 · 原创设计
免费咨询热线
400-888-6620
免费获取方案
第 27 篇:推理引擎怎么证明“这个答案真是这台机器算的“(零门槛入门系列)
第 27 篇推理引擎怎么证明这个答案真是这台机器算的零门槛入门系列上一篇第 26 篇《从发布方到设备的信任链》 下一篇第 28 篇《怎么测才算数》一句话导读推理引擎把权重指纹、输入、输出绑成一张凭证并签名事后任何人离线都能验——改一个字就失效也不需要再去找那台机器。关键词推理引擎入门、大模型推理、凭证credential、指纹哈希、出证、离线验证、验签第 26 篇解决的是进来的文件可不可信——加载前先验签。这一篇换一个方向解决出去的答案可不可信。用户拿到一段输出凭什么相信它真的是用这份权重、对这个输入、算出来的这个结果而不是服务端随口编的答案是凭证把三样东西绑在一起签一个名交给用户从此任何人离线都能自己核对一遍。① 一句话概念权重、输入、输出签成一张凭证。② 起点带防伪码的收据想象你在一家店买了件贵重物品店员随手递给你一张收据上面除了金额还有一串防伪码。日后你若和店里有争议不必再回到那家店、也不一定找得到当时那位店员——你只要拿着这张收据对照公示的核对方式就能自己判断它是不是这家店开出的。这张收据有两个特点。第一它把该绑的都绑在了一起金额、商品、日期、编号任何一项被改动防伪码就核对不上。第二核对不需要那家店在场收据是纸规则是公开的你在家里就能做。把这两点搬到推理上就是本文要讲的凭证它把用了哪份权重“输入是什么”“输出是什么三件事绑成一条记录再加上一段只有设备自己那把私钥才处理得出的印迹交给用户自行核对。这里要说清它证明的边界它证明的是这份记录出自持有该设备私钥的一方且一字未改”并不证明计算过程本身真的发生过而且这与第 26 篇里发布方签权重用的不是同一把钥匙。③ 伪代码把三样东西绑成一张可离线验的凭证函数 出证(权重指纹, 输入, 输出字节) - 凭证: 内容 长度(权重指纹) 权重指纹 长度(输入) 输入 长度(输出字节) 输出字节 # 每个字段都带长度避免拼接歧义 凭证 签名( 哈希(内容) ) # 绑定后整体签名 → 凭证随响应一起返回 函数 离线验证(凭证, 公钥, 权重指纹, 输入, 输出字节) - 真 / 假: 重算 哈希(与出证时完全相同的内容) → 用公钥验签(凭证) 且 反算出的指纹 重算逐行要点三路输入汇进同一个哈希第 24 行权重指纹、输入、输出字节被串成一条记录再算指纹。只要动其中任意一项最终指纹就会完全不同如图 1 所示。每个字段前面都带长度第 24 行如果只是简单地把几段内容接在一起输入ab 输出c和输入a 输出bc会拼出同一串产生歧义。显式写下每段多长拼接就唯一了。绑的是输出的字节本身第 4 行不是输出有几个字这种描述而是那段输出的原始字节改动其中任意一个字节指纹立刻变化凭证作废。验证是离线的最后一行验证方不需要联网、不需要再找那台机器只需要凭证、公钥以及它自己手里那份同样的权重指纹、输入、输出。图 1把权重、输入、输出绑成一个可离线验证的凭证三路输入权重指纹 / 输入 / 输出先汇入哈希得到一段内容指纹再用设备自己的私钥对它签名得到凭证凭证随响应返回给用户用户侧箭头向下指向离线验证用公钥自行核对全程不需要回到服务端。④ 纸笔实验必做第一步为一张凭证设计字段不超过 5 个。一个够用的答案是这样 4 个字段装什么权重指纹用了哪份权重输入用户问的原文原始字节输出字节机器给出的那段答案本身凭证签名把上面三项绑起来后签出的名第二步把输出里的一个字节改掉——例如把你好改成你早两个字换两个字长度相同、内容不同逐个问自己哪些字段会变预期结果输出字节变 → 内容指纹变 → 凭证签名变权重指纹和输入不变。也就是说改动一个字的输出就会牵动两个字段最终导致离线验证失败。判定标准如果你在设计里只写了输出长度而没有写输出字节那长度相同、内容不同的改动就抓不住——这是一个必须想到的漏洞。可选 REPL 版Python 伪代码def指纹(文本):returnsum(文本.encode())%1000003权重指纹,输入QWEN30B,今天天气输出晴内容f{len(权重指纹)}|{权重指纹}|{len(输入)}|{输入}|{len(输出)}|{输出}凭证指纹(内容)print(凭证)print(指纹(f{len(权重指纹)}|{权重指纹}|{len(输入)}|{输入}|{len(晴啊)}|{晴啊}))# 不同print(指纹(f{len(权重指纹)}|{权重指纹}|{len(输入)}|{输入}|{len(晴)}|{晴}))# 与凭证相同⑤ 进阶锚点进阶锚点本篇概念在《30 天手搓推理引擎》Day 27里被真正实现——27-1 三问三防权重、记录、出处/27-2 出证帧规范body_sha 与输出文本的字节绑定/27-3 端到端取证VLLM_ATTEST1 → 收证 → verify_attest.py 离线验签。入门版到这里就够了进阶版会多出出证帧的字段规范长度与内容如何绑定、源码里的 body_sha 计算位置以及开启出证 → 收证 → 离线验签脚本的一条端到端实操。想动手 → 仓库https://gitee.com/pei-xiaoguang/kestrel-llm从 Day 1 开始。下篇预告可信的三篇签名、信任链、凭证到此收束。第 28 篇换一个最容易骗到自己的话题——“快了多少”到底怎么测才算数。
RELATED

相关推荐

PE文件手动新增节全解析:从对齐原理到实战避坑

PE文件手动新增节全解析:从对齐原理到实战避坑

1. 从一个真实需求说起:为什么要手动给PE文件加节很多人第一次接触PE文件结构,都是在做逆向分析或者安全研究的时候。你可能遇到过这样的场景:手上有一个现成的可执行文件,想往里面塞一段自己的代码,但又不想破坏原有的…

📅 2026/10/18 3:27:08
5G核心网CUPS架构深度解析:控制面与用户面分离及PFCP转发规则详解

5G核心网CUPS架构深度解析:控制面与用户面分离及PFCP转发规则详解

1. 为什么5G要把控制面和用户面拆开1.1 从“一体机”到“脑腿分离”的架构演进搞5G核心网的人,肯定绕不开CUPS这三个字母。Control and User Plane Separation,控制面和用户面分离。说白了,就是把原来长在一个节点里的“脑子”和“腿”拆开&a…

📅 2026/10/18 3:27:08
栈的基本操作面试精讲:数组与链表实现及边界处理

栈的基本操作面试精讲:数组与链表实现及边界处理

栈这个数据结构,说起来简单,但真正在面试里能把它的基本操作写对、写全、写出边界处理的人,其实没想象中那么多。我这些年带过不少候选人,也做过很多次技术面试的旁观者,发现一个很有意思的现象:很多人一听…

📅 2026/10/18 3:27:08
MORE NEWS

更多资讯

📰

AI工具链如何重塑内容生产:从选题到发布的完整工作流与实战避坑指南

2026年的内容行业,一个绕不开的词就是AI工具链路。我自己做内容运营这几年,明显感觉到单靠“勤奋”已经很难跟上节奏了。同样一篇深度稿,有人从下午写到大半夜,有人从选题到初稿只花了一支烟的功夫——差距不在文笔,而…

📰

如何在生产环境服务MiniMax-M2.7?vLLM与SGLang本地部署对比实战

【免费下载链接】MiniMax-M2.7-GGUF 项目地址: https://ai.gitcode.com/hf_mirrors/unsloth/MiniMax-M2.7-GGUF 点击查看 免费下载 想在生产环境中稳定服务 MiniMax-M2.7?本文带你实战对比两大主流推理框架 vLLM 与 SGLang 的本地部署方案:从…

📰

给整个音乐库配齐歌词要多久?163MusicLyrics 歌词批量下载实操指南

给整个音乐库配齐歌词要多久?163MusicLyrics 歌词批量下载实操指南 【免费下载链接】163MusicLyrics 云音乐歌词获取处理工具【网易云、QQ音乐】 项目地址: https://gitcode.com/GitHub_Trending/16/163MusicLyrics 车载 U 盘里那 300 多首歌,拷进…

📰

深度学习人脸性别与年龄识别系统实战:从模型训练到部署全流程

毕设做了个深度学习人脸性别年龄识别系统,从数据处理到模型训练再到上线部署,整条链路一个人啃下来,踩了不少坑,也总结出一些可以直接复用的经验。这篇就按我实际做完一版能跑通、能演示、能写进论文的系统来拆解:为什…

📰

制造超算AI项目实践:需求转化、架构落地与系统调优全记录

项目的起因其实很朴素。我在某精密制造集团做架构师时,接手了一个被内部称为“制造超算AI项目”的平台建设任务。业务方没有给我标准的 PRD,也没有技术需求清单,只是在大会议室里说了几句:“产线智能化喊了好几年,今年…

📰

混合整数二阶锥规划:能源与频率服务联合清算的建模与求解实践

最近一段时间在做“混合整数二阶锥规划”在能源与频率服务联合市场清算中的仿真验证,先把结论放在前面:这类问题真正难啃的,不是二阶锥本身,也不是0-1整数变量,而是两者叠加之后,求解稳定性、调试手感、结果…

TODAY

今日更新

THIS WEEK

本周精选

THIS MONTH

本月热门

读完文章,想聊聊您的网站?

告诉我们您的行业与需求,资深顾问一对一梳理方案与报价,全程免费。

📞 💬