Explore @sec-bit Open Source projects

SECBIT Labs (@sec-bit)

sec-bit

Stars
1,985
Global Org. Rank 9,535 (Top 4 %)
Registered over 6 years ago
Most used languages

Go
25.0 %

Coq 16.7 %

Rust
12.5 %

C++
12.5 %

TypeScript
8.3 %

Python
8.3 %

Jupyter Notebook
4.2 %

Shell
4.2 %

CSS
4.2 %

JavaScript
4.2 %

learning-zkp

articles, codes and tools all about zero-knowledge proofs

Jupyter Notebook

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

tokenlibs-with-proofs

Correctness proofs of Ethereum token contracts

ckb-zkp

Zero Knowledge Proofs Toolkit for CKB

badERC20Fix

Fix for the contracts which are not compatible with ERC20

mfer-safe

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

libsnark_abc

Minimal examples to use libsnark.

zkPoD-lib

The underlying core library for zkPoD system

zkPoD-contract

Smart contracts for zkPoD Decentralized Exchange

minievm

Mini Ethereum Virutal Machine

vscode-secbit-ssae

Visual Studio Code extension for SECBIT Solidity Static Analyzer

hydro-audit-report

clover-protocol

An aSVC based stateless protocol as L2 rollup on Nervos CKB

mfer-node

An Ethereum transaction simulator based on go-ethereum

yfii-security-review

kzg-rln-go

RLN on KZG in Golang

zkp-toolkit

Zero Knowledge Proofs Toolkit (deprecated and merged into https://github.com/sec-bit/ckb-zkp)

loopring-protocol2-verification

dorahacks

Dorahacks 智能合约挑战赛题目

calculus-token-with-proof

plonk

An experimental arkworks-based PLONK/PLOOKUP implementation

Quill

An open source cryptocurrency signature tool

blog

Visit Our Blog 👉 https://sec-bit.github.io/blog 💓

OneETH-audit-report

protobuf-sol

Fork from https://github.com/umegaya/pb3sol

badmsg.sender

solidity-safe-subset

mfer-safe-lite

MferSafe Lite Browser Extension

yin-finance-audit-report

tmap

A total map implementation