@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形式验证试图证明程序的行为符合某种规范。
将系统代码转换为逻辑公式，然后使用数学方法尝试证明规范中描述的属性。
2/

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/

MakerDAO的协议工程核心单元（PECU）使用@CertoraInc Prover作为其成套技术的一部分，以确保DAI和Maker Vault的安全。
这个工具是如何促进我们系统的正式验证的？
🔒👇
1/

@AaveAave Further details on this issue and the origin of this proposal can be found in:
☑️ Risk Core Unit Analysis and Recommendation: https://forum.makerdao.com/t/s...
☑️ Further Risk Core Unit Analysis: https://forum.makerdao.com/t/u...

@aa有关此问题的更多详细信息和此提案的来源，请参见：
☑️ 风险核心单元分析和建议：https://forum.makerdao.com/t/s...
☑️ 进一步的风险核心单元分析：https://forum.makerdao.com/t/u...

@AaveAave The @AaveAave Target Borrow Rate (bar) will be set to 0.
This change might intuitively suggest that the Aave D3M will utilize its full debt ceiling.
It is a pre-programmed state in the D3M code that will set the vault to unwind only.

@aaveave@aaveave目标借款利率（bar）将设置为0。
这一变化可能直观地表明，Aave D3M将利用其全部债务上限。
这是D3M代码中的预编程状态，将vault设置为仅展开。

The Maker Governance has voted to temporarily disable the @AaveAave DAI Direct Deposit Module (D3M).
This change is available for execution on June 17 2022 21:03 UTC.
🗳 https://vote.makerdao.com/exec...

创客治理投票暂时禁用@Aaveave DAI直接存款模块（D3M）。
该变更可于2022年6月17日21:03 UTC执行。
🗳 https://vote.makerdao.com/exec...

RT: 1/ Tomorrow at 15:00 UTC: We're hosting a discussion with @MakerDAO's Legal & Transaction Services Core Unit.
Together, we're developing an open source, reusable legal framework to scale real world assets in crypto.
Join in! Link in the forum post 👇
https://forum.makerdao.com/t/r...

转发：1/明天UTC 15:00：我们将与@MakerDAO’s Legal&；交易服务核心单元。
我们正在共同开发一个开源、可重用的法律框架，以扩展加密中的真实世界资产。
加入论坛帖子中的链接👇
https://forum.makerdao.com/t/r...

@punk9511 @Rocket_Pool Yes, 56.86% of all votes is NO.
This is 22,990 MKR, which is ~20.9% of all delegated MKR (there are delegated MKR tokens that are not voting yet).

@punk9511@Rocket\u Pool是的，56.86%的选票是否定的。
这是22990 MKR，约占所有委派MKR的20.9%（还有尚未投票的委派MKR令牌）。

@AaveAave This Signal Request has been proposed as a result of this recommendation published by the Risk Core Unit Facilitator in which he described the D3M risk in the context of the current market situation.
👇
https://forum.makerdao.com/t/s...

@aa鉴于风险核心单元调解人发布的这一建议，提出了此信号请求，他在该建议中描述了当前市场形势下的D3M风险。
👇
https://forum.makerdao.com/t/s...

@AaveAave According to the original post, setting the bar to 0 makes the target supply 0 as an added check on the D3M implementation.

@aaveave根据最初的帖子，将条设置为0会使目标提供0，作为对D3M实现的附加检查。

An Urgent Signal Request has been published by the GovAlpha Core Unit to set the @AaveAave D3M Target Borrow Rate (bar) to 0%.
Voting ends today at 20:00 UTC.
🗳 https://forum.makerdao.com/t/u...

GovAlpha核心部门已发布紧急信号请求，将@Aaveave D3M目标借款利率（bar）设置为0%。
投票于今天UTC 20:00结束。
🗳 https://forum.makerdao.com/t/u...

The Maker Governance votes to onboard rETH (@Rocket_Pool staked ETH) as collateral in the Maker Protocol.
• 22,990 MKR voting NO (~20.9% of all delegated MKR)
• 17,444 MKR voting YES (~15.9% of all delegated MKR)
• 0.18 MKR voting ABSTAIN
🗳 https://vote.makerdao.com/poll... https://t.co/4V4LT2yIN3

创客治理投票将onboard rETH（@Rocket\u Pool staked ETH）作为创客协议中的抵押品。
•22990 MKR投票反对（约占所有授权MKR的20.9%）
•17444 MKR投票赞成（约占所有委派MKR的15.9%）
•0.18 MKR投票弃权
🗳 https://vote.makerdao.com/poll... https://t.co/4V4LT2yIN3

