Blockstack联合创始人兼首席执行官Muneed Ali在接受Cointelegraph采访时表示，智能合约在未来需要更安全的开发语言。
他还认为，就像云计算对很多行业都产生了影响一样，智能合约也不仅仅会影响金融行业，智能合约的潜在好处和应用远远超出了其名称所暗示的范围。
NEXO：对BlockFi和Genesis零风险敞口:11月29日消息，加密借贷平台Nexo官方表示，其对BlockFi和Genesis零风险敞口，并且从未向其他公司提供过无抵押贷款服务，一直将重点放在自动化、有抵押的信贷便利化上，确保可持续发展。[2022/11/29 21:08:28]
Ali表示，“其甚至不应该被称为智能合约，因为这是一个相当有限的名称。这些是可验证的程序，它们在云计算时代是不存在的。”
动态 | Argo Blockchain投产矿机数量已达到7000台:伦交所上市挖矿公司Argo Blockchain（LSE: ARB）宣布，上周有500台新的蚂蚁矿机S17投产，这使得该公司投产矿机总数达到7000台。据悉，Argo Blockchain计划在2020年第一季度末安装和运营一个矿机总数约为17000台的生产基地，较目前的水平增加了140%以上。完成这一目标所需的剩余1万台机器中的部分已下单，预计将于下月初分批交货。（ADVFN）[2019/11/11]
Blockstack已同基于权益证明的区块链协议Algorand合作，以支持和应用一种名为“Clarity”的智能合约语言。该语言旨在为智能合约提供比现有编程语言更安全和“专用”的功能。
动态 | 魁北克金融市场管理局敦促Laboratoire Blockchain的投资者与其联系:据Finance Feeds消息，魁北克的金融市场管理局（AMF）敦促区块链公司Laboratoire Blockchain的投资者在2019年4月1日前与该监管机构联系，因为与该实体相关的一些个人现在受到业务冻结和禁令的影响。据此前消息，3月初，金融市场行政法庭（TMF）禁止涉嫌违反证券法的Laboratoire Blockchain进行与证券有关的所有活动，且不可处置任何资金，包括其拥有的任何加密货币以及相关设备。[2019/3/19]
他提到，“我们的行业需要一种可预测的、安全的、开源的替代方案，以取代目前像Solidity之类的语言。尽管我们预计智能合约中锁定的价值最终将达到数万亿美元，但我们的行业尚未为这种增长做好准备。”
在Blockstack和Algorand看来，这种缺乏准备的原因是，开发人员到现在为止“一直在使用一种不安全的语言”。
Ali强调，智能合约旨在通过依靠自动执行的软件代码来克服人类或机构中介的弱点，“与典型的计算机程序和网站有很大的不同”。
因此他指出，“对于高风险的运营，它们需要成为可验证的程序。通用语言在这里可能很危险。”
为了让利益相关者应用智能合约并发挥其潜力，Ali认为“需要一种在智能合约执行之前安全且在数学上可预测的确定性语言”，因为一个行业“不太可能通过以不安全的语言编写的智能合约进行高价值交易。”
他指出，这一含义的意义远远超出了金融服务行业。Ali补充称，“编写可验证代码的能力就像开发人员的超级能力。这可以重塑软件在Internet上的分发和验证方式、开发人员贡献代码获得报酬的方式、实现Internet服务访问控制的方式等。”
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。