Blockstack首席执行官:智能合约需要更安全的语言

Blockstack联合创始人兼首席执行官Muneed Ali在接受Cointelegraph采访时表示,智能合约在未来需要更安全的开发语言。

他还认为,就像云计算对很多行业都产生了影响一样,智能合约也不仅仅会影响金融行业,智能合约的潜在好处和应用远远超出了其名称所暗示的范围。

Ali表示,“其甚至不应该被称为智能合约,因为这是一个相当有限的名称。这些是可验证的程序,它们在云计算时代是不存在的。”

数字银行Revolut在英国申请完整银行牌照:加密友好的英国数字银行Revolut已经向英国监管机构申请完整的银行牌照,以推动其在金融科技领域之外的扩张。该公司在周一的一份声明中表示,这一许可将使Revolut能够提供透支、贷款和存款账户。该公司还将受到英国金融服务补偿计划(Financial Services Compensation Scheme)的保护,如果企业破产,该计划将保护客户8.5万英镑(11.47万美元)或更低的存款。Revolut于2015年推出,通过其应用程序提供越来越多的服务,包括预付借记卡、外汇转账、预算工具和加密货币交易。(彭博社)[2021/1/11 15:54:20]

Blockstack已同基于权益证明的区块链协议Algorand合作,以支持和应用一种名为“Clarity”的智能合约语言。该语言旨在为智能合约提供比现有编程语言更安全和“专用”的功能。

他提到,“我们的行业需要一种可预测的、安全的、开源的替代方案,以取代目前像Solidity之类的语言。尽管我们预计智能合约中锁定的价值最终将达到数万亿美元,但我们的行业尚未为这种增长做好准备。”

在Blockstack和Algorand看来,这种缺乏准备的原因是,开发人员到现在为止“一直在使用一种不安全的语言”。

Ali强调,智能合约旨在通过依靠自动执行的软件代码来克服人类或机构中介的弱点,“与典型的计算机程序和网站有很大的不同”。

因此他指出,“对于高风险的运营,它们需要成为可验证的程序。通用语言在这里可能很危险。”

为了让利益相关者应用智能合约并发挥其潜力,Ali认为“需要一种在智能合约执行之前安全且在数学上可预测的确定性语言”,因为一个行业“不太可能通过以不安全的语言编写的智能合约进行高价值交易。”

他指出,这一含义的意义远远超出了金融服务行业。Ali补充称,“编写可验证代码的能力就像开发人员的超级能力。这可以重塑软件在Internet上的分发和验证方式、开发人员贡献代码获得报酬的方式、实现Internet服务访问控制的方式等。”

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

区块博客

UNIBancor有机会超越Uniswap吗?

DeFi领域经过2019年的蓄力,2020年初步打开了局面,不管是借贷,还是DEX或衍生品领域,在锁定资产量、借贷量、交易量、用户量等方面都有了很大的提升。

瑞波币如何让资产更有价值?使用非同质代币(NFT)

过去我们谈论NFT,总是三句离不开“稀缺性”、“不可复制性”。但随着加密艺术的发展,人们渐渐发现,稀缺性与高价值并不能划等号,而不可复制性也早已沦为伪命题。我们只需一个OpenSea地址,就可以白嫖地址下全部的NFT艺术品。那么什么才是NFT资产真正的价值支撑呢?NFT的未来还会有哪些可能呢? 想要针对本话题写作已久,仅以此文记录一些思考,抛砖引玉。

FTX金色荐读|2009 年 一位矿工能拿到一百万个BTC吗?

摘要:我们研究了在 2009 年,一位矿工能主导比特币的程度到底有多大。我们回顾了 2013 年塞尔吉奥·德米安·勒纳( Sergio Demian Lerner )的分析,他通过分析当时区块中 ExtraNonce 值的增加发现了不同的区块都与同一矿工的矿机相关。

[0:15ms0-9:801ms