Bitcoin’s puzzle is a Byzantine agreement machine

Vitalik Buterin explains how proof of work turns a fault-tolerance thought experiment into a shared ledger, and why a 50 percent attack and quantum mining are less simple than they sound.

LFLex Fridman主持 · Lex Fridman Podcast
频道
Lex Fridman Podcast
视频
17:10
阅读
5 分钟
原文
英语
在 YouTube 打开
往下滚动阅读时,视频会缩到右下角继续播放。字幕跟随阅读语言。
阅读语言共 1 种语言可读
这篇文章还没有简体中文译文,先显示英语原文。
摘要

30 秒看懂

In a Lex Fridman clip, Ethereum co-creator Vitalik Buterin walks from the Byzantine Generals Problem to Bitcoin’s white paper. He treats a blockchain as a virtual computer maintained by a network of untrusted machines, then argues that seizing that computer would take a majority of specialized hash power at enormous cost. Quantum machines, he says, could speed mining, but not by an exponential leap that would break the system.

  1. 1Consensus starts as the Byzantine Generals Problem: parties must agree even when some messengers between them may be traitors.
  2. 2The practical setting is not a single reliable machine but a computer network, which is why distributed systems and enterprise software keep rediscovering the same puzzle.
  3. 3A decentralized global currency is the use case that actually needs consensus without privileged operators.
  4. 4Bitcoin’s white paper treats agreement as publishing a solution to a mathematical puzzle, then chaining those solutions into a ledger of signed coin transfers.
  5. 5Proof of work is older than Bitcoin; Buterin notes a long history whose original use case was fighting email spam.
  6. 6Quantum computers could help mining, but he says the speedup is not exponential and not game-changing compared with the cryptographic problems people actually worry about.
全文

按章节阅读完整文稿

01

Traitor messengers are the original consensus problem

Buterin opens with fault tolerance and the generals problem: how a group can still act as one when some of the people carrying messages may be lying. The picture is simple and hostile. Commanders need to coordinate, they can only talk through messengers, and those messengers are not a trusted courier service.

In the version he sketches, the parties exchange messages with one another rather than reporting to a single headquarters. Some of those messages can be faked, dropped, or rewritten, which is why “just send a note” is not a protocol. The puzzle is to end up with one decision even though you cannot point to a referee who is definitely honest.

He mentions oral messages and larger signed messages as part of the classical toolkit, then flags a misconception that often follows. People hear “Byzantine” and assume the whole field is a curiosity. For him it is the load-bearing question behind any system that has to keep running when some of its participants are broken or malicious.

02

The hard use case is a currency with no privileged operators

The general use case, he says, is distributed systems. Enterprise software and computer networks keep hitting the same wall: you do not have one box you can treat as the source of truth. A single computer can be an honest ledger of its own operations. A network of machines cannot.

Once you admit that the system is a network of devices, you need a reason to believe the whole thing still has a consistent state. Buterin’s criterion is blunt. If some nodes are small, flaky, or adversarial, you still have to decide what the shared record is. That is a different engineering job from keeping one server healthy.

The application that makes the abstraction urgent is a decentralized global currency. A money system, unlike a company database, cannot lean on a privileged roster of operators who are simply trusted to write the books. Consensus has to be created among participants who have no special legal or administrative standing.

03

Bitcoin published a puzzle instead of appointing a clerk

Buterin then turns to the idea that you can get agreement by having people spend resources and publish a solution to a mathematical puzzle. That, in his telling, is the fundamental move in the Bitcoin white paper: consensus is not a vote among named institutions, it is a race to produce work that anyone can check.

Technically, the trick is to wire together a large set of computers so they behave, from the outside, like one computer. No single machine is the ledger. A large portion of the network has to go along before a history counts. User transactions move coins from one account to another with signatures, and those transfers only stick if they survive that collective check.

He is careful to say the computational-resource idea is not new. It has a long history, including an early paper whose original use case was stopping email spam: make the sender burn a little work so a billion cheap messages stop being free. Bitcoin’s move was to reuse that costly signal as the heartbeat of a ledger rather than as a postage stamp on mail.

04

A blockchain is a virtual computer the users themselves keep alive

Asked what a blockchain is, Buterin offers a working definition rather than a slogan. In his way of thinking it is the first widely used system where a virtual computer is created by the users of the network itself. There is no separate operator who runs “the machine” while everyone else merely submits forms.

The mechanics are periodic. Participants on the network pack a list of transactions into a block, then try to attach that block to the chain of earlier blocks. Each new block points back at a predecessor, which is how a pile of transfers becomes one history instead of a pile of rumors. The architecture he has just described is that chain of blocks, not a magic database in the sky.

