Projects in Awesome Lists by sec-bit
A curated list of projects in awesome lists by sec-bit .
https://github.com/sec-bit/learning-zkp
articles, codes and tools all about zero-knowledge proofs
Last synced: 27 Jan 2026
https://github.com/sec-bit/zkPoD-node
zkPoD: A decentralized system for perfect fair data exchange
confidentiality data-exchange decentralized-internet fair-exchange privacy zero-knowledge-proofs
Last synced: 04 Apr 2025
https://github.com/sec-bit/zkpod-node
zkPoD: A decentralized system for perfect fair data exchange
confidentiality data-exchange decentralized-internet fair-exchange privacy zero-knowledge-proofs
Last synced: 13 Jul 2025
https://github.com/sec-bit/tokenlibs-with-proofs
Correctness proofs of Ethereum token contracts
coq erc20 formal-verification proof token
Last synced: 25 Oct 2025
https://github.com/sec-bit/ckb-zkp
Zero Knowledge Proofs Toolkit for CKB
ckb nervos smart-contracts zero-knowledge-proofs
Last synced: 13 Jul 2025
https://github.com/sec-bit/baderc20fix
Fix for the contracts which are not compatible with ERC20
Last synced: 04 Jan 2026
https://github.com/sec-bit/mfer-safe
The mfer-safe https://twitter.com/outoflegend/status/1557038973658472450
Last synced: 31 Jan 2026
https://github.com/sec-bit/zkpod-lib
The underlying core library for zkPoD system
crypto fair-exchange zero-knowledge-proofs
Last synced: 16 Sep 2025
https://github.com/sec-bit/adelaide
The SECBIT Static Analysis Extension to Solidity Compiler
compiler solidity static-analysis
Last synced: 14 Jan 2026
https://github.com/sec-bit/zkpod-contract
Smart contracts for zkPoD Decentralized Exchange
decentralized-exchange ethereum zero-knowledge-proofs
Last synced: 22 Jun 2025
https://github.com/sec-bit/minievm
Mini Ethereum Virutal Machine
ethereum smart-contracts verification
Last synced: 13 Jul 2025
https://github.com/sec-bit/vscode-secbit-ssae
Visual Studio Code extension for SECBIT Solidity Static Analyzer
smart-contracts solidity vscode-extension
Last synced: 07 Aug 2025
https://github.com/sec-bit/mle-pcs
A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
Last synced: 13 Jul 2025
https://github.com/sec-bit/clover-protocol
An aSVC based stateless protocol as L2 rollup on Nervos CKB
Last synced: 13 Jul 2025
https://github.com/sec-bit/mfer-node
An Ethereum transaction simulator based on go-ethereum
Last synced: 13 Jul 2025
https://github.com/sec-bit/calculus-token-with-proof
coq erc20 formal-verification proof smart-contracts
Last synced: 16 Mar 2025
https://github.com/sec-bit/quill
An open source cryptocurrency signature tool
cryptocurrency signature vuejs
Last synced: 21 May 2026
https://github.com/sec-bit/plonk
An experimental arkworks-based PLONK/PLOOKUP implementation
Last synced: 19 Mar 2026
https://github.com/sec-bit/protobuf-sol
Fork from https://github.com/umegaya/pb3sol
Last synced: 16 Mar 2025
https://github.com/sec-bit/blog
Visit Our Blog 👉 https://sec-bit.github.io/blog 💓
Last synced: 27 Jan 2026
https://github.com/sec-bit/kzg10-ceremony-audit-report
Spec + Implementation Audit for https://github.com/ethereum/kzg-ceremony
Last synced: 04 Jan 2026
https://github.com/sec-bit/website
Source code for https://sec-bit.github.io
Last synced: 03 Jan 2026
https://github.com/sec-bit/sec-bit.github.io
Visit Our Homepage @ https://sec-bit.github.io
Last synced: 03 Jan 2026
https://github.com/sec-bit/zkcplus
A practical and flexible fair exchange protocol
Last synced: 09 Feb 2026