DeFi 用户应该向开发者提出的质询

过去几个月来,DeFi 生态经历了巨大的动荡,数次攻击之下,许多未被利用过的缺陷也被报道出来。

虽然代码中无可避免会有 bug,但还是有很多方法能降低缺陷发生的频率,以及降低缺陷带来的负面影响。

作为一个审计员,我们想要帮助 DeFi 用户问一些比较尖锐的问题;问这些问题的目的,一方面是让开发人员认真去考虑系统安全性的优先级,另一方面,让用户能分辨出回答得好的协议,然后把钱投入这些协议。

以下问题能帮助用户了解 DeFi 开发团队对于安全性的立场,答案不一定有对错之分,而且也不是每个团队(or 独立开发者)都有资源全盘顾及所有方面。但不论如何,用户有权利知道这些信息,来决定自己愿意承受的风险。

我们希望通过以下提问,促使后续开展更多正面的讨论。

管理员权限

大部分的主流 DeFi 协议都存在一些中心化的机制——允许特定的 “管理员” 地址以强硬的手段干预协议的运行。

这样做虽然在安全上有好处,但这意味着你必须相信这些 “管理员” 不会滥用他们的特权;而且但凡这些管理员遭到黑客攻击,他们的私钥泄露所带来的后果会更加严重。

管理员账户可以是以下几种形式:单一地址、多重签名钱包,或是由 DAO 管理的投票过程。那么,

1.管理员能采取哪些措施?

暂停整个系统?

修改账户余额?

设置 代币/用户 的 白名单/黑名单 ?

升级某个子系统?

升级整个系统?(等同于万能...)

其他权限?

2.如果采取上述行为,是否有延迟执行机制?

3.如果有延迟时间,那是多长?

4.多少人有管理员权限?

5.采取上述行为前,需要经过多少管理员同意?

6.有哪些权限是由链上治理程序(即 DAO)来掌控的吗?

7.我该去哪里了解提议更新协议的提案?

以上某些问题的回答已经可以通过 DefiWatch 跟踪了解。

外部依赖

因为是公开的网络,以太坊上充斥着不怀好意的攻击者,因此开发者不能假设本系统外的合约一定会采取什么样的行为。但在许多 DeFi 应用中又不得不作出这样的假设,因为服务本身就是在已有的一些合约上建构出来的。

这些问题能帮助用户了解该项目在外部依赖上存在的风险。

1.你的系统依赖什么预言机(Oracle)?

2.你的系统依赖什么交易所?

3.你用什么第三方智能合约(如,OpenZeppelin)来建立系统?

4.你的系统支持哪些代币,你对这些代币(合约)的行为模式有怎样的预期?

可靠的的披露系统和奖励计划

对于才华横溢的黑客来说,攻击 DeFi 协议对他们有着强大的金钱诱惑。制定奖励计划能激励大家发现并揭露漏洞,而非钻漏洞。对于白帽黑客来说,通过激励系统揭露代码漏洞也是提高自身声誉的好方法 —— 既有好处又不违法。

任何公司要运行 DeFi 协议,或是涉及在线托管金钱的业务,都应该设有奖励系统。你可以就他们的奖励计划及披露流程提出以下问题:

1.你们的合约代码能够被所有人看到吗?

2.从你们的网站和 git 代码库,能够很容易找到安全的联系方式吗?

3.你们的合约有没有设置奖励计划?

4.哪些合约在奖励计划内?

5.奖励计划具体金额是?

6.你们是否支付过奖励计划的奖金?

7.对于 bug 报告,你们是否曾拒绝支付过?

8.从你们的网站和 git 代码库,能够很容易地找到奖励计划的详细信息吗?

理想情况下,这些信息应该放在 “website.com/security” 页面下,而且能搭配 Github 的 SECURITY.md 功能使用。

应急预案

当面对某些安全突发状况的时候,新消息如潮水般涌来,用户持续在 Twitter、Telegram、Discord 上提出棘手的问题......,这时候开发者很难头脑清楚地应对突发状况。

所以如果有应急预案的话,就能证明项目正朝着安全方向发展。要求项目公开他们完整的计划可能不太现实,但我们还是能提出以下基础的问题去侧面了解:

1.你们是否有处理突发安全事件的计划提纲?

2.你们的应急预案适用于哪些紧急情况?

3.如果你们的系统是可升级的,这些升级步骤是否记录在案?

4.如果你们发现某个系统漏洞可能让资金面临风险,你们是否能通过应急预案先发制人,保护资金安全?

审计与安全发展

审计并非万灵丹,而且审计的内容总多多少少有点区别,但对于部署任何的 DeFi 合约之前,进行审计是至关重要的一步。

下面的问题不一定有 “正确答案”,但学识渊博的社区群众们,应该能从项目的回答中看出开发团队对于安全性的立场。

1.你们最近一次审计是什么时候?

2.这次审计投入了多少精力(以标准开发者的一小时来做单位)?

3.哪个机构做的审计?

4.审计报告公开吗?

5.你们系统中有任何部分是没有被涵盖在审计的范围内吗?

6.最近一次审计之后,你们有对合约进行更新吗?如果有,更新了什么?

7.你们有和哪个安全团队进行长期合作吗?

8.在合并代码之前,开发者会彼此做 code review 吗(至少检查 Solidity 文件)?

9.你们的合约代码中,做过单元测试的比重是多少?

10.审计过程中,你们用过其他的安全分析工具吗?

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

区块分享

TUSD金色观察 | 除了降息 央行们还做了什么?

为了挽救受疫情影响的国内经济,也为了应对原油价格暴跌带来的金融波动,各国央行纷纷行动,以美联储和澳联储为代表开始降息。 但恐慌情绪一旦出现,便一发不可收。从原油价格到美股熔断,从金价下跌到比特币跳水,这一个星期的全球金融市场都笼罩在一片阴霾之中。

屎币金色前哨 | 比特币或将更改广播的重播逻辑

近日,比特币核心开发人员Amiti Uttarwar正在努力修改比特币交易的重播逻辑,以增强网络的隐私功能,该提议的变更还将减轻黄昏攻击的风险。 Amiti Uttarwar是比特币核心团队的一个相对较新的成员,于2019年10月首次被聘为加密货币初创公司Xapo的比特币核心开发人员。

比特币金色趋势丨周线级别死叉 BTC进入阶段性熊市周期?

上图为BTC2018-2020年周线走势图,通过研究可以发现,每次周线MACD指标线形成死叉后,币价不久便迎来一波强势跳水行情,算上这一次,总共有四次出现瀑布行情,第一次是2018年BTC触顶牛市顶点开始回落的过程中死叉,价格直线下跌,跌幅高达50%,波动相当剧烈,第二次是18年11月,也是周线死叉,价格从6000美元腰斩至3000美元附近。

欧易交易所ETH自杀式跳水因Maker清算恐慌?这就是一场误会

刚刚,ETH从160美元附近自杀式跳水,跌幅超30%,最低下探至125美元,并带领其他币种集体下跌。 巧合的是,3小时前,BlockVC创始人徐英凯在微博表示:“讲一个恐怖故事,全球最大的DeFi项目MakerDao,若以太坊跌到160美金,就要开启大规模清算平仓了,不知道这会不会成为本轮下跌中的系统性风险。

[0:15ms0-0:531ms