SECBIT Labs

icon indicating a website link https://secbit.io icon indicating an email [email protected]

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

verified publisher icon sec-bit

zkPoD-node

199
Stars
37
Forks
Watchers

zkPoD: A decentralized system for perfect fair data exchange

verified publisher icon sec-bit

learning-zkp

698
Stars
151
Forks
Watchers

articles, codes and tools all about zero-knowledge proofs

verified publisher icon sec-bit

ckb-zkp

65
Stars
16
Forks
Watchers

Zero Knowledge Proofs Toolkit for CKB

verified publisher icon sec-bit

tokenlibs-with-proofs

98
Stars
23
Forks
Watchers

Correctness proofs of Ethereum token contracts

verified publisher icon sec-bit

adelaide

19
Stars
5
Forks
Watchers

The SECBIT Static Analysis Extension to Solidity Compiler

verified publisher icon sec-bit

badERC20Fix

25
Stars
7
Forks
Watchers

Fix for the contracts which are not compatible with ERC20

verified publisher icon sec-bit

libsnark_abc

21
Stars
11
Forks
Watchers

Minimal examples to use libsnark.

verified publisher icon sec-bit

mfer-safe

22
Stars
2
Forks
Watchers

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

verified publisher icon sec-bit

zkPoD-lib

20
Stars
5
Forks
Watchers

The underlying core library for zkPoD system

verified publisher icon sec-bit