EN

Search the suite

Arrows move. Enter opens. Home returns to search. Escape closes.

No tools, pages, sections or docs match this search.

运行检查

本页为机器辅助的简体中文翻译。工具详情页和来源文档仍为英文。工具名称、数字、代码、签名和法律文本保留原样。

FLOP 开发网工具集 / 02

验证

从网络外部检查时，这些声明是否成立？

将声明与从网络外部收集的证据对照。对缺失证据的审视应与通过的检查同样仔细。

9 可用 / 9 已登记工具

Alpha 是发布阶段标签。下方数值均来自注明时间的记录，不代表当前运行状况。

当前显示: 9 工具

specalpha

Spec differ

公开的开发网证据能判定哪些黄皮书条款？

0

规范证据中报告的 proofs24h

已记录 / 最近已知
来源 原始记录

这是报告字段，不是已部署运行时行为的证明。

打开工具
contractsalpha

MCP contract audit

网络工具的返回结果是否符合其声明？

96

接口约定审计记录中的请求数

已记录 / 最近已知
来源 原始记录

已记录的探测，不代表服务当前可用。

打开工具
indexeralpha

Indexer audit

索引器的总数是否等于各部分之和？

10

不变量审计记录中的请求数

已记录 / 最近已知
来源 原始记录

还读取了区块浏览器 API。一致性不等于独立的链证明。

打开工具
economicsalpha

Emission and fees

奖励、发行和费用是否符合规范？

20

经济参数对照样本中的结算数

已记录 / 最近已知
来源 原始记录

与固定版本目标对比，未验证发行或奖励到账。

打开工具
proofsalpha

Proof explorer

矿工提交了哪些证明？这些证明覆盖什么？

0

索引器查询记录中的证明行数

已记录 / 最近已知
来源 原始记录

直接路径的数据为空，不能证明付费通道缺少证据。

打开工具
invariantsalpha

Security invariants

哪些安全不变量和失败情形能从外部检查？

54

固定版本矩阵中的参与方失败情形数

已记录 / 最近已知
来源 原始记录

引文覆盖范围。限定范围的检查不能验证整条安全规则。

打开工具

阅读指引

从问题到证据

这条线表示你在说明中的阅读位置。

选择工具

从工具回答的问题入手。计划中的工具链接到源码位置。

查看日期和来源

记录值描述的是采集时的情况。开发网重置后，公开数据可能改变或消失。

了解验证边界

打开工具查看完整证据和复现命令。通过检查只支持该检查明确声明的结论。