本文由“Fairyproof Tech”原创,授权“金色财经”独家首发,转载请著名出处。
审计机构在审计合约风险时,通常会对发现的每个风险进行评级,评级的目的是为了让项目方对风险引起重视并对需要处理的风险及时采取行动;让读者尤其是用户对项目的风险有所了解,以便对投资进行客观地评估和决策。?
Fairyproof Tech在审计报告中通常根据风险的危险程度和需要解决的紧急程度将风险分为四级,分别为:致命风险、高危风险、中度风险和低风险。
致命风险是所有风险中等级最高的、最危险的,它需要项目方即刻解决,不能拖延。
高危风险在危险程度上仅次于致命风险,它极有可能给项目带来严重问题,也需要项目方解决。
独家 | BTC 24h 链上交易量上升13.1%:据欧科云链OKLink数据显示,BTC 24h链上活跃地址数总计1010524,较前日上升4.27%;链上交易量总计617519.49BTC,较前日上升13.1%;链上交易笔数总计346193,较前日上升0.23%;BTC链上活跃度上升。
截至上午10时,BTC全网算力约为124.6EH/s,较前日下降1EH/s,全网算力呈下降趋势。[2020/7/9]
中度风险相较于高危风险等级又次一级,它有可能给项目带来潜在问题,最终还是要项目方解决。
低风险是所有风险中级别最低的,通常它表现为一些细节问题、警告信息等,暂时来说这个等级的问题可以不用解决,但项目方最后在未来某个新版本中解决这类问题。
Fairyproof Tech在审计合约的过程中,对上述四个等级的风险都会进行严格的排查并密切和项目方合作,重点督促并要求项目方必须解决致命风险和高危风险,并对中度风险和低风险给出详实地反馈和改进计划,不过我们在审计报告中关于如何描述上述四个等级的风险经历了一个演变过程。
独家 | Bakkt期货合约数据一览:金色财经报道,Bakkt Volume Bot数据显示,4月16日,Bakkt比特币月度期货合约单日交易额为991万美元,环比上升63%,未平仓合约量为584万美元,环比下降8%。[2020/4/17]
之所以我们在报告描述中有这个演变过程是和Fairyproof Tech的审计方法及流程密切相关的。Fairyproof Tech的审计过程不仅是我们的工程师自己审阅代码的过程,更是我们工程师与项目方深度交流,密切合作的过程。
Fairyproof Tech会和每个合约项目方进行多个来回的交流及互动。每一次我们审完代码都会给项目方罗列所有的风险并给出整改建议。当项目方拿到我们的建议后需要对我们的建议给出反馈及修改结果。然后我们再对项目方修改过的合约进行重新审计。
独家 | OKEx高级分析师:杠杆ETF主要有两大风险:金色财经报道,近日,关于杠杆ETF的相关问题,金色财经独家采访了OKEx高级分析师William,William表示,杠杆ETF主要有两大风险,一是其本身的杠杆风险,二是由杠杆ETF逐日再平衡机制导致的资金损耗,并且在行情激烈震荡时,这个损耗是惊人的。具体而言,杠杆ETF的再平衡机制目的是保证基金的逐日收益要达到市场收益一定倍数,所以每日一定要调仓,这个调仓原理其实就是散户经常用的“追涨杀跌”,所以除单一上涨或下跌行情外,市场出现波动和震荡时,ETF一定会出现损耗,并且这个损耗是不可避免,是投资者必须承担的。即便是未来每隔一天上涨10%,第二天下跌1%的波动向上行情,也会出现损耗。所以未来有一天会出现这样一种情况:当BTC上涨下跌反复震荡又回到10,000美元的原点后,持有BTC现货或合约的投资者毫发无损,但购买杠杆ETF的投资者却已经损失惨重。因此在杠杆ETF中我们要重点关注一个位置:break-even盈亏平衡点,当标的资产价格回溯到这个位置时,杠杆ETF的累积收益率就会低于标的资产回报乘以杠杆的累积收益,如果标的资产价格返回原点,那么杠杆ETF将不可避免地亏损。[2020/2/20]
通过这样递进、深入、多次地审计,最终我们才出具一份完整的报告。
独家 | 布洛克资本宋厚达:ICO过程中乱象是必然:针对“ICO过程中出现的乱象是什么原因造成的”这一问题,金色财经独家采访到布洛克资本宋厚达表示:“在挑战人性的道路上,人类从来没有赢过。一个团队写个白皮书,单靠融资就能拿到几千万,大到几个亿,绝大多数人都会选择奢靡的生活,能踏实做事的少之又少。目前来看ICO的乱象其实也是在挑战人性中的贪嗔痴,所以乱象是必然。这是其一。其二,ICO的模式中,投资者和项目方是单次博弈关系,而且投资者完全处于信息不对称的弱势方,这就造成项目方拿到钱后没有后续的博弈机制来制衡项目方,项目方即使跑路投资者也没有任何办法,违约成本极低,而光靠道德的约束,必然是乱象丛生。其三,缺乏监管。面向公众进行ICO的项目应该具备一定条件,这本来应该是各国监管部门的职责,但由于ICO发展太快,政策来不及落地,各种圈钱的空气项目就冒了出来,直接导致政策的一刀切倾向。而游走在法律边缘的ICO,乱也是必然。”[2018/9/8]
在这个过程中,我们实际上审阅了项目方一路修订过程中的所有合约版本,并且会记录所有这些版本中出现的所有风险。
对此,在我们早期的报告中,我们会将审计过程中所有记录的风险无一例外地罗列,这其中就包括致命风险和高危风险。我们会要求所有被审计的项目方严格改进代码移除这两类风险,并会在所罗列的这两类风险后面备注项目方的改进方案和结果,项目方不消除这两类风险,我们是不会出具报告的。
但是我们发现很多读者在读这样描述的报告时会产生两个问题:
一是用户往往不注意看项目方对致命风险和高危风险的处理,误认为项目方的合约对存在的问题置之不理,由此判断项目为高风险。
二是当用户拿到这份冗长的报告时,没有耐心看完,如果不仔细读,看不出哪些问题是已经处理,哪些问题是待处理的,从而导致对项目产生更大的疑惑。
根据读者的上述反馈,我们逐步改进了报告的撰写方式如下:
一是对致命风险及高危风险不解决的项目,我们不出具报告;对中度风险和低风险无知悉、不反馈的项目我们不出具报告。
二是如果Fairyproof Tech出具审计报告,只在报告中罗列中度风险和低风险,并且项目方要对这两类风险有所反馈和改进计划。
我们这么处理主要的原因就是希望简化报告内容、突出报告重点,让用户一目了然,直击要害。
所以在后期Fairyproof Tech出具的审计报告中,读者通常只会看到中度风险和低风险的罗列而看不到致命风险和高危风险。
这并不表明合约从来没有致命风险和高危风险,而是表明即便有,项目方也在Fairyproof Tech地督促和建议下修改去除了这两类不能出现在合约中的风险。
作者:
Fairyproof TechCEO 谭粤飞
美国弗吉尼亚理工大学(Virginia Tech, Blacksburg, VA, USA) 工业工程(Industrial Engineering) 硕士(Master)。曾任美国硅谷半导体公司 AIBT Inc(San Jose, CA, USA) 软件工程师,负责底层控制系统的开发、设备制程的程序实现、算法的设计,并负责与台积电的全面技术对接和交流。自2011至今,从事嵌入式,互联网及区块链技术的研究,深圳大学创业学院《区块链概论》课程教师,中山大学区块链与智能中心客座研究员,广东省金融创新研究会常务理事 。个人拥有4项区块链相关专利、3本出版著作。
关于Fairyproof Tech:
Fairyproof Tech科技有限公司是一家专注区块链生态安全的公司。Fairyproof Tech科技主要通过“代码风险检测+逻辑风险检测“的一体化综合方案服务了诸多新兴知名项目。公司成立于2021年01月,团队由一支拥有丰富智能合约编程经验及网络安全经验的团队创建。
团队成员参与发起并提交了以太坊领域的多项标准草案,包括ERC-1646、ERC-2569、ERC-2794,其中ERC-2569 被以太坊团队正式收入。?
团队参与了多项以太坊项目的发起及构建,包括区块链平台、DAO组织、链上数据存储、去中心化交易所等项目, 并参与了多个项目的安全审计工作,在此基础上基于团队丰富的经验构建了完善的漏洞追踪及安全防范系统。
标签:TECTECHECHPROHuobi LitecoinECP TechnologyLeprechaun FinanceMirror Protocol
前言——Uniswap V3(如下简称 Uni V3)放出了很多 feature,然而其最为本质的迭代依然是对 AMM 数学曲线的再思考.
1900/1/1 0:00:00DeFi数据1.DeFi总市值:1091.08亿美元 市值前十币种排名数据来源DeFiboxDeFi总市值数据来源:Coingecko2.过去24小时去中心化交易所的交易量:29.
1900/1/1 0:00:00第二层 L2 去中心化组织(DAO)协议 Metis 警告称,市场中很多高人气 Optimistic Rollup 解决方案存在「严重问题」.
1900/1/1 0:00:00大家好,我是佩佩,小长假归来市场继续上扬,到今天加密市场的总市值加起来已经突破了2万亿,应该也有不少盆友体会到了躺赚的乐趣,现在的市场有多疯狂呢,BNB在今天又创下了新高.
1900/1/1 0:00:00数字经济的快速发展正让区块链技术迅速“走红”,在农业、产权、消费等领域应用价值不断凸显的背景下,我国越来越多省市也是纷纷加入到区块链发展的大军当中.
1900/1/1 0:00:00本文由欧易OKEx研究院原创,授权金色财经首发。近日,FIL的一路飞涨引起了市场的关注。欧易OKEx作为最早上线FIL永续合约的数字资产平台,一直关注FIL的实际运营与未来发展情况.
1900/1/1 0:00:00