SECBIT Labs
awesome-buggy-erc20-tokens
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
zkPoD-node
zkPoD: A decentralized system for perfect fair data exchange
ckb-zkp
Zero Knowledge Proofs Toolkit for CKB
tokenlibs-with-proofs
Correctness proofs of Ethereum token contracts
adelaide
The SECBIT Static Analysis Extension to Solidity Compiler
badERC20Fix
Fix for the contracts which are not compatible with ERC20
libsnark_abc
Minimal examples to use libsnark.
mfer-safe
The mfer-safe https://twitter.com/outoflegend/status/1557038973658472450
zkPoD-lib
The underlying core library for zkPoD system