保护一个单体智能合约代码库不仅仅是一个代码审查任务;它是一个系统性的工程挑战。随着 DeFi 协议演变成借贷市场、收益聚合器和跨链桥的网状结构,线性地阅读代码不足以保证安全性。 对于企业级的安全性,线性扫描是一种负担。为了确保协议的偿...
这是 Certora 对该事件的分析,以及详细的时间表。 事件如何发生 Balancer 是一种去中心化交易协议,支持各种流动性池之间的代币交换。每个池由一组特定的代币(例如,WETH、wstETH)和一个由不变量管理的交换曲线(例如,...
平台、募资和代币经济学 概要 募资机制 目标 & 定价: 最高 10 亿美元,价格为 1 美元兑 10 FT (隐含价格 $0.10)。如果募资额低于 10 亿美元,FT 的铸造量将按比例减少。 通过永...
Hazeflow 是一家区块链研究公司。我们正在撰写关于区块链行业独特视角和观点的文章,并发布教育研究资料。 飞翔的郁金香:使用收益代替融资 一种新的加密融资模型,它使用收益来资助运营,并通过永久看跌期权来保护投资者。 1. 花费融资...