BitsLab 旗下 MoveBit 和 Aptos 联合发表 Aptos Framework 形式化验证论文

首页 深潮精选 Research 项目发现 7x24h︎快讯 最新活动

7x24h快讯︎

2024.04.24 - 04月24日 18:10

深潮 TechFlow 消息，近日，Move 生态最早期贡献者 MoveBit 和 Aptos Move 负责人 Wolfgang Grieskamp 联合发表了 FMBC-24（Formal Methods for Blockchains）学术论文。该论文指出，通过形式化验证方法保障 Aptos 链合约的安全性，使其能够在多种应用场景下保障安全性能。MoveBit 核心开发者 Luis Loh 和 Zorrot Chen 深度参与建设，为确保 Aptos Framework 安全性做出了显著贡献。值得一提的是，Wolfgang 还将在 ETAPS Conferences 展示 MoveBit 深度参与的 Aptos 形式化验证工作。

添加收藏

分享社交媒体

7x24h 快讯︎更多

05月05日 23:53: zkSync桥接存储总价值突破368万枚ETH

05月05日 23:32: Farcaster协议累计收入突破120万美元

05月05日 22:19: Uniswap上线蜡烛图功能，可实时追踪代币价格变动

05月05日 21:40: Vitalik再次分享其2020年发表的全同态加密文章

05月05日 21:38: 某鲸鱼从币安提出7917枚ETH存入Compound，并累计借出1700万枚USDT

深潮精选更多

: 穿透 Eigenlayer 代币经济学：一种新社会共识机制，解决 ETH力不能及之处
2024.04.30

: 加密悲歌：金钱换不来权力，世界是一个养套杀的草台班子
2024.04.29

: VC 社区大论战：a16z CTO 批评 MEME 币近似赌场，社区却乐在其中
2024.04.25

: Four Pillars 研报：IO.NET 如何带来更好的共享经济？
2024.04.25

: 从旁氏三盘理论看 MEME 币崛起
2024.04.25

7x24h快讯

BitsLab 旗下 MoveBit 和 Aptos 联合发表 Aptos Framework 形式化验证论文

近日，Move 生态最早期贡献者 MoveBit 和 Aptos Move 负责人 Wolfgang Grieskamp 联合发表了 FMBC-24（Formal Methods for Blockchains）学术论文。该论文指出，通过形式化验证方法保障 Aptos 链合约的安全性，使其能够在多种应用场景下保障安全性能。MoveBit 核心开发者 Luis Loh 和 Zorrot Chen 深度参与建设，为确保 Aptos Framework 安全性做出了显著贡献。值得一提的是，Wolfgang 还将在 ETAPS Conferences 展示 MoveBit 深度参与的 Aptos 形式化验证工作。

2024.04.2418:10:41