Blockchain e Web3

Il codice è denaro, quindi si dimostra

Test unitari come base, poi analisi statica su tutti i contratti, fuzzing sulle invarianti (proprietà che non devono mai rompersi, provate con migliaia di sequenze casuali) ed esecuzione simbolica e verifica formale sulle regole critiche.

Sono strumenti che trovano cose diverse: l’analisi statica i modelli sbagliati noti, il fuzzing le sequenze che nessuno avrebbe scritto a mano, la verifica formale prova che una regola vale per tutti gli input possibili e non solo per quelli testati.

Aggiornabile ma non arbitrario

I contratti che devono poter evolvere usano proxy aggiornabili, ma ogni modifica passa da un ritardo obbligatorio: chi tiene i fondi ha il tempo di vedere cosa sta per cambiare e di uscire. I contratti che non devono cambiare — la moneta, il wrapper — restano immutabili e senza ruoli privilegiati.

Sui prelievi valgono limiti espliciti (per esempio una quota massima giornaliera) e il pattern pull invece di push: è il paziente a ritirare, così un destinatario che si comporta male non blocca tutti gli altri.

Una catena è anche infrastruttura

Dietro un Layer 2 ci sono processi che devono restare in piedi: sequencer, nodo RPC pubblico, componente che pubblica i lotti sul livello sottostante, explorer, indicizzazione e monitoraggio. È lavoro di sistemi tanto quanto di Solidity, con reti separate per sviluppo, testnet e mainnet.