Ethereum researcher unveils ‘time machine’ for even smarter smart contracts