Blockstack联合创始人兼首席执行官Muneed Ali在接受Cointelegraph采访时表示，智能合约在未来需要更安全的开发语言。
他还认为，就像云计算对很多行业都产生了影响一样，智能合约也不仅仅会影响金融行业，智能合约的潜在好处和应用远远超出了其名称所暗示的范围。
Slope：如果攻击者归还被盗资金，将支付10%的赏金:金色财经消息，本周早些时候大约超500万美元被利用的Solana钱包Slope Wallet宣布，如果攻击者归还被盗资金，它将支付10%的赏金。
在一条推文中，Slope团队发布了Solana钱包地址，并以额外的动机向小偷发出呼吁：“在收到这些资金后，我们不会再努力调查此事，也不会采取任何法律行动。”
该团队给了攻击者一个48小时的窗口来返还资金并获得赏金。它补充说，它一直在与执法部门和领先的区块链情报公司TRM实验室合作，以追回被盗资金。
周二晚上，一名攻击者访问了以明文形式存储在Slope中央服务器上的用户助记词，并使用它们窃取了加密货币。该漏洞利用影响了数千名用户。[2022/8/6 12:05:59]
Ali表示，“其甚至不应该被称为智能合约，因为这是一个相当有限的名称。这些是可验证的程序，它们在云计算时代是不存在的。”
推特用户DANNY：愿意用一座私人岛屿换取#6863 Meebit:推特用户@seedphrase表示，愿意用一座私人岛屿换取#6863 Meebit。据悉，该Meebit是唯一同时拥有七个稀有属性的Meebit，目前Opensea上出价已经达到333.1337 ETH。[2021/5/7 21:32:41]
Blockstack已同基于权益证明的区块链协议Algorand合作，以支持和应用一种名为“Clarity”的智能合约语言。该语言旨在为智能合约提供比现有编程语言更安全和“专用”的功能。
他提到，“我们的行业需要一种可预测的、安全的、开源的替代方案，以取代目前像Solidity之类的语言。尽管我们预计智能合约中锁定的价值最终将达到数万亿美元，但我们的行业尚未为这种增长做好准备。”
在Blockstack和Algorand看来，这种缺乏准备的原因是，开发人员到现在为止“一直在使用一种不安全的语言”。
Ali强调，智能合约旨在通过依靠自动执行的软件代码来克服人类或机构中介的弱点，“与典型的计算机程序和网站有很大的不同”。
因此他指出，“对于高风险的运营，它们需要成为可验证的程序。通用语言在这里可能很危险。”
为了让利益相关者应用智能合约并发挥其潜力，Ali认为“需要一种在智能合约执行之前安全且在数学上可预测的确定性语言”，因为一个行业“不太可能通过以不安全的语言编写的智能合约进行高价值交易。”
他指出，这一含义的意义远远超出了金融服务行业。Ali补充称，“编写可验证代码的能力就像开发人员的超级能力。这可以重塑软件在Internet上的分发和验证方式、开发人员贡献代码获得报酬的方式、实现Internet服务访问控制的方式等。”
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。