文章摘要：原文地址：https://www.researchgate.net/publication/344501038_Smart_Contract_Languages_A_Thorough_Comparison
原文地址：https://www.researchgate.net/publication/344501038_Smart_Contract_Languages_A_Thorough_Comparison
年中时， IOSG博文有提到过，将会在形式化验证(Formal Verification)方向做一些布局。形式化验证是什么？
而前不久，Algorand发布的 smart contract language 不是图灵完备的。智能合约开发语言图灵完备重不重要？
突然，我发现不仅要对Solidity智能合约开发语言里函数有所了解，更需要了解整个智能合约开发语言生态全景。
文章评论
冷萃财经原创，作者：Awing，转载请注明出处：https://www.lccjd.top/2020/11/03/%e5%85%a8%e9%9d%a2%e6%af%94%e8%be%83%e6%99%ba%e8%83%bd%e5%90%88%e7%ba%a6%e8%af%ad%e8%a8%80%ef%bc%9asolidity%e4%bb%8d%e6%98%af%e5%bd%93%e5%89%8d%e6%9c%80%e4%bd%b3%e9%80%89%e6%8b%a9/
支付宝扫一扫打赏
文章评论