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

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

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

近500万瑞典储户通过国家养老基金接触了比特币:近500万瑞典储户通过该国私人养老金市场上的默认政府替代私人储蓄选项,间接接触了比特币,其中大部分储户对此并不知情。根据当地的加密网站Trijo News的报道,至少有两家瑞典国家养老基金AP7 Såfa持有股份的公司投资了比特币。此前消息,挪威储户的处境与瑞典相似,挪威政府养老基金通过投资持有近600个比特币。(Cointelegraph)[2021/4/15 20:24:17]

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

聚币Jubi DeFi将于9月29日18:00上线质押GOF无损挖矿GOF:据官方消息,聚币Jubi DeFi板块新增质押GOF一键无损挖矿GOF功能。同样,GOF挖矿属于0成本无损挖矿,聚币Jubi将承担由于交易即链上转账费用带来的资产磨损。

聚币Jubi DeFi是聚币Jubi的新金融板块,可满足广大用户DeFi挖矿需求。未来,Jubi DeFi将继续深耕DeFi产业提供更多优质产品,陆续上线围绕JT、JFI的创新挖矿产品,使JT持有用户获得热点挖矿收益。据了解,聚币Jubi DeFi即将推出Jubi DeFi板块治理代币JFI的流动性挖矿。[2020/9/29]

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

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

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

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

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

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

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

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

狗狗币金色观察 | ETH2.0未到 但多项数据显示越来越多的人押注于它

以太坊最终还是要转向PoS,这是以太坊自创建以来一直研究和精神的核心所在,也是许多人最初被以太坊生态系统吸引的主要原因之一。 距离以太坊向以太坊2.0中的PoS过渡的第一步仅几月之遥。 ETH2.0 是以太坊的计划替代方案。在接下来的几年里,ETH2.0 的开发者们打算将现在以太坊的共识系统以及状态完全纳入其中。

Uniswap汇集全球百万用户 顶级流量助力价值爆炸增长

BitTok交易所致力于发掘区块链世界新的价值维度,努力使区块链投资更透明,让数字资产交易更安全,打造更公平、更公开、更透明的交易所新机制。BTOK作为BitTok交易所发行的平台币,是基于以太坊Ethereum发行的去中心化的ERC-20区块链数字资产。自公告发布以来受到各方强势关注,抽签空投参与用户超过百万,规模在行业内前所未有。

狗狗币以太坊颠覆了自己:引入密码学实现2.0性能突破

性能是阻碍公链发展的瓶颈,提升性能则是绝大多数希望超越以太坊的公链的主要设计目标,但当我们站在今天回望时,会发现这些公链选择的方法大多是通过机制的设计来增强一个分布式系统的性能,但受困于分布式系统CAP定理(不可能三角),改善性能是要付出代价的,当这个分布式系统的用途是账本时,这些代价甚至可能是难以被接受的。

[0:31ms0-0:624ms