NCE:CertiK：Keep3r项目中心化风险漏洞分析

北京时间2020年11月20日，Telegram社群出现某些截图声称Keep3rLink接受了CertiK的审计服务。在此，CertiK郑重声明：CertiK团队从未对"Keep3rLink"项目进行过任何审计。同日，CertiK安全研究团队发现Keep3r项目存在中心化安全风险。项目拥有者拥有过大权限，可将允许奖励的限制提高，从而可以向任意参与者发送任意数额的奖励且可向任意地址铸造任意数目代币。项目风险及相关细节

Keep3rV1：代码地址：https://github.com/部署地址：https://etherscan.io/Keep3rV1Helper：代码地址：https://github.com/keep3r-network/keep3r.network/blob/master/contracts/Keep3rV1Helper.sol部署地址：https://etherscan.io/address/0x93747c4260e64507a213b4016e1d435c9928617f如下图图一所示，Keep3r项目的Keep3rV1智能合约中定义了两个角色：governance与pendingGovernance。1178行setGovernance()函数允许当前governance角色将pendingGovernance角色设定为任意给定地址_governance。同时在1186行acceptGovernance()函数中，当前pendingGovernance可以将自己授权为governance角色。因此从逻辑上governance角色与pendingGovernance角色可以循环授权，且没有任何event事件可以提醒投资者governance角色与pendingGovernance角色的变更。此时，项目拥有者可以随意设置拥有两个角色的地址。

CertiK完成对蚂蚁集团可信执行环境HyperEnclave的先进形式化验证:金色财经报道，CertiK宣布完成对蚂蚁集团开放式跨平台可信执行环境（TEE）HyperEnclave的先进形式化验证。蚂蚁集团的可信原生技术团队开发了开放跨平台软件可信执行环境HyperEnclave，旨在提高蚂蚁集团隐私保护计算工作负载的效率和兼容性。CertiK通过其独有的先进形式化验证技术，验证了HyperEnclave核心组件的安全性和技术正确性。[2023/7/26 15:59:27]

图一：governance、pendingGovernance角色以及KPRH设置函数setKeep3rHelper()一旦拥有governance角色，拥有角色的地址可以利用图一中1169行setKeep3rHelper()函数对当前KPRH指向的Keep3rHelper智能合约进行修改。修改之后图二中1076行KPRH.getQuoteLimit()的具体实现就也极有可能被修改，接下来会返回给调用该函数的Keep3rV1合约不同的返回值。

安全机构：Gate.io蝉联CER全球交易平台安全测评第一名:根据国际第三方安全机构CER 8月最新交易所安全测评排名显示，Gate.io的网络安全分数升至9.65分，蝉联CER全球交易平台安全测评第一名，同时获评全球最值得信任的20个交易平台称号首位，在CER、CoinGecko等多个榜单中位居榜首。此前7月，Gate.io已在该评分中获得9.38分，在全球100个交易平台中排名第一。CER成立于2018年，是业内第一个公开批评现有交易量指标的加密货币交易所排名平台，其安全标准被CoinGecko、CoinMarketCap等权威行情网站所广泛使用。[2020/9/1]

图二：对某个用户keeper进行奖励的函数workReceipt()项目拥有者如果考虑发动攻击，由于拥有governance角色，因此可以首先调用图三中addKPRCredit()函数。在916行对某一个job的地址给与任意数目的信用数目credit。之后可以部署一个新的Keep3rHelper智能合约，然后在该智能合约中的将getQuoteLimit方法定义为返回uint类型变量的最大值。然后项目拥有者可以使用ADDR_A的地址来调用图1中setKeep3rHelper()函数，将KPRH值指向给定的Keep3rHelper智能合约。最终调用图二中workReceipt()函数，由于1076行代码由于KPRH.getQuoteLimit()函数被指定返回最大值的缘故必定通过。在1077行中由于项目拥有者使用ADDR_A的地址来进行的调用，其在该智能合约中拥有的信用数目为CREDIT_A，因此amount的数目可以为略小于CREDIT_A的任意值。当通过1077行之后，amount的奖励数目被给与keeper的地址。最终该keeper可以调用合同内部的ERC20的转移函数，将获得的奖励转移到自己给定的地址中，完成攻击行为。

