2019年1月1日

加密公司双博彩评级推出“双子币”可以在“智能合约”的专门程序来发送

本年九月初,卡梅伦和泰勒 Winklevoss准备的编口令公司“二价染色体信托”宣告,该公司已利润纽约接管机构的同意。,它将售得一套与抵制付出代价挂钩的数字预兆:预示或象征。。

编口令公司二价染色体信托售得“二价染色体币”可以在“智能合约”的特意顺序来发送

这种高音调的“二价染色体币”的代币可以在以太坊区块链上经过一体叫做“智能合约”的特意顺序来发送。以使无效其预兆:预示或象征事实上的是由习俗抵制背衬的。,二价染色体先前解除了一体孤独的会计事务所的讨论。。该公司还解除了孤独审计讨论。,储备物质线索批评从事金融活动。,它是人纽约,叫做TRAIL。 of BIT公司的根本软件口令。

评价的目标是检测缺点。,让袭击者只在学者二价染色体座上采取军事行动。,在二价染色体收回的一封信中,该公司首座治理官丹 Guido写道,他解说说。,检验中一下子看到的究竟哪一个成绩都是钉牢的。。

Trail of BIT是储备物质技术担保审计的几家公司经过。,这些公司管理为连锁店或旅馆系列的事物创业商业筹措资产。,复杂的数字推销说话中肯财产买卖都是找到在分块链上的。,从首字母的的预兆:预示或象征发行到融资。智能和约是由计算图表背衬块运转的特别用途顺序。,它通常具有接纳和失去编口令钱币的充其量的。。专家说,汇编这些顺序必要新的意见方式。,这能够招致缺少亲身经历的顺序员进退维谷。。

悉尼块链软件与网络担保公司Sigma 首要的梅迪 Zerouali说:“事实上的,写智能和约是一体满的的和约。、多种多样的的新形成。”

某个使成为一体震惊的缺点。

财产软件都有缺点。,但智能和约通常是决定谁控制瓦尔的特别的道路。,譬如,他们的口令说话中肯缺陷能够是悲惨的的。。自然,假定他们被一下子看到,黑客能够会应用它们窃取编口令资产。。由于ICO的公司口令修补datum的复数下列,仅本年一年的期间,该公司经过ICO筹集了超越200亿抵制的资产。。

有些缺陷是告急的的。,圭多快说 Company。假定你创造了它们,他们非但独特的严格的。,倾向于那个反省你的智能和约口令的人来说,,它们也很明显。。”

最著名的弄错经过是疏散的弄错。、台芳芳推进的装饰基金 DAO,它代表了一体被驱散的的人身自由建立组织。。2016年,黑客应用口令说话中肯缺点窃取约5000万抵制的编口令,即使,以太亲手修补了本人。,使复位偷来的资产。

自那当前,担保专家一向审判找出能够招致挠败的并发症。,切开器来帮忙不假思索的反省口令说话中肯弄错。。他们还复核了新的英明和约。,这些和约通常公切开表。,这些和约可以帮忙装饰者和末端的用户确信无疑。,他们不能胜任的由于筹划某事挠败而报酬。。

Trail of BIT解除了某个开源器。,它用于剖析和检验在Solidity汇编的顺序。,巩固性是一种公共的的编程序文体。,用于使安定智能和约。Guido说,切开固定顺序的规范器不相似的DE这么复杂。,譬如,它们可以在布置特别用途软件屯积运转BUG。。

它缺少很多其他的当代当世文体的担保担保。,”他说。

当巧妙的和约被淘气鬼的弄错迫害

智能和约能够会成了英雄某个能够使发生 bug 的牺牲品, 譬如,根本的算术弄错或顺序员无意中重用。。即使, 它们也能够受到特别典型的弄错的使发生。: 拒绝服务袭击可以经过对计算的限度局限来引起。, 克复高出其处置充其量的的datum的复数的智能和约。限度局限一些值的主体会招致弄错。, 在这种情况下, 过于的数字会回到零。, 臭名昭著的 Y2K bug。这能够招致慷慨的的报告逐渐减少到几零钱。,甚至是负均衡。。

某个不担保的口令可以经过不假思索的剖析器来检测。, 何苦过多的人工干涉。: 假定和约容许究竟哪一个用户撤回他们的资产, 这能够是个弄错。, Petar,连锁店或旅馆系列的事物担保公司的创始人兼首座科学家 Tsankov说。这家公司是瑞士的一家草创公司。,从著名的技术苏黎世大学员工分开。。ChainSecurity 一种开展叫做。 Securify 的器, 它可以神速地认识和拉环潜在的成绩在凝结口令。。

但其他的弄错只存位于和约现实的左右论文。, 这意图担保审计的第一阶段通常是坐下来。, 精确投合心意他们的和约要完成的什么。。

Tsankov 说: “通常, 和约该怎么办?, 有独特的口语体的的论文。。

那时,通常有人类剖析和不假思索的化检验的混合。,决定能否有能够使和约违背其普遍的。Bits 的踪影一种开展叫做。Echidna的器, 它可以经过杂多的输出神速地治理智能和约。,找出口令弄错的方式。。当一下子看到弄错时,担保检验员工将拉环切开者。,并帮忙确保在将口令布置到RE屯积处理这些成绩。。

担保公司通常说,他们的客户正书房公共的的弄错。,在汇编担保的智能和约口令担任外场员越来越纯熟。Zerouali说,跟随技术的使苍老和PR的无效进行的共享,这种铅字在技术工业界的其他的使带有倾向性也有表现。。

但其间,编口令公司只必要复核首字母的的合作伙伴,如今,它使用ICO的支出来创造更复杂的制造。。Tsankov说,这些包孕更复杂的智能和约。,他们必要复核本人的弄错。。

“如今,他们都开端回到人们没有人。,”他说。不同族的水平线正神速复活。。

发表评论

电子邮件地址不会被公开。 必填项已用*标注