← Fractal Fly 今天的果蝇 怎么证明我们没作假

怎么证明我们没作假

我们不要求你相信这页上的任何数字。下面四件事都能在**你自己的浏览器**里当场验: 点一下,看结果。用到的规则都写在 verifier.js(源码在本站,复制走也能自己跑)。

检查 1 · 一个神经元确实在链上那个根里

Merkle 包含证明

链上每笔承诺带一个"累加器根",它是一棵 Merkle 树的根,每个神经元是一片叶子。 接口会给你某个神经元的**包含证明**(一片叶子 + 一条路径)。你在本地算: leaf = sha256(0x00 ‖ 文本),再沿路径折叠(sha256(0x01 ‖ 左 ‖ 右)), 结果应该等于链上的根。这不需要信任我们的前端,只需要一个 sha256。

未运行

检查 2 · 整个子网的根,用公开数据重算

从连接组本身重算累加器根

不信那个接口给我们的根?用**公开数据**自己算:src/subnet.js(3,377 个功能核神经元,2.1 MB) + src/growth.js(hub-first 顺序)⇒ 每片叶子的文本与哈希都能自己算 ⇒ 折叠出的根应该等于链上的根。 同时会核对 subnet.js 的 sha256 是否等于链上声明的 subnetSha256(**数据没被换过**)。

未运行

检查 3 · 回路承诺里的电路指纹

FNV-1a 电路哈希

链上的回路承诺长这样:FF|v1|区块|代数|状态摘要16|匹配数|电路指纹。 "电路指纹" = 基因组的 FNV-1a(32 位,8 位十六进制)。基因组是公开的 ⇒ 你可以自己算这个数,和链上载荷里的比。

未运行

检查 4 · 我们没有服务端仿真

/v1/sim/* 不存在

平台原则是「**服务器给数字,客户端自己算一遍**」。所以 API 里没有仿真端点 —— 现场请求一次,拿到 404 就说明我们没在服务端偷偷跑一个"你看不见的状态"。

未运行

还能验的(更重一点)

我们做不到什么(不藏)

从哪开始 今天的果蝇 开发者入口 我们不声称什么 测试网 · 不连接钱包 · 不花钱