- L'effet de la canicule du mois de juin 2026 a été impactant sur plusieurs arbres plantés en 2025.
- Beaucoup de feuilles ont jauni, notamment sur le cerisier bigarreau burlat, le poirier conférence, le poirier williams, le nectrinier à chair jaune, le cerisier coeur de pigeon et le châtaignier.
- J'ai vidé mes deux réservoirs d'eau (environ 1500 litres).
- Il faut mettre environ 30 à 50 litres par arbre et par semaine de juin à septembre.
- Il n'y a plus d'eau dans la Morzille.
samedi, juin 27, 2026
Episode canicule juin 2026
mardi, juin 23, 2026
Les Miscellanées du Beaujolais
- La pièce de vin Beaujolais a une contenance de 216 litres.
- Le code de justice de Villefranche en 1369 :
- Un mari peut battre sa femme autant que cela lui plaît sans que le magistrat n'y ait rien à voir, à moins qu'elle ne succombe sous les coups !
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.
Appendix
- What matters is that the process is well-defined and repeatable: clear instructions, clear result.
- Instead of each node redoing all the computations (as in Bitcoin or Ethereum), nodes verify a succinct proof.
- STARKs use Reed-Solomon codes, based on low-degree polynomials.
- Preuve à divulgation nulle de connaissance : Zero Knowledge is the principle that makes privacy in STARKs possible.
- STARKs can run in full transparency. No secrecy, just correctness.
- Blockchains are like meticulous librarians. They check every single step of every transaction to make sure nothing fishy gets through. That's great for honesty - but terrible for speed.
- The hard work is done off-chain, the proof is off-chain, but the trust stays on-chain.
- Who is the prover in practice? It could be a blockchain node, a cloud server, or a specialized off chain machine.
- Verifiers can check a massive job in a few milliseconds.
- What they can prove is whether a computer followed the rules.
- NEXP : Nondeterministic Exponential Time. That's computer science talk for: "if you can describes what the program does, and how many steps it should take, then we can generate a proof for it".
- To generate a STARK proof for that task, the prover (the one doing the work) needs to do roughly Txlog(T) steps.
- One of STARKs biggest strengths is verification speed.
- Hash function: it's a kind of digital fingerprint.
- And it's practically impossible to reverse-engineer what the input was, just by looking at the output.
- Unlike regular computers that try one solution at a time, quantum computer explore countless possibilities at once.
- ZK-STARKS : they don't rely on fragile mathematical assumptions like factoring or elliptic curves, which quantum algorithms can break.
- Soundness is a measure of the safety of a cryptographic system.
- NP stands for nondeterministic polynomial time.
- PCP : Probabilistically Checkable Proofs.
- Interactive Oracle Proofs (IOPs)
- The result is a proof system that's:
- Scalable (handles massive computations)
- Transparent (no hidden keys or trusted setup)
- Post-quantum secure (safe even from future quantum computers)
- If a system runs complex logic and others need to trust the result, STARKS can help.
Glossary
- Zero-Knowledge Prof (ZKP) A class of interactive cryptographic proofs that show something is true without revealing private details. Example = proving you're over 18 without showing your date of birth.
- ZK-SNARK A short, private one-step ZK proof used in Zcash and other blockchains. Many SNARKs require a trusted setup - an initial step where secret parameters are generated and later discarded. Full name - Succinct Non Interactive ARgument of Knowledge
- ZK-STARK A newer class of proof systems used by Starknet and several other blockchains. STARKs eliminate the need for trusted setup and use cryptography that is secure against quantum attacks. Full name - Scalable Transparent ARgument of Knowledge
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.
- 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
Inscription à :
Articles (Atom)
