Cosa resta da verificare? Tutto è già on-chain(ΦωΦ)