Modello di Sicurezza

1. Panoramica

Il modello di sicurezza di WebGravity si basa su una visione rigorosamente avversariale del motore AI. Il protocollo presume che l'AI sia intrinsecamente inaffidabile, suscettibile alla prompt injection e capace di "allucinare". Pertanto, l'arbitro finale della sicurezza è la matematica immutabile dello Smart Contract sulla rete Base.

2. Architettura

La sicurezza è divisa in due perimetri separati: la Sicurezza del Server (che protegge i pesi dell'AI e gli algoritmi proprietari) e la Sicurezza Blockchain (che protegge il capitale degli utenti). Il ponte tra loro è pesantemente limitato.

3. Componenti

• Risk Engine Immutabile: Limiti hardcoded nel contratto Solidity che determinano lo slippage massimo, la profondità minima di liquidità e l'allocazione massima per trade.
• Role-Based Access Control (RBAC): Modificatori dello smart contract che limitano le funzioni sensibili a wallet amministrativi multi-sig.
• Pausa di Emergenza (Circuit Breaker): Un meccanismo per congelare tutte le attività del protocollo in caso di un evento estremo "black-swan".

4. Flussi di Esecuzione

1. Tentativo di Input Malevolo: L'AI tenta di eseguire un trade con uno slippage del 10% a causa di un'allucinazione.
2. Simulazione: Il Relayer costruisce il payload e interroga il nodo RPC Base tramite eth_call.
3. Rifiuto: L'invariante del Risk Engine (es. MAX_SLIPPAGE = 100 bps) innesca un revert.
4. Drop: Lo scambio non viene mai trasmesso alla mempool, risparmiando gas e proteggendo il capitale.

5. Sicurezza

WebGravity utilizza lo standard ERC-4626. Questo garantisce che le logiche di deposito e prelievo siano conformi a un modello fortemente verificato dalla community. Il protocollo non possiede mai le chiavi private degli utenti. Se i server di Webtecnologie venissero completamente compromessi, l'attaccante non potrebbe comunque svuotare il vault perché i permessi transferFrom sono isolati a livello blockchain.

6. Definizioni e Glossario

Slippage

La differenza tra il prezzo previsto per un trade e il prezzo al quale il trade viene effettivamente eseguito. Una metrica chiave di sicurezza da controllare.

Circuit Breaker

Una funzione di emergenza che interrompe temporaneamente il trading sul protocollo quando viene rilevata un'attività insolita o una volatilità estrema.

Invariante

Una proprietà dello stato dello smart contract che deve rimanere sempre vera (es. Gli Asset Totali devono essere maggiori o uguali alle Passività Totali).

7. FAQ Tecniche