月亮链 月亮链
Ctrl+D收藏月亮链

FAI:Fairyproof:在 EIP-4626 中的安全注意事项_FAIR

作者:

时间:1900/1/1 0:00:00

在DeFi应用程序FeiProtocol的联合创始人JoeySantoro的领导下,最近提出了一个EIP,用于为代币化保险库创建新的代币标准。它是EIP-4626。

尽管它刚刚在2021年12月提出,但很快就获得了以太坊社区的极大关注和大力支持,并据报道已被包括TribeDAO和RariCapitalDAO在内的一些DAO采用。

该EIP旨在解决代币化保险库现有实现中的一个痛点,即“代币化保险库缺乏标准化,导致实现细节多样化”。这个痛点使得标记化保险库的集成“在聚合器或插件层对于需要符合许多标准的协议很困难,并迫使每个协议实现自己的适配器,这些适配器容易出错并浪费开发资源”。

该EIP基于ERC-20,这是以太坊DeFi应用程序中广泛采用的标准,存在相当大的安全问题或风险,需要智能合约开发人员了解。

EthereumFair 社区提意见将 ETH 与 Doge 账本合并进行 Dogecoin 分叉:据EthereumFair推特消息,ETHF社区用户提议将当前ETHF的账本与Dogecoin的账本合并成为一条链,并且ETHF改名为DogeW,DogeW将成为以太坊用户于Dogecoin用户的合体,并且ETHF数量将于一个特定数量的DogeW进行互换,这也是当前行业未有的创新,不过是否技术能否实现以及其中有多少问题还有待考察。[2023/2/5 11:48:23]

作为一家区块链安全公司,Fairyproof的研究团队对ERC-20实施的问题或风险是否也可能引入ERC-4626非常感兴趣。我们研究了这个EIP,探索了可能的安全检查点,并想分享一些关于这些检查点的想法。

数据:以太坊分叉链EthereumFair交易量突破1000万笔:金色财经报道,据以太坊分叉链EthereumFair数据显示,其网络交易总量已突破1000万笔,本文撰写时达到10,904,695笔。此外,当前EthereumFair出块量为15,626,793个,平均出块时间12.7秒,当前网络钱包地址数为2,898,856个。[2022/10/12 10:32:39]

此EIP要求代币化保险库必须实现ERC-20来表示股份,并添加新接口以将股份转换为代币或将代币转换为可查看函数和传输函数中的股份。而这些新增的功能引入了需要我们注意的安全注意事项。

以下是基于此EIP实施标记化保管库时的安全注意事项列表:

恶意功能的实施

考虑一个符合此EIP定义的接口但不符合规范的保险库实现。这种情况经常发生在使用代理机制的rug-pulls中,并且代理接口似乎符合令牌标准,但实际上,真正的实现是恶意合约。

NFT铸造平台Fair.xyz与OpenSea合作推出灵魂绑定代币Minter Token:9月8日消息,针对创作者的NFT铸造平台Fair.xyz与OpenSea合作推出灵魂绑定代币Minter Token,以作为创作者与OG社区互动的新方式,它可直接集成到智能合约中,允许为NFT项目的铸币者构建封闭式体验,并兼容所有历史、现在和未来的NFT。其中用户可进行免费Claim,前500名免Gas费,同时可通过分享Minter Token以参与RTFKT赠品的抽奖活动。[2022/9/8 13:15:39]

因此,审计人员或用户需要在采取进一步行动之前仔细检查其实际实施情况。

支持EOA账户

EIP指出“如果实施者打算直接支持EOA账户访问,他们应该考虑添加额外的存款/铸币/提款/赎回函数调用,以适应滑点损失或意外的存款/提款限制”。

DeFi保险协议FairSide完成420万美元融资,Alameda Research等参投:11月18日消息,分散风险型DeFi保险协议FairSide 完成420万美元融资,Alameda Research、Dominance Ventures、Jump Capital、Figment Capital和Daedalus等参投,所筹资金将用于进一步开发其DeFi保险协议。

注:FairSide 旨在为成员提供全面保险,涵盖多个区块链、项目和损失类型,加密货币持有者将不再需要管理多个保单、支付大量保费或等待创建池以获得保险,通过FairSide独特的产品,成员无需购买特定的项目保单即可自动获得保险。[2021/11/18 22:01:58]

除了滑点损失和意外的存款/取款限制外,还有另一种常见的情况:代币在转账时被烧毁。一些DeFi应用程序使用这种机制来减少其代币的流通供应量并抬高代币的价格。

两名捐赠者在向暗网链接提供商dark.fail捐款后账户被冻结:据Cointelegraph报道,暗网链接提供商dark.fail管理员表示,两名比特币捐赠者在向dark.fail捐款后,账户被交易所冻结,原因是交易所实施了Chainalysis的新KYT(了解您的交易)区块链监控服务。[2021/2/10 19:24:20]

我们建议ERC-4626保险库不允许将此类代币存入保险库。

使用接口作为预言机

