# Nervos Talk 社区简报

- 统计窗口: 2026-04-28 02:16:15 CST 到 2026-04-29 02:16:15 CST
- 生成时间: 2026-04-29 02:16:18 CST
- 话题数: 6
- 帖子数: 10
- 作者数: 6
- 总结模式: ai:openrouter

## 社区总结

None

## 活跃话题

1. [Introducing CKB Kickstarter: Decentralized All-or-Nothing Crowdfunding on Nervos CKB (Testnet MVP Live)](https://talk.nervos.org/t/introducing-ckb-kickstarter-decentralized-all-or-nothing-crowdfunding-on-nervos-ckb-testnet-mvp-live/10130) | 1 条近窗帖子 | 最新活动 2026-04-29 01:10:24 CST | tags: CKB, dapp
2. [Spark Program | Nervos Brain - A Global Developer Onboarding Engine and Cross-Language Hub Powered by Agentic RAG](https://talk.nervos.org/t/spark-program-nervos-brain-a-global-developer-onboarding-engine-and-cross-language-hub-powered-by-agentic-rag/9995) | 3 条近窗帖子 | 最新活动 2026-04-28 22:03:27 CST | tags: In-Progress, Spark-Program
3. [Discontinuation of the DAO v1.1 project](https://talk.nervos.org/t/discontinuation-of-the-dao-v1-1-project/10204) | 1 条近窗帖子 | 最新活动 2026-04-28 19:56:27 CST
4. [Cellora — designing a production indexing and query service for CKB (feedback welcome)](https://talk.nervos.org/t/cellora-designing-a-production-indexing-and-query-service-for-ckb-feedback-welcome/10199) | 1 条近窗帖子 | 最新活动 2026-04-28 16:40:25 CST | tags: CKB, Nervos-项目动态, dapp, testnet
5. [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 指令等价性证明](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) | 3 条近窗帖子 | 最新活动 2026-04-28 11:13:16 CST | tags: Spark-Program
6. [Spark Program: Mini-Grant Initiative](https://talk.nervos.org/t/spark-program-mini-grant-initiative/8752) | 1 条近窗帖子 | 最新活动 2026-04-28 05:19:29 CST | tags: Spark-Program

## 最近帖子摘录

- 2026-04-29 01:10:24 CST | Ayoub_Lesfer | [Introducing CKB Kickstarter: Decentralized All-or-Nothing Crowdfunding on Nervos CKB (Testnet MVP Live)](https://talk.nervos.org/t/introducing-ckb-kickstarter-decentralized-all-or-nothing-crowdfunding-on-nervos-ckb-testnet-mvp-live/10130/9) | 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)....
- 2026-04-28 22:03:27 CST | zz_tovarishch | [Spark Program | Nervos Brain - A Global Developer Onboarding Engine and Cross-Language Hub Powered by Agentic RAG](https://talk.nervos.org/t/spark-program-nervos-brain-a-global-developer-onboarding-engine-and-cross-language-hub-powered-by-agentic-rag/9995/33) | Hi IrisNeko, 目前论坛已经接入AI翻译工具，Spark不再强制要求项目在Talk上沉淀的内容需采用双语版本 期待项目的持续发展！
- 2026-04-28 20:00:25 CST | IrisNeko | [Spark Program | Nervos Brain - A Global Developer Onboarding Engine and Cross-Language Hub Powered by Agentic RAG](https://talk.nervos.org/t/spark-program-nervos-brain-a-global-developer-onboarding-engine-and-cross-language-hub-powered-by-agentic-rag/9995/32) | 感谢您的建议， 我上周对系统做了基础的评测，并计划在这周拉一个Telegram试用群，邀请委员会的成员提前体验。同时欢迎在体验中提出建议，来帮助我改善系统。 Best regards.
- 2026-04-28 19:56:27 CST | _magicsheep | [Discontinuation of the DAO v1.1 project](https://talk.nervos.org/t/discontinuation-of-the-dao-v1-1-project/10204/11) | 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...
- 2026-04-28 19:54:09 CST | IrisNeko | [Spark Program | Nervos Brain - A Global Developer Onboarding Engine and Cross-Language Hub Powered by Agentic RAG](https://talk.nervos.org/t/spark-program-nervos-brain-a-global-developer-onboarding-engine-and-cross-language-hub-powered-by-agentic-rag/9995/31) | 第七周周报 一、本周目标（工具闭环与评测基线周） 本周承接第六周“多轮可持续交互”阶段的工作，重点从“机制已经具备”推进到“关键路径真正闭环、且后续可以被稳定评测”。核心目标有四个： 继续治理运行时日志噪音，补齐最小可观测性闭环。 让 discourse_query / github_search 从协议层定义走到图执行主路径可调用。...
- 2026-04-28 16:40:25 CST | ArthurZhang | [Cellora — designing a production indexing and query service for CKB (feedback welcome)](https://talk.nervos.org/t/cellora-designing-a-production-indexing-and-query-service-for-ckb-feedback-welcome/10199/4) | 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...
- 2026-04-28 11:13:16 CST | ArthurZhang | [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 指令等价性证明](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/3) | 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...
- 2026-04-28 05:19:29 CST | zz_tovarishch | [Spark Program: Mini-Grant Initiative](https://talk.nervos.org/t/spark-program-mini-grant-initiative/8752/6) | 由于论坛已经全面接入AI翻译工具 后续Spark项目的提案、周更新、总结等在Nervos Talk沉淀的内容，不再强制要求双语版本 Zhouzhou On Behalf of the Spark Committee
- 2026-04-28 05:16:49 CST | zz_tovarishch | [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 指令等价性证明](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/2) | Hi 欢迎来到Nervos Talk以及申请Spark 目前论坛已经有了AI翻译插件，Spark不再强制需要双语撰写proposal、回复了 cc @xingtianchunyan
- 2026-04-28 05:14:41 CST | TinyuengKwan | [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 指令等价性证明](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/1) | # [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 规范与...