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

Move Prover 指南

osec.io | 博客 | #smart-contracts | #tutorial | #formal-verification | #move | #move-prover | #z3

摘要

OtterSec 的 Move Prover 实用指南：讲解形式化验证原理、从 Move 规范语言到 Boogie 与 Z3 的流水线，并附真实项目案例。
发布时间
收录时间

原文 ↗

相关内容

  1. Move：审计师入门指南 (osec.io)
  2. Aptos 可替代资产漫游指南 (osec.io)
  3. ERC-4337 Paymaster：更好的用户体验，隐藏的风险 (osec.io)
  4. Cosmos 安全：水獭指南 (osec.io)
  5. Solana：lamport 转账的隐藏危险 (osec.io)
  6. 舍入误差漏洞分析 (osec.io)

返回