非影资讯
P非影 English
面向安全从业者的中英双语安全研究与漏洞情报精选。

Move：审计师入门指南

osec.io | 博客 | #smart-contracts | #blockchain | #formal-verification | #move | #aptos | #type-system

摘要

OtterSec 面向审计师的 Move 入门：解析其类型系统与资源模型如何促成更安全的编程实践、需要避免的反模式，以及协议安全设计要点。
发布时间
收录时间

原文 ↗

相关内容

  1. Aptos 可替代资产漫游指南 (osec.io)
  2. Move Prover 指南 (osec.io)
  3. Cosmos 安全：水獭指南 (osec.io)
  4. HackenProof 携手拥有四百万用户的 Hack The Box 平台，为区块链行业推出 CTF 安全挑战赛 (hackenproof.com)
  5. HackenProof 携手拥有四百万用户的 Hack The Box 平台，为区块链行业推出课程 (hackenproof.com)
  6. Move 智能合约算术：精度失败如何导致经济系统崩溃 (hackenproof.com)

返回