DeFi

黑天鹅出现的时候，链上发生了什么？

这一课我们聊聊【Defi借贷】。

本文强调了形式化验证（FV）在Web3和DeFi安全中的重要性，指出传统测试方法不足以应对Web3的安全挑战。FV通过数学证明确保代码按预期运行，能预防高危漏洞，并已在多个知名DeFi项目中应用，同时建议将FV尽早集成到开发生命周期中，以提升代码质量和安全性。

Uniswap V2 在 Arbitrum Rollup 上的移植， 让交易成本下降 55 倍

Morpho是一种为EVM实现的非托管借贷协议。MorphoBlue提供了一种新的无需信任的原语，与现有的借贷平台相比，其效率和灵活性都得到了提高。它提供无需许可的风险管理和无需许可的市场创建以及与预言机无关的定价。

文章讨论了在市场动荡情况下， [Redacted]如何重新计划和实施新策略，以增强其$BTRFLY代币的价值。重点探讨了使用Harberger税收模型来提高DeFi治理的效率，以减少当前治理中权力高度集中于少数大型投资者的不平等现象。文章总结了当前DeFi领域面临的挑战及[Redacted]的应对方案。

Etherfuse 推出 Stablebonds，这是一种将传统政府债券的稳定性与区块链技术的效率和开放性相结合的金融工具。Stablebonds 是代币化的政府支持债券，作为真实世界资产（RWA），旨在为 DeFi 带来稳定性和实用性，通过依赖政府支持的资产来提供稳定性；通过向小投资者开放债券市场来提高可访问性；作为 DeFi 生态系统中的抵押资产来增加效用。

Solayer 是 Solana 上的 Restaking 协议，通过 restaking SOL 代币来提高 Solana 上去中心化应用（dApps）的安全性、效率和可扩展性。

NEST生态开发者经验分享，教你轻松调用 NEST 预言机价格数据。

Rome Protocol 是一个互操作性框架，旨在连接 Solana 和 Ethereum 网络，通过将 Solana 模块化，使其能够与以太坊及其他区块链协同工作，从而利用 Solana 的速度和可扩展性以及以太坊的 DeFi 框架和开发者社区，Rome 旨在解决 DeFi 流动性孤立、可扩展性问题和跨链开发复杂性等挑战，实现更集成、可扩展和高效的多链生态系统。

EasyCoin.AI 是一个基于 Solana 区块链的去中心化金融（DeFi）交易平台，它利用 AI 和智能合约来简化和保护加密货币交易。

本文介绍了如何使用Pump.fun API和Yellowstone gRPC创建Solana交易机器人，以复制指定钱包的交易。内容包括配置项目、构建交易机器人、测试机器人等步骤。

本文为a16z发布的2023年加密行业报告摘要，重点分析了crypto的发展状况与未来趋势，包括web3对创作者的优势、加密货币对现实世界的影响、以太坊的市场领导地位以及从长远看来，web3还处于早期阶段。报告中详细比较了web2与web3在经济利益上的差异，强调了加密技术在各个领域，尤其是金融包容性和创作者经济中的潜在影响。

本文分析了Damn Vulnerable DeFi V4的第7个挑战Compromised。该挑战通过服务器泄露的十六进制数据，解码出两个预言机报告者的私钥，攻击者可以利用这些私钥操纵NFT价格，低价购买后再以高价卖出，从而获利。

本文分析了Damn Vulnerable DeFi V4挑战中的Selfie题目的漏洞，该漏洞源于治理机制未能区分代币持有者和临时持有者（如闪电贷期间）。攻击者可以通过闪电贷获得大量代币，利用这些临时代币进行投票，从而控制治理决策，最终清空资金池。文章提供了攻击流程和解决方案，并提出了预防机制。