我们把 AutoProver 指向 Aave v4 Hub，没有把我们已有的任何工作交给它，而是让它自己编写规范。它给出了 Hub 的偿付能力不变量：一份份额的价值永远不低于一个资产。这与我们手动编写的 P-06 是同一个属性，能在无人辅助...
Aave V4 引入了一个全新的 Hub and Spoke (轮辐式) 架构，从根本上改变了 DeFi 借贷。在这篇博文中，我们将概述它与 Aave V3 相比如何，它是如何工作的，以及它将带来什么好处。 注意：Aave V4 仍在...
鸿途知科网
