https://chainte.github.io/ckb-talk-radar/ Daily Nervos Talk community briefing and latest active topics. zh-cn Wed, 29 Apr 2026 12:43:50 +0000 https://chainte.github.io/ckb-talk-radar/ tag:ckb-talk-radar,2026-04-29:daily-brief Wed, 29 Apr 2026 18:10:37 +0000 ## 今日发生了什么 最近 24 小时 Nervos Talk 有 4 条新帖，整体活动偏技术侧：星火计划两个项目进入评审收尾阶段，其中 fiber-checkout 作者完成首次开发者工具开发并感谢评审反馈 [S01]；同时 TeamCKB 发布了 ckb-vm 差分测试框架的 dev log [S03]。社区内容不算活跃，以现有项目的跟进而非新话题引入为主。[S01, S03, S04, S05] ## 重点话题 **fiber-checkout 结项致谢**：作者 SalmanDev 感谢星火计划委员会及评审人，称这是他首次为网络构建开发者工具，评审流程让项目最终质量远超自己独立交付的水平 [S01]。该 React 支付库旨在为 Fiber 网络提供类似 Stripe 的接入体验。[S01] **CKB 支付路径的社区建议**：有用户在 fiber-checkout 帖下提出，CKB 将重心转向支付领域是正确的，但关键在于挖掘商户和用户的采用意愿；建议发行更多法币映射币（如泰铢、肯尼亚先令等），服务无银行账户人群，这比单纯技术实现更能打开市场。[S02] **ckb-vm 差分测试框架落地**：TeamCKB 在 dev log 中公布已实现 ckb-vm 的差分测试框架，为后续验证优化和架构变更提供 stronger foundation，相关代码已开源至 GitHub。[S03] **CKB-VM Sail 形式化验证项目超出星火范围**：评审人 xingtianchunyan 回复提案者，肯定其 "Sail + Coq + 差分测试"... https://talk.nervos.org/t/spark-program-fiber-checkout-a-stripe-style-react-payment-library-for-fiber-network/10045 https://talk.nervos.org/t/spark-program-fiber-checkout-a-stripe-style-react-payment-library-for-fiber-network/10045#recent-2 Wed, 29 Apr 2026 12:43:50 +0000 Thank you @xingtianchunyan, @zz_tovarishch, and @Hanssen — and the full Spark Program committee. This was my first time building developer tooling the network, and honestly the review process made the project significantly better than what I would have shipped on my own. The committee’s final evaluation of where Fiber sits in the broader Crypto Payment landscape and what the ecosystem still needs is more thorough than I expected and useful to read as a developer building in this space. I’ll be referring back to it. Fiber-checkout is live, open source, and MIT licensed. If anyone in the community wants to integrate it, contribute, or build on top of it, the repo is open and I’m reachable... https://talk.nervos.org/t/teamckb-dev-log-updated-apr-29-2026/8572 https://talk.nervos.org/t/teamckb-dev-log-updated-apr-29-2026/8572#recent-1 Wed, 29 Apr 2026 02:01:11 +0000 Updates Features Differential Testing Framework for ckb-vm Implemented a differential test framework for ckb-vm. This provides a stronger foundation for validating optimizations and future architecture changes: GitHub - yuqiliu617/ckb-vm-contrib at differential-test · GitHub CKB DAO Treasury Design & Voting Research research on the CKB DAO Treasury design and voting settlement, with multiple directions under active discussion: Option 1: DAO-Bound Voting with Off-Chain State Explores a governance model where voting power is bound to Nervos DAO deposits, while proposal state, voting records, and tally data are maintained off-chain and committed on-chain through verifiable state roots. This... https://talk.nervos.org/t/spark-program-ckb-vm-sail-formal-verification-proving-ckb-vm-risc-v-instruction-equivalence-via-sail-specification-and-coq-theorem-prover-ckb-vm-sail-sail-coq-ckb-vm-risc-v/10214 https://talk.nervos.org/t/spark-program-ckb-vm-sail-formal-verification-proving-ckb-vm-risc-v-instruction-equivalence-via-sail-specification-and-coq-theorem-prover-ckb-vm-sail-sail-coq-ckb-vm-risc-v/10214#recent-1 Wed, 29 Apr 2026 02:00:41 +0000 @TinyuengKwan 你好，感谢提交 ckb-vm-sail-verify 的提案。这个方向非常关键：CKB-VM 是 CKB 的执行层安全基石，而你提出的 “Sail（官方规范）+ Coq（形式化证明）+ 差分测试（工程验证）” 的双轨方案，也能看出你在 Sail/ACT 生态中有相对稀缺的一手经验与工程积累。 需要说明的是，该项目已明显超出星火计划的支持范围（以 低门槛、快节奏 的方式帮助社区开发者启动小型原型项目）。如果你仍希望向委员会正式递交该项目，那么在提交委员会正式评审前，我个人建议你按 Spark 的预审要求补充/澄清以下几点信息，让评审能更快收敛到“本期资助是什么、怎么验收、验收失败影响什么”。 1) 验证方案（How to Verify）——写成“可复现步骤 + 通过/失败标准 + 影响面（blast radius）” 你在主贴里讲清楚了技术架构与实现设想，但仍缺少一段面向评审者/社区的 “低成本、可重复” 的验收章节。建议新增一个独立章节 How to Verify（或在 repo 内提供 VERIFICATION.md），至少包含： 1.1 可复现步骤（评审者照着做即可） 建议最少做到以下级别： 环境一键化：提供 Docker/Nix/脚本，确保在干净 Linux 环境下可以复现（并 pin 关键依赖版本：Sail/Coq/OPAM/Rust 等）。 生成与构建：从 sail-riscv 生成 Coq 产物的命令（以及预期输出在哪里）。 证明检查：如何运行 Coq proof check（命令 + 预期输出）。 差分测试：如何运行 diff-... https://talk.nervos.org/t/spark-program-dular/10212 https://talk.nervos.org/t/spark-program-dular/10212#recent-1 Wed, 29 Apr 2026 01:49:03 +0000 @duongja 你好，感谢你提交 Dular 项目提案，并根据预审建议补充了 How to Verify、预算拆分与风险说明等内容。整体方向（Fiber + RUSD/UDT + 真实在地试点）很契合 Spark 对“可落地、可验证”的资助导向。 本项目当前状态暂定为 Pending，并非否定项目价值，而是表示：在进入下次正式评审/投票前，我们还需要你补齐两类“可验证凭据”，并纠正提案中关于 CKB 发放与汇率折算机制的表述，以避免后续沟通成本与验收争议。 1) 请补充：Daraja 生产环境凭据的可视化证据。 你已声明持有 STK Push + B2C 生产凭据，请通过私信发我一张 Daraja Developer Portal 的后台截图（API Key 字段可全部打码，但需保留 Production 环境标识、App 名称、创建时间）。这一步用于委员会内部尽调，不会公开。委员会在验证后，会在本帖中发布一条信息，说明已经核验。 2) 请补充：现有 multi-hop RUSD payment 的可核验证据。 为了让委员会/社区能低成本持续复核你的技术交付（而不是只在结项时“补材料”），请在主楼直接给出对应的 Fiber payment hash 或相关 CKB testnet tx hash，并简要说明 Fiber payment hash 与 CKB L1 explorer 的对应关系（避免读者误以为每笔 Fiber 支付都能在 CKB explorer 直查）。 3) 关于 CKB 发放与汇率风险：请修正提案中的流程假设，并按 Spark 口径重写 你在提案的...