在 DeFi 应用程序 Fei Protocol 的联合创始人 Joey Santoro 的领导下,最近提出了一个 EIP,用于为代币化保险库创建新的代币标准。它是 EIP-4626。
尽管它刚刚在 2021 年 12 月提出,但很快就获得了以太坊社区的极大关注和大力支持,并据报道已被包括 Tribe DAO 和 Rari Capital DAO 在内的一些 DAO 采用。
该 EIP 旨在解决代币化保险库现有实现中的一个痛点,即“代币化保险库缺乏标准化,导致实现细节多样化”。这个痛点使得标记化保险库的集成“在聚合器或插件层对于需要符合许多标准的协议很困难,并迫使每个协议实现自己的适配器,这些适配器容易出错并浪费开发资源”。
该 EIP 基于 ERC-20,这是以太坊 DeFi 应用程序中广泛采用的标准,存在相当大的安全问题或风险,需要智能合约开发人员了解。
Ethereum Fair 宣布推出 ETF Grant 及生态激励计划:9月20日消息,目前 Ethereum Fair 官方宣布推出生态激励计划以及ETF Grant。ETF Grant 将对生态项目进行资助,通过资助优质项目实现资源的管理和利用,持续为优质项目提供全面资金和技术支持,重点资助与Ethereum Fair生态相关的开发和研究工作,Grant 计划将在 Web3 和ETF生态发展中产生长期的积极影响。[2022/9/20 7:08:43]
作为一家区块链安全公司,Fairyproof 的研究团队对 ERC-20 实施的问题或风险是否也可能引入 ERC-4626 非常感兴趣。我们研究了这个 EIP,探索了可能的安全检查点,并想分享一些关于这些检查点的想法。
此 EIP 要求代币化保险库必须实现 ERC-20 来表示股份,并添加新接口以将股份转换为代币或将代币转换为可查看函数和传输函数中的股份。而这些新增的功能引入了需要我们注意的安全注意事项。
Findora宣布为FairySwap推出300万美元的流动性计划:据官方消息,近日,隐私公链Findora宣布为FairySwap推出300万美元的流动性计划,该计划将支持FairySwap建立隐私保护和防抢跑攻击的新型DEX 。Findora 是一个专为可编程隐私而设计的公共区块链,FairySwap是 Findora主网第一个上线的并以隐私为核心的DEX。
据悉,这是Findora生态系统1亿美元基金的首批赠款之一,该基金旨在支持在 Findora上构建保护隐私的Dapps。[2022/3/17 14:02:28]
以下是基于此 EIP 实施标记化保管库时的安全注意事项列表:
恶意功能的实施
考虑一个符合此 EIP 定义的接口但不符合规范的保险库实现。这种情况经常发生在使用代理机制的 rug-pulls 中,并且代理接口似乎符合令牌标准,但实际上,真正的实现是恶意合约。
Coinbase将收购受到美国CFTC监管的衍生品交易所FairX:1月13日消息,Coinbase在博客宣布正在收购加密衍生品交易所FairX,据称FairX受美国商品期货委员会(CFTC)监管。Coinbase表示,此次收购是其向美国零售和机构客户提供加密衍生品的关键一步。Coinbase称,此次收购完成后,计划先为FairX现有的合作伙伴生态系统提供衍生品交易功能,之后再利用FairX的基础设施向美国所有Coinbase客户提供加密衍生品。据悉,收购预计在今年第一财政季度完成。(Coinbase)[2022/1/13 8:45:50]
因此,审计人员或用户需要在采取进一步行动之前仔细检查其实际实施情况。
支持 EOA 账户
EIP 指出“如果实施者打算直接支持 EOA 账户访问,他们应该考虑添加额外的存款/铸币/提款/赎回函数调用,以适应滑点损失或意外的存款/提款限制”。
动态 | 资金盘 Fair Win 及仿盘导致以太坊连日拥堵:近日多个以太坊资金盘 DAPP 因为玩法创新吸引了大批玩家涌入,有的资金盘加入了 Fomo 倒计时属性,有的资金盘则加入了等级机制,烧伤机制,这些功能导致以太坊区块链拥堵,待确认交易数量曾经达到今年历史最高值的 12 万。导致以太坊区块链上周拥堵的DAPP名叫 Fair Win,到目前为止该资金盘游戏合约内共计 51.5 万 ETH,约合人民币7.5 亿元。该游戏的热度甚至超过了2018 年7月份让以太坊网络拥堵的 DAPP——Fomo3D。(区块律动)[2019/9/23]
除了滑点损失和意外的存款/取款限制外,还有另一种常见的情况:代币在转账时被烧毁。一些 DeFi 应用程序使用这种机制来减少其代币的流通供应量并抬高代币的价格。
我们建议 ERC-4626 保险库不允许将此类代币存入保险库。
动态 | Mercatox交易所遭hard_fail攻击:今天下午18:43-19:05,PeckShield安全盾风控平台DAppShield监测到黑客向Mercatox交易所发起连续攻击,获利数千枚EOS。PeckShield安全人员初步分析发现,黑客利用失败的(hard_fail)转账交易过交易所服务器。PeckShield安全人员在此提醒,开发者应在合约上线前做好安全测试,必要时可寻求第三方安全公司协助,帮助其完成合约上线前攻击测试及基础安全防御部署。[2019/3/15]
使用接口作为预言机
EIP 声明“预览方法返回的值尽可能接近精确。出于这个原因,它们可以通过改变链上条件来操纵,并且并不总是可以安全地用作价格预言机。”?,并且“将转换方法实施为使用时间加权平均价格在资产和股票之间转换是正确的。”?
加密空间中预言机最流行的用例是使用它们来获取代币的价格,但智能合约需要的任何信息都可能依赖于预言机。因此,返回信息的预览方法也可以用作预言机。尽管这似乎没有重要的用例,但就目前而言,这个列出的潜在问题需要我们注意。减轻链上信息被操纵风险的一种流行方法是使用 Uniswap 引入的时间加权平均算法。
舍入问题
Vault 实施者需要仔细处理计算 Vault 份额或代币数量以及将份额转换为资产或将资产转换为份额的接口的舍入方向。
规范建议,在计算向用户发行的股份的标的代币数量时,他/她为他/她返回的一定数量的股份提供或发送给他/她的标的代币的数量,它应该向下舍入。
在计算用户必须提供以接收特定数量的基础代币的数量或用户必须提供以接收特定数量的股份的基础代币数量时,它应该四舍五入。
在计算 converTo 函数中的股份数量或基础令牌时,规范要求保险库实施者向下舍入以确保所有 ERC-4626 保险库实施的一致性。
这些建议和要求确保始终有足够数量的底层代币用于转移。这是审计人员在审计基于此 EIP 的保险库实施时需要注意的事项。
- 代币兼容性问题
该 EIP 特别提到了 ERC-20 代币标准。它是实现可替代代币的最广泛采用的代币标准。然而,在我们过去的审计经验中,我们也审计了一些基于替代以太坊代币标准(如 EIP-777)实施的可替代代币。
这些替代代币标准与 ERC-20 代币兼容,但存在一些差异。
让我们以 EIP-777 令牌标准为例。令牌标准允许实现者使用注册表来查找接口。如果注册表有错误,任何依赖它的东西都会产生不利影响。此功能引入的一个常见问题是重入风险 。
因此,可能存在两种我们需要注意的场景。
第一种情况是基于 ERC-20 兼容但替代标准实施的保险库。第二个是 ERC-4626 值,它与与 ERC-20 兼容但基于替代令牌标准实施的令牌交互。
在这两种情况下,替代代币标准都可能带来问题或风险。并且应仔细审查和审核基于替代标准的实施。
结束语:
在本文中,我们列出了在审核基于 ERC-4626 的保险库时的一些可能的安全注意事项。其中一些考虑因素已在 EIP 中提及,其他考虑因素是根据我们的审计经验列出的。
我们希望我们的初步建议能给实施者、用户和审计员一些关于如何安全和安全地处理 ERC-4626 保险库的粗略想法。
参考:
EIP-4626:代币化保险库标准,https?://eips.ethereum.org/EIPS/eip-4626 2021 年 12 月 22 日
去中心化自治组织,https://ethereum.org/en/dao/
部落,https://docs.fei.money/governance/tribe
瑞瑞资本,http: //rari.capital/
ERC-20 代币标准,https://ethereum.org/en/developers/docs/standards/tokens/erc-20/
Uniswap,https: //uniswap.org/
EIP-777:代币标准,https ://eips.ethereum.org/EIPS/eip-777
Samreen NF, Alalfi M H. 以太坊智能合约中的重入漏洞识别[C]//2020 IEEE 面向区块链的软件工程国际研讨会(IWBOSE)。IEEE,2020:22-29。
标签:FAIFAIRAIR以太坊WFAI价格FAIR价格Shiba Floki Trillionaire以太坊币今日价格行情非小号
稳定币简史DAI 的崛起DAI 如何保持挂钩4pool 对 DAI 的影响稳定币现在是去中心化金融 (DeFi) 经济的基石。没有前者,后者不太可能以目前的方式运作.
1900/1/1 0:00:00迈阿密温暖的微风吹动着棕榈树,整个街区都被紫色的灯光淹没。现在是晚上10点半多一点,位于以壁画闻名的艺术社区Wynwood。一小群人从一个紫色的大拱门下经过,然后通过严格的安检.
1900/1/1 0:00:00从PoW(工作量证明)机制转向PoS(权益证明)机制的以太坊合并已被推迟至今年的下半年,最早可能在第三季度.
1900/1/1 0:00:00科幻小说作家阿西莫夫的两条规则:一个人不得伤害另一个人,或因不作为而允许另一个人受到伤害。人类应避免可能导致其自身受到伤害的行为或情况。在我看来,加密货币监管根本不可行.
1900/1/1 0:00:00NFT(Non-FungibleToken,非同质化通证)潜藏的金融风险正备受重视。日前,中国互联网金融协会、中国银行业协会、中国证券业协会联合发布了“关于防范NFT相关金融风险的倡议”(以下简.
1900/1/1 0:00:00对于任何一家软件公司来说,安全问题从根本上来说都是一个困难和不对称的问题。在这一方面没什么灵丹妙药 —— 仅在上个月,就有几家技术公司出现了明显的漏洞 (e.g. Okta, HubSpot).
1900/1/1 0:00:00