Popular repositories Loading

1. awesome-ethereum-proofs awesome-ethereum-proofs Public

   Source code verification proofs for the earliest Ethereum contracts (2015-2017). Compiler archaeology and bytecode matching.

   JavaScript 3 2

2. ethereumhistory ethereumhistory Public

   Historical archive and analysis for Ethereum smart contracts

   TypeScript 1 1

3. gavcoin-verify gavcoin-verify Public

   Reproduce the exact bytecode of GavCoin (0xb4abc1bfc403a7b82c777420c81269858a4b8aa4) deployed April 26, 2016

   Solidity 1

4. wallet-4088-verification wallet-4088-verification Public

   Bytecode verification for the Mist Multisig Wallet (4088b optimized) — Ethereum 2016

   Solidity 1

5. ERC20-Salesbots ERC20-Salesbots Public

6. 2015_ethereum_contracts 2015_ethereum_contracts Public