RT: And here some stats: Since Stop-Loss reintroduction on last Friday we have seen:
🙅🏻 94 Vaults adding Stop-Loss
❎ 54 Vaults Closed through Stop-Loss selling over $35M of collateral
⛑As of now, 54 Vaults with Stop-Loss enabled protecting almost $40M of collateral https://twitter.com/chrisbduck...

RT：以下是一些统计数据：自上周五止损重新引入以来，我们看到：
🙅🏻 94个保险库增加止损
❎ 54个金库通过停止损失出售3500万美元抵押品而关闭
⛑截至目前，54个具有止损功能的保险库能够保护近4000万美元的抵押品https://twitter.com/chrisbduck...

Protect your Maker Vaults by repaying DAI debt or adding more collateral.
It is now easier than ever to protect your positions with automated tools.
Stop-loss protection on @oasisdotapp ➡️ https://blog.oasis.app/oasis-a...
Stop-loss protection on @DeFiSaver ➡️ https://blog.defisaver.com/mak...

通过偿还DAI债务或添加更多抵押品来保护您的Maker保险库。
现在，使用自动化工具保护您的位置比以往任何时候都更容易。
@OASIDOTAPP上的停止损失保护➡️ https://blog.oasis.app/oasis-a...
Defsaver上的停止损失保护➡️ https://blog.defisaver.com/mak...

Yesterday, June 13, the Maker Protocol executed 182 liquidation auctions.
35.2 million DAI to cover risky debt ➡️ destroyed.
4.5 million DAI from penalty fees ➡️ to the System Surplus.
Collateralization is at ~140%.
DAI is at $1.
Everything worked as expected. https://t.co/D917c1i4cb

昨天，6月13日，创客协议执行了182次清算拍卖。
3520万DAI用于偿付风险债务➡️ 摧毁。
罚款450万DAI➡️ 系统盈余。
抵押率约为140%。
戴的价格是1美元。
一切如期进行。https://t.co/D917c1i4cb

Considering that the status of WSTETH-B vaults remains the same in terms of DAI debt and collateral deposited:
If stETH drops to $903 ➡️ $645k worth of stETH would be liquidated.
If stETH drops to $594 ➡️ $2 million worth of stETH would be liquidated. https://t.co/AxA5AxebBy

考虑到WSTETH-B保险库在DAI债务和存放抵押品方面的状态保持不变：
如果stETH跌至903美元➡️ $价值645000英镑的stETH将被清算。
如果stETH跌至594美元➡️ $价值200万英镑的stETH将被清算。https://t.co/AxA5AxebBy

Considering that the status of WSTETH-A vaults remains the same in terms of DAI debt and collateral deposited:
If stETH drops to $892 ➡️ $33.3 million worth of stETH would be liquidated.
If stETH drops to $582 ➡️ $74.6 million worth of stETH would be liquidated. https://t.co/tAuVhV66gY

考虑到WSTETH-A保险库在DAI债务和存放抵押品方面的地位保持不变：
如果stETH跌至892美元➡️ $价值3330万英镑的stETH将被清算。
如果stETH跌至582美元➡️ $价值7460万英镑的stETH将被清算。https://t.co/tAuVhV66gY

At what stETH price will the Maker Protocol start to liquidate a large amount of stETH?
• Vertical axis: DAI amount to be liquidated.
• Horizontal axis: stETH price.
• On the left: WSTETH-A.
• On the right: WSTETH-B. https://t.co/j2KuUdn9iN

制造商协议将以何种价格开始清算大量stETH？
•纵轴：待清算的DAI金额。
•横轴：stETH价格。
•左侧：WSTETH-A。
•右侧：WSTETH-B。https://t.co/j2KuUdn9iN

2️⃣ WSTETH-B vault type:
• 9,014.31 WSTETH locked worth $10.7 million.
• 2.5 million DAI total debt.
• 424.42% overall collateralization (minimum collateralization is 185%). https://t.co/PyLIYfCc3y

2.️⃣ WSTETH-B保险库类型：
•9014.31 WSeth锁定，价值1070万美元。
•250万DAI总债务。
•424.42%的总抵押（最低抵押为185%）。https://t.co/PyLIYfCc3y

1️⃣ WSTETH-A vault type:
• 204,661.12 WSTETH locked worth $243.2 million.
• 82.9 million DAI total debt.
• 293.42% overall collateralization (minimum collateralization is 160%). https://t.co/zRfxkVMlFm

1.️⃣ WSTETH-A vault类型：
•204661.12 WSeth锁定，价值2.432亿美元。
•8290万DAI总债务。
•总担保率为293.42%（最低担保率为160%）。https://t.co/zRfxkVMlFm

stETH collateral represents ~3% of all DAI collateralization.
This is $260 million worth of collateral. https://t.co/cwFNL4gQKL

stETH抵押品约占所有DAI抵押品的3%。
这是价值2.6亿美元的抵押品。https://t.co/cwFNL4gQKL