sec-bit/vscode-secbit-ssae sec-bit/vscode-secbit-ssae

  • Stars
    star
    11
  • Rank 1,694,586 (Top 34 %)
  • Language
    TypeScript
  • License
    MIT License
  • Created over 6 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sec-bit/vscode-secbit-ssae
github

sec-bit

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Visual Studio Code extension for SECBIT Solidity Static Analyzer

More Repositories

1

learning-zkp

articles, codes and tools all about zero-knowledge proofs
Jupyter Notebook
808
star
2

awesome-buggy-erc20-tokens

A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
Python
613
star
3

zkPoD-node

zkPoD: A decentralized system for perfect fair data exchange
Go
204
star
4

tokenlibs-with-proofs

Correctness proofs of Ethereum token contracts
Coq
98
star
5

ckb-zkp

Zero Knowledge Proofs Toolkit for CKB
Rust
65
star
6

badERC20Fix

Fix for the contracts which are not compatible with ERC20
25
star
7

mfer-safe

The mfer-safe https://twitter.com/outoflegend/status/1557038973658472450
JavaScript
23
star
8

libsnark_abc

Minimal examples to use libsnark.
C++
21
star
9

zkPoD-lib

The underlying core library for zkPoD system
C++
20
star
10

zkPoD-contract

Smart contracts for zkPoD Decentralized Exchange
Go
14
star
11

minievm

Mini Ethereum Virutal Machine
Go
12
star
12

hydro-audit-report

7
star
13

clover-protocol

An aSVC based stateless protocol as L2 rollup on Nervos CKB
Rust
7
star
14

mfer-node

An Ethereum transaction simulator based on go-ethereum
Go
7
star
15

yfii-security-review

7
star
16

kzg-rln-go

RLN on KZG in Golang
Go
6
star
17

zkp-toolkit

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

loopring-protocol2-verification

Coq
3
star
19

dorahacks

Dorahacks æ™ēčƒŊ合įēĻ挑战čĩ›éĸ˜į›Ž
3
star
20

calculus-token-with-proof

Coq
3
star
21

plonk

An experimental arkworks-based PLONK/PLOOKUP implementation
2
star
22

Quill

An open source cryptocurrency signature tool
CSS
2
star
23

blog

Visit Our Blog 👉 https://sec-bit.github.io/blog 💓
Shell
1
star
24

OneETH-audit-report

1
star
25

protobuf-sol

Fork from https://github.com/umegaya/pb3sol
Python
1
star
26

badmsg.sender

Go
1
star
27

solidity-safe-subset

C++
1
star
28

mfer-safe-lite

MferSafe Lite Browser Extension
TypeScript
1
star
29

yin-finance-audit-report

1
star
30

tmap

A total map implementation
Coq
1
star