Il progetto combina tecniche di metodi formali per sviluppare protocolli dimostrabilmente corretti per la finanza decentralizzata, con applicazione all'economia circolare. Il primo obiettivo è un modello eseguibile formale di protocolli decentralizzati, e uno studio teorico delle loro proprietà. Basandoci su questo modello, il secondo obiettivo è un toolkit per rilevare potenziali vulnerabilità di sicurezza nei protocolli decentralizzati prima del deployment. Il progetto validerà la teoria e il toolkit di analisi attraverso una caso d'uso reale di economia circolare.