The Wayback Machine - https://web.archive.org/web/20221206230424/http://github.com/sec-bit/
Skip to content

Pinned

  1. articles, codes and tools all about zero-knowledge proofs

    456 102

  2. zkPoD-node Public

    zkPoD: A decentralized system for perfect fair data exchange

    Go 171 30

  3. mfer-safe Public

    JavaScript 21 2

  4. Correctness proofs of Ethereum token contracts

    Coq 93 24

  5. A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

    Python 504 88

  6. adelaide Public

    Forked from ethereum/solidity

    The SECBIT Static Analysis Extension to Solidity Compiler

    C++ 16 5

Repositories

Top languages

Loading…

Most used topics

Loading…