Anúncio da chamada para artigos da Criptografia Financeira 2026. O prazo para envio de artigos é 16 de setembro (não há muito tempo!) com a co-presidente Stefanie Roos (RPTU)

Estou ansioso para falar no workshop sobre Ciência e Engenharia do Consenso no domingo em Berkeley. Vou falar sobre o trabalho recente com @kartik1507 e @nibeshrestha2 sobre o nosso modelo "Pipes" para analisar protocolos de blockchain. Uma das vantagens do modelo é que ele realmente permite comparar a capacidade máxima de diferentes protocolos...

[ATUALIZAÇÃO] Estamos a colaborar com @AndrewLewisPye numa especificação formal (e provas de vivacidade e segurança) para o Minimmit. 👀

Um tópico que resume a pesquisa sobre a latência em casos favoráveis e a resiliência de protocolos de sincronização parcial. Limite inferior 1 (DLS): É impossível resolver o acordo sob sincronização parcial contra um adversário bizantino se f >= n/3. ( Limite inferior 2 (Latência em caso favorável): Para transmissão bizantina parcialmente síncrona com f partes bizantinas, 3 rodadas são necessárias e suficientes se 3f +1 <= n <= 5f-1 ( Limite superior: por exemplo, PBFT, Tendermint, Simplex toleram f < n/3 falhas e alcançam uma latência em caso favorável de 3 rodadas (link:

A pesquisa em blockchain tem sido limitada porque não temos boas maneiras de comparar os máximos de throughput para diferentes protocolos. Estou feliz em anunciar uma nova abordagem com Kartik Nayak (@kartik1507) e Nibesh Strestha (@nibeshrestha2). 1/