zefram.eth
@boredGenius
Finally giving privacy to crypto users @FoglightPrivacy
加入 July 2015
2.2K 正在关注 25.7K 粉丝
you still think formally verified smart contracts isn't the future anon?
As I predicted. Mythos is much better, much faster, and much cheaper than Aristotle. This is the end for specialized lean provers
