Results 10 repositories owned by SECBIT Labs

awesome-buggy-erc20-tokens

597
Stars
101
Forks
Watchers

A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

zkPoD-node

199
Stars
37
Forks
Watchers

zkPoD: A decentralized system for perfect fair data exchange

learning-zkp

698
Stars
151
Forks
Watchers

articles, codes and tools all about zero-knowledge proofs

ckb-zkp

65
Stars
16
Forks
Watchers

Zero Knowledge Proofs Toolkit for CKB

tokenlibs-with-proofs

98
Stars
23
Forks
Watchers

Correctness proofs of Ethereum token contracts

adelaide

19
Stars
5
Forks
Watchers

The SECBIT Static Analysis Extension to Solidity Compiler

badERC20Fix

25
Stars
7
Forks
Watchers

Fix for the contracts which are not compatible with ERC20

libsnark_abc

21
Stars
11
Forks
Watchers

Minimal examples to use libsnark.

mfer-safe

22
Stars
2
Forks
Watchers

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

zkPoD-lib

20
Stars
5
Forks
Watchers

The underlying core library for zkPoD system