Blockchain, Dsls, Game Theory, Safety, Correctness.
what I have shown in this post. It should also become more and more obvious why higher-level abstractions (compared to a “normal” programming language) are needed to efficiently express safe smart contracts. Trying to implement all of these things “with normal code” or just with libraries will lead