2 ms·Designing secure Ethereum smart contracts: a finite state machine approach1 points by godelmachine 9y ago