採用惡意思維方式可以幫助開發者以非傳統的方式思考軟體和安全性。這使你為可能出現的問題、事物如何被破壞以及如何防止這些情況做好準備。 很快在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 上的關鍵安全里程碑。