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

Amarna：Cairo 程序的静态分析

blog.trailofbits.com | 博客 | #static-analysis | #blockchain | #zero-knowledge-proofs | #amarna | #cairo | #starknet

摘要

Trail of Bits 开源 Cairo 语言静态分析器 Amarna。Cairo 支撑着 StarkNet 等管理数百万美元资产的系统，Amarna 针对欠约束结构、非确定性跳转等语言陷阱提供检测。
发布时间
收录时间

原文 ↗

相关内容

  1. 状态分歧导致未经授权的访问 (blog.trailofbits.com)
  2. 用新的测试手册章节让你的 Rust 代码更安全 (blog.trailofbits.com)
  3. 我们的密码学专家回答10个关键问题 (blog.trailofbits.com)
  4. 我们为 ZKDocs 增加了更多内容 (blog.trailofbits.com)
  5. 影响 Girault、Bulletproofs 与 PlonK 的漏洞协同披露 (blog.trailofbits.com)
  6. Reverie：一个优化的零知识证明系统 (blog.trailofbits.com)

返回