区块链核心技术:AI 增强型 24 周系统进阶计划
区块链核心技术:AI 增强型 24 周系统进阶计划
版本:v1.0
适用人群:具备 Python/Go 基础、熟悉 Docker/Git、希望用 AI 工具链提升 3-5 倍学习效率的开发者
核心原则:AI 不是替代思考,而是压缩”理解-验证-输出”的循环周期。
一、AI 工具栈总览
按学习环节分类,不堆砌工具,每个环节只给最优解。
| 学习环节 | 推荐工具 | 替代方案 | 核心作用 |
|---|---|---|---|
| 论文/白皮书速读 | Kimi / Claude 3.5 Sonnet (200K 上下文) | GPT-4o, Gemini 1.5 Pro | 结构化摘要、术语解释、逻辑漏洞识别 |
| 代码理解 & 审计 | Kimi CLI + VS Code / Trae | Cursor, GitHub Copilot | 源码级解释、漏洞扫描、Gas 优化建议 |
| 数学直觉建立 | Claude 3.5 + Wolfram Alpha | Python SymPy | 将抽象公式转化为可执行代码与可视化 |
| 电路 & ZK 开发 | Noir/Circom + AI 辅助 + Foundry | hardhat + ChatGPT | 生成约束、调试 witness、优化电路 |
| 笔记 & 知识管理 | Obsidian + AI 插件 (Smart Connections) | Notion AI | 自动关联概念、生成复习卡片 |
| 项目脚手架 | V0.dev / Claude Artifacts + Foundry | GPT-4 + Remix | 快速生成前端 + 合约原型 |
| 测试 & fuzz | Echidna + AI 生成属性 | Foundry fuzz + GPT | 自动生成不变量(invariants) |
| 学习监督 & 复盘 | 自定义 GPTs / 定时 Prompt | 手动日历 | 每周自动复盘、调整下周计划 |
你的核心 AI 工作流(推荐):
输入层:Kimi/Claude 速读论文 → 生成结构化摘要 + 疑问清单
↓
处理层:Kimi CLI 解释源码 / 生成代码骨架 / 审计合约
↓
验证层:Foundry/Hardhat 本地执行 + AI 分析报错日志
↓
输出层:Obsidian 笔记 + Mermaid 图表 + 技术博客草稿
二、AI 增强学习原则
2.1 三层验证法(防 AI 幻觉)
AI 在区块链领域会产生看似正确实则致命的幻觉(如错误的密码学假设、过时的协议细节)。必须遵循:
AI 输出 → 源码验证 → 论文交叉 → 本地运行确认
↑___________________________________________|
具体规则:
- 任何协议机制:AI 解释后,必须去以太坊官方文档或黄皮书找对应段落确认。
- 任何代码:AI 生成后,必须在 Foundry/Anvil 跑通测试,不能只看”像对的”。
- 任何数学推导:AI 给出的公式,必须手动代入一个小例子验证(如用 Python 算一遍)。
2.2 Prompt 工程:区块链专用模板
不要问”解释一下 Rollup”,要问结构化问题。
模板 A:论文精读(适用于比特币/以太坊/ZK 论文)
你是一位区块链协议研究员。请对以下论文进行结构化分析,输出格式必须包含:
1. **核心问题**:作者试图解决什么?为什么现有方案不够?
2. **关键洞察**:用一个比喻或类比解释核心创新(面向非技术读者)。
3. **技术骨架**:列出 3-5 个关键组件及其交互关系(用 Mermaid 流程图语法)。
4. **信任假设**:系统安全依赖哪些假设?哪些被削弱了?
5. **与我已学知识的关联**:对比 [插入你已学概念,如 PBFT/Plasma],差异在哪?
6. **可验证的疑问**:列出 2-3 个我需要去源码/文档中确认的具体问题。
论文内容:
[PASTE PAPER TEXT OR LINK]
模板 B:代码审计(适用于 Solidity/Go/Rust)
你是一位智能合约安全审计师。请对以下代码进行审计,按严重程度分类:
1. **高危**:重入、整数溢出、访问控制缺失、预言机操控
2. **中危**:Gas 优化、逻辑耦合、前端运行风险
3. **低危**:代码风格、注释缺失、事件未触发
对每个问题,给出:
- 具体行号
- 攻击场景(如果适用)
- 修复建议(带代码补丁)
- 参考案例(真实历史漏洞)
另外,请生成 3 个 Foundry fuzz test 的 invariants,用于自动化测试此合约。
代码:
[PASTE CODE]
模板 C:数学直觉(适用于 ZK 密码学)
你是一位密码学教育者。我需要理解 [插入概念,如 QAP/R1CS/KZG]。
请按以下层次解释:
1. **直觉层**:用一个现实世界的类比解释(如"像图书馆的索引系统")。
2. **形式层**:给出数学定义,但每个符号必须解释其"语义"(不只是语法)。
3. **计算层**:提供一个 Python/SageMath 代码片段,用具体数字(小素数)走一遍完整流程。
4. **关联层**:这个概念在 zk-SNARK 的哪个阶段出现?输入是什么,输出是什么?
5. **常见误区**:学习者最容易在哪一步产生错误直觉?
模板 D:项目架构设计
我要实现一个 [插入项目,如 ZK 隐私投票系统]。
请帮我设计系统架构,要求:
1. **组件拆分**:每个组件的职责、接口、信任假设。
2. **数据流**:用 Mermaid 序列图画出用户交互流程。
3. **技术选型**:对比 2-3 种实现方案(如 Circom vs Noir),给出决策矩阵。
4. **风险清单**:列出最可能出错的 5 个点及缓解方案。
5. **MVP 范围**:如果只有 2 周时间,最小可行版本应该砍掉哪些功能?
三、24 周计划 × AI 增强
每周结构:
- AI 输入:如何用 AI 加速阅读/理解
- AI 输出:如何用 AI 辅助代码/笔记/测试
- AI 检验:如何用 AI 验证你是否真懂
- 本周 Prompt 库:可直接复制使用的 Prompt
阶段一:密码学与分布式共识(第 1-4 周)
第 1 周:密码学原子操作
AI 输入:
- 用 模板 C 让 AI 解释 Merkle Tree 的 inclusion proof。要求 AI 生成一个 Python 脚本,用随机数据生成树并验证。
- 让 AI 对比 SHA-256 与 Keccak-256(以太坊用)的差异,输出表格。
AI 输出:
- 手写 Python 脚本前,先用 AI 生成骨架,你填空关键逻辑(如哈希计算部分)。
- 用 AI 生成测试用例:“请生成 10 组边界测试数据,用于验证我的 Merkle Tree 实现”
AI 检验:
- 把你的 Python 实现贴给 AI,用 模板 B 审计(虽然是 Python,但逻辑审计仍然有效)。
- 问 AI:“如果我在 Merkle Tree 中使用不安全的哈希函数(如 MD5),攻击者如何构造碰撞?给出具体步骤。”
本周 Prompt 库:
请用 Python 实现一个完整的 Merkle Tree 类,包含:
1. 从任意数量叶子构建树
2. 生成指定叶子的 inclusion proof(返回兄弟节点路径)
3. 验证函数(给定叶子、索引、proof、root)
要求:使用 SHA-256,处理奇数叶子时复制最后一个。
最后,写一个演示:4 个叶子 ["a", "b", "c", "d"] 的构建与验证过程。
第 2 周:分布式系统基础
AI 输入:
- 上传 Raft 论文 PDF 到 Kimi/Claude,用 模板 A 分析。
- 让 AI 用”公司部门决策”的类比解释 PBFT 的三阶段协议(pre-prepare, prepare, commit)。
AI 输出:
- 用 AI 生成 Raft 的 Python 骨架代码(Leader 选举 + 心跳),你实现日志复制部分。
- 让 AI 设计一个”网络分区”测试场景:“请生成 3 个测试用例,模拟脑裂(split-brain)场景,验证我的 Raft 实现是否正确处理”
AI 检验:
- 问 AI:“比特币的 PoW 共识和 Raft 的 Leader 选举,在’活性(liveness)‘保证上有什么本质区别?请用形式化语言 + 通俗类比双重解释。“
第 3 周:比特币深度解剖
AI 输入:
- 把中本聪白皮书分段喂给 AI,每段用 模板 A 分析。
- 让 AI 解析一个真实比特币交易的 raw hex(从区块浏览器复制),逐字段解释。
AI 输出:
- 用 AI 辅助写比特币交易解析器:“请写一段 Python 代码,解析比特币 raw transaction 的以下字段:version, input count, inputs, output count, outputs, locktime。使用 struct 模块。”
- 让 AI 生成 UTXO 流转的 Mermaid 图代码,你贴到 Obsidian/Notion 中渲染。
AI 检验:
- 把你的解析器输出与区块浏览器对比,有差异时让 AI 诊断:“我的解析器输出 scriptPubKey 为 [X],但浏览器显示 [Y],可能是什么原因?“
第 4 周:共识机制演进与 PoS
AI 输入:
- Gasper 论文摘要 + 第 3 章喂给 AI,用 模板 A。
- 让 AI 对比 Casper FFG 与 LMD GHOST 的关系:“为什么需要两个机制?只用一个有什么问题?”
AI 输出:
- 用 AI 生成 PoS 模拟器的 Python 骨架:验证者集合、随机选举、区块提议、Slashing 条件。
- 让 AI 设计一个可视化方案:“请用 matplotlib 代码展示 100 个验证者在 50 个 epoch 中的投票分布,模拟双签攻击的检测”
AI 检验:
- 问 AI 一个陷阱题:“PoS 中,如果验证者离线(不投票),和恶意投票(投错误票),惩罚机制为什么不同?这背后的经济学原理是什么?”
阶段一出口考试(AI 辅助版): 让 AI 生成 10 道简答题,你手写答案后,AI 批改并指出理解盲区。
阶段二:以太坊与智能合约(第 5-9 周)
第 5 周:以太坊协议层
AI 输入:
- 以太坊白皮书 + 黄皮书(第 1-4 章)分段精读,AI 用 模板 A。
- 让 AI 对比 EVM 栈机与 JVM 栈机的差异:“为什么 EVM 设计了 1024 栈深度限制?”
AI 输出:
- 用 Foundry 初始化项目后,让 AI 生成一个 ERC-20 的完整实现(带事件、安全转账)。
- 让 AI 解释你的第一个 Anvil 部署日志:“我运行 forge script 后,输出 [LOG],请解释每个字段含义。”
AI 检验:
- 用 模板 B 审计你的 ERC-20 合约。
- 问 AI:“为什么 EVM 的存储(storage)是 256-bit 键值对,而内存(memory)是线性字节数组?这如何影响 Gas 成本?“
第 6 周:Solidity 工程与安全
AI 输入:
- 把 OpenZeppelin 的 ERC-20.sol 贴给 AI,让它逐函数解释设计决策(如为什么用
_mint内部函数)。 - 让 AI 总结 Solidity 的 10 大经典漏洞模式,每个配一个最小代码示例。
AI 输出:
- 用 AI 生成 Re-entrancy Guard 的测试用例:“请写 Foundry 测试,模拟重入攻击,验证 guard 是否生效。”
- 让 AI 帮你完成 Ethernaut:“我卡在第 X 关,合约代码是 [CODE],我的攻击思路是 [IDEA],请指出我遗漏了什么。”
AI 检验:
- 把你的合约和测试贴给 AI,让它用 Slither 的逻辑(静态分析规则)模拟审计。
第 7 周:MEV 与交易生命周期
AI 输入:
- 让 AI 用 模板 A 分析 Flashbots 的 mev-boost 文档。
- 让 AI 用”拍卖行”类比解释 PBS(Proposer-Builder Separation)。
AI 输出:
- 用 Foundry 模拟三明治攻击:让 AI 写攻击合约 + 受害者合约 + 测试脚本。
- 让 AI 生成 MEV 收益的可视化代码:“用 matplotlib 展示一个 Uniswap V2 池子在 100 笔交易中的价格滑点与 MEV 提取机会”
AI 检验:
- 问 AI:“如果所有区块都由 Flashbots 的 builder 构建,这算不算一种中心化?与矿池中心化有何不同?“
第 8 周:以太坊扩容前史
AI 输入:
- 让 AI 对比表格:Channel、Sidechain、Plasma、Validium,要求 AI 从”数据可用性假设”角度重新组织分类。
- 让 AI 解释 Plasma 的退出博弈,用 模板 C(数学直觉)。
AI 输出:
- 让 AI 生成一个”扩容方案演进时间线”的 Mermaid 图。
- 用 AI 辅助分析 Polygon PoS 的架构文档,提取关键组件。
AI 检验:
- 问 AI 陷阱题:“Validium 把数据放在链下,如果数据提供者消失,用户如何安全退出?这算不算引入了新的信任假设?“
第 9 周:阶段二复习 + 小型项目
AI 增强项目工作流:
步骤 1:用 模板 D 让 AI 设计 Dutch Auction 架构
步骤 2:AI 生成合约骨架 + 测试骨架
步骤 3:你实现核心逻辑,AI 辅助调试
步骤 4:用 模板 B 审计最终代码
步骤 5:AI 生成 README 和部署脚本
步骤 6:AI 生成技术博客草稿(你修改后发布)
Prompt:
我要实现一个 Solidity Dutch Auction 合约,要求:
1. 卖家设置起始价格、结束价格、持续时间
2. 价格线性递减
3. 买家购买时自动按当前价格结算
4. 未售完部分允许卖家取回
5. 防止重入和整数溢出
请生成:
- 完整的 Foundry 项目结构(合约 + 测试 + 脚本)
- 核心合约代码(带注释)
- 3 个 invariant fuzz tests
- 部署脚本(Anvil 本地网)
- README.md 模板
阶段三:Layer 2 与 Rollup(第 10-13 周)
第 10 周:Rollup 原理总览
AI 输入:
- Vitalik 的 Rollup 指南 + L2Beat 方法论,AI 用 模板 A。
- 让 AI 用”邮局系统”类比解释数据可用性(DA):“为什么 Rollup 需要把交易数据贴到 L1?”
AI 输出:
- 让 AI 生成 Rollup 成本计算器的 Python 脚本:输入 L1 Gas 价格、数据大小、压缩率,输出每笔交易的 L1 成本。
- 让 AI 画 Optimistic vs ZK Rollup 的对比架构图(Mermaid)。
AI 检验:
- 问 AI:“EIP-4844 的 Blob 交易为什么比 calldata 便宜?从以太坊节点存储和验证的角度解释。“
第 11 周:Optimistic Rollup 工程
AI 输入:
- 把 OP Stack 的 Bedrock 文档喂给 AI,让它提取”启动一条 L2 的最小步骤清单”。
- 让 AI 解释 Cannon 欺诈证明虚拟机:“为什么需要 MIPS 架构的模拟器?直接用 EVM 不行吗?”
AI 输出:
- 本地启动 OP Stack devnet 时,把报错日志贴给 AI 诊断。
- 让 AI 生成对比脚本:“写一段 Python 脚本,对比同一笔交易在 L1 和本地 L2 的 Gas 消耗,输出表格。”
AI 检验:
- 问 AI:“Optimistic Rollup 的 sequencer 如果审查我的交易,我有什么救济手段?请对比 Arbitrum 与 Optimism 的不同设计。“
第 12 周:ZK Rollup 入门
AI 输入:
- Scroll 的 zkEVM 博客 + zkSync/StarkNet 文档,AI 生成对比矩阵(Type 1-4 zkEVM)。
- 让 AI 用 模板 C 解释 STARK 的 FRI(快速 Reed-Solomon 交互式证明)协议。
AI 输出:
- 在 zkSync 测试网部署时,让 AI 解释编译输出和报错。
- 让 AI 生成”ZK Rollup 交易生命周期”的时序图(Mermaid)。
AI 检验:
- 问 AI:“zkEVM 的 Type 4(如 StarkNet)完全放弃 EVM 兼容性,这带来了哪些架构优势?为什么 Cairo VM 更适合 STARK?“
第 13 周:数据可用性与模块化
AI 输入:
- Celestia 文档(DAS 部分)+ EigenLayer 白皮书,AI 用 模板 A。
- 让 AI 用 模板 C 解释 Reed-Solomon 编码在 DAS 中的作用。
AI 输出:
- 让 AI 生成 Celestia + 自建 Rollup 的架构图。
- 用 AI 辅助写 DAS 模拟器:“请写 Python 代码,模拟轻节点通过随机采样验证数据可用性,展示采样次数与置信度的关系。”
AI 检验:
- 问 AI:“如果 Celestia 的共识节点串谋,不发布完整数据但伪造采样证明,轻节点如何保护自己?这攻击可行吗?“
阶段四:零知识证明(第 14-18 周)
本阶段 AI 策略:ZK 是数学密集型,AI 的核心作用是建立直觉和生成可执行代码,但数学证明必须手动验证。
第 14 周:ZK 数学基础
AI 输入:
- Vitalik 的 ZK 博客 + MoonMath Manual,AI 用 模板 C(重点要 Python 代码)。
- 让 AI 生成”从算术电路到证明”的完整流程图,标注每个阶段的输入输出。
AI 输出:
- 让 AI 写 Python 脚本:实现有限域上的多项式加法、乘法、求值、拉格朗日插值。
- 让 AI 生成测试:“请生成 5 组测试数据,验证我的多项式承诺实现是否正确。”
AI 检验:
- 把你的 Python 实现与 AI 生成的参考实现对比,有差异时让 AI 逐行分析。
- 关键问题:“QAP 中的 A·B = C 约束,为什么足以表示任意计算?请用一个小例子(如 x³ + x + 5 = 35)展示完整转化过程。“
第 15 周:电路编程入门(Circom)
AI 输入:
- Circom 文档 + 0xPARC 材料,让 AI 提取”Circom 编程的 10 个常见陷阱”。
- 让 AI 用 模板 C 解释 R1CS 约束与 Circom 语法的映射关系。
AI 输出:
- 让 AI 生成基础电路模板:“请写 Circom 电路,证明我知道 a 和 b 使得 a*b=c,包含输入输出信号定义。”
- 让 AI 辅助调试:“我运行 circom 时遇到 ‘Constraint not satisfied’,witness 中 signal X 的值为 Y,但预期为 Z,可能是什么原因?”
AI 检验:
- 让 AI 审计你的 Circom 电路:“请检查以下电路是否有 under-constrained 信号(即信号值不唯一确定)”
本周 Prompt:
请写一个 Circom 电路:证明我知道一个 Merkle Tree 的叶子和路径,使得根哈希等于公开值。
要求:
1. 使用 circomlib 的 MerkleTree 模板
2. 包含 main 组件,定义 public 信号
3. 生成对应的 snarkJS 输入 JSON 格式说明
4. 列出常见的 witness 生成错误及排查方法
第 16 周:zkEVM 与高级证明系统
AI 输入:
- Scroll/Polygon zkEVM 架构博客,AI 生成”zkEVM 的工程挑战清单”。
- 让 AI 对比 Groth16、PLONK、STARKs,输出决策矩阵(信任设置、证明大小、递归、量子安全)。
AI 输出:
- 用 Noir 或 Cairo 写简单程序,让 AI 解释编译输出。
- 让 AI 生成递归证明的直觉解释:“为什么递归证明能压缩多个证明为一个?用俄罗斯套娃类比是否准确?”
AI 检验:
- 问 AI:“zkEVM 中,KECCAK256 哈希的电路为什么特别大?STARK 友好的哈希函数(如 Poseidon)如何解决这个问题?代价是什么?“
第 17 周:ZK 应用与隐私工程
AI 输入:
- Tornado Cash 源码(学习用途),AI 用 模板 B 审计。
- 让 AI 解释 nullifier 的密码学设计:“为什么需要 nullifier hash 和 commitment hash 两个值?”
AI 输出:
- 让 AI 设计隐私投票的架构:“请用 Circom 设计一个电路,证明:1) 投票者在白名单内;2) 未重复投票;3) 投票值为 0 或 1。”
- 让 AI 生成前端集成方案:“如何在前端生成 ZK 证明并提交到链上?请给出 React + snarkJS 的代码骨架。”
AI 检验:
- 问 AI:“Tornado Cash 的匿名集(anonymity set)大小如何影响隐私?如果只有 10 个存款,隐私是否仍然有效?“
第 18 周:阶段四复习 + ZK 项目
AI 增强项目工作流:
步骤 1:用 模板 D 设计隐私投票系统
步骤 2:AI 生成 Circom 电路骨架(约束定义)
步骤 3:AI 生成 Solidity 验证合约骨架
步骤 4:你填充电路逻辑,AI 辅助调试 witness
步骤 5:AI 生成前端代码(React + ethers.js + snarkJS)
步骤 6:AI 生成测试策略(单元测试 + 集成测试)
步骤 7:AI 审计最终系统,输出安全假设文档
阶段五:模块化与前沿架构(第 19-21 周)
第 19 周:并行执行与新型 VM
AI 输入:
- Solana Sealevel + Sui Narwhal 论文,AI 用 模板 A。
- 让 AI 用”多车道高速公路”类比解释 Solana 的并行执行。
AI 输出:
- 让 AI 生成对比表:EVM 串行 vs Solana 并行 vs Sui DAG,从状态冲突检测、硬件要求、开发者体验三个维度。
- 用 AI 辅助写 Sui Move 合约:“请写一个 Sui Move 模块,实现一个简单的对象转账,解释 object-centric 与 account-centric 的区别。”
AI 检验:
- 问 AI:“Solana 的并行执行需要交易预先声明访问的状态,如果声明不完整会怎样?这与数据库的乐观锁有什么异同?“
第 20 周:意图中心与账户抽象
AI 输入:
- ERC-4337 提案 + Anoma 白皮书,AI 用 模板 A。
- 让 AI 用”外卖平台”类比解释 Intent-Centric:用户说”我要吃披萨”,平台决定哪家店、哪个骑手。
AI 输出:
- 让 AI 生成 ERC-4337 的完整实现骨架:EntryPoint、Wallet Factory、Paymaster。
- 用 AI 辅助部署:“请解释 Pimlico bundler 的 API 调用流程,给出 TypeScript 代码示例。”
AI 检验:
- 问 AI:“Intent-Centric 引入了 solver 作为中介,solver 作恶怎么办?这与 MEV searcher 的角色有何重叠?“
第 21 周:前沿交叉(选 2 个方向)
AI 策略:
- FHE:让 AI 用 模板 C 解释全同态加密,重点要 Python 代码示例(用 Concrete 或 TenSEAL)。
- DePIN:让 AI 分析 Filecoin 的 PoRep/PoSt,用 模板 A 提取技术骨架。
- AI+链:让 AI 解释”去中心化推理”的验证问题——“如何证明链下运行的 AI 模型确实输出了某个结果?“
阶段六:综合与输出(第 22-24 周)
第 22-23 周:全栈项目
AI 增强开发流程:
| 阶段 | AI 作用 | 你的作用 |
|---|---|---|
| 需求分析 | 用 模板 D 生成 ADR(架构决策记录) | 定义核心需求,砍掉 AI 的过度设计 |
| 技术选型 | 对比方案矩阵,列出 trade-offs | 根据你的技能栈做最终决策 |
| 合约开发 | 生成骨架 + 安全注释 | 实现核心逻辑,理解每个函数 |
| 测试 | 生成 fuzz invariants + 测试场景 | 运行测试,调试失败用例 |
| 前端 | 生成 React + wagmi/viem 骨架 | 调整 UI/UX,集成合约 |
| 审计 | 静态分析规则 + 漏洞模式检查 | 手动复核关键路径 |
| 文档 | 生成 README + API 文档 + 博客草稿 | 用自己的话重写,确保准确 |
关键 Prompt:
我要在 2 周内完成一个教学级 ZK Rollup 模拟器(Python/Go),仅支持 ETH 转账。
请帮我设计:
1. 核心组件:状态树(Sparse Merkle Tree)、交易批次、证明生成(简化版,可用哈希代替 ZK)
2. 接口定义:deposit、transfer、withdraw 的函数签名
3. 信任假设:明确列出哪些部分被简化(如不做真正的 ZK 证明)
4. 测试策略:至少 5 个测试场景,包括存款、转账、退出、无效状态根
5. 时间分配:如果只有 40 小时,如何分配时间?
输出格式:Mermaid 架构图 + 模块清单 + 伪代码 + 测试计划
第 24 周:复盘与输出
AI 辅助复盘:
基于以下我的学习笔记目录 [PASTE YOUR NOTES STRUCTURE],请帮我:
1. 找出知识图谱中的"孤岛"(只学过一次、没有关联的概念)
2. 生成 20 个 Anki 复习卡片(正面问题,背面答案,带代码片段)
3. 建议 3 个下一步深入方向,每个方向给出:核心论文、代码库、预期时间投入
4. 基于我的项目经历,生成一份技术博客大纲(面向中级开发者)
四、AI 避坑指南
4.1 区块链领域的 AI 幻觉重灾区
| 场景 | 常见幻觉 | 验证方法 |
|---|---|---|
| 协议机制 | ”以太坊已经实现了 Danksharding”(实际是分阶段) | 查 EIP 状态和官方路线图 |
| Gas 优化 | ”用 memory 代替 storage 总是更便宜”(忽略内存扩展成本) | Foundry Gas 快照对比 |
| 安全建议 | ”使用 tx.origin 进行权限控制”(已知的错误模式) | 查 SWC Registry |
| ZK 数学 | ”Groth16 不需要 trusted setup”(完全错误) | 查原始论文 |
| 项目状态 | ”Tornado Cash 仍然可以正常使用”(前端被禁,合约仍在) | 查链上合约状态 |
4.2 效率陷阱
不要:
- 让 AI 直接写完整代码,你复制粘贴 → 一周后看不懂自己的项目。
- 用 AI 代替阅读白皮书 → 丢失细节和上下文,面试时露馅。
- 同时开多个 AI 对话,每个问一半 → 知识碎片化。
要:
- AI 生成骨架 → 你填充核心逻辑 → AI 审计 → 你修改。
- 每周至少 2 小时”无 AI 时间”:手写笔记、手绘流程图、手动推导公式。
- 建立个人 Prompt 库:把验证过的 Prompt 保存到 Obsidian,复用而非重写。
4.3 工具链配置建议
VS Code + AI 插件:
- 安装 Kimi CLI 或 Continue.dev(开源,支持多模型)
- 配置快捷键:选中代码 → 解释 / 审计 / 生成测试
Foundry + AI 工作流:
# 让 AI 解释编译报错
forge build 2>&1 | kimi explain "这是 Foundry 编译错误,请解释原因和修复方案"
# 让 AI 生成测试
kimi generate-test --contract MyContract --invariant "balance should never decrease unexpectedly"
Obsidian + AI 笔记:
- 使用 Smart Connections 插件,自动关联相似笔记
- 每周让 AI 基于笔记生成”本周知识摘要”
五、附录:Prompt 速查卡
速查卡 1:论文 15 分钟速读
请用 3 句话总结这篇论文的核心贡献。
然后列出:1) 解决的问题;2) 关键技术创新;3) 与 [你已学概念] 的关系;4) 我应重点关注的章节。
论文:[PASTE ABSTRACT]
速查卡 2:代码解释
请解释以下代码的每个函数,重点说明:
1. 函数的目的和前置条件
2. 每个修改状态的操作及其 Gas 影响
3. 潜在的重入或溢出风险
4. 如果我是审计师,会关注哪些行
代码:
[PASTE CODE]
速查卡 3:调试助手
我遇到了以下错误:
[ERROR MESSAGE]
上下文:
- 工具:[Foundry/Hardhat/Circom 等]
- 我刚做的操作:[描述]
- 预期结果:[描述]
- 实际结果:[描述]
请给出:1) 最可能的原因(Top 3);2) 验证每个原因的步骤;3) 修复代码。
速查卡 4:概念关联
我正在学习 [新概念 A]。
请帮我建立它与以下已学概念的关联:
- [概念 B]
- [概念 C]
要求:用类比、对比表格、Mermaid 图三种形式输出。
六、结语
这份计划的核心不是”用 AI 代替学习”,而是用 AI 压缩低价值环节(查文档、写样板代码、生成测试骨架),把节省的时间投入到高价值环节(手动推导 ZK 数学、亲自调试状态根错误、设计自己的架构)。
24 周后,你应该能:
- 独立阅读任意区块链论文,AI 只负责加速而非替代理解
- 手写核心组件(Merkle Tree、简化 Rollup、基础电路),AI 负责审计和优化
- 判断一个新协议的技术含金量,不被营销话术误导
开始吧。第一周的最小产出是:一个能运行的 Merkle Tree Python 脚本和一篇 500 字笔记。
本文档配合 Obsidian/Kimi CLI/Foundry 使用最佳。建议每周日复盘时,把本周的 AI 对话记录中的关键洞察复制到笔记系统,形成个人知识库。
💬 留言