Pinned Repositories
adelaide
The SECBIT Static Analysis Extension to Solidity Compiler
awesome-buggy-erc20-tokens
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
badERC20Fix
Fix for the contracts which are not compatible with ERC20
ckb-zkp
Zero Knowledge Proofs Toolkit for CKB
learning-zkp
articles, codes and tools all about zero-knowledge proofs
libsnark_abc
Minimal examples to use libsnark.
mfer-safe
The mfer-safe https://twitter.com/outoflegend/status/1557038973658472450
tokenlibs-with-proofs
Correctness proofs of Ethereum token contracts
zkPoD-lib
The underlying core library for zkPoD system
zkPoD-node
zkPoD: A decentralized system for perfect fair data exchange
SECBIT Labs's Repositories
sec-bit/learning-zkp
articles, codes and tools all about zero-knowledge proofs
sec-bit/awesome-buggy-erc20-tokens
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
sec-bit/zkPoD-node
zkPoD: A decentralized system for perfect fair data exchange
sec-bit/ckb-zkp
Zero Knowledge Proofs Toolkit for CKB
sec-bit/badERC20Fix
Fix for the contracts which are not compatible with ERC20
sec-bit/mfer-safe
The mfer-safe https://twitter.com/outoflegend/status/1557038973658472450
sec-bit/libsnark_abc
Minimal examples to use libsnark.
sec-bit/zkPoD-lib
The underlying core library for zkPoD system
sec-bit/mle-pcs
A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
sec-bit/zkPoD-contract
Smart contracts for zkPoD Decentralized Exchange
sec-bit/yfii-security-review
sec-bit/clover-protocol
An aSVC based stateless protocol as L2 rollup on Nervos CKB
sec-bit/mfer-node
An Ethereum transaction simulator based on go-ethereum
sec-bit/kzg-rln-go
RLN on KZG in Golang
sec-bit/zkp-toolkit
Zero Knowledge Proofs Toolkit (deprecated and merged into https://github.com/sec-bit/ckb-zkp)
sec-bit/plonk
An experimental arkworks-based PLONK/PLOOKUP implementation
sec-bit/Quill
An open source cryptocurrency signature tool
sec-bit/blog
Visit Our Blog 👉 https://sec-bit.github.io/blog 💓
sec-bit/mfer-safe-lite
MferSafe Lite Browser Extension
sec-bit/yin-finance-audit-report
sec-bit/acBTC-audit-report
sec-bit/AladdinDao-audit-report
sec-bit/KZG10-Ceremony-audit-report
Spec + Implementation Audit for https://github.com/ethereum/kzg-ceremony
sec-bit/nest-v3-audit-report
sec-bit/scientix-audit-report
sec-bit/sec-bit.github.io
Visit Our Homepage @ https://sec-bit.github.io
sec-bit/solv-v2-ivo-audit-report
sec-bit/website
Source code for https://sec-bit.github.io
sec-bit/x2y2-audit-report
sec-bit/ZKCPlus
A practical and flexible fair exchange protocol