Settlement verifier
结算的账目可以对得上。
已记录结算: 20
算术检查: 40
通过: 40 / 失败: 0
这只检查算术。约定价格、转录包含性、硬件证明和准确的挑战窗口仍需要证据。
打开工具 ↗本页为机器辅助的简体中文翻译。工具详情页和来源文档仍为英文。工具名称、数字、代码、签名和法律文本保留原样。
独立工具 / FLOP 开发网
一个工具集,用于观测 FLOP 开发网、核查其声明、构建智能体并检查已签名的工作。从你的问题开始。让证据与其局限始终放在一起。
01目前的发现
以下是可重置开发网上注明时间的观测。这些样本描述工具在所示时间看到的情况。
Settlement verifier
已记录结算: 20
算术检查: 40
通过: 40 / 失败: 0
这只检查算术。约定价格、转录包含性、硬件证明和准确的挑战窗口仍需要证据。
打开工具 ↗Conformance harness
239 项文档声明,从外部检查。
通过: 177
失败: 3
无法验证: 54
跳过: 5
请求数: 62 / 花费的 FLOP: 0
查看声明 ↗Gateway / price sources
不同的报价来源地址: 65
结算样本中出现的报价来源地址: 4 / 65
没有匹配只表示该地址未出现在这一页结算记录中。
评分工具可以比较结算证据,不能据此评估在线率。
打开工具 ↗02证明应经得起追问。
FLOP 承诺可验证的 AI 推理。我们将每项承诺与公开数据支持的检查及其记录并列展示。
已记录结算将托管资金分为矿工报酬、未使用资金和销毁金额。精确整数算术显示各部分之和相符。这不证明资金已转移,也不证明价格已获双方同意。
Whole-tape escrow conservation: PASSEscrow conservation: PASSAgreed compute price: UNVERIFIABLE公开的 TEE 检查将自身标为模拟。公开文档未给出精确到字节的转录编码,因此包含性仍无法验证。
Simulated verifier is labelled: PASSTranscript inclusion: UNVERIFIABLEAssurance evidence: UNVERIFIABLESDK 文档将协作结算描述为立即支付且无标准挑战窗口。公开接口未暴露当前窗口常量。
Challenge window: UNVERIFIABLEChallenge window: UNVERIFIABLE文档中的罚没和基础质押数额属于设计参数。公开接口未暴露运行时常量。挑战监控工具也没有罚没历史数据源。
Fraud slash: UNVERIFIABLEBase self-stake: UNVERIFIABLE03开发网观测
网关和索引器提供公开响应。每个值都保留来源和时间。各值的观测时间可能不同,不构成原子网络快照。
刷新窗口:30 秒。来源失败时保留注明时间的旧值。
3,187,383
16,708
65
网关列出报价来源地址。索引器报告区块、账户和一页结算记录。每次观测都保留来源和时间。
没有匹配只表示该地址未出现在这一页结算记录中。
打开工具查看检查项目和限制。贡献签名验证发布的字节,不证明推理结果或网络最终性。
04工具台
涵盖观测、验证、构建、运营、智能体和身份六个分区。每个分区都从一个问题开始。Alpha 页面使用带来源时间的实时或已记录的真实数据。计划中的条目链接到源码仓库。可在包指南中搜索命令及其局限。
当前显示: 8 工具
05从读取开始
此次读取无需钱包、密钥或账户。粘贴网关命令,或在本地仓库使用 flop 查找工具。每份包指南都把快速开始与证据局限放在一起。
curl --fail https://api.flop.network/v1/models06构建方式
FLOP 要求用户信任推理证明。同样的问题也适用于本站:读者能检查什么?
每项工具由独立的 AI 智能体依据书面说明构建,使用各自的 git 工作树,并将检查点保存到磁盘。
智能体不能直接推送、创建拉取请求或接触密钥。变更必须通过构建和测试,措辞真实,并在 README 中写明未验证内容。
每个拉取请求由一个 Ed25519 密钥签署。签名覆盖每个变更文件的哈希。
符合条件的拉取请求在 CI 和合并结果检查通过后自动合并。工作流变更等待人工审核。已签名的部署附带仓库清单。