The twist is that you do not get to build on whichever parent you like. You build on work. In the Bitcoin system, extending the chain means producing the next puzzle solution on top of a previous one, which is why a later block is not just “another page of transactions” but evidence that more computation has been poured into that particular history.

05

A majority of hash power can rewrite history, at a brutal price

Security, in this design, is a question of fractions. If a large enough share of the people throwing computing power at the system coordinate, they can decide which messages become the official history. Buterin puts the dangerous threshold around half the network: above that, an attacker can compromise what the chain accepts.

He treats that majority as a double-edged fact rather than a myth. In principle the network can be overpowered. In practice the challenge is economic. Acquiring that much capacity from scratch, he says, is very expensive — on the order of billions of dollars — because the competition is already running specialized hardware rather than leftover laptops.

That hardware is not generic. In the mining world he is describing, the machines are built for this contest. Ordinary computers are the wrong tool, which is part of why a latecomer cannot quietly rent a few cloud instances and pretend to be the network. The defense is not that attacks are unthinkable. It is that they have to buy a huge, purpose-built share of a live arms race.

06

Quantum mining would be faster, not a sudden knockout

Under the specialized chips is a hash-function puzzle: keep guessing until you produce a number below some threshold. The work is designed to be brute force. You try, you miss, you try again. That is why custom hardware helps. It does the same search, only hotter and cheaper per guess.

The same search, he notes, is also the sort of problem people worry a quantum computer might accelerate. On a classical machine you may need many attempts before you find a number that satisfies the property. A quantum machine could, in his account, be used for mining and find those answers faster. That is a real research issue, not a campfire story.

He still refuses the panic version. The mining speedup he describes is on the order of something like twice as fast, not an exponential break, and “it’s not game-changing.” Hash puzzles that get a bit easier can have their difficulty turned up. The cryptographic problems that would actually upend Bitcoin, he implies, are in a different category from shaving time off a mining lottery.

同频道的其他文章

3:36:56EN
Lex Fridman· 2026年9月16日播客Psychiatry Has Never Found Its Penicillin主持 Lex FridmanHistorian Andrew Scull tells Lex Fridman why the field can ease symptoms, has never cured a major mental illness, and keeps paying for overconfidence with patients' lives.Mental HealthPublic HealthNeuroscience
5:15:51EN → 简体中文
Lex Fridman· 2026年8月26日播客 · 2 人对谈DHH 没有亲手写一行 Omarchy Quattro 的代码嘉宾 DHH · 主持 Lex Fridman与莱克斯·弗里德曼一次充满怀疑的对话过去十三个月后,Rails 的创造者讲述了 Opus 4.5、一群编码智能体(Agent)和一个一分钟的 Linux 安装器,如何结束了他一凿一凿手写 Ruby 的时代。编程智能体Vibe Coding智能体工程+3
3:12:58EN → 简体中文
Lex Fridman· 2026年8月12日播客 · 2 人对谈一个冷水澡,二十位冠军:Khabib Nurmagomedov 是如何炼成的嘉宾 Khabib Nurmagomedov · 主持 Lex Fridman在马哈奇卡拉的一间学校体育馆里,七十个人共用一个淋浴间,而且只有冷水。Martial ArtsCombat SportsCoaching+3
3:46:18EN → 简体中文
Lex Fridman· 2026年7月28日播客 · 2 人对谈抽掉奴隶制,就没有美国内战嘉宾 Gary Gallagher · 主持 Lex Fridman1860 年,美国奴隶主名下的奴隶价值,超过了全美所有铁路和工厂的总和。Political PhilosophyLeadershipHistory
3:51:47EN → 简体中文
Lex Fridman· 2026年6月30日播客 · 2 人对谈46% 的皇帝被暴力推翻,帝国照样延续下来嘉宾 Anthony Kaldellis · 主持 Lex Fridman历史学家 Anthony Kaldellis 与 Lex Fridman 一起走过 2200 年的罗马史,并主张我们所说的拜占庭,其实就是罗马本身。Political PhilosophyGeopoliticsLeadership
2:53:42EN → 简体中文
Lex Fridman· 2026年5月29日播客 · 2 人对谈月亮一直在下落,却总也落不到地球上嘉宾 Biggest Mysteries in Physics · 主持 Lex Fridman费米实验室(Fermilab)物理学家 Don Lincoln 在与 Lex Fridman 的对谈中说,物理学的历史就是一部统一的历史;反物质(antimatter)、暗能量(dark energy)和万物理论(theory of everything)依然远在我们能做的实验之外。Quantum MechanicsScience CommunicationPhilosophy of Science