EOS:想开发智能合约？先 get 下这个适合所有人的模型驱动法_VSolidus

编者按：本文来自

区块链大本营

，编译：火火酱，Odaily星球日报经授权转载。

!webp\"data-img-size-val=\"553,321\"\u002F\\>

不得不说，开发智能合约真的是一个既复杂又昂贵的过程。

与在Solidity中编写智能合约相反，将智能合约建模为图形状态机具有很多优势。

你可以专注于业务逻辑，而不必纠结于技术细节，甚至非程序员也可以理解你的合约在做什么。

我们使用YAKINDUStatechartTools的开源版本将智能合约建模为状态机。这样一来，你就可以使用模拟器测试模型，并最终生成Solidity代码。

YAKINDUStatechartTools：

https:\u002F\u002Fwww.itemis.com\u002Fen\u002Fyakindu\u002Fstate-machine\u002F

声音 | 兴业证券首席策略分析师：看好区块链等这些方向:据澎湃新闻报道，兴业证券首席策略分析师王德伦对澎湃新闻记者表示，我们最看好的既包括以5G和人工智能领衔的这种科技成长股，TMT里面比较多，像5G主要重点落在了电子通信板块，跟它叠加以后，包括像传媒里面的云游戏，也包括计算机里面的人工智能、区块链、大数据、云计算等这些方向都不错。[2020/1/26]

!webp\"data-img-size-val=\"553,401\"\u002F\\>

想开发智能合约，这两个问题你必须要解决

区块链的智能合约开发非常复杂。如果你想为以太坊区块链开发智能合约，那么就必须学习一种全新的编程语言，例如Solidity。

如果你已经成功地编写和测试了自己的第一个智能合约，那么我要提醒你下一个有可能遇到的难题：由于一旦将智能合约部署到主网络后你就无法再对其进行更新，所以必须确保智能合约代码能够抵御攻击。

声音 | V神：并不看好大型机构区块链的设置，很难让这些区块链真正去中心化:以太坊创始人V神（Vitalik Buterin）近日在接受采访时表示，创建以太坊最大的挑战不是技术上的挑战，而是社会挑战。在安全问题上，V神提出了一种社会恢复的方法，将资金存储在一个由私有密匙保护的智能合约中，其他五个密匙由其他受信任的人持有。如果私钥丢失，如果使用了5个密钥中的3个，智能合约可以被编程来恢复钱包。他还谈到，5G技术和更快的互联网连接将极大地提升区块链的可扩展性。V神表示，在尝试提高事务吞吐量方面正在进行大量研究。V神还说，在过去的五年里，每当大型机构开始谈论区块链，他们往往会关注区块链的设置。他表示：“我不是特别看好它们，我认为很难让这些区块链真正去中心化，让人们信任它们。”（AMBCrypto）[2019/10/31]

虽然我们已经对已知的攻击媒介有了一定的了解，但是要在智能合约中找到这仍安全漏洞仍需要具备大量经验。

现场 | NBA传奇球星科比：要相信这些创业者有能力应对各种各样的变化:金色财经现场报道，旧金山时间1月18日，在niTROn SUMMIT 2019区块链峰会上在谈到为投资人原因时，NBA传奇球星科比表示，现在看，什么都是科技公司，首先要看人，不管是消费品还是科技公司，要相信这些创业者有能力度过艰难时刻，应对各种各样的变化。而且看他们是否能够同心协力。正如孙宇晨所说，更让人激动的是，科技背后的使命感，不仅要有底线，更重要的是，心中要有大目标。现在个人数据、空间似乎都在被控制，对我来说，很想看看，技术如何改变未来。[2019/1/19]

参考：

https:\u002F\u002Fconsensys.github.io\u002F

过去的经验告诉我们，智能合约会经常遭到黑客入侵，出现资金被盗问题。

由于保护智能合约的工具还不够成熟，无法发现所有潜在的安全漏洞，因此你需要对智能合约进行审核。但现在只有少数专家能够对智能合约进行编码审核，而这就引出了智能合约开发的第二个问题——价格昂贵。

声音 | 灰度投资总经理驳斥“捐赠基金投资加密货币会让这些机构面临过多风险”说法:据natlawreview消息，哈佛大学的捐赠基金管理公司HMC首席执行官N.P.“Narv”Narvekar在2018年度公开信中写道，今年的回报率仅为10%，他对此表示“不满意”。资产配置或风险水平是总体回报率的主导因素……我将很快与HMC董事会进行对话，以确定哈佛的风险偏好。”而投资加密货币的举动似乎表明“风险偏好”相对较高。对此，灰度投资公司（Grayscale Investment）总经理Michael Sonnenshein驳斥了捐赠基金投资加密货币会让这些机构面临过多风险的说法。他表示:“大多数捐赠基金已经投资高风险资产，无论是风险资本还是其他风险回报较高的投资。”此前，哈佛大学、斯坦福大学、麻省理工学院、达特茅斯学院和北卡罗来纳大学等主要教育机构通过各自的捐赠基金投资了至少一个加密货币基金。有消息人士称，这五所大学的捐赠基金已经在这些基金上投入了数千万美元，而这些基金又投资于实物加密货币和加密货币公司的股权。[2018/11/8]

