Påminnelse om att säkerhet för smarta kontrakt är extremt svårt