SECBIT Labs

Pinned

1. learning-zkp Public

   articles, codes and tools all about zero-knowledge proofs

   374 91

2. zkPoD-node Public

   zkPoD: A decentralized system for perfect fair data exchange

   Go 151 30

3. tokenlibs-with-proofs Public

   Correctness proofs of Ethereum token contracts

   Coq 91 23

4. adelaide Public

   Forked from ethereum/solidity

   The SECBIT Static Analysis Extension to Solidity Compiler

   C++ 16 5

5. blog Public

   Visit Our Blog 👉 https://sec-bit.github.io/blog 💓

   Shell 1

6. awesome-buggy-erc20-tokens Public

   A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

   Python 445 75