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 915 210

  2. zkPoD-node zkPoD-node Public

    zkPoD: A decentralized system for perfect fair data exchange

    Go 214 38

  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 22

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

    A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

    Python 628 100

  6. adelaide adelaide Public

    Forked from argotorg/solidity

    The SECBIT Static Analysis Extension to Solidity Compiler

    C++ 18 5

Repositories

Showing 10 of 53 repositories
  • software-foundations-lean4 Public
    sec-bit/software-foundations-lean4’s past year of commit activity
    Rocq Prover 2 0 0 0 Updated Jan 22, 2026
  • 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 37 8 8 3 Updated Oct 17, 2025
  • blog Public

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

    sec-bit/blog’s past year of commit activity
    Python 2 1 0 0 Updated Jun 25, 2025
  • mle-pcs-benchmark Public
    sec-bit/mle-pcs-benchmark’s past year of commit activity
    Rust 2 Apache-2.0 0 20 0 Updated Jun 12, 2025
  • linear-gkr-rust Public
    sec-bit/linear-gkr-rust’s past year of commit activity
    Rust 0 0 0 0 Updated May 14, 2025
  • 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 915 210 11 7 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 628 CC0-1.0 100 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 7 2 0 0 Updated Sep 1, 2023
View all repositories