Scrivere contratti intelligenti ad alte prestazioni non è mai stato così facile