vendredi, juin 05, 2026

Zero Knowledge Infinite Trust Eli Ben-Sasson with Nathan Jeffay

 


Chapter 1 Why Blockchain Matters

  • What happens in Vegas stays in Vegas
  • Integrity is "what you do in the dark"
  • "Integrity is doing the right thing when no one is watching" This precisely what blockchains provide.

Chapter 2 The Brave New World of Bitcoin

  • It makes honesty the only profitable strategy.
  • Zcash and Starknet: intertwined qualities. They are broadness (anyone can operate the system), public verifiability (anyone can check that the rules are followed), and incentivized integrity (honest behavior is rewarded, dishonest behavior is punished).

Chapter 3 An Overview of Blockchain


Chapter 4 Bitcoin's Breakthroughs - and Blockchain's Expansion


Chapter 5 Beyond Currency: Blockchain as Infrastructure

  • Blockchains outperform traditional databases precisely where continuity matters most.
  • Beyond the technical tools and economic arguments lies something more universal: a psychological response to chaos. A human needs to feel anchored when the familiar markers - currency, contracts, rules - begin to blur.

Chapter 6 Social Media, AI, and the Gig Economy

  • The platform decides who hears what.
  • Social media companies are in the business of maximizing engagement (and revenue). And the way they do is dictated by an algorithm.
  • They expanded much brainpower on how shared rules and incentives coordinate behavior at scale.
  • The platforms - Facebook, Instagram, TikTok, YouTube, X - each have their own proprietary algorithms, but the logic is similar: maximize engagement.
  • Today, Facebook influences elections, TikTok dictates music trends, and YouTube rewires education. They all radicalize a generation hooked on screens.

Chapter 7 Roadblocks to Mass Adoption
Chapter 8 The Magic of Proofs

  • Validity proofs contain two mind-blowing surprises, with seemingly impossible implications: scale and privacy.
  • Think of a courtroom: A stenographer captures every word over several days. During cross-examination, lawyers don't replay the whole record; they pick a few precise questions anchored in the transcript to test credibility. If the answers contradict the transcript, the account is suspect. Validity proofs work the same way.
  • Just as a single contradiction in cross-examination can call an entire testimony into question.
  • STARKs Scalable Transparent Arguments of Knowledge
  • STARKS, and systems like them, let us verify the correctness of a computation without redoing the work and without needing to blindly trust whoever ran it. They reflect a profound shift in how we think about trust in a computation.
  • At its core, succinct verification is a way to check that a massive computation was carried out correctly - without repeating the work yourself.
  • Succinct validity proofs serve to make blockchains scalable.

Chapter 9 Infrastructure for the Unbanked

  • I often use a debit card tied to a self-custodial crypto wallet - a wallet that I truly own, like I own cash in my pocket or a ring on my hand, and in a better way than I "own" a bank deposit (the bank holds the deposit and I need its authorization to spend it). With this crypto-backed debit card, I can spend funds drawn directly from crypto stored on the blockchain - no exchange or intermediary involved.

Chapter 10 Blockchain in Practice: Usability, Scaling, and Privacy

  • decentralization-security-scalability trilemma.
  • Validity proofs deliver two benefits: scale and privacy.
  • The radical idea I'm describing now is that you can create a convincing proof that a given statement is true without revealing anything about the content of the proof itself.
  • You want to convince without giving more knowledge than is strictly necessary.
  • The Zerocash protocol flipped the model. We wanted people to transact securely, but without broadcasting their business to the world.
  • We're very proud of Zcash - but we've always wanted, and still want, Bitcoin to use our zero-knowledge proofs. To this very day, I hope they'll adopt the technology, but I recognize it may take a long time.

Chapter 11 Research Springs to Life: From Breakthrough to Blueprint

  • Probabilistically Checkable Proofs (PCP). They're a way to convince someone that a complex statement is true by checking only a tiny part of the proof.
  • Madhu and I agreed that efficient PCPs were intimately connected to the famous algorithm known as the Fast Fourier Transform (FFT), which solves a large, complex problem through recursive reduction, by breaking into smaller and smaller pieces. FFT let you zoom in and out of a structure quickly - like switching between close-up and wide-angle views of a very large puzzle.
  • There's a chance your work really matters if your paper get rejected with all three of these reasons: Referee 1 says it's not correct, Referee 2 says it's not new, and Referee 3 says it's not interesting.
  • Elliptic-curve-based systems. Elliptic curves are mathematical tools widely used in digital security. They allow for compact and fast cryptographic operations.
  • Elliptic-curve cryptography is at risk from quantum computing.
  • STARKs use different cryptography that relies on simpler mathematical assumptions, which means they are secure even against that future threat.
  • In a world of noise - headlines, posts, arguments - math offers something quieter: clarity.

