文章介绍了Compound V3中的bulker合约，该合约支持在单个交易中执行多个操作，如抵押、借贷、转账等。文章详细解释了bulker合约的工作原理、安全性设计以及如何处理非标准ERC-20代币。
本文介绍了Compound新协议Comet的一个有趣的正确性规则，以及在早期开发过程中如何利用Certora Prover进行形式化验证，以消除代码中的bug。通过形式化规范和验证，团队成功发现并修复了一个导致用户抵押资产状态错误的bug，从而提高了协议的安全性。
本文深入解析了DeFi中重要的借贷协议Compound V3的智能合约架构及其使用方法。文章分为几个部分，详细介绍了如何借贷USDC、提供抵押品以及清算不足抵押的贷款，并通过代码分析了Compound V3的核心合约Comet及其相关合约的结构。另外，还讨论了参数更新的治理机制，强调了Immutable变量的设计优势。
RareSkills
uri_kirstein