Blockchain

Il codice vale soldi, quindi si dimostra

Test come base, poi analisi automatica su tutti i contratti, prove con migliaia di sequenze casuali sulle proprietà che non devono mai rompersi, e verifica matematica sulle regole critiche.

Sono strumenti che trovano cose diverse: l’analisi automatica riconosce gli errori noti, le sequenze casuali trovano combinazioni che nessuno avrebbe scritto a mano, la verifica matematica dimostra che una regola vale per tutti i valori possibili e non solo per quelli provati.

Aggiornabile ma non arbitrario

I contratti che devono poter evolvere passano da un ritardo obbligatorio prima di ogni modifica: chi tiene i fondi ha il tempo di vedere cosa sta per cambiare e di uscire. Quelli che non devono cambiare restano immutabili e senza poteri speciali.

Sui prelievi valgono limiti espliciti, e chi ha diritto a qualcosa se la ritira invece di riceverla: così un destinatario che si comporta male non blocca tutti gli altri.

Una catena è anche infrastruttura

Dietro una rete ci sono processi che devono restare in piedi: chi ordina le transazioni, il nodo pubblico, il componente che pubblica i dati sulla catena sottostante, l’esploratore e il monitoraggio. È lavoro di sistemi tanto quanto di contratti.