1. 首页
  2. 区块链全球资讯

智能合约标准:使以太坊上的DeFi交易更加安全

智能合约标准:使以太坊上的DeFi交易更加安全,“KDSP”分散融资继续对加密市场产生影响,随着超过130亿美元的总资产被锁定,DeFi项目显然引起了热切的加密投资者的共鸣。然而,尽管DeFi空间在过去的一年里取得了进展,但一些不合法的项目已经取得了成果,这让人想起了2017年ICO的繁荣和随后的萧条。

例如,Harvest Finance,一个主要的去中心化协议,最近遭到黑客攻击。攻击者从丰收金融池中偷走了2400万美元。最近,去中心化金融协议valuedefi成为了600万美元快速贷款漏洞的受害者。当然,DeFi今年最大的事件之一是SushiSwap,创造者出售了1300万美元的dev基金,导致市场崩溃。

需要指出的是,DeFi的大多数项目都是建立在以太坊区块链上的。根据DeFiPrime网站,目前以太坊网络上有超过200个DeFi项目。然而,虽然以太坊似乎是最适合DeFi项目的平台,但网络的漏洞在黑客和欺诈活动中扮演了重要角色。以太坊上的

智能合约交易需要安全性

,以太坊的智能合约以充满安全问题而闻名,而这些问题反过来又极大地影响了DeFi项目。此外,应用于价值数十亿美元的DeFi项目的智能合同通常不会事先进行审计。

Tom Lindeman说,他曾是微软的资深研究员,也是以太坊信托联盟(Ethereum Trust Alliance)的前常务董事,该联盟是一个致力于智能合约安全系统的区块链公司Cointelegraph指出,目前还没有好的方法来确定智能合约在启动交易前是否安全:

“DeFi space现在价值数十亿美元,但许多正在使用的智能合约从未经过审计。因此,DeFi部门继续看到一系列活动,即个人和组织批准代币合同,交换代币,并在不容易检查合同安全性的情况下迅速向池中添加流动性。“kdsp”试图解决与智能合约相关的安全挑战,林德曼加入了企业以太坊联盟新成立的“ethcrust安全级别工作组”,担任其联合主席。根据Lindeman的说法,工作组的任务将是继续以太坊信托联盟(ETA)最初发起的进展,这些进展旨在为在以太坊区块链上进行的安全、智能合约交易制定标准。

一个评级智能合约的注册系统“KDSP”Lindeman解释说,ETA已经在DeFi space开始暴露以太坊智能合约的漏洞之前,它已经在EthTrust项目上工作了将近一年。巧合的是,就在DeFi空间越来越受欢迎之际,ethstrust项目与企业以太坊联盟联合起来。

企业以太坊联盟执行董事丹尼尔•伯内特(Daniel Burnett)告诉Cointelegraph,新工作组的成立时间与DeFi的崛起纯属巧合。据伯内特称,新的EthTrust项目进一步证明以太坊网络正在成熟。他说:“我们希望帮助解决我们许多成员在以太坊方面所表达的问题,特别是,新的工作组计划通过创建一个标准和注册系统来解决智能合约中的安全漏洞,帮助用户更好地了解如何区分哪些合同已经失效通过严格的安全检查。虽然该项目仍在进行中,但其目标是定义智能合约必须展示的某些要求,以便被视为安全的。

例如,Pierre Alain Mouy,一位企业以太坊联盟成员,前ETA产品所有者和总经理德国NVISO安全部告诉Cointelegraph,智能合同可以实现三个级别的验证,以帮助个人了解其信任程度:

我们通过包括智能合同可以赚取的三个不同级别的徽章来证明其信任水平,从而启动了该项目。一级由一个智能合同组成,通过自动化工作。第二和第三级是人类手动审核,以确保合同安全和安全。

MOY共享,为了智能合同实现一级徽章,自动安全扫描工具将运行在合同上。AI驱动工具的设计目的是检查工作组当前定义的特定需求集。

“KDSP”如果智能合同继续达到二级,个人将执行安全审核。“审计公司将有定义,解释他们需要多长时间才能挖掘这些智能合同,”Mooy进一步补充说:“最终,将为工作组创建一份审计报告,供工作组手动审查。然而,我们不是审计员。工作组充当路由器,以验证是否已采取这些步骤。

最后,如果智能合同使其达到第三级,将执行为验证合同中属性而编写的附加规范和测试用例。据MOY介绍,这被称为“正式验证过程”。一旦智能合同经历了这一逐步验证过程,

将使交易所能够进行交换,例如,在列出新令牌之前,请求特定的评级级别。该系统还可以应用于一个多成员的联合体,该联盟依赖于智能合同,以实现商业目的。

对安全智能合同“KDSP”的兴趣日益增长,据林德曼称,EthTrust项目已经引起了希望看到新事物的日常以太坊用户的兴趣,如产量种植。他还表示,四大公司普华永道表示有兴趣使用该系统为对区块链空间感兴趣的公司提供智能合同评级。

“KDSP”随着以太坊基础设施的进展和承诺的好处,对安全智能合同的兴趣日益增长尤为重要以太坊2.0开始实现。Burnett认为,以太坊生态系统将看到信任的不断增强,这将由企业正在使用的新项目展示,例如基线协议正在进行的工作。

“KDSP”虽然创新,必须指出,企业以太坊联盟新工作组和EthTrust项目不是第一个应对与智能合同安全相关的挑战的企业。例如,区块链安全公司Quants坦普自2017年起一直在为区块链公司执行智能合同审计和安全检查。该公司的客户包括比纳斯和埃托罗等领域的主要参与者。广汽集团最近宣布,将对Polkadot区块链上的新的DeFi项目进行审计,

“KDSP”除了执行审计的安全公司外,公司也正在寻找方法确保智能合同的安全。例如,Vaiot是一家区块链公司,它使用人工智能为企业创建数字服务,它利用AI在智能合同中提供软件安全和性能。Vaiot的主要开发人员JakubKobeldys告诉Cointelegraph,虽然没有任何数量的AI能够完全保护代码缺陷,但该技术可以显著地帮助开发人员:

“无监督学习技术可以自动跟踪新的缺陷,或者至少缩小搜索范围,给人类专家一些提示。它还可能导致框架的更动态开发,从而帮助开发人员以安全的方式进行代码。

原创文章,作者:链大大,如若转载,请注明出处:http://www.chaindada.com/chain/25506.html