EIP声明“预览方法返回的值尽可能接近精确。出于这个原因,它们可以通过改变链上条件来操纵,并且并不总是可以安全地用作价格预言机。”?,并且“将转换方法实施为使用时间加权平均价格在资产和股票之间转换是正确的。”?

加密空间中预言机最流行的用例是使用它们来获取代币的价格,但智能合约需要的任何信息都可能依赖于预言机。因此,返回信息的预览方法也可以用作预言机。尽管这似乎没有重要的用例,但就目前而言,这个列出的潜在问题需要我们注意。减轻链上信息被操纵风险的一种流行方法是使用Uniswap引入的时间加权平均算法。

舍入问题

Vault实施者需要仔细处理计算Vault份额或代币数量以及将份额转换为资产或将资产转换为份额的接口的舍入方向。

规范建议,在计算向用户发行的股份的标的代币数量时,他/她为他/她返回的一定数量的股份提供或发送给他/她的标的代币的数量,它应该向下舍入。

在计算用户必须提供以接收特定数量的基础代币的数量或用户必须提供以接收特定数量的股份的基础代币数量时,它应该四舍五入。

在计算converTo函数中的股份数量或基础令牌时,规范要求保险库实施者向下舍入以确保所有ERC-4626保险库实施的一致性。

这些建议和要求确保始终有足够数量的底层代币用于转移。这是审计人员在审计基于此EIP的保险库实施时需要注意的事项。

-代币兼容性问题

该EIP特别提到了ERC-20代币标准。它是实现可替代代币的最广泛采用的代币标准。然而,在我们过去的审计经验中,我们也审计了一些基于替代以太坊代币标准实施的可替代代币。

这些替代代币标准与ERC-20代币兼容,但存在一些差异。

让我们以EIP-777令牌标准为例。令牌标准允许实现者使用注册表来查找接口。如果注册表有错误,任何依赖它的东西都会产生不利影响。此功能引入的一个常见问题是重入风险。

因此,可能存在两种我们需要注意的场景。

第一种情况是基于ERC-20兼容但替代标准实施的保险库。第二个是ERC-4626值,它与与ERC-20兼容但基于替代令牌标准实施的令牌交互。

在这两种情况下,替代代币标准都可能带来问题或风险。并且应仔细审查和审核基于替代标准的实施。

结束语:

在本文中,我们列出了在审核基于ERC-4626的保险库时的一些可能的安全注意事项。其中一些考虑因素已在EIP中提及,其他考虑因素是根据我们的审计经验列出的。

我们希望我们的初步建议能给实施者、用户和审计员一些关于如何安全和安全地处理ERC-4626保险库的粗略想法。

参考:

EIP-4626:代币化保险库标准,https?://eips.ethereum.org/EIPS/eip-46262021年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

SamreenNF,AlalfiMH.以太坊智能合约中的重入漏洞识别//2020IEEE面向区块链的软件工程国际研讨会。IEEE,2020:22-29。

标签:FAIETHAIRFAIRNFAItogetherbnb全部攻略EthereumFairfair币价格今日行情

中币交易所热门资讯
元宇宙:一文了解投资元宇宙的 7 大方法_NFT STARS

过去几个月里,元宇宙这个词已经让人听到耳朵起茧了,这是一个热门话题,大公司和知名投资者都在押注它的未来。如果您也浸加密货币和NFT圈子已久,应该能看到这个词每天被无数次引用.

1900/1/1 0:00:00
区块链:中国NFT维权第一案背后的制胜法宝原来是它_GATE

4月20日,全国首例NFT维权案件在杭州互联网法院正式宣判。这一判决紧随“三协会倡议”之后,具有里程碑式意义.

1900/1/1 0:00:00
WEB:产品增长框架:从 Web2 到 Web3_PEPECOIN价格

这是一系列探讨Web3的创始人和建设者如何使用一些Web2增长框架来扩展成功产品的文章。Web3的增长模式为Web3创建一个持久的增长战略建立你的Web3增长团队2021年是加密货币和区块链公司.

1900/1/1 0:00:00
区块链:金色观察丨为什么说去中心化计算云会是下一个Web 3新赛道?_WEB3

金色财经区块链4月23日讯??受全球新冠病疫情影响,企业、学校、政府等各类组织机构对云计算解决方案的需求大幅增加,全球数字业务转型进入到了更具挑战和紧迫的阶段.

1900/1/1 0:00:00
稳定币:链上多维度数据对比 谁在稳定币大战拔得头筹?_busd币今日行情

USDC在许多链上数据维度都大幅领先,但稳定币赛道可能只处于长期竞赛的早期阶段。虽然NFT、DeFi和DAO在过去几年中占据了加密货币的中心舞台,但稳定币一直在后台悄悄增长.

1900/1/1 0:00:00
NFT:中国NFT侵权第一案背后:Bigverse NFT最高挂售20亿元_VERS

深度 行业律师表示,此案是中国NFT侵权第一案,对NFT领域的知识产权合规和维权有着非常重要的借鉴意义.

1900/1/1 0:00:00