#+TITLE: GTD Export #+DATE: [2026-06-08 Mon 20:48] * Inbox * Tasks * Work ** DONE [#A] Prepare node security incident presentation :deep:work: :PROPERTIES: :List: next :Effort: 1:00 :Created: [2026-04-27 Mon 20:30] :Source: gtd-web-import :END: CLOSED: [2026-04-27 Mon 20:37] ** DONE [#A] AI :deep:work:ai: :PROPERTIES: :List: next :Effort: 8:00 :Created: [2026-04-28 Tue 10:57] :Source: gtd-web-import :END: *** DONE Node swimlane environment deployment testing :deployment: :PROPERTIES: :List: next :Effort: 4:00 :Created: [2026-04-28 Tue 10:57] :Source: gtd-web-import :END: **** DONE Document the end-to-end workflow :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-05-04 Mon 00:00] **** DONE Document the Harness + OLI architecture :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-06-02 Tue 14:32] **** DONE Fill in detailed notes for each component :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-06-02 Tue 14:32] **** DONE Track geth/reth integration progress :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-06-02 Tue 14:32] **** DONE Align the team on using this document as the single source of truth after reporting :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-06-02 Tue 14:32] *** DONE Oliver development :oliver: :PROPERTIES: :List: next :Effort: 3:00 :Created: [2026-04-27 Mon 20:30] :Source: gtd-web-import :END: **** DONE Integrate OLI API :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-05-04 Mon 00:00] **** DONE Review Oliver development progress :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-06-08 Mon 18:36] **** DONE Harden workflow runner reliability :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-05-04 Mon 00:00] **** DONE Lock down secrets/redaction in workflow output :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-05-04 Mon 00:00] **** DONE Reth-fork stage hardening :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-05-04 Mon 00:00] **** DONE CI image migration to internal/okbase SDK :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-05-04 Mon 00:00] **** DONE EVM dev smoke hardening :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-05-04 Mon 00:00] **** DONE Shrink scope to geth/reth and remove unused workflow surface :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-05-04 Mon 00:00] **** DONE Lock down MR, fork, and OLI task title naming :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-05-04 Mon 00:00] **** DONE Add workflow build determinism and drift CI checks :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-05-04 Mon 00:00] **** DONE Align geth workspace-binary runtime with reth Dockerfile.perf parity :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-05-04 Mon 00:00] ** DONE Review automatic deployment for node upgrades :deep:work: :PROPERTIES: :List: next :Effort: 2:00 :Created: [2026-04-27 Mon 20:30] :Source: gtd-web-import :END: CLOSED: [2026-04-27 Mon 00:00] ** TODO 推进 Base-gateway 线上测试工作 :work: :PROPERTIES: :List: next :Focus: true :Effort: 1:00 :Energy: medium :Created: [2026-06-08 Mon 18:25] :Source: gtd-web :END: ** TODO 推进 AI 回归测试框架工作 :work: :PROPERTIES: :List: next :Focus: true :Effort: 1:00 :Energy: medium :Created: [2026-06-08 Mon 18:25] :Source: gtd-web :END: ** DONE 推进 Oliver Harness 集成工作 :work: :PROPERTIES: :List: next :Effort: 1:00 :Energy: medium :Created: [2026-06-08 Mon 18:25] :Source: gtd-web :END: CLOSED: [2026-06-08 Mon 18:29] * Part-Time ** PROJ Luvion 六个月工程推进计划 :luvion:sui:roadmap: :PROPERTIES: :List: next :Effort: 0:30 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: 工程 Timeline: 2026-05-22。用于统一后续六个月工程推进节奏。 核心口径: - Luvion 不是 Sui-only 项目;核心能力是高门限 MPC 签名、动态委员会、策略控制和审计日志。 - Sui 是第一阶段 MVP 落地环境,优先验证 account-auth 兼容路径。 - Sui 路线优先 threshold Ed25519/FROST,输出 Sui 可接受的标准 Ed25519 signature envelope。 - ML-DSA 是长期后量子安全路线,不是当前 Sui account-auth 阻塞项。 - Move object / SigningSession 是后续状态记录、审计和产品化层,不作为第一阶段阻塞项。 - 当前不能对外说已完成 Sui 测试网部署,也不能说可用于生产托管。 *** TODO 当前优先:修复 GitHub 最新分支测试到全绿 :luvion:tests: :PROPERTIES: :List: next :Effort: 4:00 :Energy: high :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: 重点关注 TCP 集群、节点连接、probe、t0 prefetch、idle connection、重试和超时相关测试。对外技术证据不能存在明显失败测试。 *** TODO 0-3天:统一核心审计状态、Sui MVP 范围和公开边界 :luvion:sui:planning: :PROPERTIES: :List: next :Effort: 2:00 :Energy: high :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: 确认 non-Sui core 审计范围和材料;确认 Sui 未纳入当前核心审计;拆 Sui MVP 最小范围;整理 GitHub 公开边界和工程 issue。验收:CEO/CTO 对审计状态、Sui MVP 范围、公开边界无分歧。 *** TODO 0-3天:建立 Sui Account-auth 兼容性验证向量 :luvion:sui:validation: :PROPERTIES: :List: next :Effort: 3:00 :Energy: high :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: 锁定 Sui SDK / gRPC / GraphQL 版本;建立 address、intent digest、signature envelope 验证向量,作为后续实现基准。 *** TODO 当前优先:建立公开 GitHub 技术展示仓库 :luvion:github:public: :PROPERTIES: :List: next :Effort: 2:00 :Energy: medium :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: 建议仓库名 luvion-protocol-overview 或 luvion-technical-overview。核心协议代码继续私有。公开仓库只展示技术状态、路线和材料链接。 *** TODO 公开仓库:补齐 README 和五份 Docs 概览 :luvion:github:docs: :PROPERTIES: :List: next :Effort: 3:00 :Energy: medium :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: README.md、docs/architecture.md、docs/demo-summary.md、docs/test-summary.md、docs/sui-integration-status.md、docs/audit-scope.md。必须明确不是生产托管软件,Sui 集成还不是测试网部署。 *** TODO 公开仓库:检查敏感内容和禁止表述 :luvion:github:review: :PROPERTIES: :List: next :Effort: 1:00 :Energy: medium :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: 不要公开核心敏感实现代码;不要写生产级可用、已完成 Sui testnet deployment、Sui 官方合作/支持、Sui 原生支持 threshold ML-DSA account-auth、具体完成度百分比、内部维护规则或导出痕迹。 *** TODO 第1-2周:跑通 Controlled Ed25519 的 Sui MVP-A :luvion:sui:mvp-a: :PROPERTIES: :List: next :Effort: 6:00 :Energy: high :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: 基于 controlled key / fixture 建立 Sui address derivation、IntentMessage digest、Ed25519 signature envelope、本地验签和最小 transaction submit。 *** TODO 第1-2周:形成 Localnet Runbook 和最小交易提交流程 :luvion:sui:runbook: :PROPERTIES: :List: next :Effort: 3:00 :Energy: medium :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: 验收:能本地复现一次基于 controlled key 的标准 Ed25519 envelope 验签和最小交易提交流程,并形成 runbook。 *** TODO 第3-5周:接入 Threshold Ed25519/FROST 后端 :luvion:sui:frost: :PROPERTIES: :List: scheduled :Effort: 8:00 :Energy: high :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: SCHEDULED: [2026-06-15 Mon 08:00] 接入 threshold Ed25519 / FROST 后端;输出标准 Ed25519 signature envelope;补适配代码、脚本和基础测试。 *** TODO 第3-5周:跑 Localnet/testnet 适配验证并记录差距 :luvion:sui:testnet: :PROPERTIES: :List: scheduled :Effort: 6:00 :Energy: high :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: SCHEDULED: [2026-06-15 Mon 08:00] 验收:证明 Luvion 的门限签名授权可以落到 Sui 可接受的交易路径上,或者明确列出技术差距。 *** TODO 第6-8周:补齐异常路径、日志和测试矩阵 :luvion:sui:tests: :PROPERTIES: :List: scheduled :Effort: 6:00 :Energy: medium :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: SCHEDULED: [2026-06-29 Mon 08:00] 覆盖 intent digest 一致性、sender address、nonce/retry、quorum 不足、submit reject、gas/object 错误和日志记录。 *** TODO 第6-8周:整理外部 Review Package 和 Demo 材料 :luvion:review:demo: :PROPERTIES: :List: scheduled :Effort: 4:00 :Energy: medium :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: SCHEDULED: [2026-06-29 Mon 08:00] 整理测试矩阵、demo 文档、demo 视频说明、Move object / SigningSession 状态记录层草案、动态委员会/随机性问题清单、Sui 技术反馈问题清单。目标:可发给 Sui 生态、审计机构或技术顾问。 *** TODO 第9-12周:配合 Non-Sui Core 审计反馈修复 :luvion:audit: :PROPERTIES: :List: scheduled :Effort: 6:00 :Energy: high :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: SCHEDULED: [2026-07-20 Mon 08:00] 根据核心审计反馈进入修复闭环;同步根据 Sui 外部反馈修复实现或文档。 *** TODO 第9-12周:整理 Sui Threat Model、audit Scope 和 Risk Register :luvion:sui:audit: :PROPERTIES: :List: scheduled :Effort: 4:00 :Energy: medium :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: SCHEDULED: [2026-07-20 Mon 08:00] 审计范围覆盖 ML-DSA 门限聚合、Lagrange 预乘法、DKG / 密钥生成流程、nonce / 重试安全、Sui Ed25519/FROST 适配器、TCP / P2P 集群稳定性。 *** TODO 第4-6个月:设计多链抽象和 SDK/API 初版 :luvion:multichain:sdk: :PROPERTIES: :List: scheduled :Effort: 8:00 :Energy: medium :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: SCHEDULED: [2026-08-24 Mon 08:00] 设计 EVM/Solana 等多链抽象层;把 signing session、policy、committee、randomness、audit log 抽象成可复用模块;准备 SDK/API 初版。 *** TODO 第4-6个月:准备 Controlled Pilot 文档和 ML-DSA 后量子路径说明 :luvion:pilot:ml-dsa: :PROPERTIES: :List: scheduled :Effort: 4:00 :Energy: medium :Project: Luvion 六个月工程推进计划 :Created: [2026-06-08 Mon 17:45] :Source: gtd-web :END: SCHEDULED: [2026-08-24 Mon 08:00] 准备 controlled pilot 文档;同步梳理 ML-DSA 后量子路径,但不作为 Sui MVP 的生产承诺。 * Learning ** TODO Solana Learning :deep:learning: :PROPERTIES: :List: someday :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: ** TODO ETH2 Learning :deep:learning: :PROPERTIES: :List: someday :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: ** DONE Leetcode :deep:learning: :PROPERTIES: :List: next :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: CLOSED: [2026-06-08 Mon 18:19] ** TODO Morpho v2 / AAVE v4 / Uniswap v3 / Uniswap v4 :deep:learning: :PROPERTIES: :List: someday :Created: [2026-06-08 Mon 15:03] :Source: gtd-web-import :END: ** PROJ AI 学习路线 :ai:learning:llm:roadmap: :PROPERTIES: :List: next :Effort: 0:30 :Energy: medium :Created: [2026-06-08 Mon 17:50] :Source: gtd-web :END: 目标:把用户分享的 AI 学习链接整理成可执行学习路线。 学习顺序: 1. Stanford CS336 Language Modeling from Scratch - implementation-heavy LLM foundations. 2. Stanford CME295 Transformers & Large Language Models - transformer / LLM concepts and modern techniques. 3. Terence Tao interview - AI theory, verification, why LLMs work remains partly unresolved. 4. Running an AI-native engineering org - applying AI coding tools at team/process level. 原则:先做能写代码和复现的课程,再补理论和工程组织实践;每个资源学习后产出简短笔记。 *** TODO AI学习准备:建立课程笔记和进度表 :ai:learning:notes: :PROPERTIES: :List: next :Effort: 1:00 :Energy: medium :Project: AI 学习路线 :Created: [2026-06-08 Mon 17:50] :Source: gtd-web :END: 为 CS336、CME295 和两个补充视频建立统一笔记目录。每个资源记录:核心概念、可复现实验/代码、待深入问题、可用于项目的实践点。 *** TODO 第一阶段:Stanford CS336 Language Modeling From Scratch :ai:learning:llm:stanford:cs336: :PROPERTIES: :List: next :Effort: 8:00 :Energy: high :Project: AI 学习路线 :Created: [2026-06-08 Mon 17:50] :Source: gtd-web :END: Playlist: https://www.youtube.com/playlist?list=PLoROMvodv4rOY23Y0BoGoBGgQ1zmU_MT_ Course page: https://cs336.stanford.edu/ 定位:实现优先的 LLM 基础课。重点看 tokenizer、Transformer architecture、training loop、GPU/system optimization、scaling laws、data pipeline、evaluation、alignment。 *** TODO 第二阶段:Stanford CME295 Transformers & Large Language Models :ai:learning:llm:stanford:cme295: :PROPERTIES: :List: scheduled :Effort: 8:00 :Energy: high :Project: AI 学习路线 :Created: [2026-06-08 Mon 17:50] :Source: gtd-web :END: SCHEDULED: [2026-07-06 Mon 08:00] Syllabus: https://cme295.stanford.edu/syllabus/ Lecture 1 / playlist entry: https://www.youtube.com/watch?v=Ub3GoFaUcds&list=PLoROMvodv4rOCXd21gf0CF4xr35yINeOy Playlist: https://www.youtube.com/playlist?list=PLoROMvodv4rOCXd21gf0CF4xr35yINeOy 定位:Transformer 和 LLM 概念体系。重点看 Transformer、attention tricks、LLM architecture、training、tuning/RLHF、reasoning、agents/RAG、evaluation。 *** TODO 补充视角:Terence Tao - Nobody Understands Why AI Actually Works :ai:learning:theory:verification: :PROPERTIES: :List: someday :Effort: 1:00 :Energy: medium :Project: AI 学习路线 :Created: [2026-06-08 Mon 17:50] :Source: gtd-web :END: Video: https://www.youtube.com/watch?v=ukpCHo5v-Gc 定位:理论和验证视角。关注为什么 LLM 的数学机制相对简单但能力预测仍困难、自然数据处在结构/随机之间、AI 辅助数学需要严格验证。 *** TODO 工程实践:Running An AI-native Engineering Org :ai:learning:engineering:claude-code: :PROPERTIES: :List: someday :Effort: 1:00 :Energy: medium :Project: AI 学习路线 :Created: [2026-06-08 Mon 17:50] :Source: gtd-web :END: Video: https://www.youtube.com/watch?v=igO8iyca2_g&t=1s Related session page: https://claude.com/code-with-claude/session/sf-running-an-ai-native-engineering-org 定位:AI coding 工程组织实践。关注 bottleneck 从写代码转移到验证、review、安全、ownership、跨职能协作和流程更新。 *** TODO 补充视角:Hinton’s Warning - Superintelligence Control Risk :ai:learning:ai-safety:hinton: :PROPERTIES: :List: someday :Effort: 1:00 :Energy: medium :Project: AI 学习路线 :Created: [2026-06-08 Mon 17:56] :Source: gtd-web :END: Video: https://www.youtube.com/watch?v=msc2tWGMMy0 Title: 辛頓警告:超級智能像虎崽,長大後你控制不了|Hinton’s Warning: Superintelligence Is a Tiger Cub You Can’t Control Later Channel: New SciTech 新科技 定位:AI safety / superintelligence control risk perspective. 和 Anthropic recursive self-improvement、Terence Tao AI theory 视频配套看。读/看完后记录:Hinton 的核心风险判断、与当前 agentic coding/RSI 资料的联系、哪些观点需要进一步验证。 ** PROJ 阅读清单:AI / Ethereum / Startup :reading:ai:ethereum:startup: :PROPERTIES: :List: next :Effort: 0:30 :Energy: medium :Created: [2026-06-08 Mon 17:53] :Source: gtd-web :END: 用户新增的阅读资料,按主题整理,不混入 AI 课程学习路线。 分组: 1. Startup / founder strategy: AI-native startup and lean founder operating model. 2. Ethereum protocol / security: formal verification and ePBS scaling path. 3. Claude engineering practice: large-codebase Claude Code usage, Managed Agents sandboxes/MCP tunnels. 4. AI safety / trajectory: recursive self-improvement and governance implications. 阅读要求:每篇读完后输出 3-5 条笔记:核心观点、可行动事项、对当前项目/工程方式的影响。 *** TODO 阅读:The Founder’s Playbook - Building An AI-Native Startup :reading:startup:ai:founder: :PROPERTIES: :List: someday :Effort: 2:00 :Energy: medium :Project: 阅读清单:AI / Ethereum / Startup :Created: [2026-06-08 Mon 17:53] :Source: gtd-web :END: PDF: https://cdn.prod.website-files.com/6889473510b50328dbb70ae6/69fe2a55b93bb0732b1fe33c_The-Founders-Playbook-05062026_v3%20(1).pdf 类别:Startup / founder strategy。 确认信息:36 pages, created 2026-05-06. Title: The Founder’s Playbook: Building an AI-Native Startup. 重点:Idea, MVP, Launch, Scale 四阶段;AI-native founder 从 individual contributor 转为 orchestrator of agents;agentic coding、research、workflow automation 如何压缩创业路径。 *** TODO 阅读:Vitalik - A Shallow Dive Into Formal Verification :reading:ethereum:formal-verification:ai: :PROPERTIES: :List: someday :Effort: 2:00 :Energy: high :Project: 阅读清单:AI / Ethereum / Startup :Created: [2026-06-08 Mon 17:53] :Source: gtd-web :END: Article: https://vitalik.eth.limo/general/2026/05/18/fv.html 类别:Ethereum security / AI-assisted formal verification。 确认信息:Published 2026-05-18. Title: A shallow dive into formal verification. 重点:Lean / machine-checkable proof, verifying cryptographic/security-critical programs, AI 降低形式化验证门槛,以及 Ethereum 研发中的安全意义。 *** TODO 阅读:Claude Code Large Codebases Best Practices :reading:claude-code:engineering:large-codebase: :PROPERTIES: :List: someday :Effort: 1:00 :Energy: high :Project: 阅读清单:AI / Ethereum / Startup :Created: [2026-06-08 Mon 17:53] :Source: gtd-web :END: Article: https://claude.com/blog/how-claude-code-works-in-large-codebases-best-practices-and-where-to-start 类别:Claude engineering practice。 确认信息:Published 2026-05-14, reading time 5 min. 重点:large codebase / monorepo / legacy repo 中 Claude Code 的配置模式;lean layered CLAUDE.md;从子目录启动;让代码库对 agent 可导航。 *** TODO 阅读:Terence - EPBS Changes How Ethereum Scales :reading:ethereum:epbs:scaling: :PROPERTIES: :List: someday :Effort: 1:00 :Energy: high :Project: 阅读清单:AI / Ethereum / Startup :Created: [2026-06-08 Mon 17:53] :Source: gtd-web :END: Article: https://terencechain.com/writing/epbs-changes-how-ethereum-scales/ 类别:Ethereum protocol / scaling。 确认信息:Published 2026-05-20. Title: ePBS Changes How Ethereum Scales. 重点:Glamsterdam, ePBS, BALs, state creation cost increases; ePBS 通过分离 beacon block / execution payload / blobs 的 deadline 来扩展 slot 使用效率。 *** TODO 阅读:Claude Managed Agents Self-hosted Sandboxes And MCP Tunnels :reading:claude:managed-agents:mcp: :PROPERTIES: :List: someday :Effort: 1:00 :Energy: medium :Project: 阅读清单:AI / Ethereum / Startup :Created: [2026-06-08 Mon 17:53] :Source: gtd-web :END: Article: https://claude.com/blog/claude-managed-agents-updates 类别:Claude agent infrastructure。 确认信息:Published 2026-05-19, reading time 5 min. 重点:self-hosted sandboxes, MCP tunnels, private network access, enterprise boundary, audit/network/security controls, Cloudflare/Daytona/Modal/Vercel sandbox options。 *** TODO 阅读:Anthropic Institute - When AI Builds Itself :reading:ai-safety:rsi:anthropic: :PROPERTIES: :List: someday :Effort: 1:30 :Energy: medium :Project: 阅读清单:AI / Ethereum / Startup :Created: [2026-06-08 Mon 17:53] :Source: gtd-web :END: Article: https://www.anthropic.com/institute/recursive-self-improvement 类别:AI safety / recursive self-improvement。 确认信息:Published around 2026-06-04. Title: When AI builds itself. 重点:AI 正在加速 AI development;recursive self-improvement 还未到来但可能比机构准备更早;要关注 governance、pause/slowdown option、verification and control risks。 *** TODO 阅读:Upgrading Ethereum - Capella Edition :reading:ethereum:consensus:capella: :PROPERTIES: :List: someday :Effort: 4:00 :Energy: high :Project: 阅读清单:AI / Ethereum / Startup :Created: [2026-06-08 Mon 17:55] :Source: gtd-web :END: Book: https://eth2book.info/capella/ 类别:Ethereum consensus / proof-of-stake reference。 确认信息:Title: Upgrading Ethereum. Technical handbook on Ethereum's move to proof of stake and beyond. Edition 0.3: Capella [WIP], by Ben Edgington, published 2026-01-13. 重点:Beacon Chain, consensus, slot/epoch flow, validator lifecycle, deposits/withdrawals, incentive layer, networking, annotated specification, upgrade history。作为 Ethereum 协议基础参考,不需要一次读完,可按章节查阅。 *** TODO 阅读:Dafny Formal Verification Examples For Sorting And Smart Contracts :reading:formal-verification:dafny:smart-contracts: :PROPERTIES: :List: someday :Effort: 2:00 :Energy: high :Project: 阅读清单:AI / Ethereum / Startup :Created: [2026-06-08 Mon 17:55] :Source: gtd-web :END: Article: https://hackmd.io/@wongssh/formal-verify-examples 类别:Formal verification practice。 确认信息:Title: 形式化证明浅析:排序算法证明与智能合约示例。 重点:Dafny + Z3, VC / loop invariant / wp 思路;Bubble Sort, Quick Sort, Merge Sort 证明;最后包含 DeFi / smart contract 形式化证明案例。和 Vitalik formal verification 文章配套阅读。 *** TODO 阅读:以太坊 MEV Pipeline 揭秘 :reading:ethereum:mev:epbs: :PROPERTIES: :List: someday :Effort: 1:30 :Energy: medium :Project: 阅读清单:AI / Ethereum / Startup :Created: [2026-06-08 Mon 17:55] :Source: gtd-web :END: Article: https://hackmd.io/@t5EIm0NPSla--OqPGD5Fzw/ryXSzqjvee 类别:Ethereum MEV / market structure。 确认信息:Title: 以太坊MEV Pipeline 揭秘: 捕捉链上隐藏的价值。 重点:MEV-Boost, PBS/ePBS, order-flow auction, MEV rebate, gas rebate, Buildernet, 抗中心化与用户价值捕获的平衡。和 ePBS scaling article 配套阅读。 * Ideas