回顾 2024 年，MoveBit 持续引领 Move 生态安全发展，成就斐然
回顾 2024 年，MoveBit 作为 Move 生态的重要安全团队，展现出卓越的技术实力与行业影响力。在年初，MoveBit 与 Aptos 团队紧密合作，成功完成了对 Aptos Framework 的正式验证，推动了形式化规范的创建与应用，树立了区块链安全的新标杆。此外，MoveBit 成功举办了备受关注的 MoveCTF 2024 赛事，进一步激发了 Move 生态开发者与爱好者的热情，并助力 2024 Move 开发者大会的圆满举办。此外，MoveBit 在学术研究方面也取得了重大突破，4 月联合 Aptos 团队发表了 Aptos Framework 形式化验证的学术论文，并于 7 月，其团队的研究成果被国际顶级会议 ISSTA 接收，彰显了 MoveBit 在智能合约安全领域的领先地位。
在下半年，MoveBit 与 SuiNetwork 达成了战略安全合作伙伴关系，进一步巩固了其在区块链安全审计领域的领先地位。8 月至 9 月期间，MoveBit 联合 Movement 成功举办了亚洲首个开发者生态活动“Movement Torch Relay”，为开发者提供了广阔的交流与创新平台。同月，MoveBit 与 AptosLabs 合作推出了专为 Move 语言设计的代码格式化工具 movefmt，极大提升了开发者的编码效率与代码质量。10 月，MoveBit 发现并协助修复了 Sui 跨链协议的高危漏洞，彰显了其在漏洞挖掘与安全防护方面的专业能力。12 月，MoveBit 完成了对 Movement 链的全面安全审计，为 Move 生态的稳定与安全提供了坚实保障。
以下是 2024 年 MoveBit 发展旅途中值得庆祝的 10 个里程碑事件，让我们一起回顾 MoveBit 在 2024 年值得纪念的高光时刻。
1 月 10 日： MoveBit 与 Aptos 团队紧密合作，共同完成了对 Aptos Framework 的正式验证
MoveBit 作为安全团队的重要成员，与 Aptos 团队紧密合作，共同完成了对 Aptos Framework 的正式验证。通过此次合作，MoveBit 协助识别了潜在的安全问题，并推动创建了相应的形式化规范，这些规范通过 Move Prover 在每次代码提交时进行验证。这一行业首创的安全实践，不仅彰显了 Aptos Network 对高保障系统设计的承诺，也体现了 MoveBit 在推动区块链安全发展方面的重要贡献，为行业树立了新的标杆。
1 月 12 日： 成功举办 MoveCTF 2024
MoveCTF 2024 受到众多 Move 生态开发者和爱好者的广泛关注和踊跃参与，MoveCTF 作为一年一度面向 Move 生态的沉浸式安全叙事体验，致力于持续推动 Move 生态安全发展。同时， MoveCTF 2024，还助力了 2024 Move 开发者大会，共同探讨 Move 生态开发和创新的更多可能性。
1 月 14 日：成功举办 2024 Move 开发者大会
2024 Move 开发者大会由 BitsLab 旗下子品牌 — MoveBit 携手 MoveFuns DAO、OpenBuild 共同主办，并得到了 Aptos、Sui 和亚马逊云科技的赞助支持，以及 Surf Wallet 的周边赞助支持。同时，大会还获得了 6 家协办方、47 家社区、12 家媒体，以及 5 家高校链协的参与支持。
大会邀请到众多致力于推动 Move 生态蓬勃发展的核心开发者与技术专家，设有近 20 个涵盖全链游戏、安全审计、zkLogin 等丰富主题的技术分享。
4 月 26 日：BitsLab 旗下 MoveBit 和 Aptos 联合发表 Aptos Framework 形式化验证论文
Move 生态最早期贡献者 MoveBit（BitsLab 旗下品牌）和 Aptos Move 负责人 Wolfgang Grieskamp 联合发表了 FMBC-24（Formal Methods for Blockchains）学术论文。
在论文的第 127 页《Securing Aptos Framework with Formal Verification》章节中指出，通过形式化验证（Formal Verification）方法保障了 Aptos 链合约的安全性，使其能够在多种应用场景下确保安全性能。MoveBit 核心开发者 Luis Loh 和 Zorrot Chen 等作为 Aptos Framework 形式化验证的主要贡献力量，通过使用 Move Prover 完成了对 Aptos Framework 的形式化验证工作。
6 月 12 日：MoveBit 正式宣布与 SuiNetwork 达成安全合作伙伴关系
MoveBit 很高兴正式宣布与 SuiNetwork 达成安全合作伙伴关系！作为 Move 生态的先行者，MoveBit 将持续为构建者和生态项目提供支持，助力提升 Sui 生态的安全性，并共同推动创新发展。此次合作进一步巩固了 MoveBit 在区块链安全审计领域的领先地位，同时彰显了我们推动 Sui 生态系统安全与发展的坚定承诺。未来，MoveBit 将与 SuiNetwork 携手，共创更加安全、创新的区块链生态环境！
7 月 11 日： BitsLab 旗下 MoveBit 团队学术论文被国际顶级会议 ISSTA 接收
基于 BitsLab 旗下安全团队 MoveBit 开发的 MoveScanner 撰写的学术论文《 Move 智能合约安全性的实证研究：引入 MoveScan 进行增强分析》（《 Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis》）被软件工程领域的国际顶级会议 ISSTA 接收。该研究工作获得 Aptos Labs， Mysten Labs 的大力支持。完整作者列表为：宋书玮，陈嘉弛，陈厅，罗夏朴，李腾，杨文武，王乐卿，张伟杰，罗丰，贺哲远，卢毅，李攀。
8 月 17 号 - 9 月 10 号： MoveBit 联合 Movement 成功举办亚洲首个开发者生态活动 “Movement Torch Relay”
“Movement Torch Relay” 是 Movement 在公布其成功融资 3800 万美金之后，在亚洲进行的首个开发者生态活动。
作为全球黑客松 “Battle of Olympus” 的一部分，通过 Movement Torch Relay 报名的团队能直接进入 Movement 全球黑客松比赛。不仅有机会赢得 “Battle of Olympus” 的奖金，参与在新加坡 Token2049 期间举行的 Movement’s Integrated Day 活动；还将获得 Movement 和 MoveBit 额外提供的价值超过 20 万美元的激励。
Movement Torch Relay 杭州站｜8 月 17 日
Movement Torch Relay 新加坡站 ｜ 8 月 31 日
Movement Torch Relay 深圳站 ｜ 9 月 10 日
9 月 21 日：MoveBit 与 AptosLabs 合作推出 movefmt，一款专为 Move 语言设计的代码格式化工具
MoveBit 与 AptosLabs 合作推出 movefmt，一款专为 Move 语言设计的代码格式化工具！作为提升开发者效率的重要工具，movefmt 简化了在 Aptos 上编写、阅读和维护 Move 代码的流程，为开发者提供了更加清晰规范的代码结构。通过这一工具，我们致力于为 Move 生态的开发者打造更加高效、直观的开发体验，推动 Move 语言的普及和技术创新。MoveBit 将继续以技术创新为驱动，为开发者社区提供更多支持和解决方案！
10 月 9 号：BitsLab 旗下 MoveBit 团队发现并协助修复 Sui 跨链协议高危漏洞
MoveBit 安全研究团队通过 HackenProof 平台向 Sui 提交了一个高危漏洞。这个漏洞涉及跨链资金在合约中被冻结无法提取。目前 Sui 已经修复了该问题，根据漏洞披露政策，我们可以披露此问题，并对此问题进行详细解析。
12 月 10 号：BitsLab 旗下 MoveBit 完成 Movement 链审计，助力 Move 生态安全
BitsLab 旗下的 MoveBit 近日宣布已成功完成对 Movement 区块链的安全审计，为该链的安全性和稳定性提供了重要保障。这次审计工作聚焦区块链底层架构和核心协议的安全性，进一步确保了 Movement 区块链的技术可靠性。
面向未来，MoveBit 将继续深化与 Aptos、Sui 等核心生态伙伴的合作，致力于引入更多前沿技术与实用工具，提升区块链系统的安全性与可扩展性。我们将进一步完善安全审计服务，深化跨链协议与智能合约的验证研究，助力更多链上项目在 Move 生态中快速成长。MoveBit 也将持续推动全球开发者社区的学习与交流，通过举办更多高质量的技术活动与培训课程，增强社区的凝聚力与创新能力。随着 Move 生态的不断壮大，MoveBit 将秉持安全与创新并重的理念，继续引领行业发展，与全球区块链爱好者携手，共同迈向更加安全、繁荣与多元的未来。
关于 MoveBit
MoveBit （莫比安全），BitsLab 旗下子品牌， 是一家专注于 Move 生态的区块链安全公司，通过率先使用形式化验证使 Move 生态成为最安全的 Web3 生态系统。MoveBit 已经陆续与全球多家知名项目合作，并为合作伙伴提供了全方位的安全审计服务。MoveBit 团队由学术界安全大牛和企业界安全领军人物组成，具有 10 年的安全经验，在 NDSS、CCS 等顶级国际安全学术会议上发表安全研究成果。并且他们是 Move 生态最早期的贡献者，与 Move 开发者共同制定安全 Move 应用的标准。
关于 BitLab
BitsLab 是一家致力于 Web3 生态系统安全的组织，旨在成为行业和用户尊敬的安全机构。旗下有三个子品牌：MoveBit、ScaleBit 和 TonBit。专注于 Sui、Aptos、TON、BNB Chain、Starknet、Solana 等多个生态系统的基础设施开发与安全审计，并擅长多种编程语言的审计，包括 Circom、Halo2、Move、Cairo 等。
作为区块链安全领域的领导者，BitsLab 为多个项目提供安全审计服务，包括 Movement, Aptos、Tether、UniSat、Nervos CKB 等，已交付超过 400 项安全解决方案，审计超过 40 万行代码，保护了 80 亿美元资产，服务超过 200 万用户。团队汇聚了多位顶级漏洞研究专家，曾在多个知名项目中发现关键漏洞。BitsLab 致力于推动 Web3 安全的发展，促进新兴生态系统的健康成长。
END
【免责声明】市场有风险，投资需谨慎。本文不构成投资建议，用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资，责任自负。
