采用恶意思维方式可以帮助开发者以非传统的方式思考软件和安全性。这使你为可能出现的问题、事物如何被破坏以及如何防止这些情况做好准备。 很快在Meridian Rio见！🙌

在5月15日，@coinbase 揭露它遭遇了一起敲诈计划。 黑客并没有攻击区块链。 他们攻击的是人。 以下是我们从此次攻击中学到的一些关键教训（以及如何防止它）🧵

与 @blend_capital 和 @code4rena 联手举办 @BuildOnStellar 生态系统中的第一次形式验证竞赛，真是荣幸。 完整报告已准备好 👇

我们刚刚发布了 @CertoraInc Prover 的重大更新，这是我们用于证明智能合约正确性或发现真实漏洞的形式验证引擎。 v8.1.0 充满了强大的新功能，并且（是的）有一些重大变更。以下是新内容 👇

注意 @arbitrum 开发者 📣 Arbitrum 审计计划现已上线。我们准备好帮助您保护代码并自信地发布。 了解更多 👇

今天，我们很高兴地分享来自Certora管理团队的最新消息。 一个新时代开始了。

🗳️ 呼吁所有 @compgovernance 投票者！ @chain_security 和 Certora 很高兴有机会在被 Compound 基金会选中后，为 Compound 提供一年的安全保障。 我们非常希望能得到你的投票：

相信

@Stellarorg 的 Soroban 平台上的 AMM 需要精准： @aqua_token 竞赛已经结束，结果已出。 🪐 排名前列的研究人员： 🥇 @alkarin_: $18,898.21 🥈 @DzordanTa1567: $10,440.32 🥉 @carrotsmuggler: $9,050.89 另一个令人惊叹的排行榜亮点如下。

新：@KaminoFinance 宣布其 Earn Vault 已通过 @CertoraInc 的正式验证，这是其收益产品在 @solana 上的关键安全里程碑。