Problème des généraux byzantins
Comment n généraux parviennent-ils à un consensus quand certains d'entre eux cherchent activement à saboter la communication ? Le problème classique des systèmes répartis.
Lamport, Shostak et Pease, 1982. Il est démontré qu'il faut au moins 3f+1 participants pour tolérer f nœuds byzantins. À distinguer de la « panne franche » (un nœud cesse simplement de répondre) : un nœud byzantin peut mentir, envoyer des messages différents à différents destinataires, propager de la désinformation.
Algorithmes BFT pratiques : PBFT (1999), Tendermint, HotStuff (Diem/Libra), preuve de travail façon Bitcoin (probabiliste). C'est le problème qui sous-tend la conception des blockchains.