Loading...

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.