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.

lundi, juin 01, 2026

Accords mets et vins

  • A la cité des vins de Beaune, un atelier recommandé est l'accord mets et vins. Pendant une heure environ, on fera une dégustation de mets avec des vins.
  • Le sommelier va chercher à avoir de l'harmonie, de l'équilibre et du plaisir dans le choix pour ses clients.
  • Selon l'age du sommelier, il pourra proposer plutôt des accords en opposition ou en similitude.
  • Tu devras toujours déguster avec humilité et procéder par élimination.
  • Certains millésimes sont hyper marqués.
  • Notez l'intensité de la couleur.
  • Un Beaujolais-Villages s'accordera bien avec du veau et aussi du fromage.
  • Les grenouilles s'accordent bien avec un Pouilly-Fuissé.
  • Un met blanc s'accorde avec un vin blanc, et un met de couleur rouge s'accorde avec un vin rouge : c'est une règle qui fonctionne très bien de manière générale. Ainsi sur la photo suivante, on a de gauche à droite : une gougère, une truite fumée, un morceau de boeuf bourguignon en terrine, du fromage, un fondant au chocolat. 
Mets de dégustation

  • Respectivement les vins qui s'accordent avec les mets sont sur la photo suivante, à savoir de gauche à droite : 
    • un Crémant de Bourgogne pour les gougères (les bulles s'accordent avec la légèreté de la pate des gougères), 
    • un Bouzeron (blanc) pour la truite fumée qui permet de laver le salé de la truite,
    • un Maranges (rouge) qui apporte une similitude avec le boeuf bourguignon en terrine,
    • un Viré-Clessé (blanc) pour le fromage. Et oui, on a par habitude en Bourgogne de boire du rouge avec le fromage, mais le sommelier recommande un blanc pour le fromage. Regardez dans d'autres régions, comme en Savoie, ou l'on boit du blanc avec la raclette,
    • Un Haute Côtes de Nuits (rouge tannique) pour le dessert chocolaté (fondant au chocolat).
Vins en accord avec les mets de la photo précédente