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
