Runtime Vеrification

Runtime Vеrification

7,385個推特粉絲

關注

We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain. https://bit.ly/3AriQY9

動態

Runtime Vеrification

TheDAO 再次成為 DAO 了！ RV 團隊非常榮幸地看到 Everett 和 Palina 對以太坊開源安全的貢獻得到認可，並被納入這項計畫🫶 我們很高興能與志同道合的人們攜手合作，共同推動 Web3 安全性的發展！

Introducing: Ethereum’s top security experts TheDAO’s ETHSecurity Badges are a new onchain primitive recognizing the people securing Ethereum. 40 have been selected. 160 open spots are left. Are you one of Ethereum’s top 200? 👇

Runtime Vеrification

這真是瞭解以太坊基金會 (@ethereumfndn) “減法”理念及其積極去中心化生態系統關鍵基礎設施精神的絕佳窗口！現在，任何人都可以輕鬆追蹤和了解自 2024 年以來由以太坊基金會 (@EF_ESP) 資助的每個項目。在過去與以太坊基金會合作的八年中，我們始終對他們的信任深表感激，正是這種信任確保了我們的安全研究能夠持續造福整個生態系統。

EF Ecosystem Support Program

🎉 The new EF Public Grant Explorer is LIVE! You can now easily browse, search, and explore grants awarded by the Ethereum Foundation in real-time. Dive in to discover the projects we support! https://esp.ethereum.foundation/funded-projects

Runtime Vеrification

一年多來，我們一直致力於開發 Simbolik，力求為成千上萬的 Solidity 開發者帶來最佳的調試體驗。在挪威北部偏遠地區，我們才華洋溢的 Solidity 開發工程師 @RaoulSaffron 坐在雪地裡的露營車裡，除了滑雪就是埋頭苦幹！我們不會止步於此！智能合約的開發和安全技術正在不斷發展，我們也在不斷進步。請記住 3 月 16 日，我們將推出一些令人興奮的新功能，這些功能已經進行了一段時間的 Beta 測試。屆時，您將體驗到全新的開發體驗，所有必要的工具都將直接整合到您的 IDE 中，助您從一開始就創建安全的智能合約！

Runtime Vеrification

我們和大家一樣對人工智慧工具充滿熱情，但要了解它們如何融入全面的安全框架，需要的不僅僅是編寫掃描器程式碼那麼簡單。我們同時使用外部和內部開發的人工智慧工具，但這是必不可少的（就像給馬裡奧一個超級蘑菇🍄一樣）。

Runtime Vеrification

A must-read for anyone wondering what the Stellar Development Foundation aims to achieve in 2026! 我們很高興能繼續為 Stellar 生態系統的安全做出貢獻，與 @StellarOrg 攜手合作，確保全球金融的穩健未來🤝

2026 - the year tradfi and defi shake hands. Here's our plan. x.com/StellarOrg/sta…

Runtime Vеrification

如果不了解Pinocchio升級，就無法談論Solana的未來🛠️ @danielkcumming 解釋了我們如何運用 Rust 專業知識來確保安全過渡！「如果成功了我們就慶祝，如果失敗了我們可能會哭，但我們一定要慶祝！”

Runtime Vеrification

我們很高興能繼續與以太坊基金會合作開展形式化驗證工作！今年，我們將評估並改進 Hax（由 @CryspenHQ 開發）、ArkLib 和 CompPoly 的現狀，以提升基於 Rust 的零密鑰執行虛擬機 (zkEVM) 的安全性，並使其能夠通過 Lean 4 進行形式化驗證。如果您對我們的工作感興趣，歡迎聯繫我們！

EF Ecosystem Support Program

1/ Q4 2025 closed out the year with exciting growth across the ecosystem 🌳 Dive into the projects @ethereumfndn teams supported this quarter and see what our grantees have been building in our latest blog post!

Runtime Vеrification

1/ 恭喜 @StellarOrg 團隊成功部署 Protocol 25主網🫶 我們很高興能參與Stellar 的發展歷程，過去我們曾審核過協議 22 的 Soroban 環境代碼，現在我們又回來了，這次我們將審核協議 25。審計完成後，我們會公佈結果。如果您想了解更多關於 Protocol 25 以及我們目前正在進行的安全工作，請繼續閱讀👇

Runtime Vеrification

🇦🇪 @danielkcumming 在 @SolanaConf 上談到了 Kompass 和 SPL-Token

Runtime Vеrification

🇦🇪🎤 明天來聽聽 @danielkcumming 在 @SolanaConf Breakpoint 大會上發表題為“Kompass：確保 SPL-Token 在 Pinocchio 平臺上的安全”的演講吧！ 📍Lock In 舞臺 📅 12月12日上午11:30

Loading..