.@alicelingl défie @FormallyJon : Les futurs développeurs s'appuieront-ils sur des zkVM ou écriront-ils des circuits ZK à la main ? Découvrez les nuances dans le podcast @HouseofZK.

Annonce du Sommet ZK/AI pendant la semaine @token2049, co-organisé par @HouseofZK et @googlecloud. Cet événement exclusif d'une journée explorera la frontière des preuves à divulgation nulle de connaissance et de l'intelligence artificielle, ainsi que le point de convergence entre eux : l'IA vérifiable. 🗓️ 29 septembre, 11h-17h 📍 Caldwell House, Singapour Postulez pour assister, prendre la parole ou sponsoriser à

Honnêtement, ces sessions de lecture de livres blancs sont parmi les meilleures choses que j'ai jamais faites lors d'une conférence.

Exécutez votre application comme vous exécuteriez vos applications web2 Allez Chainless 🚀

Et si les dApps n'avaient pas besoin de vivre à l'intérieur d'une blockchain ? C'est l'idée explorée par @BrianSeong99 (@0xPolygon) et @paulgebheim (@SeiNetwork) lors de cette session SBC @WPReadingClub sur Chainless - un cadre pour construire des applications vérifiables qui fonctionnent à la vitesse du Web2 tout en ancrant leur confiance dans le Web3. Au lieu de forcer le calcul dans Solidity ou un zkVM, Chainless permet aux applications de fonctionner hors chaîne dans n'importe quel environnement, tout en soumettant des preuves sur chaîne pour le règlement et l'interopérabilité. La discussion examine pourquoi l'expérience actuelle des développeurs est limitée, comment les applications vérifiables pourraient débloquer de nouvelles catégories comme les moteurs de trading ou les applications privées par défaut, et quels compromis sont associés à la séparation de l'exécution et du règlement. Brian et Paul abordent également les défis pratiques : les coûts de preuve, la reproductibilité et quels signaux de demande pourraient finalement conduire à l'adoption. Résumé : Document : Également disponible sur YouTube :

Bitcoin L2s - opinions d'experts de @michaelterpin, fondateur de @TransformVC21, @BitAngels, et conseiller de @GOATRollup : • Pourquoi les L2 : Ajouter de la programmabilité et de la capacité sans changer le Bitcoin L1. Exemples : systèmes basés sur BitVM2, rollups. • Modèle de sécurité : Préférer les conceptions qui se règlent sur la chaîne ; éviter les ponts de garde. La validité des L2 doit s'ancrer au Bitcoin. • Cas d'utilisation : Ponts minimisés en confiance, stablecoins adossés au BTC, rails DeFi, nouveaux flux de paiement. • Impact macro : Renforce la dominance du BTC ; complète la thèse de la réserve de valeur plutôt que de la remplacer. • Chemin d'adoption : L'innovation apparaît souvent d'abord sur d'autres chaînes ; si elle doit se développer, elle est portée sur Bitcoin via les L2. • Vue du cycle : Les L2 Bitcoin sont un récit clé de ce cycle, mais ne sont pas le seul moteur du prix. Écoutez la discussion complète avec Michael - perspectives sur BitVM2, le règlement sur chaîne, et où les L2 s'inscrivent dans la feuille de route de Bitcoin :

Maison de ZK Radio #67 : Ming Guo, Co-fondateur & Scientifique en Chef chez ZKM - disponible maintenant sur Spotify & YouTube 🔳 Dans cet épisode, @alicelingl s'assoit avec @DacEconomy - Co-fondateur & Scientifique en Chef de la Recherche chez @ProjectZKM - pour cartographier comment le zero-knowledge a évolué d'@ethereum vers Bitcoin, et à quoi ressemble réellement une économie Bitcoin sécurisée par un calcul vérifiable. Spotify : YouTube : Ce qu'il y a à l'intérieur : • La progression ZK : confidentialité des transactions → circuits généraux → zkVMs avec preuve quasi-temps réel • Pourquoi le design zkVM basé sur MIPS de ZKM est important pour la performance, la stabilité et la vérification • Architectures Bitcoin L2 basées sur BitVM2 comme @GOATRollup, et pourquoi L2 est la voie sécurisée vers la programmabilité • "Règlement universel" : calcul vérifiable comme base pour des applications décentralisées • Responsabilité programmable et incitations vs. modèles hérités de "faire confiance à une partie" • UX développeur : des zkDSLs à l'écriture de code normal et à la preuve d'exécution dans un zkVM • Au-delà de "réserve de valeur" : rendement, actifs stables, et activité on-chain ancrée à Bitcoin sans compromettre la sécurité de L1 Si vous construisez sur Bitcoin ou ZK, cet épisode fournit un cadre clair pour la pile, les compromis, et ce qu'il faut pour passer de la simple détention de BTC à une économie fonctionnelle et vérifiable.

Ici, nous faisons le point sur les progrès des principaux acteurs de l'écosystème zkVM, documentant les récentes sorties significatives, les percées techniques et les mises à jour générales. Avec : @SuccinctLabs, @ProjectZKM, @NexusLabs, @RiscZero, Jolt (@a16zcrypto), @ziskvm, et @ligero_inc 👇

Que se passerait-il si @solana pouvait finaliser des blocs en moins d'une demi-seconde ? C'est la vision décrite par Roger Wattenhofer (Responsable de la recherche chez @anza_xyz/@ETH_en) lors de cette session de lecture du @WPReadingClub. S'appuyant à la fois sur des recherches académiques sur le consensus et sur le design unique de Solana, @TheWattenhofer présente Alpenveil, une nouvelle proposition de protocole de consensus qui combine : • Finalité ultra-rapide - les résultats simulés montrent une finalisation de bloc en ~150ms, avec des chemins réels approchant ~500ms de confirmation au niveau utilisateur. • Vote parallélisé - un mécanisme novateur qui exécute un vote en une seule ronde (80%) et un vote en deux rondes (60%→engagement) en parallèle, permettant à celui qui se termine le plus rapidement de finaliser le bloc. • Preuves de sécurité formelles - un modèle rigoureux qui s'écarte des hypothèses byzantines traditionnelles de 33%, plaidant pour des modèles de défauts plus réalistes (20% byzantins, 40% tolérants aux pannes) compte tenu du paysage actuel des validateurs. • Compromis de conception du système - de l'encodage d'effacement pour la diffusion des données à la raison pour laquelle la réduction est évitée (du moins au début), et comment la distribution géographique des mises affecte la latence. Cette incroyable session est une réflexion fondamentale sur le consensus pour les blockchains haute performance, mêlant théorie, pratique et contraintes du monde réel de Solana. Résumé : Document : Également disponible sur YouTube :

Ici, nous faisons le point sur les progrès des principaux bâtisseurs de l'écosystème Proving Service, documentant les récentes sorties significatives, les percées techniques et les mises à jour générales. Avec : @fermah_xyz, @Ingo_zk, @brevis_zk, @zan_team, & @vlayer_xyz ⬇️