Annonce de l'appel à communications pour la Financial Cryptography 2026. La date limite pour les articles est le 16 septembre (pas beaucoup de temps !) avec la co-présidente Stefanie Roos (RPTU)

J'ai hâte de prendre la parole lors de l'atelier Science et Ingénierie du Consensus dimanche à Berkeley. Je parlerai des travaux récents avec @kartik1507 et @nibeshrestha2 sur notre modèle "Pipes" pour analyser les protocoles blockchain. Un des avantages de ce modèle est qu'il permet en fait de comparer le débit maximal pour différents protocoles...

[MISE À JOUR] Nous collaborons avec @AndrewLewisPye sur une spécification formelle (et des preuves de vivacité et de sécurité) pour Minimmit. 👀

Un fil résumant les recherches sur la latence en cas de bon scénario et la résilience des protocoles de synchronie partielle. Borne inférieure 1 (DLS) : Il est impossible de résoudre l'accord sous synchronie partielle contre un adversaire byzantin si f >= n/3. ( Borne inférieure 2 (Latence en cas de bon scénario) : Pour une diffusion byzantine partiellement synchrone avec f parties byzantines, 3 tours sont nécessaires et suffisants si 3f + 1 <= n <= 5f - 1 ( Borne supérieure : par exemple, PBFT, Tendermint, Simplex tolèrent f < n/3 fautes et atteignent une latence en cas de bon scénario de 3 tours (lien:

La recherche sur la blockchain a été freinée car nous n'avons pas de bonnes méthodes pour comparer les débits maximaux de différents protocoles. Heureux d'annoncer une nouvelle approche avec Kartik Nayak (@kartik1507) et Nibesh Strestha (@nibeshrestha2). 1/