The Real World Finance Core Unit has published the Huntingdon Valley Bank (HVB) Collateral Onboarding Risk Assessment.
This is a recap on the collateral onboarding process of HVB, a Pennsylvania Chartered US-based commercial bank.
🧵
1/
Huntingdon Valley Bank, a Pennsylvania-based community bank, is seeking a 100 million DAI debt ceiling participation facility to support the growth of existing businesses and to grow new businesses.
2/
HVB and RWA Master Participation Trust (established for the benefit of Maker) will not have a borrower-lender relationship.
HVB will have access to DAI liquidity in exchange for the sale of participation interests in the underlying whole loans originated by HVB.
3/
MakerDAO's Protocol Engineering Core Unit (PECU) uses the @CertoraInc Prover as part of its suite of techniques to keep DAI and Maker Vaults safe.
How is this tool boosting the formal verification of our systems?
🔒👇
1/
@CertoraInc Formal verification tries to prove that a program behaves according to some specification.
The system's code is transformed into a logical formula, and then mathematical methods are used to attempt to prove the properties described in the specification.
2/
@CertoraInc The advantage of formal verification is its exhaustiveness — all execution paths are checked, so we encounter rare edge cases.
@CertoraInc offers an automatic formal verification tool: the Certora Prover, and the PECU team has been using it since June 2021.
3/
A new Signal Request proposes to temporarily set the @AaveAave D3M Debt Ceiling to zero.
This proposal argues that "the current environment is risky to extend a 100 million Debt Ceiling (current Debt Ceiling) when the dominant theme is redemption."
• Risk Profile is now higher and these new factors should be discussed
• The Stability Fee rate in Maker and Aave are already at parity which means we do not need this D3M to operate right now, so it can be turned off without causing any issues
An important ongoing discussion is being held in MakerDAO around the "Growth Strategy."
Named "Long-term Growth Strategy for the Future of DeFi," the most recent post on this topic shares important views from the core of this growth idea.
A recap.
🧵
1/
The post begins with the "House of DAI."
It is a structure that includes:
1) "Foundations," which describe where the Maker Protocol is today.
2) "Primary pillars," which describe the most important parts of this hypothetical growth-oriented future.
2/
The first foundation would be the asset base of the Maker Protocol.
According to the same set of ideas, this asset base lies fallow and "needs to be the beating heart" of Maker through conservative investments and productive management.
3/