Are there are any proper papers, research or even just blog posts about shortcoming of Solidity's design from a security perspective? There seems to be a view the language is badly designed. Would like to change that perception by addressing issues.
-
-
Well, imperative programs are not THAT hard to reason about, especially when they are small, like smart contracts are (or should be). Powerful typing system can catch a lot of simple errors early, but if you want full guarantee, the paradigm matters lesshttps://www.hillelwayne.com/post/theorem-prover-showdown/ …
-
You can write C in Lisp and Lisp in C, it's a question of whether you're working with or fighting the language, and if you don't have sandboxing you can't have inner smart transactions in colored coins
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.