Insurance

Utility

0x0945a5484673...5feb1af84349

FrontierContract #1,249Exact Bytecode MatchEdit this contract

Deployed September 18, 2015 (10 years ago)Block 252,600

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

252,600

Deployment Date

Sep 18, 2015, 12:50 PM

Code Size

2.0 KB

Gas at Deploy

575,193

Transactions by Year

20151

Deployment Transaction: 0xa8531ff31232e07b...21f55ed5285b413b

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 Opcodes150

Jump Instructions116

Storage Operations63

Verified Source Available

Source verified through compiler archaeology and exact bytecode matching.

Verified on Etherscan

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(0x96d61c67487c5ce8bd683605f660e17b25c7c605);
    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;
  }
}