由于区块链具有不可篡改的特点,智能合约一旦发布极难修改,合约的安全也决定了区块链的安全。智能合约本质上是代码程序,难免会有考虑缺失导致的漏洞。合约安全威胁?主要包括可重入攻击、调用深度攻击、交易顺序依赖攻击、整数溢出攻击等。为保障智能合约的安全,应保证开发安全和全面的安全审计。?
欧易Web3钱包接入以太坊分叉链ETF:据欧易官方公告显示,欧易Web3钱包已于2022 年 09 月 16 日 19:00 (HKT) 接入以太坊分叉链 ETF。
据悉,欧易Web3钱包最全面的异构多链钱包,包含数字货币钱包、DEX、NFT 市场、DApp探索4大板块。已完成以太坊分叉链ETHW、ETF接入,用户无需手动配置即可在欧易Web3钱包查看、管理个人链上资产。[2022/9/16 7:01:43]
安全开发
Polygon宣布与加密托管技术Fireblocks、代币化解決方案Tokenys正式合作:8月30日消息,Polygon宣布与加密托管技术Fireblocks、代币化解決方案TokenySolutions正式达成合作关系,将共同使用Polygon的ERC3643以提供企业级代币化解決方案。并表示数字证券、稳定币等机构可以依靠Fireblocks和Tokenys作为技术支持,以确保合规性、安全性和可控性。[2022/8/31 12:58:40]
智能合约安全开发包括开发工具、编译工具及安全编程规范等方面的保障。
美立法者新提案要求明确2021年基础设施法中的“经纪人”定义:8月4日消息,在美国参议员Pat Toomey、Mark Warner、Cynthia Lummis、Kyrsten Sinema和Rob Portman等人的支持下,数名两党立法者提出新法案,要求明确2021年基础设施法中的“经纪人(broker)”定义,法案将排除矿工、钱包提供商、网络验证者和其他可能没有所需纳税申报信息的组织。
新法案与去年拟议的Wyden-Toomey-Lummis修正案相似,当时参议院正在审议《基础设施投资和就业法案》,但Wyden-Toomey-Lummis修正案最终未获得通过。[2022/8/4 2:58:26]
a.智能合约应采用规范的工具进行开发和编译,使用安全统一的编译器和链?接器选项,以便保证编译器所提供的最新的安全保护机制。同时,应使用同一来?源的开发工具集,避免攻击者在软件供应链中植入恶意代码。?b.智能合约的编写应基于严格的安全编程规范。常见的安全编码规范包括弃?用一些存在注入或内存破坏危险的第三方函数,采用智能合约的?checks-effects-interactions原则进行合约编写等。?c.在智能合约编码中尽可能少地暴露被外部调用的接口。建议采用进程间隔?离的技术将智能合约进程与系统隔离,通过socket通信方式远程调用智能合约。
安全审计
在发布智能合约之前,做好全面的安全审计工作,有效防范已知风险。第一,?选择对应的虚拟机语言扫描工具对合约代码进行静态扫描,扫描事先建模的漏洞?类型;第二,为了避免静态扫描可能产生误报的情况,应邀请安全专家进行交互?式代码审计,避免重入攻击、未授权访问攻击、Solidity开发安全等。
安全测试
智能合约部署前必须经过大量的测试,在模拟环境中对智能合约进行攻击测试,挖掘可被利用的漏洞。
来源:金色财经
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。