Skip to content
@sec-bit

SECBIT Labs

Pinned Loading

  1. learning-zkp learning-zkp Public

    articles, codes and tools all about zero-knowledge proofs

    Jupyter Notebook 863 202

  2. zkPoD-node zkPoD-node Public

    zkPoD: A decentralized system for perfect fair data exchange

    Go 211 37

  3. mfer-safe mfer-safe Public

    The mfer-safe https://twitter.com/outoflegend/status/1557038973658472450

    JavaScript 24 2

  4. tokenlibs-with-proofs tokenlibs-with-proofs Public

    Correctness proofs of Ethereum token contracts

    Coq 97 23

  5. awesome-buggy-erc20-tokens awesome-buggy-erc20-tokens Public

    A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

    Python 619 102

  6. adelaide adelaide Public

    Forked from ethereum/solidity

    The SECBIT Static Analysis Extension to Solidity Compiler

    C++ 19 5

Repositories

Showing 10 of 51 repositories
  • mle-pcs Public

    A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes

    sec-bit/mle-pcs’s past year of commit activity
    Jupyter Notebook 21 7 8 2 Updated Apr 12, 2025
  • linear-gkr-rust Public
    sec-bit/linear-gkr-rust’s past year of commit activity
    Rust 0 0 0 0 Updated Mar 31, 2025
  • blog Public

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

    sec-bit/blog’s past year of commit activity
    Python 1 1 0 0 Updated Nov 15, 2024
  • website Public

    Source code for https://sec-bit.github.io

    sec-bit/website’s past year of commit activity
    HTML 0 0 0 0 Updated Oct 10, 2024
  • sec-bit.github.io Public

    Visit Our Homepage @ https://sec-bit.github.io

    sec-bit/sec-bit.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Oct 10, 2024
  • learning-zkp Public

    articles, codes and tools all about zero-knowledge proofs

    sec-bit/learning-zkp’s past year of commit activity
    Jupyter Notebook 863 202 11 8 Updated Oct 6, 2024
  • awesome-buggy-erc20-tokens Public

    A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

    sec-bit/awesome-buggy-erc20-tokens’s past year of commit activity
    Python 619 CC0-1.0 102 5 3 Updated Feb 15, 2024
  • mfer-node Public

    An Ethereum transaction simulator based on go-ethereum

    sec-bit/mfer-node’s past year of commit activity
    Go 8 3 0 0 Updated Sep 1, 2023
  • zkPoD-node Public

    zkPoD: A decentralized system for perfect fair data exchange

    sec-bit/zkPoD-node’s past year of commit activity
    Go 211 GPL-3.0 37 3 0 Updated May 21, 2023
  • kzg-rln-go Public

    RLN on KZG in Golang

    sec-bit/kzg-rln-go’s past year of commit activity
    Go 6 1 0 0 Updated May 18, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…