MoveBit 荣获 Aptos 首批 Grant,共同推动 Move 生态发展
2023-05-0412:16
MoveBit Blog
2023-05-04 12:16
MoveBit Blog
2023-05-04 12:16
收藏文章
订阅专栏

2023 年 5 月 2 日,Aptos Foundation 宣布首批 Grants 名单,总金额超过 350 万美金,MoveBit 成为了首批获得资助的项目之一,是 Aptos 对 MoveBit 在整个 Move 生态贡献中的肯定。




MoveBit 作为专注于 Move 生态的安全审计专家,和 Aptos 合作开展了 Aptos Framework 的形式化验证工作。Aptos Framework 的安全性是 Aptos 上开发各种 Move 项目应用安全的基础。在此形式化验证工作之前,MoveBit 团队全面了解分析了 Aptos Framework 的开发资源和框架架构,并和 Aptos Team 合作开启了基于 Move Prover 的形式化验证,也因此获得了 Aptos 首批资助。


十分感谢 Aptos 对于 MoveBit 技术的认同和支持,这将给予 MoveBit 充分的信心和力量去持续不断地保护着整个生态的扩展与创新,为所有项目竭尽全力提供高质量的技术服务,吸引更多的优质团队选择在 Move 生态长期发展,促使 Move 生态早日成为 Web3 中最安全和最活跃的生态之一。


关于 MoveBit:


MoveBit 团队是一家服务于 Move 生态的安全公司, 已经陆续与全球多家知名项目合作,为合作伙伴提供安全审计服务,其愿景是让 Move 生态成为最安全的 Web3 生态系统。其团队由学术界安全大牛和企业界安全领军人物组成,具有 10 年的安全经验,在 NDSS、CCS 等顶级国际安全学术会议上发表安全研究成果,并且是 Move 生态最早期的贡献者,与 Move 开发者共同制定 Move 应用的安全标准和形式化验证的最佳实践。


MoveBit 官方社交媒体平台:


官方网址:https://www.movebit.xyz/

推特:https://twitter.com/MoveBit_

Medium:https://movebit.medium.com/

Discord:https://discord.com/invite/7wM8VU9Gyj

【免责声明】市场有风险,投资需谨慎。本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资,责任自负。

专栏文章
查看更多
数据请求中

推荐专栏

数据请求中

一起「遇见」未来

DOWNLOAD FORESIGHT NEWS APP

Download QR Code