月亮链 月亮链
Ctrl+D收藏月亮链
首页 > BNB > 正文

区块链:智能合约审计是区块链行业安全运作的清道夫_TOM

作者:

时间:1900/1/1 0:00:00

圈内一天,圈外一年。随着区块链平台及各种应用的落地,智能合约(SmartContract)涉及的金额呈指数级增长。一直以来,智能合约的安全问题都是投资者和开发者共同关注的焦点。据报道,仅在2020年,在122起区块链黑客攻击事件中,已经导致了38亿美金的的损失。

智能合约是一种旨在以信息化方式传播、验证或执行合同的计算机协议,允许在没有第三方的情况下进行可信交易,这些交易可追踪且不可逆转。智能合约做为电子合约、去中心化仲裁和合约间交互的一个结合,会产生大量的资金往来。如果出现重大漏洞,资产损失将不可避免,甚至项目会就此彻底失去用户信任。因此,DApp需要更严谨的测试和审计。

Fantom部署智能合约监控系统Watchdog:10月27日消息,Fantom 部署了一个名为 Watchdog 的自动化智能合约监控系统,以加强其区块链上去中心化应用程序的安全性。Fantom 基金会在一份声明中表示,该系统是与区块链安全公司 Debaub 合作开发。Watchdog 将自动扫描 Fantom 生态系统中智能合约的问题。一旦发现漏洞,安全公司 Dedaub 将通知项目方,并协助项目方分析风险,支持项目组及时修复漏洞。[2022/10/27 11:50:04]

形式化验证是指用数学方法去证明系统无Bug。在以前更多见于硬件设计领域。因为硬件设计周期长,一旦生产出来就很难改动。如果直接用一台机器去做各种试验,成本是很高的。但是如果用数学去构建一台虚拟机去验证,可以做到论证充分,同时又没有太高的成本。这个过程叫做数学论证建模,也就是我们说的形式化验证。我们最近研究了一些保护我们智能合约的专业机构与项目:

动态 | BM提交智能合约代码 取消增发的4%奖励:据IMEOS报道,11小时前,BM在EOS的智能合约代码库中提交了更新,添加了移除4%通胀的hash表,该更新将停止向eosio.savings账户发送增发的4%。在该版本变动中,BM表示:如果社区将来希望有这种通胀,它可以实现。但是现在它只是生产了大量的闲置EOS代币,这是不必要的工作。

注:智能合约的升级需要超过15个BP投票同意,才可生效。[2018/8/8]

BAI智能合约存在和EDU一样的漏洞:据慢雾区披露,BAI智能合约存在和EDU一样的漏洞,可转走任意账户里的BAI Token。目前发现也有大量洗劫行为,请冷静并关注项目方官方公告。[2018/5/24]

智能合约审计项目/公司一览

软件避免出bug的方法是测试,测试代码中其实会模拟一些输入和输出情况来保证逻辑通顺。如今DeFi正在飞速发展,相比之下,形式化验证就是加强化测试,用数学论证,保证逻辑通畅。在区块链领域,代码即法律,代码控制着我们的数字身份,控制着我们智能合约中的资金。但是智能合约要避免被黑客攻击,其安全审计又是如何进行的呢?

如今,区块链虽然仍处于早期,但其快速的发展,已经引起了越来越多的社会关注,黑客是其中一个群体。为了避免黑客事件的发生,交易所、钱包、项目方等都在智能合约安全上加大投入。围绕着智能合约安全的周边生态建设也成为投资热点。与此同时,开发人员也开始了对智能合约程序逻辑无误的探索,从源头改进形式化验证的核心,即提升数学逻辑的准确性,以求建立更为高效的区块链基础。目前OCaml、Haskell、?ternity等数学模型论证函数式编程语言已逐渐应用于区块链世界,使一些分布式分类账协议和智能合约很大程度上获得可扩展性、稳定性和容错性。在我们看来,数学逻辑论证是就是守卫DeFi或是整个区块链行业安全运作的清道夫,未来随着区块链加密行业的逐步发展和完善,数学逻辑论证将或成为其中关键。

标签:区块链EOSTOMFANT区块链域名EOS TrustConnectomeFANT币

BNB热门资讯
NFT:2021年是NFT之年,盘点十大值得重点关注的NFT项目_LAND

编者按:原文来自Yahoo,作者?InsiderMonkey;由Odaily星球日报秦晓峰编译,转载时请务必注明出处。 2020年,加密金融全面复苏,最重要的议题就是?DeFi.

1900/1/1 0:00:00
COIN:Coinbase早期投资者及高管已抛售价值超46亿美元COIN股票_YOBASE币

4月18日,资本市场实验室的数据,并经Coinbase投资者关系网站上的文件证实,COIN直接上市后不久内部人士共售出12,965,079股股票,按周五收盘价计.

1900/1/1 0:00:00
以太坊:晚间必读5篇 | 7个指标帮你判断下车的时机_XDAO

1.ETH创新高Gas月内降幅超40%以太坊不堵了吗?截至发稿,比特币价格62965.88美元,以太坊报价2222.35美元,双双创下历史最高纪录.

1900/1/1 0:00:00
比特币:观察|观点:Coinbase市值近150万BTC 被严重高估_TTMC Coin

Coinbase在纳斯达克直接上市交易,收盘时股价为554212聪。Coinbase流通股为2.613亿股,因此其市值达到147.5878万枚BTC.

1900/1/1 0:00:00
PPL:Ripple首席技术官:美国还没有准备好监管加密货币等新兴行业_XRP

RippleLabs首席技术官DavidSchwartz表示,美国监管机构对加密货币行业的反应最终可能会帮助XRP,但也可能会伤害新兴公司.

1900/1/1 0:00:00
OIN:Coinbase即将登台亮相 能否“惊艳”华尔街?_NBA币

原标题:Coinbase明日登台亮相,能否“惊艳”华尔街?据CNBC报道,当数字货币交易所Coinbase在周三上市时,其估值将达到天文数字.

1900/1/1 0:00:00