Beast code in Giters

SECBIT Labs's repositories

tokenlibs-with-proofs

Correctness proofs of Ethereum token contracts

Language:CoqLGPL-3.098 150

adelaide

The SECBIT Static Analysis Extension to Solidity Compiler

Language:C++GPL-3.019 9 3

minievm

Mini Ethereum Virutal Machine

Language:GoGPL-3.012 5 5

vscode-secbit-ssae

Visual Studio Code extension for SECBIT Solidity Static Analyzer

Language:TypeScriptMIT11 10 2

hydro-audit-report

7 40

calculus-token-with-proof

Language:Coq3 40

dorahacks

Dorahacks 智能合约挑战赛题目

3 4 3

loopring-protocol2-verification

Language:CoqMIT3 30

badmsg.sender

Language:Go1 20

go-z3

Bindings for the Z3 SMT solver

Language:GoBSD-3-Clause1 20

ida-evm

IDA Processor Module for the Ethereum Virtual Machine (EVM)

Language:PythonApache-2.01 20

OneETH-audit-report

1 40

protobuf-sol

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

Language:Python1 30

solidity-safe-subset

Language:C++GPL-3.01 30

tmap

A total map implementation

Language:Coq1 40

awesome-wallet-app

04 2

ethereumjs-vm

The Ethereum VM implemented in Javascript

Language:JavaScriptMPL-2.0040

token-profile

Blockchain coin and token profile collection

Language:JavaScriptMIT000

zkPoD-params

Public parameters for zkPoD-node

020