Repositories list

• riscv-lean4

  Public

  sec-bit/riscv-lean4’s past year of commit activity
  Lean

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 9, 2026Feb 9, 2026

• software-foundations-lean4

  Public

  sec-bit/software-foundations-lean4’s past year of commit activity
  Rocq Prover

  •00 forks•44 stars•00 issues•00 pull requests•Updated Jan 24, 2026Jan 24, 2026

• mle-pcs

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

  Jupyter Notebook

  •88 forks•3838 stars•88 issues•33 pull requests•Updated Oct 17, 2025Oct 17, 2025

• blog

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

  Python

  •11 fork•22 stars•00 issues•00 pull requests•Updated Jun 25, 2025Jun 25, 2025

• mle-pcs-benchmark

  Public

  sec-bit/mle-pcs-benchmark’s past year of commit activity
  Rust

  •

  Apache License 2.0

  •11 fork•22 stars•2020 issues•00 pull requests•Updated Jun 12, 2025Jun 12, 2025

• linear-gkr-rust

  Public
  Rust

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 14, 2025May 14, 2025

• website

  Public

  sec-bit/website’s past year of commit activity
  Source code for https://sec-bit.github.io

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 10, 2024Oct 10, 2024

• sec-bit.github.io

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

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 10, 2024Oct 10, 2024

• learning-zkp

  Public
  articles, codes and tools all about zero-knowledge proofs

  Jupyter Notebook

  •210210 forks•920920 stars•1111 issues•77 pull requests•Updated Oct 6, 2024Oct 6, 2024

• awesome-buggy-erc20-tokens

  Public
  A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

  securityawesomeethereum+ 8

  securityawesomeethereumdappsmart-contractstokenssolidityawesome-listvulnerabilitieserc20+ 1

  Python

  •

  Creative Commons Zero v1.0 Universal

  •102102 forks•630630 stars•55 issues•44 pull requests•Updated Feb 15, 2024Feb 15, 2024

• mfer-node

  Public
  An Ethereum transaction simulator based on go-ethereum

  Go

  •22 forks•77 stars•00 issues•00 pull requests•Updated Sep 1, 2023Sep 1, 2023

• zkPoD-node

  Public
  zkPoD: A decentralized system for perfect fair data exchange

  privacyconfidentialitydata-exchange+ 3

  privacyconfidentialitydata-exchangedecentralized-internetzero-knowledge-proofsfair-exchange

  Go

  •

  GNU General Public License v3.0

  •3838 forks•210210 stars•33 issues•11 pull request•Updated May 21, 2023May 21, 2023

• kzg-rln-go

  Public
  RLN on KZG in Golang

  Go

  •11 fork•66 stars•00 issues•00 pull requests•Updated May 18, 2023May 18, 2023

• mfer-safe-lite

  Public
  MferSafe Lite Browser Extension

  TypeScript

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 3, 2023Apr 3, 2023

• zkPoD-contract

  Public
  Smart contracts for zkPoD Decentralized Exchange

  ethereumdecentralized-exchangezero-knowledge-proofs

  ethereumdecentralized-exchangezero-knowledge-proofs

  Go

  •11 fork•1414 stars•00 issues•99 pull requests•Updated Dec 10, 2022Dec 10, 2022

• ckb-zkp

  Public
  Zero Knowledge Proofs Toolkit for CKB

  smart-contractsckbnervos+ 1

  smart-contractsckbnervoszero-knowledge-proofs

  Rust

  •

  Apache License 2.0

  •1515 forks•7070 stars•00 issues•22 pull requests•Updated Nov 2, 2022Nov 2, 2022

• KZG10-Ceremony-audit-report

  Public
  Spec + Implementation Audit for https://github.com/ethereum/kzg-ceremony

  00 forks•00 stars•00 issues•00 pull requests•Updated Sep 20, 2022Sep 20, 2022

• mfer-safe

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

  JavaScript

  •22 forks•2424 stars•00 issues•00 pull requests•Updated Sep 16, 2022Sep 16, 2022

• Quill

  Public
  An open source cryptocurrency signature tool

  vuejssignaturecryptocurrency

  vuejssignaturecryptocurrency

  CSS

  •

  MIT License

  •11 fork•22 stars•00 issues•22 pull requests•Updated Jan 15, 2022Jan 15, 2022

• plonk

  Public
  An experimental arkworks-based PLONK/PLOOKUP implementation

  Apache License 2.0

  •11 fork•22 stars•11 issue•00 pull requests•Updated Oct 27, 2021Oct 27, 2021

• ZKCPlus

  Public
  A practical and flexible fair exchange protocol

  00 forks•00 stars•00 issues•00 pull requests•Updated Sep 26, 2021Sep 26, 2021

• clover-protocol

  Public
  An aSVC based stateless protocol as L2 rollup on Nervos CKB

  Rust

  •

  MIT License

  •11 fork•77 stars•00 issues•00 pull requests•Updated Aug 31, 2020Aug 31, 2020

• libsnark_abc

  Public
  Minimal examples to use libsnark.

  tutorialexamplelibsnark

  tutorialexamplelibsnark

  C++

  •1212 forks•2121 stars•11 issue•00 pull requests•Updated Aug 27, 2020Aug 27, 2020

• yfii-security-review

  Public
  22 forks•88 stars•00 issues•00 pull requests•Updated Aug 5, 2020Aug 5, 2020

• zkp-toolkit

  Public archive
  Zero Knowledge Proofs Toolkit (deprecated and merged into https://github.com/sec-bit/ckb-zkp)

  zero-knowledge-proofs

  zero-knowledge-proofs

  Rust

  •

  Apache License 2.0

  •22 forks•44 stars•00 issues•00 pull requests•Updated Jun 24, 2020Jun 24, 2020

• zkPoD-lib

  Public
  The underlying core library for zkPoD system

  cryptozero-knowledge-proofsfair-exchange

  cryptozero-knowledge-proofsfair-exchange

  C++

  •

  Other

  •55 forks•2121 stars•33 issues•00 pull requests•Updated Jan 21, 2020Jan 21, 2020

• badERC20Fix

  Public
  Fix for the contracts which are not compatible with ERC20

  smart-contractserc20

  smart-contractserc20

  GNU General Public License v3.0

  •77 forks•2525 stars•00 issues•00 pull requests•Updated Oct 15, 2019Oct 15, 2019

• comments-for-secbit-blog

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Oct 12, 2019Oct 12, 2019

• zkPoD-params

  Public
  Public parameters for zkPoD-node

  00 forks•00 stars•00 issues•00 pull requests•Updated Jul 12, 2019Jul 12, 2019

• badmsg.sender

  Public
  fuzzer

  fuzzer

  Go

  •11 fork•11 star•00 issues•00 pull requests•Updated Jul 1, 2019Jul 1, 2019