Verification Proofs
Source code recovered through compiler archaeology and proven to match on-chain bytecode. Each proof documents the methodology, compiler version, and evidence used to verify the original source.
Test
0x6516298e1c94769432ef6d5f450579094e8c21fa
Compiled from a single-function contract: contract Test { function go() returns (string) { return "eth"; } }. Matched using soljson v0.1.1+commit.6ff4cd6, the earliest available Solidity compiler release. Optimizer off. Byte-for-byte match of all 285 bytes.
HelloWorld
0xfea8c4afb88575cd89a2d7149ab366e7328b08eb
The official Ethereum Greeter tutorial contract (mortal + greeter). Compiled with soljson v0.1.1+commit.6ff4cd6, optimizer off. 692 bytes + 96 bytes constructor arg = 788 bytes. Self-destructed.
EarlyChainLetter10ETH
0xa327075af2a223a1c83a36ada1126afe7430f955
Tree-based chain letter investment contract (MyScheme). Compiled with soljson v0.1.1+commit.6ff4cd6, optimizer ON. Byte-for-byte match of all 925 bytes.
SciFi
0xd94badbec21695b7a36abcb979efad0108319d18
One of the first dApps on Ethereum, deployed 9 days after Frontier launch. Users bid ETH to rank sci-fi movies. Compiled with solc v0.1.4, optimizer enabled. 219 bytes runtime.
Wallet
0xde0b295669a9fd93d5f28d9ec85e40f4cb697bae
Gavin Wood's wallet.sol from ethereum/dapp-bin, compiled with solc v0.1.1. The direct ancestor of the Parity multisig that was later hacked.
FunDistributor
0x125b606c67e8066da65069652b656c19717745fa
Original source hosted on Pastebin (expired). Reconstructed from on-chain bytecode via compiler archaeology. Byte-for-byte match with soljson v0.1.1+commit.6ff4cd6, optimizer disabled. SHA256: 29fef67c6a7d76329a7d3e7770a9b08ae7705553ad628b4347123be0e2fed3c5. Key finding: uses the private keyword (supported but rarely seen in solc 0.1.1 era contracts). Reddit post claimed 25% payout but actual code does this.balance / 3 (33.3%).
MistCoin
0xf4eced2f682ce333f96f2d8966c613ded8fc95dd
Source code verified by crypt0biwan. Fabian Vogelsteller's token created to test the ERC-20 standard, deployed November 3, 2015.
currency
0xa2e3680acaf5d2298697bdc016cf75a929385463
Compiled from currency.se in ethereum/dapp-bin using the Serpent compiler. Initially mistaken for Solidity - the contract was actually written in Vitalik's own language.
MeatConversionCalculator
0x4ab274fc3a81b300a0016b3805d9b94c81fa54d2
Source code and compiler settings published by Alex Van de Sande (avsa). Converts Unicorn tokens into Unicorn Meat through a one-way grinder mechanism.
Unicorn Meat Grinder Association
0xc7e9ddd5358e08417b1c88ed6f1a73149beeaa32
DAO controlling the Unicorn Meat grinder rules. Source and compiler settings published by Alex Van de Sande (avsa). Features quadratic voting where each negative vote is worth 4 support votes.
GavCoin
0xb4abc1bfc403a7b82c777420c81269858a4b8aa4
Pre-ERC-20 mineable token from Gavin Wood's coin.sol in ethereum/dapp-bin. Compiled with solc v0.3.1, optimizer enabled. 905 bytes runtime, byte-perfect match.