词条索引
词条
文章里出现的术语都会自动链接到这里。每条先给一句人话，再讲机制和代价。 共 73 条。
加密与分布式
- 51% 攻击核心
- 攻击者算力超过全网一半后，可以重写最近的历史。 1 篇引用
- 拜占庭将军问题核心
- 一群互不信任的人，靠不可靠的信道商定同一个决定。 1 篇引用
- 包含列表核心
- 让另一批人也看内存池，列出下一个区块必须包含的交易，用来对抗出块者把交易挡在链外。 6 篇引用
- 币基交易核心
- 每个区块的第一笔交易，没有输入、凭空造出新币归打包者——这是所有比特币唯一的诞生方式。 2 篇引用
- 分叉与孤块核心
- 两人几乎同时出块，链短暂分成两支，落败那支被丢弃 2 篇引用
- 工作量证明核心
- 用一段谁都能验证的算力开销当门票：做起来很贵，检查起来极便宜。 2 篇引用
- 公钥密码与数字签名入门
- 一对钥匙：私钥只有你有、用来签名；公钥人人可见、用来验证签名确实出自你手。 1 篇引用
- 哈希函数入门
- 把任意长的数据压成一段固定长度的指纹：同样的输入必得同样的指纹，改一个字指纹就全变。 5 篇引用
- 激励核心
- 让诚实比作恶更赚钱，于是不需要惩罚机制也没人想作恶。 1 篇引用
- 剪枝核心
- 把已经花掉的老交易从本地删掉，只留 Merkle 树上必要的哈希，区块头链条依然完整可验。 2 篇引用
- 节点核心
- 网络里存账、验账、转发的机器，分自己全验和只验头两种 5 篇引用
- 密钥对入门
- 一对数学上绑定的钥匙：私钥留着签名，公钥公开验签，且从公钥推不出私钥。 2 篇引用
- 难度与目标值核心
- 一个门槛数字：区块头哈希必须比它小才过关，越低越难 1 篇引用
- 女巫攻击核心
- 一个人伪装成成千上万个人，把投票和信誉系统撑爆。 1 篇引用
- 区块入门
- 一批交易打包成一页账，配一个约 80 字节的头，头里记着上一页的指纹 6 篇引用
- 时间戳服务器入门
- 把指纹公开发布，每个新指纹裹住上一个，串成改不回去的链 2 篇引用
- 手续费核心
- 交易输入比输出多出来的那部分，谁把这笔交易打包进区块就归谁——不是协议规定的价格，是竞价。 4 篇引用
- 数据可用性采样深入
- 只随机抽查一小部分数据，就能高概率确认全部数据真的被公开了。 1 篇引用
- 数字签名入门
- 用只有你知道的私钥给一段数据盖章，任何人都能用你公开的公钥验证这个章是真的、且数据没被改过。 4 篇引用
- 双重支付入门
- 同一笔电子货币被花两次——数字文件天生可复制，这是电子现金最根本的难题。 2 篇引用
- 算力入门
- 每秒能试多少次哈希：隔着网络唯一能被验证的力气 4 篇引用
- 椭圆曲线深入
- 曲线上的一种加法：往前算很快，倒着推回来做不到。比特币用它生成签名，但白皮书里从没提过它。 2 篇引用
- 找零入门
- 比特币的钱不能拆开花，所以付款时把整笔花掉，多的部分转回给自己——就像用整张钞票付账拿回零钱。 3 篇引用
- 状态膨胀 / State Growth核心
- 链上每记住一件事都要全世界所有节点一起永久记住，而这笔账没有还款日。 1 篇引用
- 最长链规则核心
- 两份互相矛盾的账本，选背后堆了更多工作量的那一份 1 篇引用
- b-money核心
- 1998 年戴维提出的电子货币构想：所有人共同维护一份账本，靠算力发行货币，但没解决谁的账本算数。 1 篇引用
- Hashcash核心
- 1997 年为拦垃圾邮件设计的机制：发信前先算一个耗时的哈希，让群发变贵而单发几乎无感。 1 篇引用
- KZG 承诺深入
- 一小段数据（几十字节）就能锁定一大批数据，之后可以逐点证明某个片段确实属于它。 1 篇引用
- Merkle 树核心
- 把一批数据两两哈希、层层向上收成一个根指纹；验证其中任何一条只需要一条极短的路径。 2 篇引用
- MEV核心
- 出块的人可以自由决定把哪些交易按什么顺序放进区块，这个自由本身能换成钱——这笔钱就是 MEV。 1 篇引用
- Random Oracle Model深入
- 把哈希函数理想化成一本无限厚的随机数字典，用来证明「光靠哈希做不到某件事」。 10 篇引用
- UTXO / 未花费交易输出核心
- 账本里没有余额这一栏，只有一堆还没被花掉的收据。 2 篇引用
理论
- 比特入门
- 信息的单位：一个比特就是消除一半可能性所需的信息量，恰好是一个双稳态开关能存的量。 6 篇引用
- 赌徒破产问题核心
- 每局赢面略小于一半，只要一直赌下去，输光是迟早的事。 1 篇引用
- 多项式时间核心
- 运行时间随输入长度的某个固定次幂增长：这是理论上"可行"与"不可行"之间画的那条线。 1 篇引用
- 纠删码核心
- 把数据拆成多份并加上冗余，丢掉一部分也能把原数据完整还原出来。 1 篇引用
- 模运算入门
- 只关心除法的余数：钟表上 10 点过 5 小时是 3 点，因为算完 15 之后把 12 扔掉。 8 篇引用
- 泊松分布核心
- 已知平均每小时来 6 个，它给出下一小时来 0 个、1 个、10 个的各自概率。 1 篇引用
- 前缀码核心
- 没有任何码字是另一个码字的开头，所以一串码字连起来写也能唯一切开，不需要分隔符。 1 篇引用
- 确定性算法入门
- 同样的输入永远走同样的步骤、给同样的答案，不掷骰子也不碰运气。 4 篇引用
- 冗余度核心
- 一段消息里本来就能猜到的那部分占多大比例：冗余度越高，能压掉的越多，抗噪能力也越强。 2 篇引用
- 熵核心
- 衡量你事先有多不确定：可能性越多、越均匀，熵越大；结果揭晓时你学到的就越多。 1 篇引用
- 素数入门
- 只能被 1 和自己整除的整数：它们是乘法意义上的原子，每个整数都有唯一的素因子分解。 1 篇引用
- 随机游走核心
- 每步随机进退，走一万步大约只离原点一百步。 1 篇引用
- 通用机核心
- 一台能模拟任何其他离散状态机的机器：这就是为什么讨论"计算机能做什么"不必逐台讨论。 1 篇引用
- 信道容量核心
- 一条线路每秒最多能可靠传多少比特：超过这个数，错误率无法压到任意小；不超过，就可以。 1 篇引用
- 信息量入门
- 一件事发生带来多少信息，等于它有多让你意外：概率越低，信息量越大。 6 篇引用
- 压缩率核心
- 一份数据最多能压到多小，由它自身的熵决定；压过这条线就必然丢东西。 2 篇引用
- 置换的轮 / Permutation Cycle入门
- 一堆东西互相换了位置之后，跟着链条走总会绕回起点，而绕一圈的长度决定了要找几次。 1 篇引用
AI
- 标准答案入门
- 被当作正确的那份答案。它是人造的，因此可能是错的。 4 篇引用
- 残差流核心
- 贯穿模型所有层的一条主干向量，每层往上加一点自己的贡献，读写都在这条流上。 1 篇引用
- 分词核心
- 把字符串切成模型认识的最小单位。切法不按字也不按词，而是按统计上常一起出现的字节片段。 2 篇引用
- 奖励模型核心
- 一个专门用来给答案打分的模型，代替人类坐在旁边逐条评价。 22 篇引用
- 困惑度核心
- 模型读到下一个词时，心里大概在几个选项之间犹豫——这个「几个」就是困惑度。 8 篇引用
- 模仿游戏入门
- 图灵用来替换"机器能思考吗"的可操作问题：审问者靠打字提问，判断对面是谁；原始设定判断的是男女，不是人机。 1 篇引用
- 推理入门
- 训练是造模型，推理是用模型。训练一次性花钱，推理每次调用都花钱。 8 篇引用
- 中文屋核心
- Searle 的思想实验：一个人照规则书操作中文符号、答得像母语者，却始终不懂中文——用来主张通过行为测验不等于理解。 1 篇引用
- 自回归解码入门
- 模型一次只能吐出一个词，下一个词要等前一个吐完才能算——所以输出越长，等得越久。 1 篇引用
- 自一致性核心
- 同一个问题让模型独立答多遍，取出现次数最多的答案——不改模型，只靠重复和计票换准确率。 1 篇引用
- Agent入门
- 把模型放进一个循环里：做一步、看结果、再决定下一步，直到收工。 14 篇引用
- Benchmark入门
- 同一套题大家都来考，好比较。代价是：题目一旦固定，分数就会慢慢脱离它想衡量的能力。 6 篇引用
- KV Cache核心
- 模型生成文字时用来记住前面内容的临时笔记，省去重复计算，代价是占显存。 1 篇引用
- Transformer核心
- 当前几乎所有大模型的基础架构，核心是让每个词直接权衡它该关注哪些词。 2 篇引用