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.

Prima domanda: vi serve davvero?

Nella maggior parte dei casi la risposta è no, e conviene sentirselo dire da chi la costruisce. Un database ben fatto, con registro delle modifiche in sola aggiunta e backup verificati, risolve il novantacinque per cento dei problemi di tracciabilità a una frazione del costo e senza legarvi a un ecosistema in movimento.

Serve davvero quando il registro deve essere verificabile da soggetti che non si fidano l’uno dell’altro e nessuno di loro può essere il custode: consorzi, filiere con più attori, strumenti che rappresentano valore trasferibile. Se le parti si fidano di voi, non serve.

Quando la risposta è no ve lo diciamo, e proponiamo la strada più economica. È l’unico modo in cui la risposta contraria, quando arriva, vale qualcosa.

Il costo che nessuno mette a preventivo

Non è lo sviluppo dei contratti: è la verifica. Su un progetto serio la parte di prove, analisi e dimostrazione formale pesa quanto la scrittura, a volte di più. È la ragione per cui i preventivi bassi in questo campo sono un segnale, non un affare.

C’è poi il costo dell’audit esterno, che va messo a bilancio dall’inizio: nessuna organizzazione seria mette in produzione contratti che gestiscono valore senza una revisione indipendente. E c’è la manutenzione, perché anche una catena cambia: aggiornamenti del protocollo, versioni dei nodi, dipendenze da rivedere.

Cosa resta fuori dalla catena

Quasi tutto. Sulla catena vanno le poche cose che devono essere verificabili da tutti e non modificabili da nessuno: la prova che un evento è accaduto, il trasferimento di un diritto, il saldo di uno strumento. Tutto il resto — anagrafiche, documenti, dati personali — resta fuori, in sistemi normali.

È anche un obbligo pratico prima che una scelta di stile: un dato personale scritto su una catena pubblica non si cancella più, e questo entra in rotta di collisione con il diritto alla cancellazione. Il modo corretto è tenere fuori il dato e metterci al più un’impronta che permette di verificarlo senza rivelarlo.