13. Ethereum and Smart Contracts: The Programmable Blockchain

Bitcoin is like a shared cheque-book that thousands of strangers keep in sync. You can write cheques with it, and you can attach a few simple conditions to a cheque, but you cannot install apps on it. It does one job, very well, on purpose.

"Turing-complete" is the difference between a pocket calculator, which can only do the fixed set of operations printed on its buttons, and a full computer, which can run any program you can write. Bitcoin's scripting is closer to the calculator; Ethereum aimed to be the full computer.

imagine a board game that thousands of people play simultaneously, all keeping their own copy of the board. As long as everyone applies the same rulebook to the same moves, everyone's board stays identical without a referee. Bitcoin's "rulebook" only knows the moves of a money-transfer game. Ethereum lets you write the rulebook — any game you like — and have the whole network keep the board in sync.

the whitepaper (Buterin) is the vision document — what Ethereum is for and roughly how it works. The Yellow Paper (Wood) is the exact blueprint — the engineering specification precise enough that different teams could each build the machine and have their versions agree to the bit. A "singleton machine with shared state" just means: there is conceptually one computer, and everyone shares its single memory.

a smart contract is not "smart" (it has no intelligence) and is not, in the legal sense, necessarily a "contract." It is an agreement turned into a machine. The vending machine is the archetype: the terms ("pay this, get that") are not written on paper to be honoured later in good faith — they are physically embedded in a device that simply executes them. You do not trust the snack vendor; you trust the steel and the mechanism.

picture a vending machine that anyone in the world can interact with over the internet, that holds real money, that does exactly what its code says — no more, no less — and that, once installed, nobody (not even its maker) can reach inside to adjust. That is an Ethereum smart contract. Its great strength and its great danger are the same fact: it will do precisely what it was written to do, including any mistakes.

the EVM is a "pretend computer" whose exact rules are written down so carefully that any real computer can imitate it perfectly. Because every node imitates the same pretend computer running the same instructions, they all reach the same answer. This is how thousands of different machines can agree, to the last detail, on what a program did — which is the whole point.

there are two kinds of users on the world computer — people and programs — and the system treats them as near-equals. A person's account is unlocked by a secret key, like a private password only they hold. A program's account is "unlocked" by its own logic: poke it with a transaction and it executes its written rules. People start things; programs react. Crucially, a program can hold and move money in its own right, which is what makes automated, intermediary-free finance possible.

gas is the metered fuel of the world computer, like a taxi meter that ticks for every small movement. Because outsiders' programs run on everyone's machines, you must pay for the exact amount of computing your request consumes. This serves two purposes at once: it compensates the network for the work, and it makes denial-of-service attacks self-defeating — an attacker trying to clog the system with an endless program simply runs out of money. The drawback is real and felt by users: at busy times, getting the world computer to do even simple things can become strikingly expensive.

a normal app, such as a ride-hailing or banking app, is a pretty front door attached to computers the company owns; if the company shuts those computers down, the app dies. A dApp keeps its essential machinery — the rules, the balances, the logic — out on the shared blockchain, so the "back end" belongs to no one and cannot simply be switched off. The part you tap on your phone may still be an ordinary app; the part that matters lives where no single party controls it.

DeFi, NFTs, and DAOs are not three separate inventions. They are three things you can build out of the same Lego brick: a public, unstoppable program that can hold money and follow rules. Once you have that brick, "a bank with no banker," "a deed with no registry office," and "a club treasury with no treasurer" all become buildable. This is why Ethereum, rather than Bitcoin, is the technical heart of most of what people mean by Web3.

"code is law" means that on the blockchain, the program's word is final. If the contract says the money moves, the money moves — there is no judge to appeal to, no bank to reverse the charge. Proponents see this as the entire point: a system you can rely on absolutely because no one, however powerful or well-intentioned, can reach in and change the result. The obvious question is what happens when the code does something its authors never intended — and in 2016, Ethereum was forced to answer it.

the community was trapped between two of its own deepest values. Value one: the ledger is sacred and unchangeable — that is why you can trust it. Value two: a great wrong had just occurred and the power to undo it existed. Honour the first value and you abandon the victims; honour the second and you admit that the "unchangeable" ledger can, in fact, be changed when enough powerful people are upset — which is exactly the kind of human override the whole system was built to abolish.

a "hard fork" is a collective decision to change the rulebook so decisively that everyone must switch to the new version or be left behind on the old one. Here, the new rulebook included a one-time exception: it reached into the ledger and moved the stolen funds back. The blockchain's history is normally treated as carved in stone; on this day, the community got out a chisel.

the same blockchain became two blockchains because its community could not agree on a question of principle. One group said: protecting people from an obvious theft matters more than never touching the ledger. The other said: never touching the ledger is the whole point, and the moment you make exceptions you have rebuilt the very system of trusted overseers you set out to escape. Both positions are coherent. That is what makes the episode so revealing.

the deepest lesson of The DAO is that "the code decides, not people" turned out to have an asterisk. When the stakes were high enough, people decided — and could, because enough of the right people agreed. That does not make smart contracts worthless; it makes them a powerful tool whose "unstoppability" depends, at the limit, on a community's collective will. Knowing where that limit lies is essential to assessing every grand claim made on Web3's behalf.