Balancer批准三项流动性挖矿相关提案:上周末，Balancer对其新的治理提案进行了第一轮投票，三份提案都得到了利益相关者的批准。据悉，自动流动性和资产管理协议每周为向Balancer平台提供流动性的人分配145000 BAL。代币分配与每个地址的流动性贡献对应。为了得出一个管理分配的公式，Balancer上周发布了其最小治理工具，并就这一计算结果提出了三项提案。

第一个提案被称为“balFactor”，鼓励持有者使用他们的BAL代币来获得流动性，而不仅仅是兑现；第二项提案是通过降低对高收费池的挖矿处罚来修改“feeFactor”；第三项提案是将“wrapFactor”定为0.7，来应用于每对软锚定代币的流动性，以吸引更多有用的流动性加入协议。（BeInCrypto）[2020/7/20]

声音 | 巴西医生Bettina Grajcer：未来健康行业将使用区块链技术共享医疗数据:据Cointelegraph 12月7日消息，巴西商人兼医生Bettina Grajcer在最近发文表示，健康行业正经历着独特的转型时刻，未来的趋势将是使用区块链等技术。她表示，将来应使用区块链共享医疗数据。[2019/12/8]

图三：对某个job增加信用数目credit的函数addKPRCredit()除了上文讲述的中心化风险漏洞之外，图四中的mint()允许为governance角色的地址铸造任意数目的代币。由于governance角色的地址可以通过图一中的setGovernance()函数以及acceptGovernance()进行设置。也就代表着项目管理者只要拥有governanvce角色，即可以通过重设governance角色地址的方式，向任意地址铸造任意数目的代币。

动态 | 新型勒索病CerBer2019要求受害者支付1比特币:据腾讯御见威胁情报中心消息，近日监测到一款新型勒索病CerBer2019，该勒索病已有部分企业用户中招。与其它勒索病不同的是，该病除加密常见文件类型外，还会把其他勒索病(如：WannaCry，Crysis)加密过的文件再次加密。勒索文档要求受害者24小时内支付1比特币解密，超过36小时则销毁文件加密密钥。[2019/1/24]

图四：允许governance角色随意铸造代币的函数mint()通过查询etherscan上Keep3rV1智能合约的数据，图五显示Keep3rV1拥有者地址为0x2d407ddb06311396fe14d4b49da5f0471447d45c。同时，如图六显示，北京时间11月20日早11点governance角色的地址也为0x2d407ddb06311396fe14d4b49da5f0471447d45c。可以得知项目拥有者拥有governance角色权限，因此有权限可以通过上述中心化漏洞进行攻击并获利。

图五：Keep3rV1智能合约拥有者等相关信息

图六：governance角色地址总结

区块链作为时代颠覆性的核心技术，也已在各个领域得到了广泛的应用，隐藏在收益和利好之下的安全隐患也不应被忽视。安全审计现在已经是高质量项目的标配。若项目没有被审计，对于用户来说，投资行为则要格外慎重；对于项目方来说，则需要准备好相关资料并寻找专业并且声誉好的审计公司进行审计。若项目被审计过，则需尽量了解审计公司背景以及其审计报告中的各项指标。CertiK采用形式化验证工具来证明智能合约可靠性，公司内部审计专家将利用包括形式化验证在内的多种软件测试方法，结合一流的白帽黑客团队提供专业渗透测试，从而确保项目从前端到智能合约整体的安全性。近期，有部分项目方假借CertiK的名义发布不实审计报告。首先，CertiK很感谢项目方对我们的认可。但项目方应对项目的发展负责，一份完整且符合安全标准的安全审计报告不可或缺，如您有审计需求，欢迎点击CertiK公众号底部对话框，留言免费获取咨询及报价！CertiK在此提示：任何与CertiK审计相关的消息，请仔细甄别。切勿轻信相关不实内容，并请以CertiK官方或权威媒体发布的消息为准。

标签：NCEANCCERVER币安binance交易所oolongfinanceGoCerberusClover42

USDT热门资讯