Annuncio della call for papers per la Financial Cryptography 2026. La scadenza per l'invio dei lavori è il 16 settembre (non c'è molto tempo!) con la co-presidente Stefanie Roos (RPTU)

Non vedo l'ora di parlare al workshop sulla Scienza e Ingegneria del Consenso domenica a Berkeley. Parlerò del lavoro recente con @kartik1507 e @nibeshrestha2 sul nostro modello "Pipes" per analizzare i protocolli blockchain. Uno dei vantaggi del modello è che consente effettivamente di confrontare il throughput massimo per diversi protocolli...

[AGGIORNAMENTO] Stiamo collaborando con @AndrewLewisPye su una specifica formale (e prove sia di vivacità che di sicurezza) per Minimmit. 👀

Un thread che riassume la ricerca sulla latenza e resilienza nei casi favorevoli dei protocolli di parziale sincronizzazione. Limite inferiore 1 (DLS): È impossibile risolvere l'accordo sotto parziale sincronizzazione contro un avversario bizantino se f >= n/3. ( Limite inferiore 2 (Latenza nei casi favorevoli): Per la diffusione bizantina parzialmente sincrona con f parti bizantine, sono necessarie e sufficienti 3 tornate se 3f +1 <= n <= 5f-1 ( Limite superiore: ad esempio, PBFT, Tendermint, Simplex tollerano f < n/3 guasti e raggiungono una latenza nei casi favorevoli di 3 tornate (link:

La ricerca nel blockchain è stata ostacolata perché non abbiamo buoni modi per confrontare i massimi throughput per diversi protocolli. Sono lieto di annunciare un nuovo approccio con Kartik Nayak (@kartik1507) e Nibesh Strestha (@nibeshrestha2). 1/