CKB Talk Radar
Daily community pulse.
把 Nervos Talk 最近 24 小时的讨论浓缩成一页日报。左手看 AI 总结，右手看主题热度、关键词和作者活跃度，底部顺手订阅 RSS。
今天发生了什么
ai:openrouter今日发生了什么
今天 Nervos Talk 整体节奏偏技术向，CKB-VM 基础设施继续成为焦点：一方面有团队提交了基于 Sail + Coq 的形式化验证提案，另一方面 ckb-vm 本身新增了差分测试框架。同时几个星火计划项目都在推进中，Nervos Brain 项目发布了第七周周报，Dular 和 DAO v1.1 项目也有了新的状态更新。
重点话题
- **ckb-vm 新增差分测试框架**：TeamCKB 在开发日志中更新了 ckb-vm 的差分测试框架实现，目的是为后续优化和架构变更提供更可靠的验证基础。
- **CKB-VM Sail 形式化验证提案引发讨论**：xingtianchunyan 针对该项目给出了详细反馈，认为其技术方向关键且有价值，但明确指出该复杂度已超出星火计划"低门槛、快节奏"的原型资助范围，建议调整提交策略后再走正式评审流程。
- **Dular 项目暂定为 Pending**：星火委员会要求提案方补充 Daraja 生产环境凭据的可视化证据，并修正 CKB 发放与汇率折算机制的表述，才能进入下一轮正式评审。
- **DAO v1.1 项目正式终止**：经 Terry 建议后确认关闭，团队保留已交付 Milestone 1 对应的款项，代码继续开源留存。
- **Nervos Brain 发布第七周周报**：项目进入"工具闭环与评测基线周"，重点补齐了日志治理、graph 执行主路径调用、多轮评测集建设以及 Telegram/Discord 稳定性回归。
- **CKB Kickstarter 测试网续更**：Ayoub_Lesfer 更新了自动结算机器人已在测试网部署并端到端验证完成，平台在测试网实现全信任化流程。
- **Cellora 索引服务获技术反馈**：ArthurZhang 针对该项目提出务实建议，认为交易包含证明的第一步更宜优先暴露 CKB 现有的 get_transaction_proof / verify_transaction_proof 接口，而非直接上 Flyclient。
值得继续跟进
- **星火计划资助边界的实际把握**：CKB-VM Sail 形式化验证提案被拒于星火门槛之外，后续是会转向其他资助渠道、拆分阶段重新申请，还是调整方案缩小范围，值得观察。
- **Nervos Brain 的委员会试用反馈**：IrisNeko 计划本周拉 Telegram 试用群邀请委员会成员体验，这批反馈可能直接影响项目第八周的方向调整。
- **Dular 补件进度**：Pending 状态下两项"可验证凭据"能否及时补齐，尤其是跨境支付落地场景的真实环境证据，关系到该项目能否复活进入投票。
Active Topics
sorted by recent post volumeSpark Program | Nervos Brain - A Global Developer Onboarding Engine and Cross-Language Hub Powered by Agentic RAG
3 posts第七周周报 一、本周目标（工具闭环与评测基线周） 本周承接第六周“多轮可持续交互”阶段的工作，重点从“机制已经具备”推进到“关键路径真正闭环、且后续可以被稳定评测”。核心目标有四个： 继续治理运行时日志噪音，补齐最小可观测性闭环。 让 discourse_query / github_search 从协议层定义走到图执行主路径可调用。 建立第一版多轮评测集，为后续 benchmark 和量化回归提供统一输入。 补齐 Telegram / Discord 两端在长消息与异常路径下的稳定性回归。 二、本周完成...
In-ProgressSpark-Program
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 指令等价性证明
2 postsThis looks like a valuable direction. A further verified CKB-VM foundation would strengthen the whole CKB scripting stack. Proving instruction-level equivalence against the Sail RISC-V specification feels like the kind of deep infrastructure work that may...
Spark-Program
TeamCKB Dev Log (Updated: Apr 29, 2026)
1 postsUpdates 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...
CKBCKB-VM
Spark Program | Dular
1 posts@duongja 你好，感谢你提交 Dular 项目提案，并根据预审建议补充了 How to Verify、预算拆分与风险说明等内容。整体方向（Fiber + RUSD/UDT + 真实在地试点）很契合 Spark 对“可落地、可验证”的资助导向。 本项目当前状态暂定为 Pending，并非否定项目价值，而是表示：在进入下次正式评审/投票前，我们还需要你补齐两类“可验证凭据”，并纠正提案中关于 CKB 发放与汇率折算机制的表述，以避免后续沟通成本与验收争议。 1) 请补充：Daraja...
Spark-ProgramSubmitted
Introducing CKB Kickstarter: Decentralized All-or-Nothing Crowdfunding on Nervos CKB (Testnet MVP Live)
1 postsUpdate: Automatic Finalization Bot live on testnet Following up on the v1.1 update above: the bot is deployed and end-to-end verified on testnet as of yesterday (2026-04-27). The platform is now fully trustless on testnet, campaigns flow create → pledge →...
CKBdapp
Discontinuation of the DAO v1.1 project
1 postsIn consideration of Terry’s advice, the following updates are provided regarding the closure of DAO v1.1: Payment: The proposal team will retain the payment corresponding to the already‑delivered Milestone 1. Code: The code will remain open source and is...
untagged
Cellora — designing a production indexing and query service for CKB (feedback welcome)
1 postsJust came across this thread and found it interesting, so I’ll try to offer a few suggestions. I think the honest answer is: For tx inclusion proofs, the practical first step is likely not Flyclient, but exposing CKB’s existing get_transaction_proof /...
CKBNervos-项目动态dapptestnet
Recent Timeline
latest 18 postsUpdates 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...
@TinyuengKwan 你好，感谢提交 ckb-vm-sail-verify 的提案。这个方向非常关键：CKB-VM 是 CKB 的执行层安全基石，而你提出的 “Sail（官方规范）+ Coq（形式化证明）+ 差分测试（工程验证）” 的双轨方案，也能看出你在 Sail/ACT 生态中有相对稀缺的一手经验与工程积累。 需要说明的是，该项目已明显超出星火计划的支持范围（以 低门槛、快节奏...
@duongja 你好，感谢你提交 Dular 项目提案，并根据预审建议补充了 How to Verify、预算拆分与风险说明等内容。整体方向（Fiber + RUSD/UDT + 真实在地试点）很契合 Spark 对“可落地、可验证”的资助导向。 本项目当前状态暂定为 Pending，并非否定项目价值，而是表示：在进入下次正式评审/投票前，我们还需要你补齐两类“可验证凭据”，并纠正提案中关于 CKB...
Update: Automatic Finalization Bot live on testnet Following up on the v1.1 update above: the bot is deployed and end-to-end verified on testnet as of yesterday (2026-04-27). The platform is now fully trustless on...
Hi IrisNeko, 目前论坛已经接入AI翻译工具，Spark不再强制要求项目在Talk上沉淀的内容需采用双语版本 期待项目的持续发展！
感谢您的建议， 我上周对系统做了基础的评测，并计划在这周拉一个Telegram试用群，邀请委员会的成员提前体验。同时欢迎在体验中提出建议，来帮助我改善系统。 Best regards.
In consideration of Terry’s advice, the following updates are provided regarding the closure of DAO v1.1: Payment: The proposal team will retain the payment corresponding to the already‑delivered Milestone 1. Code:...
第七周周报 一、本周目标（工具闭环与评测基线周） 本周承接第六周“多轮可持续交互”阶段的工作，重点从“机制已经具备”推进到“关键路径真正闭环、且后续可以被稳定评测”。核心目标有四个： 继续治理运行时日志噪音，补齐最小可观测性闭环。 让 discourse_query / github_search 从协议层定义走到图执行主路径可调用。 建立第一版多轮评测集，为后续 benchmark 和量化回归提供统一输入。 补齐...
Just came across this thread and found it interesting, so I’ll try to offer a few suggestions. I think the honest answer is: For tx inclusion proofs, the practical first step is likely not Flyclient, but exposing...
This looks like a valuable direction. A further verified CKB-VM foundation would strengthen the whole CKB scripting stack. Proving instruction-level equivalence against the Sail RISC-V specification feels like the...