TAP-7007 演示细节：651 拍游戏与 92 拍推理TAP-7007 demo details: 651-beat game and 92-beat inference
BruceBlue 公布 TAP-7007 两个演示的具体数据：TAPBOY-8 游戏共 651 拍，把 34 分谎报成 98 分；AI 推理共 92 拍，只篡改第 63 拍的一个逻辑门。TAP-7007 通过三层二分把争议缩小到一小段电路，再由链上裁决谁在撒谎，核心是不重算全部、只定位并验证关键步骤。Github 和代码均已发布。BruceBlue disclosed the specific data behind the two TAP-7007 demos: the TAPBOY-8 game runs 651 beats and falsely reports 34 points as 98, while the AI inference demo runs 92 beats and tampers with only one logic gate at beat 63. TAP-7007 uses three-layer bisection to narrow the dispute to a small circuit segment and lets the chain rule on who is lying. The core idea is not to recompute everything but to find the lie and verify the step. The GitHub repository and code have been published.
来源 · 4 条Sources · 4
- @BruceBlue
TapeOut 的科技树，又解锁了一格！ 继 TAP-721 之后，最近又花了一些时间研究一个有趣的问题： 如果一台计算机大到区块链根本跑不动，我们还能不能让区块链判断它有没有作弊？ 🤔 于是，我提交了新的标准草案： TAP-7007｜Large Netlists & Verifiable Execution 过去，我们希望把电路放到链上，让它真正运行起来。 但随着电路越来越复杂，从简单逻辑门到 CPU、游戏机，甚至 AI 神经网络，一笔交易的 Gas 已经远远装不下这些计算。 TAP-7007 尝试换一种思路： 🔹 通过 ROM/RAM 与分块存储，让更复杂的电路拥有可验
- @BruceBlue
Another branch unlocked on TapeOut's tech tree! After TAP-721, I've been exploring a question: What if a computer becomes too large for a blockchain to execute? Can the blockchain still catch it cheating? 🤔 That's what my new draft, TAP-7007 — Large Netlists & Verifiable Execution, aims to explo
- @BruceBlue
Github 和代码都发了，还是让 Demo 自己说话吧！ 🎮 TAPBOY-8：651 拍游戏，把 34 分谎报成 98 分。 🧠 AI Inference：92 拍推理，只篡改第 63 拍的一个逻辑门。 TAP-7007 通过三层二分，把争议缩小到一小段电路，最终由链上裁决谁在撒谎。 Two demos. One idea: Don't recompute everything. Find the lie, verify the step. Build. Prove. Grow. 🚀 #TapeOut #BuilderCulture 🦾
- @btc1668899
一台计算机大到区块链根本跑不动，链还能判断它有没有作弊吗？ BruceBlue 刚提交了 TapeOut 新的标准草案 TAP-7007，Large Netlists & Verifiable Execution，回答的就是这个问题。 以前的思路是把电路放上链，让链完整跑一遍。可电路从逻辑门长到 CPU、游戏机、神经网络，一笔交易的 Gas 早就装不下。 TAP-7007 换了个思路：大电路通过 ROM/RAM 和分块存储，在链上留下可验证的表示，计算放到链下执行。有人不服就发起挑战，双方一步步缩小分歧，链上只裁决有争议的那个关键步骤，不用重跑整个程序。 TAPBOY-8 的例子很直观