保护一个单体智能合约代码库不仅仅是一个代码审查任务；它是一个系统性的工程挑战。随着 DeFi 协议演变成借贷市场、收益聚合器和跨链桥的网状结构，线性地阅读代码不足以保证安全性。 对于企业级的安全性，线性扫描是一种负担。为了确保协议的偿...
这是 Certora 对该事件的分析，以及详细的时间表。 事件如何发生 Balancer 是一种去中心化交易协议，支持各种流动性池之间的代币交换。每个池由一组特定的代币（例如，WETH、wstETH）和一个由不变量管理的交换曲线（例如，...
平台、募资和代币经济学 概要 募资机制 目标 & 定价： 最高 10 亿美元，价格为 1 美元兑 10 FT (隐含价格 $0.10)。如果募资额低于 10 亿美元，FT 的铸造量将按比例减少。 通过永...
Hazeflow 是一家区块链研究公司。我们正在撰写关于区块链行业独特视角和观点的文章，并发布教育研究资料。 飞翔的郁金香：使用收益代替融资 一种新的加密融资模型，它使用收益来资助运营，并通过永久看跌期权来保护投资者。 1. 花费融资...
Abracadabra Hack Explained: $1.7M MIM Spell 第三个 CauldronV4 漏洞利用的解释 Abracadabra 的这次攻击暴露了 Cauldron V4 批量处理逻辑中的一个严重缺陷，允许攻击...
融资协调团队很高兴地宣布与 Keyring Network 的一项联合倡议，该倡议为 Ethereum 生态系统引入了一种新的影响力融资方法。 直接支持以隐私为中心的开发者 Keyring 在主网上的 zkVerified 许可金库...
如果你的房子、你的工作，甚至你的宝可梦卡牌都变成了代币会怎么样？ 深入了解 RWA（真实世界资产）代币化：DeFi 最勇敢的赌注和最大的风险。 介绍 自加密货币诞生以来，广泛采用一直是区块链生态系统的核心目标。无论是政府探索数字货币...
作者：Dmitry Zakharov, Pavel Morozov, Tim Savon, Eugene Pshenichnyy, Max Merkulov, Alexey Potapkin 简介 Lido 是一个流动性质押代币 (...
介绍 唯一一种能够一次又一次成功保护安全关键型应用的技术是形式化验证¹。DeFi 应用是安全关键型的 —— 这些应用中的漏洞可能被利用，造成灾难性的后果，不幸的是，现实世界不乏 демонстрирующий 这一点的事例。因此，形式化验...
概述 DeFi 交易机器人是简化用户体验的强大工具，但它们面临着重大的挑战，包括抢跑攻击、因不准确的 gas 定价导致的交易失败以及跨去中心化交易所 (DEX) 的低效路由。为 DeFi 构建安全、用户友好且高性能的 Telegram 交...
鸿途知科网
