1 个仓库
Awesome GitHub RepositoriesImplementation Audits
Scans Circom circuits and ZK proof code for memory safety, logic flaws, and insecure cryptographic transformations.
Distinct from Zero-Knowledge Proof Frameworks: Distinct from Zero-Knowledge Proof Frameworks: focuses on auditing existing implementations for vulnerabilities rather than providing frameworks for building ZK applications.
Explore 1 awesome GitHub repository matching security & cryptography · Implementation Audits. Refine with filters or upvote what's useful.
Awesome Implementation Audits GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- crytic/slither
crytic/slither
6,141在 GitHub 上查看Scans Circom circuits and ZK proof code for memory safety and logic flaws that enable proof forgery.
Pythonethereumsoliditystatic-analysis
