Kort samengevat. "Don't trust, verify" is de beste slogan die Bitcoin heeft, en de slechtst gelezen. Gelezen als bestemming belooft hij iets dat niet bestaat: nul vertrouwen. Niemand heeft het. Niemand heeft het ooit gehad. Hieronder staat een lijst van tweeënveertig dingen die de puurste cypherpunk-setup op aarde nog altijd vertrouwt, van de chipfabriek tot je eigen vermoeide ogen om middernacht. De boodschap is geen wanhoop. De boodschap is dat verificatie een helling is, geen top, en zodra je dat ziet, lost de vraag "welke setup is trustless?" op in de enige vraag die ooit echt was: welke setup laat het minste te vertrouwen over, en hoeveel daarvan kan je effectief controleren?
Een richting, geen bestemming
Elke Bitcoiner kent de slogan. Minder mensen merken op dat hij een asymptoot beschrijft: een curve die een lijn eeuwig nadert en nooit raakt. Je kan meer verifiëren, en meer, en nog meer, en elk uur ervan vermindert echt wat je op goed geloof moet aannemen. Maar de curve bereikt nooit nul. Ergens onder je laatste verificatie zit altijd nog één laag, en op die laag vertrouw je.
Dit is geen defaitistische observatie. Het is het dragende feit van het hele debat over hoe je bitcoin bewaart, want beide uitersten misbruiken de slogan. Het custodial-kamp zegt "je vertrouwt toch sowieso iets, dus ontspan en vertrouw ons", en negeert dat de curve een helling heeft en dat hun kant ervan een klif is. En het puristenkamp zegt "dit toestel vereist vertrouwen, dus het is gediskwalificeerd", een lat die alles diskwalificeert, inclusief de eigen setup van de purist, inclusief Bitcoin zelf.
Szabo heeft nooit nul beloofd
De intellectuele wortel van de slogan is Nick Szabo's essay uit 2001, Trusted Third Parties Are Security Holes, en het loont om te herlezen wat het echt beweert: een vertrouwde derde partij is het duurste en gevaarlijkste onderdeel van een protocol, en goed ontwerp minimaliseert dat. Minimaliseert. Niet elimineert. Szabo was een ingenieur die een kost beschreef die omlaag moet, geen priester die een zonde beschreef die uitgeroeid moet worden.
Bitcoin zelf is het bewijs. Het meest vertrouwensarme geld ooit gebouwd vraagt je nog altijd te vertrouwen dat een meerderheid van de hashpower haar incentives volgt, dat de code van je node doet wat ze zegt, en dat de wiskunde onder secp256k1 en SHA-256 standhoudt. Dat is een spectaculair korte lijst vergeleken met een centrale bank. Het is geen nul. Wie "trustless" als binaire test hanteert, heeft er zonet Bitcoin mee gebuisd.
Thompson sloot de nooduitgang
"Goed," zegt de purist, "dan verifieer ik de code zelf." Ken Thompson haalde die deur in 1984 uit haar hengsels, in het kortste grote paper van de informatica: Reflections on Trusting Trust. Hij bouwde een compiler die een backdoor in het login-programma stopt, en de backdoor-injecteerder in elke toekomstige compiler die ermee gecompileerd wordt. De broncode van allebei: perfect proper. Zijn conclusie, letterlijk: "You can't trust code that you did not totally create yourself."
Broncode lezen bewijst niets finaal. Onder de broncode zit de compiler, onder de compiler de compiler die hem compileerde, dan de assembler, de microcode, de die, de fabriek. De regressie stopt nergens. Niet voor een hardware wallet, niet voor een laptop, niet voor een offline HTML-bestand, voor niets. Verificatie is echt en kostbaar, en ze drijft op vertrouwen, helemaal tot beneden.
De puurste setup die bestaat
Laten we dus de sterkste setup bouwen die echt bestaat, degene die de duistere tovenaars van dit wereldje beschrijven. Je rolt dobbelstenen en ontdoet de worpen met de hand van hun bias, het trucje van von Neumann uit 1951, en rekent daarna zelf de checksum uit met de papieren draaischijven van Codex32, zodat geen enkele computer ooit getuige is van de geboorte van je entropie. Je tekent op een stateless toestel zonder radiosilicium op het bord, gebouwd uit onderdelen anoniem gekocht met cash, met firmware die je herbouwde via de full-source bootstrap van Guix: een vertrouwensketen die begint bij een binary van 357 bytes die een mens met de hand kan auditen. Je quorum is verdeeld over fabrikanten en landsgrenzen met een timelocked vervalpad voor je erfgenamen, en tussen sessies rust het onder tamper-zegels van willekeurige mozaïeken. Je node spreekt alleen Tor. Geen fabrikant weet dat je bestaat. Dit is de setup met het minste vertrouwen die een mens in 2026 kan hebben, en bijna niemand, ook ik niet, leeft op die hoogte.
Dit is wat die setup nog altijd vertrouwt.
Tweeënveertig dingen die je nog altijd vertrouwt
Het silicium
- De Broadcom-chip op de Pi, waarvan de boot-ROM gesloten is, niet auditeerbaar, en draait vóór eender welke code die jij koos.
- De GPU-firmwareblob die die chip wakker maakt: op een Raspberry Pi boot de GPU eerder dan de CPU, met code die niemand buiten Broadcom gelezen heeft.
- De fabriek die de die etste, en elke maskerrevisie die ze ooit toepaste, in een gebouw waar je nooit binnen zal staan.
- De lithografiemachines die de fabriek mogelijk maakten, en de software erin.
- De controller van de SD-kaart: een kleine gesloten computer tussen jou en elke byte die je opslaat.
- De firmware van de cameramodule, die elke QR ziet die jij haar toont.
- De display-driverchip, waarvan je vertrouwt dat hij het adres toont dat hem gegeven werd en niet een adres dat hij verkiest.
- Je RAM, dat de seed in platte tekst vasthoudt tijdens het tekenen, hopelijk immuun voor verstoringsfouten.
- De spanningsregelaars en oscillatoren, waarvan je vertrouwt dat ze je sleutel niet lekken via stroomverbruik of radiostraling; side-channel-labs demonstreren exact dat, op echte toestellen, elk jaar opnieuw.
De wiskunde
- Dat SHA-256 geen structuur verbergt die zijn ontwerpers bij de NSA niet hebben verteld.
- Dat de constanten van secp256k1 zo onschuldig zijn als ze eruitzien. De curve werd deels gekozen omdat mensen de NIST-curves wantrouwden: het vertrouwen verhuisde, het verdween niet.
- Dat het discrete-logaritmeprobleem echt moeilijk is, wat niemand ooit bewezen heeft.
- Dat geen enkele kelder ergens een kwantumcomputer bevat die tien jaar voorloopt op het publieke schema.
- RIPEMD-160, in 1996 ontworpen in Leuven, dat voor eeuwig standhoudt in elk Bitcoin-adres.
- Dat PBKDF2 met 2048 iteraties, het getal dat BIP39 in 2013 bevroor, nog iets betekent tegen moderne hardware.
- Dat de BIP39-woordenlijst en het checksum-ontwerp geen subtiele valstrik bevatten.
De voorwerpen op je tafel
- Dat je dobbelstenen eerlijk zijn. Casinodobbelstenen worden vlak gefreesd tot op fracties van een millimeter, net omdat gewone dobbelstenen dat niet zijn.
- Dat je kaartspel echt geschud was: wiskundigen toonden aan dat minder dan zeven riffle-shuffles aantoonbaar orde bewaart.
- Dat geen telefoon, webcam of raam uitkeek op je tafel terwijl je rolde.
- Dat je kamer niet uitzendt: elektromagnetische en akoestische lekkage (TEMPEST) wordt al decennia gedemonstreerd.
- Dat de brandwerendheid die de plaatjesverkoper belooft echt is, en de legering niet corrodeert voor je erfgenamen ze nodig hebben.
De build die je verifieerde
- De Python-interpreter waar de firmware van je signer op draait.
- De C-compiler die die interpreter bouwde: Thompsons letterlijke, bij naam genoemde doelwit.
- De cross-compilatietoolchain, de linker, en elk buildscript in de keten.
- De content-hashes van git, en de aanname dat niemand ze ooit heeft doen botsen.
- Dat GitHub of Codeberg jou dezelfde bytes serveerde als iedereen, en geen gepersonaliseerde kopie.
- De TLS-certificaatautoriteiten die voor die verbinding instaan: een letterlijke lijst vertrouwde derde partijen, meegeleverd in je browser.
- DNS, wanneer het je vertelt dat github.com GitHub is.
- De signeersleutels van de maintainers, en de entropie waarmee die sleutels gemaakt zijn, op machines waar je niets over weet.
- Dat "reproduceerbaar" betekent wat je hoopt: je reproduceerde de build, niet de bedoeling van de code die je bouwde.
De verificatie zelf
- De
sha256sumbinary waarmee je alles verifieert. Heb je die geverifieerd? Waarmee? - Je terminal, die toont wat hem gezegd wordt: escape-sequenties en look-alike-tekens bestaan.
- De firmware van je toetsenbord, nog zo'n kleine computer met meningen.
- Je ogen en je vermoeide brein, die om middernacht 64 hexadecimale tekens vergelijken en rapporteren dat ze er echt elk van gecontroleerd hebben. Onderzoek naar mensen die hashes vergelijken is niet mals.
Het netwerk, op de dag dat het telt
- De peers van je node, die je transactie eerlijk doorgeven.
- De miners, die je transactie opnemen, begraven laten, en eerlijk blijven om geen diepere reden dan dat de incentives zeggen dat het loont.
Jezelf
- Je geheugen van de passphrase, over tien jaar.
- Je discipline om 3 uur 's nachts, moe, gephisht, of bang.
- Je toekomstige zelf, die ooit in de verleiding komt om de seed ergens gemakkelijk in te typen, één keertje maar.
- Je erfgenamen, die instructies uitvoeren die ze nooit geoefend hebben, terwijl ze rouwen.
- Je eigen lichaam, onder een moersleutel.
- En je oordeel over alles op deze pagina, dat stilletjes besliste welke van deze punten je veilig mocht negeren.
Dat zijn er tweeënveertig, en nee, het is niet het antwoord op het leven, het universum en zelfbewaring; de lijst is niet eens compleet, ze is gewoon gestopt. Elke "verify" erop rust op een diepere "trust". De puurste setup in Bitcoin draait op een berg onbekeken geloof, en de jouwe ook, en de mijne ook, en de laptop van de persoon die je net vertelde dat hardware een scam is ook.
Waarom dan nog verifiëren?
Omdat de helling het hele spel is.
Bekijk de lijst opnieuw en merk op wat er niet op staat: de gesloten firmware van een walletfabrikant. De solvabiliteit van een beurs. Het updatekanaal van een browserextensie. Een cloudback-up. Een app store. Elke geverifieerde laag heeft er daar één van geschrapt, en de geschrapte zijn niet hypothetisch: het zijn exact de lagen waar mensen effectief door leeggehaald zijn, voor miljarden, jaar na jaar. De verliesdata is ondubbelzinnig over waar het geld sterft, en dat is niet onderaan deze lijst. Het sterft bovenaan, in de lagen die verificatie had kunnen schrappen en niet geschrapt heeft, omdat niemand de moeite deed.
En de overblijvende oppervlakken zijn niet gelijk. De stack onder een stateless signer is enkele tientallen megabytes reproduceerbare code op een bordje dat je kan vasthouden; de stack onder een laptop is tientallen miljoenen regels van twintig bedrijven, wekelijks zelf-updatend, inclusief een tweede verborgen processor die je contractueel niet mag inspecteren. Allebei dragen ze vertrouwen. Rond één van de twee kan een gemotiveerde mens met een zaklamp wandelen. Dat verschil, zes grootteordes groot, is waar de slogan altijd al naar wees.
Hal Finney begreep dit vroeger dan bijna iedereen. Zijn RPOW uit 2004, de rechtstreekse voorouder van Bitcoin, draaide op een tamper-resistant coprocessor die cryptografisch kon attesteren welke code hij draaide, onder de expliciete aanname dat zelfs zijn eigen operator vijandig was. Hij claimde geen nul vertrouwen. Hij kromp het vertrouwde oppervlak tot één auditeerbare doos en gaf de wereld het gereedschap om ze te controleren. Dat is de zet. Het is altijd de zet geweest.
De sterkste zet is schrappen
Er is één zet die nog beter is dan een laag verifiëren: ze schrappen. Wanneer je je seed rolt met dobbelstenen op je eigen tafel, heb je de toevalsgenerator van de fabrikant niet geauditeerd. Je hebt hem verwijderd. Er valt niets meer te verifiëren, want jij was de willekeur, en je was in de kamer toen het gebeurde. Het vertrouwen in die laag is niet gekrompen tot iets kleins. Het is opgehouden te bestaan.
2026 leverde het bewijs op een schaal van negen cijfers. Een buildvlag in de open source firmware van Coldcard verving stilletjes de hardwarematige toevalsgenerator door een zwakke softwareversie, en de fout stond daar, publiek zichtbaar, vijf jaar lang. Ruwweg honderd miljoen dollar verliet wallets waarvan de eigenaars al de rest juist hadden gedaan. Maar de gebruikers die die laag hadden geschrapt, die hun eigen dobbelstenen rolden en het resultaat zelf invoerden, waren immuun, volgens de analyse van de fabrikant zelf. Ze hebben de bug niet weg-geverifieerd. Ze hadden het codepad verwijderd waar hij in leefde, waardoor de duurste RNG-fout uit de geschiedenis van Bitcoin gewoon niet op hen van toepassing was.
Eén eerlijke voetnoot, want dit essay doet niet aan absolutismen: schrappen is nooit helemaal totaal. Het toestel dat jouw 99 worpen omzet in 24 woorden is nog altijd een laag, en een liegend toestel kan je dobbelstenen negeren en een seed afleiden die het al kent. Daarom controleert de zorgvuldige versie van zelf-doen de afleiding op een tweede, onafhankelijk toestel: twee implementaties, twee auteurs, één antwoord. Als beide overeenkomen, vraagt jou bedriegen een samenzwering tussen vreemden. Alweer de asymptoot, en je voelt de curve buigen: je hebt geen nul bereikt, je hebt het resterende vertrouwen klein, expliciet en dubbel gecontroleerd gemaakt.
De laatste eerlijke pixel
Geverifieerde lagen betalen zichzelf terug op de vreemdste plaatsen. In september 2025 vergiftigde de grootste supply-chain-aanval uit de geschiedenis van npm pakketten met samen zo'n twee miljard downloads per week; de taak van de payload was walletadressen omwisselen in de browser. Totale gemelde diefstal: enkele honderden dollars, grotendeels omdat wallets die je dwingen het adres op het scherm van een toestel te bevestigen de payload nutteloos maakten. Vijf maanden eerder verloor Bybit anderhalf miljard dollar op de omgekeerde manier: de ondertekenaars hadden hardware in hun handen en keurden goed wat een vergiftigde webinterface hen toonde in plaats van wat hun toestellen hen hadden kunnen tonen.
Dezelfde les uit beide richtingen. Het scherm op de signer is de laatste pixel die malware op je computer niet kan overschilderen. Twee miljard downloads kwaadaardige code tegenover één klein geverifieerd scherm, en het scherm won met zes grootteordes. Het beschermt alleen de mensen die ernaar kijken.
Krimp, controleer, verdeel
Als de lijst hierboven de diagnose is, past de behandeling in drie werkwoorden.
- Krimp. Verplaats het tekenen weg van de stack van tachtig miljoen regels, naar het kleinste oppervlak dat de taak aankan: een dedicated, open, stateless toestel zonder radio en zonder opslag. Over een berg kan je niet heen kijken. Maak er een heuvel van.
- Controleer. Verifieer van wat overblijft alles waar een handvat aan zit: breng je eigen entropie mee en controleer de afleiding op een tweede toestel, herbouw de reproduceerbare firmware en vergelijk hashes, bevestig elk adres op het scherm van het toestel zelf. Elke controle verandert een vertrouwde laag in een gekende laag.
- Verdeel. Wat je niet kan krimpen of controleren, verdeel je. Een quorum over verschillende fabrikanten betekent dat geen enkele fabriek, firmware of auteur je alleen kan verraden; de luchtvaart vliegt al decennia op exact deze ongelijksoortige redundantie. Wat krimpen en controleren overleeft, mag nooit een single point of failure zijn.
Niets hiervan bereikt nul. Alles hiervan beweegt je omlaag op de curve, en de afgelegde afstand wordt gemeten in de enige eenheid die telt: de aanvallen die niet meer op jou van toepassing zijn.
De eerlijke versie van de slogan
"Don't trust, verify" betekent niet nul vertrouwen; nul vertrouwen staat niet op het menu, voor niemand, nooit. Het betekent: krimp wat je moet vertrouwen tot verificatie er haar armen omheen krijgt, verifieer wat je kan, en weet, precies en eerlijk, wat wat is.
Wie je vertelt dat zijn setup trustless is, is gewoon te vroeg gestopt met tellen. En wie jou "trustless" verkoopt, vraagt je om hem te vertrouwen.
Geschreven omdat het woord "trustless" veel werk doet in Bitcoin-discussies, en het meeste daarvan onverdiend is. Elke claim hierboven is controleerbaar, wat, zoals de lijst uitlegt, niet hetzelfde is als geen vertrouwen vragen. Vind je een fout, zeg het mij.