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

编者按：本文来自

区块链大本营

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

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

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

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

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

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

YAKINDUStatechartTools：

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

Telegram CEO：购买了Telegram新发行债券的四分之一并持有比特币和Toncoin:金色财经报道，Telegram创始人Pavel Durov在一份声明中表示，他个人购买了新发行的Telegram债券的四分之一，投资了数千万美元以支持Telegram的增长。这是在过去10年里他已经投入数亿美元以保持Telegram运营的基础上的额外投资。尽管Telegram的大规模增长意味着更高的存储和流量费用，但Telegram在支出方面非常高效，并且去年开始实施的盈利计划开局良好。他表示，尽管Telegram目前尚未盈利，但Telegram在绝对数字上比其竞争对手Twitter和Snap更接近盈利。

此外，Durov还确认他拥有一些比特币和Toncoin。Durov表示，更愿意专注于他的工作，而不去拥有任何东西（除了Telegram，一些比特币和一些Toncoin）。他强调，数亿人注册Telegram是因为他们希望有一个将用户放在首位的独立消息平台，而他的责任和生活工作就是继续提供这个平台。[2023/7/19 11:03:08]

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

Laguna Games任命Andrew Campbell担任产品和市场增长主管:2月21日消息，基于Polygon的NFT游戏Crypto Unicorns开发商Laguna Games今天宣布，已任命Andrew“Zyori”Campbell为其产品和市场增长主管。

Campbell此前曾担任Axie Infinity的电子竞技总监，该NFT游戏总交易量超过42亿美元。在此之前，Campbell是Dota 2和星际争霸II等游戏的电子竞技评论员。（Decrypt）[2023/2/22 12:20:50]

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

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

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

过去24小时全网爆仓2.33亿美元:2月2日消息，Coinglass数据显示，过去24小时全网爆仓2.33亿美元。其中比特币爆仓5247万美元，以太坊爆仓3946万美元。[2023/2/2 11:42:31]

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

参考：

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

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

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

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

Cynthia Lummis：FTX所发生的事情正是国会需要开始关注加密货币的原因:金色财经报道，怀俄明州共和党参议员Cynthia Lummis表示，FTX 所发生的事情正是国会需要开始关注加密货币的原因。Lummis引用了她在2022年初与纽约女议员Kirsten Gillibrand（来自纽约的民主党人）建立的两党法案，并表示美国监管机构需要对该法案给予充分关注，以便发生在该交易所的事情永远不会再发生。

她表示，FTX 广泛参与了新数字商品消费者保护法案 (DCCPA) 的制定，该法案得到了参议院农业委员会主席参议员 Debbie Stabenow（密歇根州民主党人）和共和党阿肯色州国会议员 John Boozman 等多位立法者的支持。[2023/1/8 11:00:21]

可解决这些问题的工具

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

英国财政部披露高级官员第一季度与加密公司的会晤:7月17日消息，英国财政部披露的2022年第一季度的信息显示，财政部高级官员在第一季度与加密货币和风险投资公司进行了多次会晤。

时任经济大臣约翰-格伦在2月和3月与包括Binance、Paxos、Coinbase和Circle在内的加密公司进行了会面，目的是“讨论加密资产”。他还出于同样的目的会见了风险投资机构a16z和Kingsway Capital，以及销售点软件供应商Epos Now。

加利福尼亚大学学者Barry Eichengreen教授在1月与Glen会面，他对加密货币在金融生态系统中的未来表示怀疑。

同时，目前正在竞选保守党领袖的前财政部长Rishi Sunak与红杉管理合伙人Douglas Leone会面，讨论英国的风险投资行业。此前披露的信息显示，去年年底，Rishi Sunak访问了加州，会见了红杉和a16z的代表，还参加了包括Bitwise、Celo、Solana和Iqoniq等公司的圆桌会议。如果Rishi Sunak在领导权竞选中获胜，他将成为英国下一任首相。

在这些会议之前，英国财政部在4月宣布，计划监管稳定币，并发行自己的NFT。该政策公告是为将英国定位为加密友好型技术中心做出的的努力。（The Block）[2022/7/17 2:19:11]

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

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

语言服务器：

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\\>

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

标签：ELERAMGRAMLEGCelebrityCoinSHIBARAMEN币gram币行情AmpleGold

世界币热门资讯