Chapter 12 StarkWare: From Genesis to $8Billion

  • It was a matter of principle.
  • Python favors simplicity. C++ chases speed. CUDA squeezes everything out of GPUs to power games and simulations. If STARKs were going to scale, they deserved a language of their own: Cairo.
  • Cairo is to blockchain and zero-knowledge proofs what CUDA is to GPUs. CUDA developed by NVIDIA, made it easy for developers to unlock the full power of graphics cards - not just for images, but for things like machine-learning and scientific computing. It turned GPUs not general-purpose tools by hiding the complex hardware behind a clean programming model. Cairo does the same for STARKs.
  • We'd already shown that our technology could handle more transactions than Bitcoin - that we could slash costs, ease congestion, and still keep everything secured by Ethereum.
  • STARKs, a cryptographic breakthrough that compresses massive computations into tiny, verifiable proofs.
  • Now think of Starknet like the internet. A digital space where anyone can build anything, without anyone's permission. But instead of building websites and regular apps, you can build blockchain-based apps - or as I like to wryly say, what we'll refer in the future as "regular apps".
  • A multi-threaded blockchain.
  • If you had a financial asset, wouldn't you like to generate yield in some way, to use it as a way to transact and conduct business in the world?
  • In essence, we're building Bitcoin's everyday-use layer.
  • Being first doesn't always mean ending up on the top.
  • Third, if you're smart and curious, you should be thinking hard about how you spend your time. Not your money, not your title - just your time and attention. That's the real currency.

Chapter 13 The Harshest Critique: Do We Even Need Crypto?

  • At the heart of Krugman's critique is a worry that prioritizing code-based trust over human judgment devalues the social systems we've built.
  • Banks screw up, public bails them out, bankers keep their huge bonuses.

Chapter 14 Stablecoins and Memecoins

  • Money is just one kind of record, and documents are also records, and can and should also anchored to blockchains. Identity, contracts and much more. But when records live inside separate institutions, power follows whoever controls the database.
  • Stablecoins are arguably the most successful blockchain-based product to date.
  • The Stablecoin: think of it as a blockchain-based version of a dollar.
  • They simply used their debit card to buy $100 worth of USDC (United States Dollar Coin), a popular stablecoin, on Coinbase, a cryptocurrency exchange and platform.
  • The fact that stable coins can move money across borders, cheaply and reliably, is what makes them especially compelling.
  • Bitcoin derives its worth and its increasing popularity from its decentralized, secured network.
  • Can crypto help the dollar stay relevant?
  • The GENIUS act "Guaranteed Electronic Nationwide Infrastructure for Ubiquitous Stablecoins".
  • The growing stablecoin reserve pool is now funding public debt instead of private profits.
  • T-bills finance government spending.
  • The law set clear, rigorous standards. Stablecoins had to be backed, dollar by dollar, by short-term US Treasuries or equivalent cash reserves.
  • Lead to a surge in demand for US Treasuries.
  • Blockchains are interesting because they are open, programmable, and operate at internet speed.
  • Perpetual futures, or "perps", are contracts that enable users to take long or short positions on the price of assets - crypto, stocks, commodities - without actually owning them.
  • Each month, billions in volume flow through decentralized perp exchanges such as dYdX, GMX, Hyperliquid, and Aster.

Chapter 15 The Integrity Web

  • Transformative technologies usually look trivial or unnecessary before their real use emerges.
  • I am confident that just as the early internet hinted at more than anyone could articulate, blockchain points to a future where integrity is native to the web.
  • Just as the early internet gave us the Information Age, blockchain is laying the foundation for the integrity web an internet where trust is no longer assumed but proven.
  • A web where honesty and verifiability are built in.
  • Broadness, public verifiability, incentivized integrity.
  • Have you tried reaching a customer service department recently? You'll find yourself lost in phone menus or stuck with a chatbot. These are the very institutions to which we're expected to hand over our trust.
  • The problem doesn't come from malice; it comes from a concentration of power. By giving centralized entities more and more authority, we give away fragments of our own sovereignty.
  • The only sustainable way to improve and maintain human dignity is to empower individuals and small communities, put them at the forefront, and give them real control over their economies and lives.
  • Maybe it's repeating a bias. Maybe it's reflecting an invisible sponsorship. Maybe it's tailored to silence one perspective and boost another.
  • On a daily basis, I use a wallet app built on Starknet, which is essentially the blockchain equivalent of a bank.
  • Dreams of free and open communication have been shattered by corporate greed.
  • We were promised a digital commons where we could wander freely, and we ended up with something that feels more like a very intricate maze.
  • People will appreciate the fact that it's useful, rather than the fact that it's decentralized.
  • Blockchain is about "owning your life". Not only owning your life, but owning your community.
  • Gitcoin Grants, where thousands of ordinary people pooled resources to fund open-source software, climate action, and local community work.
  • I am exited about a deeper revolution: not coins, not contracts, but the chance to shift trust back from remote authorities to system we govern ourselves.
  • A burning sense of what could be different.
  • Libertarians ideals had a real and lasting impact on crypto's early development. Many saw blockchain as a tool to bypass state control.
  • Diia platform.

Aucun commentaire: