lorenzb

libsubmarine

Implementation of a novel practical scheme for submarine commitments

proveth

Generate & verify Merkle-Patricia-proofs for Ethereum

submarine_sends

A proof-of-concept implementation of Submarine Sends for Ethereum

goprofile

'go build' + profiling instrumentation = goprofile

selfcloning_solidity_contract

A simple self-cloning contract written in Solidity and EVM Assembly

suicide_sender

One simple trick to forcibly increase any smart contract's balance

bootcamp-security

IC3 Bootcamp Security Project

bellog

Tools for the four-valued logic programming language BelLog

docs

Published at:

enigma-core

Enigma Core library. The domain: Trusted and Untrusted App in Rust.

geth_testnet

graph

Boost.org graph module

hackthiscontract

http://hackthiscontract.io/

homebrew-core

🍻 Default formulae for the missing package manager for macOS

Hydra

Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.

ic3-website

lantool2

Complete reimplementation of lantool in Rails. No more ugly PHP.

mediasite-slurper

Download videos hosted on a public SonicFoundry MediaSite video platform

profanity

Vanity address generator for Ethereum

rust

A safe, concurrent, practical language.

shellwords

Parse line as shell words

slither

Static Analyzer for Solidity

smart-contract-best-practices

A guide to smart contract security best practices