Trust in Smart Contracts is a Process, As Well
Safer smart contracts through type-driven development