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

Solana 形式化验证：案例研究

osec.io | 博客 | #rust | #formal-verification | #solana | #anchor | #kani | #squads

摘要

OtterSec 提出面向 Solana Anchor 程序的形式化验证框架：自动生成证明 harness 并交由 Kani Rust 验证器检查，并以 Squads 多签为案例。
发布时间
收录时间

原文 ↗

相关内容

  1. Rust、realloc 与引用 (osec.io)
  2. 借助智能体辅助，自动逆向 Hyperliquid 风险引擎 (osec.io)
  3. Solana：lamport 转账的隐藏危险 (osec.io)
  4. Solana 多签安全 (osec.io)
  5. Solana：在虚拟机中跳跃 (osec.io)
  6. Move Prover 指南 (osec.io)

返回