WEB3, ASSET DIGITALI, SICUREZZA DEL MERCATO E SISTEMI INTELLIGENTI AUTONOMI
10:00 – 11:30
Sessione D5 – Microstruttura del mercato delle criptovalute, modelli di rischio e asset digitali regolamentati
- Modellazione della liquidità del mercato (processi stocastici)
- Modelli matematici dei market maker automatizzati (AMM)
- Verifica formale degli smart-contract
- Architetture tecniche CBDC
- Stablecoins: solvibilità, stabilità del peg, propagazione del rischio
Contenuti matematici:
- Impatto stocastico dei prezzi
- Funzioni invarianti (prodotto costante, curve ibride)
- Verifica formale (Coq, Isabelle)
- PDE di propagazione del rischio
Valore scientifico: la scienza che governa sistemi finanziari decentralizzati.
12:00 – 13:30
Sessione D6 – Intelligenza autonoma distribuita e sistemi multi-agente sicuri
- Apprendimento rinforzato multi-agente in ambienti decentralizzati
- Sistemi di reputazione e fiducia guidata dal consenso
- Modellazione basata su agenti per mercati e mobilità
- AI distribuita su blockchain (ML verificabile)
- Sistemi di oracoli sicuri e integrità dei dati cross-domain
Modelli:
- Processi decisionali di Markov
- Equazioni comportamentali degli agenti
- Reti neurali a grafo per la dinamica dei protocolli
- Circuiti di ML verificabili (zkML)
Valore scientifico: quando AI, blockchain e sistemi fisici diventano un’unica rete intelligente.
