Repositories list

• riscv-lean4

  Public
  Lean

  •0•0•0•0•Updated Feb 9, 2026Feb 9, 2026

• software-foundations-lean4

  Public

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

  •0•4•0•0•Updated Jan 24, 2026Jan 24, 2026

• mle-pcs

  Public

  sec-bit/mle-pcs’s past year of commit activity
  A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes

  Jupyter Notebook

  •8•38•8•3•Updated Oct 17, 2025Oct 17, 2025

• blog

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

  Python

  •1•2•0•0•Updated Jun 25, 2025Jun 25, 2025

• mle-pcs-benchmark

  Public
  Rust

  •

  Apache License 2.0

  •0•2•20•0•Updated Jun 12, 2025Jun 12, 2025

• linear-gkr-rust

  Public
  Rust

  •0•0•0•0•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

  •0•0•0•0•Updated Oct 10, 2024Oct 10, 2024

• sec-bit.github.io

  Public

  sec-bit/sec-bit.github.io’s past year of commit activity
  Visit Our Homepage @ https://sec-bit.github.io

  HTML

  •0•0•0•0•Updated Oct 10, 2024Oct 10, 2024

• learning-zkp

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

  Jupyter Notebook

  •211•920•11•7•Updated Oct 6, 2024Oct 6, 2024

• awesome-buggy-erc20-tokens

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

  securityawesomeethereum+ 8dappsmart-contractstokenssolidityawesome-listvulnerabilitieserc20+ 1

  Python

  •

  Creative Commons Zero v1.0 Universal

  •100•633•5•3•Updated Feb 15, 2024Feb 15, 2024

• mfer-node

  Public
  An Ethereum transaction simulator based on go-ethereum

  Go

  •2•7•0•0•Updated Sep 1, 2023Sep 1, 2023

• zkPoD-node

  Public
  zkPoD: A decentralized system for perfect fair data exchange

  privacyconfidentialitydata-exchange+ 3decentralized-internetzero-knowledge-proofsfair-exchange

  Go

  •

  GNU General Public License v3.0

  •38•213•3•1•Updated May 21, 2023May 21, 2023

• kzg-rln-go

  Public
  RLN on KZG in Golang

  Go

  •1•6•0•0•Updated May 18, 2023May 18, 2023

• mfer-safe-lite

  Public
  MferSafe Lite Browser Extension

  TypeScript

  •0•1•0•0•Updated Apr 3, 2023Apr 3, 2023

• zkPoD-contract

  Public
  Smart contracts for zkPoD Decentralized Exchange

  ethereumdecentralized-exchangezero-knowledge-proofs

  Go

  •1•14•0•9•Updated Dec 10, 2022Dec 10, 2022

• ckb-zkp

  Public
  Zero Knowledge Proofs Toolkit for CKB

  smart-contractsckbnervos+ 1zero-knowledge-proofs

  Rust

  •

  Apache License 2.0

  •15•69•0•2•Updated Nov 2, 2022Nov 2, 2022

• KZG10-Ceremony-audit-report

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

  0•0•0•0•Updated Sep 20, 2022Sep 20, 2022

• mfer-safe

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

  JavaScript

  •2•24•0•0•Updated Sep 16, 2022Sep 16, 2022

• AladdinDao-audit-report

  Public
  0•0•0•0•Updated Mar 31, 2022Mar 31, 2022

• x2y2-audit-report

  Public
  0•0•0•0•Updated Mar 22, 2022Mar 22, 2022

• solv-v2-ivo-audit-report

  Public
  0•0•0•0•Updated Feb 11, 2022Feb 11, 2022

• Quill

  Public
  An open source cryptocurrency signature tool

  vuejssignaturecryptocurrency

  CSS

  •

  MIT License

  •1•2•0•2•Updated Jan 15, 2022Jan 15, 2022

• yin-finance-audit-report

  Public
  0•0•0•0•Updated Dec 3, 2021Dec 3, 2021

• plonk

  Public
  An experimental arkworks-based PLONK/PLOOKUP implementation

  Apache License 2.0

  •1•2•1•0•Updated Oct 27, 2021Oct 27, 2021

• ZKCPlus

  Public
  A practical and flexible fair exchange protocol

  0•0•0•0•Updated Sep 26, 2021Sep 26, 2021

• scientix-audit-report

  Public
  0•0•0•0•Updated Sep 8, 2021Sep 8, 2021

• acBTC-audit-report

  Public
  0•0•0•0•Updated Oct 10, 2020Oct 10, 2020

• clover-protocol

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

  Rust

  •

  MIT License

  •1•7•0•0•Updated Aug 31, 2020Aug 31, 2020

• libsnark_abc

  Public
  Minimal examples to use libsnark.

  tutorialexamplelibsnark

  C++

  •12•21•1•0•Updated Aug 27, 2020Aug 27, 2020

• yfii-security-review

  Public
  2•8•0•0•Updated Aug 5, 2020Aug 5, 2020