在“编程与开发”这个分类里,绝大多数高播放视频教的是怎么写代码,而本文的主角教的是一件更底层的事:当没有任何人互相认识、没有任何机构背书时,一群陌生人如何用纯数学达成“账没错”的共识。它就是3Blue1Brown(数学动画频道 Grant Sanderson)的经典之作《Ever wonder how Bitcoin (and other cryptocurrencies) actually work?》。这条2020年上线的长课把比特币协议拆成了三个可以分开理解的部件——数字签名、哈希函数、工作量证明——再用一条“朋友间记账”的故事线把它们组装成完整的去中心化账本。它不属于任何热点周期,但每当“数字信任”成为开发者社区的热词(AI代理互验、远程协作审计、供应链安全),它就会重新被翻出来刷一轮存在感。本文按“经典重读”的方式,把这条视频的论证骨架逐层还原,补上它没时间讲的文献坐标,并对它为教学而做的每一处简化打分。没看过视频也能读完全文;看过的人会知道,每个动画下面埋着哪些论文。
数据与核验说明:本次发布环境未开放实时网络抓取权限,无法在成文时重新核验YouTube页面。以下视频热度数据与链接均来自公开资料中的既有记载,播放量等数字为约数,可能存在偏差,请以频道页面实际显示为准。本篇属于“经典重读”选题——素材系统的近十日快照中,编程分类的高播样本已在本站此前数轮中被逐条覆盖完毕(Python、C、Git、SQLite、正则、面向对象、编码哲学等均在案),故本轮选择这条尚未覆盖、且角度完全不同的公认经典。所引学术文献均为真实发表物,关键主张均注明论文与年份。
| 项目 | 内容 |
|---|---|
| 标题 | Ever wonder how Bitcoin (and other cryptocurrencies) actually work?(有没有想过比特币到底是怎么运作的?) |
| 频道 | 3Blue1Brown(Grant Sanderson,以数学可视动画闻名,全网头部数学科普频道) |
| 链接 | https://www.youtube.com/watch?v=bBC-nXj3Ng4 (以频道页面为准) |
| 发布时间 | 2020年7月(据公开页面记载,未能实时复验) |
| 播放量 | 约900万次(约数,未经实时核验,长期稳居3B1B频道播放量前列) |
| 时长 | 约26分钟(据公开页面记载) |
| 类型 | 密码学 / 分布式系统教学动画,全程手写推导+动画演示 |
以下按视频叙事顺序还原其知识骨架(非逐字稿复述)。这条视频最了不起的地方在于顺序:它不是从“比特币是什么”讲起,而是从“没有比特币之前,问题出在哪”讲起,让每个技术部件都作为某个具体缺口的唯一解出场。
视频的起点是一个反直觉的重构:数字世界里的“钱”,其实不必是“一个被传递的数字对象”——完全可以只是一张账本。三个人之间的朋友账本:Alice给了Bob 10块,就记一行。钱不是物体,是“账本上被大家认可的记录”。这个重构一举消灭了“数字货币能否被伪造复制”这类伪问题,让真正的问题浮出水面:谁来记账?凭什么信记账的人? 视频先引入一个所有人都信任的“中心记账人”作为基线方案,然后立刻暴露它的两个死穴:这个中心可以赖账、可以改账,而且它本身就是单点故障。全片的后25分钟,本质上就是逐步撤掉这个中心的过程。
账本上的每一行“Alice转给Bob 10块”,必须能证明是Alice本人授权的。视频在这一站给出了全片第一个“数学魔术”:非对称签名。每个人持有一对数字——私钥(自己保密)与公钥(公开给所有人);用私钥对“某条具体消息”生成签名,任何人都能用公钥+消息验证这个签名,却无法从签名和公钥反推出私钥。视频特别强调签名与消息绑定:改一个字符,签名就作废——这解决了“截获签名后挪用到别的转账上”的攻击。
这里用到的真实算法是椭圆曲线数字签名算法(ECDSA),比特币使用secp256k1曲线(比特币开发者文档口径)。视频用“椭圆曲线上两点相加容易、反推很难”的单向性直觉把“为什么私钥推不出、公钥能验签”讲成了一段动画。它的学术源头可以一路追溯到1976年Diffie与Hellman的《密码学新方向》——公钥密码学诞生的那篇论文。
签名解决“授权”,哈希解决“完整性”。视频对SHA-256的演示是全片传播最广的片段:输入改一个字母,输出的256位指纹每一位都像重新洗牌——前一位完全无法预测后一位,这叫雪崩效应。哈希函数的三条性质被拆开讲:单向性(从指纹反推原文不可行)、确定性(同样输入必得同样输出)、防碰撞(找到两条不同输入产生同一指纹在计算上不可行)。
【我的延伸】这三条性质放在视频之外同样值钱:Git的每次commit就是内容哈希、软件下载页的校验和就是SHA-256、密码系统只存加盐慢哈希。这条视频表面在讲比特币,实际上是全网最好的“哈希函数通识课”之一。
中心记账人撤掉之后,新的问题是:谁有资格往账本上添加新记录?视频给出了全片最漂亮的思路迁移——先讲Hashcash:Adam Back当年为对抗垃圾邮件设计的机制,让发件人在邮件头附加一个“解出来的难题”,难题很容易验证(一个哈希运算)但很难生成(暴力尝试)。应用到记账:谁能找到一个数(nonce),使得“账本内容+nonce”的SHA-256哈希值以足够多的零开头,谁就赢得了这一页的记账权。
关键在于概率结构:SHA-256的输出在统计上近似均匀,寻找“前N个零”就是一场纯粹的算力彩票,任何单次尝试都无法比碰运气做得更好。全网难度动态调整,使出块平均节奏维持在约10分钟(难度每2016个区块重校准一次,据比特币开发者文档口径——这是视频为节奏而略过的细节)。记账权不再由身份决定,而由真实燃烧的计算成本担保。
最后一块拼图:账本不再由任何人保管,每个节点都保存全量账本;交易被打包进区块,每个区块头部包含上一个区块的哈希——于是篡改历史中任何一笔记录,都会改变该区块哈希,导致其后所有区块作废,除非攻击者把后续所有区块的工作量全部重做。视频由此引出两条推论:其一,最长链原则——全网默认累计工作量最大的历史为真历史;其二,51%攻击——单个攻击者只有掌握超过全网一半的算力,才可能稳定地改写历史并制造“双花”,而且即便如此,其成本也随确认数增长而指数式上升。
视频收尾落点非常克制:它讲的是协议的数学机制,而非这种货币的价值判断;并点明签名与哈希这两件武器本身,在比特币之外的世界里早已无处不在。这个收尾姿态,是它历久不衰的原因之一。
证据扎实的部分。三大部件(签名、哈希、工作量证明)的原理性描述全部标准无误,与NIST规范、ECDSA论文、白皮书原文完全对得上。把比特币重构为“账本+三个部件”的教学框架,也被此后几乎所有严肃的区块链课程沿用——这个框架本身就是该视频被反复引用的原因。
被简化的第一处:“最长链”其实是“最重链”。 视频用“谁的链条长信谁”来讲共识,这是优秀的一级近似;但协议的真实规则是比较累计工作量而非区块数量。在难度频繁调整的现实里,二者可能出现短暂分歧。理解成“最重链”更准确(比特币开发者文档口径)。
被简化的第二处:终局是概率性的,不是绝对真理。 视频的动画容易让人以为最长链一旦确立便永不动摇。真实的确认是概率收敛:白皮书自己的分析表明,攻击者落后z个区块后追上的概率随z指数衰减,但永远不为零。交易所与链上系统用确认数管理这个风险,而不是假装它不存在。这个“够好了”与“绝对真”的区别,是分布式系统教育里最值钱的一课,视频只能点到为止。
被简化的第三处:能耗与外部性完全缺席。 工作量证明的安全预算等于真实电费与硬件折旧。这笔账的规模、争议与替代方案(权益证明PoS的取舍)在视频里一概没有——2020年的时点可以理解,但读者应当知道这道缺口的存在。这不是数学错误,是范围选择。
被简化的第四处:椭圆曲线被黑箱化。 视频用“单向性直觉”带过ECDSA,真实的签名数学涉及有限域上的点运算、nonce的正确生成等大量细节——历史上多起加密资产失窃正源于签名nonce复用(据公开报道的若干安全事件分析)。对普通读者,知道“这是严格数学而非戏法”就足够;对工程读者,不要用自己的代码实现密码学,是比看懂动画重要一百倍的忠告。
现实校验:51%不是理论恐惧。 视频把51%攻击讲成协议的天花板威胁,而现实已给出注脚:算力较小的链(如以太坊经典ETC)在2019与2020年曾多次遭遇公开报道的51%攻击并发生链重组。同一条协议,安全预算决定安全水位——这是“数学上成立”与“经济上成立”必须分开评估的活教材。
第一条:把哈希思维带进今天的日常工作。 三件今天就能做的事:下载重要文件时核对官方SHA-256校验和;用Git时理解commit哈希是内容指纹——因此“改写历史”必然改变链条身份,而不是文字游戏;任何自己管的系统,密码只存加盐慢哈希(bcrypt/Argon2),明文或快速哈希都是欠账。这三件事的成本几乎为零,对应的安全收益却是结构性的。
第二条:用“签名+工作量证明”给协作系统做体检。 视频给的其实是一张通用的信任设计表:任何多边协作——团队审批流、API调用、外包合同、审计日志——都可以问三个问题:谁在记账(数据归谁管)?授权如何绑定责任(谁签名)?作废与作弊的成本是什么(门槛在哪)? 把“信任”从一个感觉词,拆成可计算的成本项,这是协议思维对日常工程最实在的迁移。
第三条:学会区分“数学上的不可能”与“经济上的不划算”。 工作量证明的安全模型从不承诺绝对安全,只承诺让作弊贵过诚实。日常工程里大多数“安全”也是这个形状:测试覆盖不是证明无bug,而是提高bug存活的成本;灰度发布不是消灭风险,而是让错误便宜地暴露。用概率收敛的语言思考系统,比追求“完美方案”更接近真实世界的工程学。
flowchart TD
A["起点问题:<br>数字世界里钱可以只是账本"] --> B["基线方案:中心记账人"]
B --> C["死穴:<br>可赖账 / 可改账 / 单点故障"]
C --> D["撤掉中心,逐个补缺口"]
D --> E["缺口1:授权<br>谁能动账?"]
D --> F["缺口2:完整性<br>记录被改怎么办?"]
D --> G["缺口3:记账权<br>谁有资格写新账?"]
E --> E1["数字签名(ECDSA):<br>私钥签名,公钥验签"]
F --> F1["哈希函数(SHA-256):<br>单向 / 确定 / 防碰撞"]
G --> G1["工作量证明(Hashcash迁移):<br>找nonce使哈希前导零达标"]
E1 --> H["去中心化账本:<br>人人持全量账本"]
F1 --> H
G1 --> H
H --> I["区块头含上一区块哈希<br>→ 篡改历史需重做全部后续工作量"]
I --> J["最长链共识 + 51%算力门槛"]
J --> K["教学简化的现实修正"]
K -.-> K1["最重链而非最长链"]
K -.-> K2["概率性终局:确认数管理风险"]
K -.-> K3["能耗外部性与小算力链的<br>真实51%攻击(ETC 2019/2020)"]
J --> L["收尾:签名与哈希是<br>比特币之外的通用信任工具"]
本文由「51学通信」技术团队出品。51学通信由通信行业18年老兵爱卫生(微信ID: gprshome201101)维护,聚焦5G/6G核心网、3GPP标准解读、通信前沿技术深度分析。 出版作品有《5G核心网原理与实践》《IMS原理与实践》等4本通信专业书籍。知识星球「51学通信」提供深度技术答疑和行业洞察。