Skip to content

cartoonitunes/deadman-verification

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 
 
 
 
 
 
 

Repository files navigation

Deadman Switch Verification

Byte-for-byte bytecode verification for 0xa73961e6c1e5e635b5f3f66d8b17834e34aa9215.

Field Value
Contract 0xa73961e6c1e5e635b5f3f66d8b17834e34aa9215
Network Ethereum Mainnet
Block 580,469
Deployed November 22, 2015
Deployer 0x1db3439a222c519ab44bb1144fc28167b4fa6ee6 (Vitalik Buterin dev address)
Compiler Serpent (ethereum/serpent commit bc4ce59)
Optimizer N/A
Runtime match ✅ EXACT (284 bytes)

Verification

# Requires Docker with the serpent-bc4ce59 image built locally
./verify.sh

Building the Compiler

git clone https://github.com/ethereum/serpent
cd serpent
git checkout bc4ce59
docker build -t serpent-bc4ce59 .

What This Contract Does

A deadman switch contract — if the owner stops sending ping() transactions for more than 1000 seconds, the trustee gains the ability to withdraw funds. The owner can also withdraw at any time.

  • ping(): Owner resets the last-ping timestamp.
  • setTrustee(address): Owner designates a trustee.
  • withdraw(address, amount): Owner can withdraw anytime; trustee can withdraw if block.timestamp > lastPing + 1000.

This was a common early Ethereum pattern for testing time-based access control. Deployed by Vitalik Buterin from his early development address in November 2015.

About

Byte-for-byte verification of Vitalik Buterin's deadman switch contract (Nov 2015)

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages