FONDAMENTI DI SISTEMI DISTRIBUITI, CRITTOGRAFIA E FISICA DELLE BLOCKCHAIN
14:30 – 16:00
Sessione D1 – Teoria dei sistemi distribuiti e meccanismi di consenso
- PBFT vs HotStuff vs Istanbul BFT: confini della tolleranza ai guasti
- Modelli di latenza della finalità e compromessi sicurezza-lività
- Fisica dell’elezione del leader e comportamento della partizione della rete
- Consenso basato su DAG (Avalanche, Hashgraph) – dinamiche stocastiche
- Protocolli di interoperabilità e atomicità cross-catena
Modelli matematici:
- Soglie di guasto bizantine
- Equazioni di latenza/finalità
- Convergenza stocastica del consenso
- Modelli di sincronizzazione della rete
Valore scientifico: definire la fisica matematica del consenso distribuito.
16:30 – 18:00
Sessione D2 – Crittografia Avanzata e Sicurezza Post-Quantum
- Crittografia basata su reticoli (Kyber/Dilithium)
- Firme basate su hash (SPHINCS+)
- Protocolli basati su isogenie
- Vulnerabilità di implementazione (side-channel, timing, probing)
- Transizione post-quantum per infrastrutture critiche
Contenuti matematici/criptografici:
- Durezza del problema LWE
- Reticoli strutturati e module-LWE
- Hash trees e modelli di sicurezza multi-target
- Contromisure contro la fault injection
Valore scientifico: costruire la sicurezza che sopravvive ai QPU.
