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..