Insurance

Utility

0x57f7dc10bfe2...2599723b9921

FrontierContract #1,257Exact Bytecode MatchEdit this contract

Bytecode verified via sibling

This contract shares identical runtime bytecode with Insurance (0x2dd13bdc...) which has been verified through compiler archaeology.

Deployed September 18, 2015 (10 years ago)Block 253,133

The Oraclize flight-delay insurance example, one oracle address apart

Frontier EraVerified Source

Context

Frontier and Homestead era deployment.

Key Facts

Deployer

0x0047a8...884de8

Deployment Block

253,133

Deployment Date

Sep 18, 2015, 03:26 PM

Code Size

2.0 KB

Gas at Deploy

575,193

Transactions by Year

20158

Deployment Transaction: 0xa6ba8b22fc0e940d...e695dbc58752a415

Description

Oraclize published a flight-delay insurance example alongside its query API, and this is that contract: a five-slot list of insured users and a five-slot list of investors, a premium paid in, and a callback that pays out when the oracle reports the flight. The source carries its author's line, Copyright (C) 2015 Thomas Bertani, Oraclize srl. Each deployment is byte-identical to the others apart from twenty bytes: the OraclizeI address it queries, pushed as a literal inside register(). That single constant is the whole difference between the copies of this contract on chain, which is what identifies them as one example redeployed rather than as separate contracts.

Source Verified

Exact bytecode match(2,096 bytes)

Compiler: v0.1.3-

View verification proof

Heuristic Analysis

The following characteristics were detected through bytecode analysis and may not be accurate.

Detected Type: Utility

Frontier Era

The initial release of Ethereum. A bare-bones implementation for technical users.

Block span: 0 — 1,149,999

July 30, 2015 — March 14, 2016

Bytecode Overview

Opcodes2,096

Unique Opcodes146

Jump Instructions116

Storage Operations63

Verified Source Available

Source verified through compiler archaeology and exact bytecode matching.

Verified on Etherscan (similar match)

View Verification Proof

Show source code (Solidity)

// Submitted by EthereumHistory (ethereumhistory.com)
// Copyright (C) 2015 Thomas Bertani - Oraclize srl
// https://www.oraclize.it/service/api

contract OraclizeI {
    function query(uint timestamp, byte[] formula_1, byte[] formula_2, byte[] formula_3, byte[] formula_4){}
    function query(uint timestamp, address param, byte[] formula_1, byte[] formula_2, byte[] formula_3, byte[] formula_4){}
}



contract Insurance {

  address[5] public users_list;
  mapping (address => uint) public balances;
  address[5] public investors_list;
  mapping (address => uint) public investors;
  uint public users_list_length;
  uint public investors_list_length;


  function register(byte[] formula_1a, byte[] flight_number, byte[] formula_3a, byte[] formula_4a, uint arrivaltime) returns (uint){
    if (balances[msg.sender] > 0) return;
    uint balance_busy = 0;
    for (uint k=0; k<users_list_length; k++){
        balance_busy += 5*balances[users_list[k]];
    }
    if (uint(address(this).balance)-balance_busy < 5*uint(msg.value)){ msg.sender.send(msg.value); return; }
    OraclizeI oracle = OraclizeI(0x131e9a85db6f0f89761867075df0b8cec1c442ad);
    oracle.query(arrivaltime+3*3600, msg.sender, formula_1a, flight_number, formula_3a, formula_4a);
    balances[msg.sender] = msg.value;
    users_list[users_list_length] = msg.sender;
    users_list_length++;
  }

  function __callback(address sender, uint result){
    var bal = balances[sender];
    delete balances[sender];
    if (result > 0) sender.send(5*bal);
    for (uint k=0; k<users_list_length; k++){
        if (users_list[k] == sender){
            users_list[k] = 0x0;
        }
    }
  }

  function invest() {
    if (investors[msg.sender] == 0){
      investors_list[investors_list_length] = msg.sender;
      investors_list_length++;
    }
    investors[msg.sender] += uint(msg.value);
  }

  function deinvest(){
    if (investors[msg.sender] == 0) return;
    uint balance_busy = 0;
    for (uint k=0; k<users_list_length; k++){
      balance_busy += 5*balances[users_list[k]];
    }
    if (balance_busy > uint(address(this).balance)) return;
    uint invested_total = 0;
    for (k=0; k<investors_list_length; k++){
      invested_total += investors[investors_list[k]];
    }
    uint gain = investors[msg.sender] / invested_total * (address(this).balance - balance_busy);
    msg.sender.send(gain);
    investors[msg.sender] = 0;
    for (k=0; k<investors_list_length; k++){
      if (investors_list[k] == msg.sender) investors_list[k] = 0x0;
    }
  }

  function get() returns (uint){
    return balances[msg.sender];
  }

  function get_user(address user) returns (uint){
    return balances[user];
  }

  function investment_ratio() returns (uint){
    uint insured_customers_funds = 0;
    for (uint k=0; k<users_list_length; k++){
      insured_customers_funds += 5*balances[users_list[k]];
    }
    uint invested_total = 0;
    for (k=0; k<investors_list_length; k++){
      invested_total += investors[investors_list[k]];
    }
    uint ratio = invested_total / (uint(address(this).balance) - insured_customers_funds) * 100;
    return ratio;
  }
}