编者按:本文来自
区块链大本营
,编译:火火酱,Odaily星球日报经授权转载。
!webp\"data-img-size-val=\"553,321\"\u002F\\>
不得不说,开发智能合约真的是一个既复杂又昂贵的过程。
与在Solidity中编写智能合约相反,将智能合约建模为图形状态机具有很多优势。
你可以专注于业务逻辑,而不必纠结于技术细节,甚至非程序员也可以理解你的合约在做什么。
我们使用YAKINDUStatechartTools的开源版本将智能合约建模为状态机。这样一来,你就可以使用模拟器测试模型,并最终生成Solidity代码。
YAKINDUStatechartTools:
https:\u002F\u002Fwww.itemis.com\u002Fen\u002Fyakindu\u002Fstate-machine\u002F
美SEC诉讼证据包括Binance.US前CEO 2022年的证词:金色财经报道,美国证券交易委员会 (SEC) 于 6 月 5 日对 Binance 提起的诉讼中,前 Binance.US 首席执行官Catherine Coley自离职后一直保持低调。然而,她在 2022 年 SEC 调查该公司内幕交易时向 SEC 提供了证词。[2023/6/8 21:23:55]
!webp\"data-img-size-val=\"553,401\"\u002F\\>
想开发智能合约,这两个问题你必须要解决
区块链的智能合约开发非常复杂。如果你想为以太坊区块链开发智能合约,那么就必须学习一种全新的编程语言,例如Solidity。
如果你已经成功地编写和测试了自己的第一个智能合约,那么我要提醒你下一个有可能遇到的难题:由于一旦将智能合约部署到主网络后你就无法再对其进行更新,所以必须确保智能合约代码能够抵御攻击。
跨链桥Hop社区发起定期奖励Hop DAO贡献者的提案:3月22日消息,DAO 治理公司 StableLab 在跨链桥 Hop 社区发起旨在定期奖励主动为 DAO 做出贡献的 Hop DAO 社区成员的 RFC(Request For Comments)提案。根据该提案,社区的任何成员都有资格获得奖励。每个月,论坛上都会开设一个提名讨论帖。为 Hop DAO 做出贡献的社区成员可以自我提名或由他人提名获得追溯奖励。
提案还提出一个为期 6 个月的试点计划,在初始测试期间会将价值 3 万美元的 Hop Token 发送给社区多重签名,每位贡献者的最高申请额度为 2000 美元。[2023/3/22 13:19:09]
虽然我们已经对已知的攻击媒介有了一定的了解,但是要在智能合约中找到这仍安全漏洞仍需要具备大量经验。
参考:
https:\u002F\u002Fconsensys.github.io\u002F
韩国冻结Terra联合创始人Daniel Shin的1.04亿美元资产:金色财经报道,韩国首尔南部地区法院周四批准了当地检察官的请求,冻结属于Terraform Labs联合创始人申贤胜(Daniel Shin)的约1.04亿美元的资产。据当地媒体报道,地方当局认为这些资产是通过LUNA加密货币非法获得的。周四早些时候,Shin出席了当地检察官办公室的调查,他因违反资本市场法和违反职责的指控而接受调查。(forkast)[2022/11/17 13:17:44]
过去的经验告诉我们,智能合约会经常遭到黑客入侵,出现资金被盗问题。
由于保护智能合约的工具还不够成熟,无法发现所有潜在的安全漏洞,因此你需要对智能合约进行审核。但现在只有少数专家能够对智能合约进行编码审核,而这就引出了智能合约开发的第二个问题——价格昂贵。
这两个问题放在一起,就使得个人或小型初创企业开发高质量的智能合约变得非常困难。
NBA球星勒布朗·詹姆斯将参与收购AC米兰,Fan Token ACM小幅升至4.35美元:金色财经报道,据《华盛顿邮报》消息,两位内部人士表示,NBA球星勒布朗·詹姆斯与说唱歌手德雷克将共同参与收购AC米兰俱乐部的计划,收购价高达 12 亿欧元,但两人或是被动投资者且没有直接入股。或受此消息影响,AC米兰足球俱乐部的 Fan Token ACM 一度升至 4.35 美元,随后小幅下挫至 4.15 美元,截至目前,ACM Token 在过去三十天内已上涨 11.7%。[2022/8/31 12:59:17]
可解决这些问题的工具
两年前,我们开始开发YAKINDUSolidityTools,这是一个集成的开发环境,提供了诸如上下文敏感帮助、智能代码建议、快速修复、重构、模板和实时验证等功能。
今年,我们将核心功能提取到所谓的语言服务器中,可以在许多编辑器中重复使用。
高盛和加密货币交易所FTX就衍生品交易协议进行商判:6月1日消息,据知情人士透露,高盛正在与加密货币交易所FTX进行谈判,以整合其部分衍生品业务的。此前报道,FTX正在寻求美国商品期货交易委员会(CFTC)的许可修改,以在杠杆衍生品交易中充当交易对手之间的交易所和中间人,在借入资金时在内部处理抵押品和保证金要求。该角色目前由高盛等经纪公司处理,充当“期货佣金商”。(华尔街日报)[2022/6/1 3:54:17]
不过,虽然这极大地改善了开发人员的开发体验,但这并不是一劳永逸的结果。
语言服务器:
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\\>
该工具仍处于早期开发阶段,代码生成器尚未准备好投入生产。生成高质量的合同代码是一项非常艰巨的任务,但我们希望我们能尽快提供一个可供下载的工作原型!
2014年,人民银行正式开始开始央行数字货币研发,时隔5年后,我国央行数字货币已经进入提速阶段,即将在深圳、杭州等地试点.
1900/1/1 0:00:00编者按:本文来自链比特LianBit,作者:陳威廉,Odaily星球日报经授权转载。昨天的行情大家都看到了,突如其来的暴涨让大家都为之一振.
1900/1/1 0:00:00编者按:本文来自万向区块链,作者:谢红军,Odaily星球日报经授权转载。谢红军老师大家好!很高兴与大家分享我个人和矩阵元在区块链和密码学技术研究方面的一些认识,以及相关应用案例.
1900/1/1 0:00:00编者按:本文来自中国日报,作者:陈新光,Odaily星球日报经授权转载。区块链是一个旨在完全去中心化的技术,是网络时代的共识机制和防范不实信息传递的保障机制.
1900/1/1 0:00:00穿过宗教圣地圣保罗大教堂,来到伫立着23米高科林斯柱的主祷文广场,246岁的伦敦证券交易所集团办公楼坐落于此。附近还有高盛、美林证券和野村证券等投资银行.
1900/1/1 0:00:00编者按:本文来自OKExResearch,Odaily星球日报经授权转载。最近在跟市场上一些投资者聊天时,他们总会问一些比较有趣的问题:投资者A:我既想要高杠杆来增加收益,又不想承担爆仓风险,有.
1900/1/1 0:00:00