社区科普更新第四至六期：PoD 与调用Community explainer episodes 4-6: PoD and calls
社区创作者 novus771 连发 TapeOut 科普第四至六期，以 3D 电路模型讲解。第四期拆解设计证明 PoD：抽检通过不代表电路完全正确，元件数量与电路深度如何影响设计成本，更优设计出现后原设计失去什么。第五期让两个异或模块接力组合成更大设计，再展开为八个与非门对照全部输入。第六期跟随一次输入走完调用流程，并区分只读查询与交易写入。Community creator novus771 published episodes 4–6 of a TapeOut explainer series using 3D circuit models. Episode 4 breaks down Proof of Design: a passing spot check doesn't prove a circuit fully correct, how gate count and depth affect design cost, and what an incumbent design loses when a better one appears. Episode 5 combines two XOR modules into a larger design and expands them into eight NAND gates to check all inputs. Episode 6 follows one input through the call flow, distinguishing read-only queries from state-changing transactions.
来源 · 3 条Sources · 3
- @novus771
电路算对了，就能拿奖励？拆解 TapeOut 的设计证明 电路能算出结果，和它能获得设计激励，是两回事。 TapeOut 科普第四期，我们用 3D 电路模型拆开设计证明 PoD： 为什么抽检通过，不代表电路完全正确？ 同样实现一个功能，元件数量和电路深度怎样影响设计成本？ 更优设计出现后，原来的设计会失去什么？ 为什么奖励权重，不等于最终收益？ 从测试向量、错误举证，到设计成本和奖励分配，一期串起“设计如何被检查、贡献如何被衡量”。 你觉得设计激励最难的，是验证正确性，还是衡量创新价值？ @TapeOutWorld @Blonskr @bitcoin2themars @Bruc
- @novus771
电路也能搭积木？两个小模块，拼出一个新功能 做一个新电路，必须从最基础的逻辑门重新画起吗？ 不一定。 TapeOut 白皮书描述了一种思路：把已有电路当成黑盒，通过输入、输出接口，组合成更大的设计。 第五期，我们让两个异或模块接力工作，跟着三个比特走完计算过程，再把模块展开成八个与非门，对照全部八种输入。 这期重点讲清三件事： 共享功能定义，不等于共享计算结果。 图画得更简洁，不等于执行更快、费用更低。 电路可以复用，也不等于自动满足挖矿资格。 用积木理解组合，用计算验证结果——这才是电路复用的关键。 @TapeOutWorld @Blonskr @bitcoin2thema
- @novus771
电路发布了，然后呢？别人到底怎么用？ TapeOut 科普第六期，跟着一次输入走完整个调用流程： 找到电路、准备参数、逐门计算，再拿到结果。 这期用 3D 动画演示两次独立计算，也讲清一个容易混淆的区别： 返回计算结果，不等于已经修改链上状态； 只读查询和交易写入，是两回事。 能调用，还要会核对。 看完这一期，把“电路做好了”到“真正用起来”连起来。 @TapeOutWorld @Blonskr @bitcoin2themars @BruceBlue #TapeOut #SHA256