awesome-repositories.com
博客
MCP
awesome-repositories.com

通过 AI 驱动的搜索，发现最优秀的开源仓库。

探索精选搜索开源替代品自托管软件博客网站地图
项目MCP 服务器关于排名机制媒体报道
法律隐私政策服务条款
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

5 个仓库

Awesome GitHub RepositoriesSecurity and Analysis

Tools for auditing, testing, and analyzing smart contract security.

Explore 5 awesome GitHub repositories matching part of an awesome list · Security and Analysis. Refine with filters or upvote what's useful.

Awesome Security and Analysis GitHub Repositories

用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
  • scipr-lab/libsnarkscipr-lab 的头像

    scipr-lab/libsnark

    1,927在 GitHub 上查看↗

    C++ library for zkSNARKs

    C++ library for developing zkSNARK-based applications.

    C++
    在 GitHub 上查看↗1,927
  • jacobeberhardt/zokratesJacobEberhardt 的头像

    JacobEberhardt/ZoKrates

    1,876在 GitHub 上查看↗

    A toolbox for zkSNARKs on Ethereum

    Toolbox for implementing zkSNARKs on Ethereum.

    Rust
    在 GitHub 上查看↗1,876
  • melonproject/oyentemelonproject 的头像

    melonproject/oyente

    1,340在 GitHub 上查看↗

    An Analysis Tool for Smart Contracts

    Static analysis tool for detecting security flaws in smart contracts.

    JavaScript
    在 GitHub 上查看↗1,340
  • maian-tool/maianMAIAN-tool 的头像

    MAIAN-tool/MAIAN

    567在 GitHub 上查看↗

    MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

    Automated tool for finding vulnerabilities in smart contracts.

    Python
    在 GitHub 上查看↗567
  • ooibc88/blockbenchooibc88 的头像

    ooibc88/blockbench

    392在 GitHub 上查看↗

    BLOCKBENCH: A Framework for Analyzing Private Blockchains. Blockbench contains workloads for measuring the data processing performance, and workloads for understanding the performance of different layers of Blockchain systems.

    Benchmarking framework for evaluating blockchain performance.

    C++
    在 GitHub 上查看↗392
  1. Home
  2. Part of an Awesome List
  3. Developer Tools
  4. Security and Analysis