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