这两个问题放在一起，就使得个人或小型初创企业开发高质量的智能合约变得非常困难。

声音 | 潘石屹：区块链 比特币这些东西越看越不明白:近日，潘石屹在一个活动现场表示，对于区块链，我的理解跟大家不一样。还发现MIT和哈佛没有教区块链的，现在尽管中国市场上出的区块链的书都读了，但现在越读越不明白。区块链和比特币这些东西，真的越看越不明白。[2018/8/21]

可解决这些问题的工具

两年前，我们开始开发YAKINDUSolidityTools，这是一个集成的开发环境，提供了诸如上下文敏感帮助、智能代码建议、快速修复、重构、模板和实时验证等功能。

今年，我们将核心功能提取到所谓的语言服务器中，可以在许多编辑器中重复使用。

不过，虽然这极大地改善了开发人员的开发体验，但这并不是一劳永逸的结果。

语言服务器：

https:\u002F\u002Fdwz.cn\u002FKQjhESNR

对于非Solidity专家来讲，智能合约开发仍然十分困难

由于我们也是YAKINDUStatechartTools的开发人员，因此我们对状态机如何简化智能合约的开发进行了一些研究，并开始将语言服务器集成到YAKINDUStatechartTools中。

YAKINDUStatechartTools:

https:\u002F\u002Fdwz.cn\u002F1Me4yZeY

这基本上意味着我们可以在对状态机进行建模时访问Solidity的内置功能，例如全局变量、常量和函数。

集成的仿真引擎可以验证模型的行为。只需点击一下鼠标，即可在模型之外生成智能合约Solidity代码。

什么是状态机？

大多数软件开发人员认为，状态机比看起来复杂得多，并且会在日常工作中避免使用它们。这并不奇怪，因为状态机通常被认为过于复杂和学术化，不适合实际应用。

如果你看过维基百科上关于有限状态机的文章，就会发现诸如“计算的数学模型”、“确定性和非确定性自动机”以及“powerset构造”等术语。听起来一点也不好玩，对不？

维基百科关于有限状态机的文章：

https:\u002F\u002Fdwz.cn\u002F1Me4yZeY

实际上，我们在这里进行智能合约开发的状态机，与学术上说的的状态机是完全不同的两种东西。这里提到的状态机，指的是为许多不同应用程序开发软件的有效方式。

例如，它们经常在嵌入式系统领域中，被用于对汽车或飞机之类的反应系统进行建模。反应系统是一种对外界事件做出反应的系统，该事件由传感器或人机接口触发。

智能合约没有什么不同，来自外界的交易触发了智能合约内部状态的改变。

状态机的基本构建块是“状态”和“转换”。状态机是由有限数量的“状态”组成的。机器一次只处于一种状态，该状态被称为“活动状态”。它可以通过“触发器”或者在特定条件下从一种状态更改为另一种状态。

示例：管理许可证的智能合约

举个例子，我们开发了一个智能合约，该合约将被用于管理许可证。该用例非常适合于区块链，因为只要不终止合同，许可证持有者就可以控制许可证协议。

!webp\"data-img-size-val=\"553,321\"\u002F\\>

一个智能合约可以维护一个许可证的使用周期。智能合约创建后，许可证进入“Valid有效”状态，初始预算为10个代币。有两种不同的接口可以与智能合约进行交互。

许可证的所有者可以增加预算以延长许可证期限。许可证管理者可以根据时间段定期收取许可证费用。

如果没有更多可用预算，许可证将进入“Invalid无效”状态，直到有新的预算被添加到合约。许可证所有者可以随时终止合同，并收回剩余预算。

可以看一下上面的图片。我认为该模型比500行Solidity代码更全面，也更易于理解。

模型驱动的智能合约开发有哪些优势？

首先，可以在更高的抽象级别上为智能合约建模。在隐藏所有技术细节后，你可以专注于要开发的域逻辑。甚至连根本没有编程经验的人都可以理解图形状态机。

生成的智能合约代码质量更高。一旦确定了代码生成器会生成正确且安全的代码，你就不必审核使用此代码生成器生成的每个合约。这将减少小型创新型初创公司以及大型公司将其业务案例迁移到区块链技术的障碍。

!webp\"data-img-size-val=\"639,300\"\u002F\\>

模型是独立于平台之外的。通过使用不同的代码生成器，你可以用不同的语言生成智能合约。也许在将来的某一天，将会产生另一个与以太坊一样强大的区块链。

更值得高兴的是，你可以重复使用模型来为另一个区块链生成智能合约。

你可以执行和测试模型。在将模型部署到区块链之前，你可以使用内置模拟器轻松执行模型，以此来验证模型是否符合预期。

!webp\"data-img-size-val=\"640,280\"\u002F\\>

该工具仍处于早期开发阶段，代码生成器尚未准备好投入生产。生成高质量的合同代码是一项非常艰巨的任务，但我们希望我们能尽快提供一个可供下载的工作原型！

标签：EOSLIDSOLID区块链NEOS价格SolidexVSolidus区块链的未来发展前景怎么样

狗狗币热门资讯