├── .gitignore ├── logo.png ├── AUTHORS ├── test.sh ├── Dockerfile ├── migrations ├── 1_initial_migration.js ├── 3_development_env.js └── 2_deploy_contracts.js ├── .travis.yml ├── testchain.sh ├── test ├── helpers │ └── index.js ├── insuranceservice.js └── InvestmentService.js ├── contracts ├── helpers │ ├── Owned.sol │ └── Managed.sol ├── Migrations.sol ├── Provident.sol ├── persistance │ ├── InvestmentPersistance.sol │ ├── AccountingPersistance.sol │ └── InsurancePersistance.sol ├── tokens │ └── Token.sol ├── InsuranceFund.sol ├── services │ ├── InsuranceService.sol │ └── InvestmentService.sol └── Claim.sol ├── truffle.js ├── README.md └── LICENSE.md /.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | nohup.out 3 | -------------------------------------------------------------------------------- /logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ProvidentOne/contracts/HEAD/logo.png -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- 1 | Jorge Izquierdo 2 | Luis Cuende 3 | -------------------------------------------------------------------------------- /test.sh: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | killall node 4 | nohup sh testchain.sh & 5 | truffle test 6 | -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- 1 | FROM unpatent/docker-truffle 2 | COPY . app 3 | WORKDIR app 4 | 5 | CMD ["sh", "test.sh"] 6 | -------------------------------------------------------------------------------- /migrations/1_initial_migration.js: -------------------------------------------------------------------------------- 1 | module.exports = function(deployer) { 2 | deployer.deploy(Migrations); 3 | }; 4 | -------------------------------------------------------------------------------- /migrations/3_development_env.js: -------------------------------------------------------------------------------- 1 | module.exports = function(deployer) { 2 | InsuranceFund.deployed().buyInsurancePlan(0, {value: web3.toWei(3, 'ether')}) 3 | }; 4 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- 1 | sudo: required 2 | 3 | services: 4 | - docker 5 | 6 | before_install: 7 | - docker build -t providentone/contracts . 8 | 9 | script: 10 | - docker run providentone/contracts 11 | -------------------------------------------------------------------------------- /testchain.sh: -------------------------------------------------------------------------------- 1 | testrpc --account="0x7dd3090147f16f93ce039f99c3373efbfdf0e88cda83bdcd2fc55bbab87430ca,1000000000000000000000" --account="0xda05b23519bc95e9ce5539d02880da65f35987bd849853a94749013d6f3d1a35,1000000000000000000000" -l 10000000 2 | -------------------------------------------------------------------------------- /test/helpers/index.js: -------------------------------------------------------------------------------- 1 | exports.getBalance = (address) => { 2 | return new Promise((fullfil, reject) => { 3 | web3.eth.getBalance(address, (err, balance) => { 4 | if (err) { return reject(err) } 5 | return fullfil(balance); 6 | }) 7 | }) 8 | } 9 | -------------------------------------------------------------------------------- /contracts/helpers/Owned.sol: -------------------------------------------------------------------------------- 1 | pragma solidity ^0.4.4; 2 | 3 | contract Owned { 4 | address public owner; 5 | 6 | function owned() { 7 | owner = msg.sender; 8 | } 9 | 10 | modifier onlyOwner { 11 | if (msg.sender != owner) { throw; } 12 | else 13 | _; 14 | } 15 | 16 | function transferOwnership(address newOwner) onlyOwner { 17 | owner = newOwner; 18 | } 19 | } 20 | -------------------------------------------------------------------------------- /truffle.js: -------------------------------------------------------------------------------- 1 | module.exports = { 2 | "build": {}, 3 | networks: { 4 | "live": { 5 | network_id: 1 6 | }, 7 | "morden": { 8 | network_id: 2, // Official Ethereum test network 9 | host: "178.25.19.88", // Random IP for example purposes (do not use) 10 | port: 80 11 | }, 12 | "dev": { 13 | network_id: "default", 14 | host: "localhost", 15 | port: 8545, 16 | from: "0x456CDBb2a54f24d1BdCeA2603e23Aabf09d96f51" 17 | }, 18 | "testing": { 19 | network_id: 2771, 20 | host: "localhost", 21 | port: 8811 22 | } 23 | } 24 | }; 25 | -------------------------------------------------------------------------------- /contracts/Migrations.sol: -------------------------------------------------------------------------------- 1 | pragma solidity ^0.4.4; 2 | 3 | contract Migrations { 4 | address public owner; 5 | uint public last_completed_migration; 6 | 7 | modifier restricted() { 8 | if (msg.sender == owner) 9 | _; 10 | } 11 | 12 | function Migrations() { 13 | owner = msg.sender; 14 | } 15 | 16 | function setCompleted(uint completed) restricted { 17 | last_completed_migration = completed; 18 | } 19 | 20 | function upgrade(address new_address) restricted { 21 | Migrations upgraded = Migrations(new_address); 22 | upgraded.setCompleted(last_completed_migration); 23 | } 24 | } 25 | -------------------------------------------------------------------------------- /migrations/2_deploy_contracts.js: -------------------------------------------------------------------------------- 1 | module.exports = (deployer) => { 2 | deployer.deploy([[InsuranceFund, {gas: 10000000}],[InsuranceService], [InvestmentService]]) 3 | .then(() => { 4 | InsuranceService.deployed().transferManagement(InsuranceFund.deployed().address); 5 | }) 6 | .then(() => { 7 | InsuranceFund.deployed().setInsuranceService(InsuranceService.deployed().address, true); 8 | }) 9 | .then(() => { 10 | InvestmentService.deployed().transferManagement(InsuranceFund.deployed().address); 11 | }) 12 | .then(() => { 13 | InsuranceFund.deployed().setInvestmentService(InvestmentService.deployed().address, true); 14 | }) 15 | .catch((e) => { console.log('deployment failed', e) }); 16 | }; 17 | -------------------------------------------------------------------------------- /contracts/Provident.sol: -------------------------------------------------------------------------------- 1 | pragma solidity ^0.4.4; 2 | 3 | contract Provident { 4 | // Insurer related 5 | function getNumberOfInsurancePlans() constant public returns (uint16); 6 | function getInsurancePlanPrice(uint16 plan) constant public returns (uint256); 7 | function getInsuredProfile(address insured) constant public returns (int16 plan, uint256 startDate, uint256 finalDate); 8 | 9 | function buyInsurancePlan(uint16 plan) payable public; 10 | function createClaim(uint16 claimType, string evidence, address beneficiary) public returns (bool); 11 | 12 | // Investor related 13 | event TokenAddressChanged(address newTokenAddress); 14 | function getTokenAddress() constant public returns (address); // ERC20 Compliant Token 15 | function getCurrentTokenOffer() constant public returns (uint256 price, uint256 availableTokens); 16 | 17 | function buyTokens() payable public; 18 | function withdrawDividends() public; 19 | } 20 | -------------------------------------------------------------------------------- /contracts/persistance/InvestmentPersistance.sol: -------------------------------------------------------------------------------- 1 | pragma solidity ^0.4.4; 2 | 3 | import "../helpers/Managed.sol"; 4 | 5 | contract InvestmentPersistance is Managed('InvestmentDB') { 6 | function InvestmentPersistance() {} 7 | 8 | uint256 public totalSupply; 9 | uint256 public tokenPrice; 10 | 11 | mapping (address => uint256) public dividends; 12 | mapping (address => uint256) public balances; 13 | mapping (address => mapping (address => uint256)) public allowed; 14 | 15 | mapping (uint256 => address) public tokenHolders; 16 | uint256 public holderIndex; 17 | mapping (address => bool) private isHolder; 18 | 19 | function setTokenSupply(uint256 newTotalSupply) requiresPermission(PermissionLevel.Write) { 20 | totalSupply = newTotalSupply; 21 | } 22 | 23 | function setTokenPrice(uint256 newTokenPrice) requiresPermission(PermissionLevel.Write) { 24 | tokenPrice = newTokenPrice; 25 | } 26 | 27 | function operateBalance(address holder, int256 diff) requiresPermission(PermissionLevel.Write) { 28 | // Some logic is here in persistance but it's only here becuase of Solidity data structures limitations. 29 | if (!isHolder[holder]) { 30 | addTokenHolder(holder); 31 | } 32 | // Avoid sign overloading 33 | var newBalance = int256(balances[holder]) + diff; 34 | if (newBalance < 0) { throw; } 35 | balances[holder] = uint256(newBalance); 36 | } 37 | 38 | function operateDividend(address holder, int256 diff) requiresPermission(PermissionLevel.Write) { 39 | var newDividend = int256(dividends[holder]) + diff; 40 | if (newDividend < 0) { throw; } 41 | dividends[holder] = uint256(newDividend); 42 | } 43 | 44 | function operateAllowance(address from, address to, int256 diff) requiresPermission(PermissionLevel.Write) { 45 | var newAllowance = int256(allowed[from][to]) + diff; 46 | if (newAllowance < 0) { throw; } 47 | allowed[from][to] = uint256(newAllowance); 48 | } 49 | 50 | function addTokenHolder(address holder) private { 51 | isHolder[holder] = true; 52 | tokenHolders[holderIndex] = holder; 53 | holderIndex += 1; 54 | } 55 | 56 | function () { throw; } 57 | } 58 | -------------------------------------------------------------------------------- /contracts/persistance/AccountingPersistance.sol: -------------------------------------------------------------------------------- 1 | pragma solidity ^0.4.4; 2 | 3 | import "../helpers/Managed.sol"; 4 | 5 | contract AccountingPersistance is Managed('AccountingDB') { 6 | function AccountingPersistance() {} 7 | 8 | enum TransactionDirection { 9 | Incoming, 10 | Outgoing 11 | } 12 | 13 | struct Transaction { 14 | TransactionDirection direction; 15 | uint256 amount; 16 | address from; 17 | address to; 18 | string concept; 19 | 20 | uint256 timestamp; 21 | } 22 | 23 | mapping (uint256 => Transaction) public transactions; 24 | uint256 public lastTransaction; 25 | 26 | function saveTransaction(TransactionDirection direction, uint256 amount, address from, address to, string concept, bool isDividend) 27 | requiresPermission(PermissionLevel.Manager) { 28 | transactions[lastTransaction] = Transaction({direction: direction, amount: amount, from: from, to: to, concept: concept, timestamp: now}); 29 | lastTransaction += 1; 30 | 31 | if (!isDividend){ 32 | if (direction == TransactionDirection.Incoming) { 33 | accountingPeriods[currentPeriod].premiums += amount; 34 | } 35 | if (direction == TransactionDirection.Outgoing) { 36 | accountingPeriods[currentPeriod].claims += amount; 37 | } 38 | } else { 39 | accountingPeriods[currentPeriod].dividends += amount; 40 | } 41 | } 42 | 43 | struct AccountingPeriod { 44 | uint256 premiums; 45 | uint256 claims; 46 | uint256 dividends; 47 | uint256 pastLosses; 48 | bool closed; 49 | } 50 | 51 | mapping (uint256 => AccountingPeriod) public accountingPeriods; 52 | uint256 public currentPeriod; 53 | 54 | function startNewAccoutingPeriod() requiresPermission(PermissionLevel.Write) { 55 | currentPeriod += 1; 56 | var lastPeriod = accountingPeriods[currentPeriod - 1]; 57 | var lastProfit = int256(lastPeriod.premiums) - int256(lastPeriod.claims) - int256(lastPeriod.pastLosses); 58 | if (lastProfit < 0) { 59 | accountingPeriods[currentPeriod].pastLosses = uint256(-lastProfit); 60 | } 61 | accountingPeriods[currentPeriod - 1].closed = true; 62 | } 63 | 64 | function () { throw; } 65 | } 66 | -------------------------------------------------------------------------------- /contracts/tokens/Token.sol: -------------------------------------------------------------------------------- 1 | pragma solidity ^0.4.4; 2 | 3 | contract Token { 4 | /* This is a slight change to the ERC20 base standard. 5 | function totalSupply() constant returns (uint256 supply); 6 | is replaced with: 7 | uint256 public totalSupply; 8 | This automatically creates a getter function for the totalSupply. 9 | This is moved to the base contract since public getter functions are not 10 | currently recognised as an implementation of the matching abstract 11 | function by the compiler. 12 | */ 13 | /// total amount of tokens 14 | uint256 public totalSupply; 15 | 16 | /// @param _owner The address from which the balance will be retrieved 17 | /// @return The balance 18 | function balanceOf(address _owner) constant returns (uint256 balance); 19 | /// @notice send `_value` token to `_to` from `msg.sender` 20 | /// @param _to The address of the recipient 21 | /// @param _value The amount of token to be transferred 22 | /// @return Whether the transfer was successful or not 23 | function transfer(address _to, uint256 _value) returns (bool success); 24 | 25 | /// @notice send `_value` token to `_to` from `_from` on the condition it is approved by `_from` 26 | /// @param _from The address of the sender 27 | /// @param _to The address of the recipient 28 | /// @param _value The amount of token to be transferred 29 | /// @return Whether the transfer was successful or not 30 | function transferFrom(address _from, address _to, uint256 _value) returns (bool success); 31 | 32 | /// @notice `msg.sender` approves `_addr` to spend `_value` tokens 33 | /// @param _spender The address of the account able to transfer the tokens 34 | /// @param _value The amount of wei to be approved for transfer 35 | /// @return Whether the approval was successful or not 36 | function approve(address _spender, uint256 _value) returns (bool success); 37 | 38 | /// @param _owner The address of the account owning tokens 39 | /// @param _spender The address of the account able to transfer the tokens 40 | /// @return Amount of remaining tokens allowed to spent 41 | function allowance(address _owner, address _spender) constant returns (uint256 remaining); 42 | 43 | event Transfer(address indexed _from, address indexed _to, uint256 _value); 44 | event Approval(address indexed _owner, address indexed _spender, uint256 _value); 45 | } 46 | -------------------------------------------------------------------------------- /contracts/persistance/InsurancePersistance.sol: -------------------------------------------------------------------------------- 1 | pragma solidity ^0.4.4; 2 | 3 | import "../helpers/Managed.sol"; 4 | 5 | contract InsurancePersistance is Managed('InsuranceDB') { 6 | function InsurancePersistance() {} 7 | 8 | mapping (uint16 => uint256) public planPrices; 9 | uint16 public planTypes; 10 | 11 | function setInsurancePlans(uint256[] initialPlanPrices) requiresPermission(PermissionLevel.Write) { 12 | planTypes = 0; 13 | for (uint16 i=0; i InsuredProfile) public insuredProfile; 26 | mapping (address => mapping (uint256 => address)) public subscribedClaims; 27 | 28 | // Allow for not setting values by sending -1 29 | function setInsuranceProfile(address insured, int16 plan, int256 startDate, int256 finalDate) requiresPermission(PermissionLevel.Write) { 30 | if (plan >= 0) { 31 | insuredProfile[insured].plan = uint16(plan); 32 | } 33 | if (startDate >= 0) { 34 | insuredProfile[insured].startDate = uint256(startDate); 35 | } 36 | if (finalDate >= 0) { 37 | insuredProfile[insured].finalDate = uint256(finalDate); 38 | } 39 | } 40 | 41 | function subscribeInsuredToClaim(address insured, address claim) requiresPermission(PermissionLevel.Write) { 42 | subscribedClaims[insured][insuredProfile[insured].totalSubscribedClaims] = claim; 43 | insuredProfile[insured].totalSubscribedClaims += 1; 44 | } 45 | 46 | mapping (uint256 => address) public claims; 47 | uint256 public claimIndex; 48 | 49 | function addClaim(address claim) requiresPermission(PermissionLevel.Write) { 50 | claims[claimIndex] = claim; 51 | claimIndex += 1; 52 | } 53 | 54 | mapping (uint16 => address) public examiners; 55 | uint16 public examinerIndex; 56 | 57 | function addExaminer(address examinerAddress) requiresPermission(PermissionLevel.Manager) { 58 | examiners[examinerIndex] = examinerAddress; 59 | examinerIndex += 1; 60 | } 61 | 62 | function removeExaminer(address examinerAddress) requiresPermission(PermissionLevel.Manager) { 63 | bool foundExaminer = false; 64 | for (uint16 i = 0; i address) private services; 7 | mapping (bytes32 => address) private persistance; 8 | 9 | mapping (uint8 => bytes32) private allServices; 10 | uint8 private allServicesIndex; 11 | 12 | modifier onlyServices { 13 | for (uint8 i = 0; i PermissionLevel) private permissions; 75 | address public manager; 76 | 77 | bytes32 public identifier; 78 | 79 | function Managed(string _identifier) { 80 | permissions[msg.sender] = PermissionLevel.Manager; 81 | manager = msg.sender; 82 | 83 | identifier = sha3(_identifier); 84 | } 85 | 86 | function addressFor(string _id) returns (address) { 87 | return Manager(manager).addressForHash(sha3(_id)); 88 | } 89 | 90 | 91 | function destroy() requiresPermission(PermissionLevel.Manager) { 92 | selfdestruct(manager); 93 | } 94 | 95 | 96 | function transferManagement(address newManager) requiresPermission(PermissionLevel.Manager) { 97 | manager = newManager; 98 | permissions[newManager] = PermissionLevel.Manager; 99 | } 100 | 101 | function assignPermission(address allowed, PermissionLevel level) requiresPermission(PermissionLevel.Manager) { 102 | permissions[allowed] = level; 103 | } 104 | 105 | modifier requiresPermission(PermissionLevel requiredPermission) { 106 | if (uint(permissions[msg.sender]) < uint(requiredPermission)) { throw; } 107 | else 108 | _; 109 | } 110 | } 111 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | 2 | 3 | Provident One contracts [![Build Status](https://travis-ci.org/ProvidentOne/contracts.svg?branch=master)](https://travis-ci.org/ProvidentOne/contracts) [![Slack badge](https://slackin-wbssstbuyk.now.sh/badge.svg)](https://provident.one/slack) 4 | === 5 | Provident One is a decentralized vehicle that runs on top of the Ethereum blockchain. It features insurance plans entities can subscribe to, a way for subscribers to claim to the insurance and a investment fund with a token that gives liquidity to the fund. 6 | 7 | It uses [Truffle](https://github.com/ConsenSys/truffle) as a contract development framework. 8 | 9 | Right now we a are participating in the [hack.ether.camp](https://hack.ether.camp/public/provident--blockchain-backed-insurance) hackathon, so if you like the project we would appreciate your support voting the project. See [Provident One](https://hack.ether.camp/public/provident--blockchain-backed-insurance) on [hack.ether.camp](https://hack.ether.camp). 10 | 11 | ## Architecture 12 | 13 | If you glance over the `contracts/` directory, you will find a not very well known way of architecting Ethereum contracts. This architecture has been chosen to allow for code modularity and allowing good upgradability of certain parts of the system. 14 | 15 | It is explained in more detail in the [whitepaper section 3](https://github.com/ProvidentOne/whitepaper/blob/master/whitepaper.md#3-implementation), Implementation. 16 | 17 | ## Development 18 | 19 | The recommended workflow for developing and contributing to the contracts is using the `truffle console` for compiling, deploying and playing with contracts. In order to do that, just: 20 | 21 | ```sh 22 | $ npm install -g truffle ethereumjs-testrpc 23 | 24 | $ testrpc // leave process running 25 | $ truffle console 26 | > compile 27 | Compiling InsuranceFund.sol 28 | ... 29 | > migrate --reset 30 | ... 31 | > InsuranceFund.deployed() 32 | Insurance Fund deployed eth-pudding object 33 | ``` 34 | 35 | You need to be running a Ethereum node with RPC enabled for Truffle to connect. In this example, we are just running it with [testrpc](https://github.com/ethereumjs/testrpc), which is a in-memory RPC enabled node written in JS, that is very fast for development and testing. This can be run also on a private blockchain running with [geth](https://github.com/ethereum/go-ethereum), the Ethereum testnet or the mainnet. See [Truffle network configuration](http://truffleframework.com/docs/advanced/networks) for more info. 36 | 37 | 38 | ## Testing 39 | 40 | We have been finding TDD to be a very good way to develop Solidity contracts, as it gives the peace of mind that you are not creating bugs as you continue developing. 41 | 42 | For running in the CI, a Docker image has been created for the sake of simplicity. It starts a testrpc node and runs the tests against it. 43 | 44 | Right now, there are lots of tests missing to cover the entire functionallity of the system. Help with tests is needed and apprecited. 45 | 46 | No Pull Requests will be merged unless there is a test case for that functionallity and all tests are passing in the CI. 47 | 48 | 49 | ## Community [![Slack badge](https://slackin-wbssstbuyk.now.sh/badge.svg)](https://provident.one/slack) 50 | 51 | We truly believe Provident One to be a community effort. If you are interested in its development, don't hesitate to join the community on [Slack](https://provident.one/slack) 52 | 53 | ## License 54 | 55 | Provident One is licensed under the [GNU AGPLv3 license](https://github.com/ProvidentOne/contracts/blob/master/LICENSE.md) 56 | -------------------------------------------------------------------------------- /test/insuranceservice.js: -------------------------------------------------------------------------------- 1 | const helpers = require('./helpers'); 2 | 3 | contract('InsuranceService', (accounts) => { 4 | it("should deploy fund and service", function(done) { 5 | var fund; 6 | deployInsContract() 7 | .then((f) => { 8 | fund = f; 9 | return f.addressFor('InsuranceService'); 10 | }) 11 | .then((s) => { 12 | assert.notEqual(s, '0x', false, "insurance service isn't properly linked"); 13 | done(); 14 | }); 15 | }); 16 | 17 | it("should be able to buy insurance plans", function(done) { 18 | var fund; 19 | var price; 20 | 21 | deployInsContract() 22 | .then((f) => { 23 | fund = f; 24 | return buyLastInsurancePlan(fund); 25 | }) 26 | .then(([payed]) => { 27 | price = payed; 28 | return fund.getInsuredProfile.call(); 29 | }) 30 | .then(([plan, startDate, endDate]) => { 31 | assert.isAbove(plan.valueOf(), 0, 'should be enrolled in a plan'); 32 | return helpers.getBalance(fund.address); 33 | }) 34 | .then((balance) => { 35 | assert.equal(price, balance.valueOf(), 'should have payed money in balance'); 36 | done(); 37 | }); 38 | }); 39 | 40 | it("should fail if doesn't pay enough", function(done) { 41 | deployInsContract() 42 | .then((f) => { 43 | return f.buyInsurancePlan(0, {value: web3.toWei(1, 'wei')}); 44 | }) 45 | .then(() => { 46 | assert.fail('should have failed because not enough money was sent'); 47 | done(); 48 | }) 49 | .catch(function(e) { 50 | assert.typeOf(e, 'Error'); 51 | done(); 52 | }); 53 | }); 54 | 55 | it("should be able to claim if it is token holder", function(done){ 56 | var fund; 57 | deployInsContract() 58 | .then((f) => { 59 | fund = f; 60 | return buyLastInsurancePlan(fund); 61 | }) 62 | .then(([price, plan]) => { 63 | return fund.createClaim(plan, 'test evidence', accounts[0]); 64 | }) 65 | .then(() => { 66 | return fund.addressFor.call('InsuranceService').then((a) => { return Promise.resolve(InsuranceService.at(a)) }); 67 | }) 68 | .then((service) => { 69 | return service.getInsuranceProfile.call(accounts[0]); 70 | }) 71 | .then(([plan, startDate, endDate, subscribedClaims]) => { 72 | assert.equal(subscribedClaims.valueOf(), 1, 'should be susbcribed to one claim') 73 | done(); 74 | }) 75 | .catch(assert.fail) 76 | }); 77 | }); 78 | 79 | deployInsContract = () => { 80 | var fund; 81 | var service; 82 | return InsuranceFund.new({gas: 10000000}).then((f) => { 83 | fund = f; 84 | return InsuranceService.new(); 85 | }) 86 | .then((s) => { 87 | service = s; 88 | return service.transferManagement(fund.address); 89 | }) 90 | .then(() => { 91 | return fund.setInsuranceService(service.address, true); 92 | }) 93 | .then(() => { 94 | return Promise.resolve(fund); 95 | }); 96 | } 97 | 98 | buyLastInsurancePlan = (fund) => { 99 | var price; 100 | var buyingPlan; 101 | return fund.getNumberOfInsurancePlans() 102 | .then((n) => { 103 | buyingPlan = n.valueOf() - 1; 104 | return fund.getInsurancePlanPrice(buyingPlan); 105 | }) 106 | .then((p) => { 107 | price = p.valueOf(); 108 | return fund.buyInsurancePlan(buyingPlan, {value: price}); 109 | }) 110 | .then(() => { 111 | return Promise.resolve([price, buyingPlan]); 112 | }); 113 | } 114 | -------------------------------------------------------------------------------- /test/InvestmentService.js: -------------------------------------------------------------------------------- 1 | const helpers = require('./helpers'); 2 | 3 | contract('InvestmentService', (accounts) => { 4 | it("should deploy fund and service", function(done) { 5 | var fund; 6 | deployInvContract() 7 | .then((f) => { 8 | fund = f; 9 | return f.addressFor.call('InvestmentService'); 10 | }) 11 | .then((s) => { 12 | assert.notEqual(s, '0x', false, "investment service isn't properly linked"); 13 | done(); 14 | }); 15 | }); 16 | 17 | it("holder should receive tokens from minting", function(done) { 18 | var fund; 19 | var service; 20 | deployInvContract() 21 | .then((f) => { 22 | fund = f; 23 | service = InvestmentService.at(fund.investmentServiceAddress); 24 | return Promise.all([service.balanceOf(accounts[0]), service.holderTokensPct(), service.initialSupply()]); 25 | }) 26 | .then(([tokenBalance, holderPct, initialSupply]) => { 27 | assert.equal(tokenBalance.valueOf(), holderPct.valueOf() * initialSupply.valueOf() / 100, 'should own portion of the minted tokens'); 28 | done(); 29 | }); 30 | }); 31 | 32 | it("should be able to buy tokens", function(done) { 33 | var fund; 34 | var buyingTokens = 10; 35 | var payingAmount; 36 | deployInvContract() 37 | .then((f) => { 38 | fund = f; 39 | return fund.getCurrentTokenOffer.call(); 40 | }) 41 | .then(([price, availableTokens]) => { 42 | assert.isAbove(availableTokens.valueOf(), 0, false, "should be available tokens"); 43 | assert.isAbove(price.valueOf(), 0, false, "should have a price above 0"); 44 | payingAmount = price.valueOf() * buyingTokens; 45 | // From 2nd account becuase first is holder and receives free tokens on minting. 46 | return fund.buyTokens({value: payingAmount, from: accounts[1]}); 47 | }) 48 | .then(() => { 49 | return helpers.getBalance(fund.address); 50 | }) 51 | .then((fundBalance) => { 52 | assert.equal(fundBalance.valueOf(), payingAmount, 'fund should have token sell funds'); 53 | return InvestmentService.at(fund.investmentServiceAddress).balanceOf(accounts[1]); 54 | }) 55 | .then((tokenBalance) => { 56 | assert.equal(tokenBalance.valueOf(), buyingTokens, 'should own the bought tokens'); 57 | done(); 58 | }); 59 | }); 60 | 61 | it("should split dividends evenly", function(done) { 62 | var fund; 63 | var premiumAmount = web3.toWei(10, 'ether'); 64 | var claimAmount = web3.toWei(5, 'ether'); 65 | var dividends = premiumAmount.valueOf() - claimAmount.valueOf(); 66 | deployInvContract() 67 | .then((f) => { 68 | fund = f; 69 | service = InvestmentService.at(fund.investmentServiceAddress); 70 | return mockAccountingPersistance(fund, premiumAmount, claimAmount); 71 | }) 72 | .then(() => { 73 | console.log('performing accounting'); 74 | return service.performFundAccounting({gas: 9990000, from: accounts[0]}); 75 | }) 76 | .then(() => { 77 | return service.dividendOf(accounts[0]); 78 | }) 79 | .then((dividend) => { 80 | assert.isAbove(dividend.valueOf(), 0, 'should have dividends'); 81 | done(); 82 | }); 83 | }); 84 | }); 85 | 86 | deployInvContract = () => { 87 | var fund; 88 | var service; 89 | return InsuranceFund.new({gas: 10000000}).then((f) => { 90 | fund = f; 91 | return InvestmentService.new(); 92 | }) 93 | .then((s) => { 94 | service = s; 95 | return service.transferManagement(fund.address); 96 | }) 97 | .then(() => { 98 | fund.investmentServiceAddress = service.address; 99 | return fund.setInvestmentService(service.address, true); 100 | }) 101 | .then(() => { 102 | return Promise.resolve(fund); 103 | }); 104 | } 105 | 106 | mockAccountingPersistance = (fund, premiums, claims) => { 107 | var accounting; 108 | return AccountingPersistance.new().then((a) => { 109 | accounting = a; 110 | return fund.addPersistance(accounting.address); 111 | }).then(() => { 112 | return accounting.saveTransaction(1, claims, fund.address, fund.address, 'p', false); 113 | }).then(() => { 114 | return accounting.saveTransaction(0, premiums, fund.address, fund.address, 'c', false); 115 | }).then(() => { 116 | return accounting.transferManagement(fund.address); 117 | }); 118 | } 119 | -------------------------------------------------------------------------------- /contracts/InsuranceFund.sol: -------------------------------------------------------------------------------- 1 | pragma solidity ^0.4.4; 2 | 3 | import "./Provident.sol"; 4 | 5 | import "services/InsuranceService.sol"; 6 | import "services/InvestmentService.sol"; 7 | 8 | import "persistance/AccountingPersistance.sol"; 9 | 10 | import "helpers/Managed.sol"; 11 | 12 | contract InsuranceFund is Manager { // is Provident not compiles (not errors either :() 13 | bool isBootstraped; 14 | event TokenAddressChanged(address newTokenAddress); 15 | 16 | function InsuranceFund() { 17 | owner = msg.sender; 18 | isBootstraped = false; 19 | bootstrapPersistance(); 20 | } 21 | 22 | function getNumberOfInsurancePlans() constant public returns (uint16) { 23 | return insurance().getPlanCount(); 24 | } 25 | 26 | function getInsurancePlanPrice(uint16 plan) constant public returns (uint256) { 27 | return insurance().getPlanPrice(plan); 28 | } 29 | 30 | function getInsuredProfile() constant public returns (int16 plan, uint256 startDate, uint256 finalDate) { 31 | var (p,s,f,) = insurance().getInsuranceProfile(msg.sender); 32 | return (p,s,f); 33 | } 34 | 35 | function buyInsurancePlan(uint16 plan) payable public { 36 | if (!insurance().buyInsurancePlanFor(msg.sender, msg.value, plan)) { 37 | throw; // If it failed, reverse transaction returning funds. 38 | } 39 | accounting().saveTransaction(AccountingPersistance.TransactionDirection.Incoming, msg.value, msg.sender, this, 'premium bought', false); 40 | } 41 | 42 | function createClaim(uint16 claimType, string evidence, address beneficiary) public returns (bool) { 43 | return insurance().createClaim(msg.sender, claimType, evidence, beneficiary); 44 | } 45 | 46 | function getTokenAddress() constant public returns (address) { 47 | return address(investment()); 48 | } 49 | 50 | function getCurrentTokenOffer() constant public returns (uint256 price, uint256 availableTokens) { 51 | return (investment().tokenPrice(), investment().availableTokenSupply()); 52 | } 53 | 54 | function buyTokens() payable public { 55 | if (!investment().buyTokens(msg.sender, msg.value)) { 56 | throw; 57 | } 58 | accounting().saveTransaction(AccountingPersistance.TransactionDirection.Incoming, msg.value, msg.sender, this, 'tokens bought', false); 59 | } 60 | 61 | function withdrawDividends() public { 62 | investment().withdrawDividendsForHolder(msg.sender); 63 | } 64 | 65 | // Private 66 | 67 | modifier onlyWaivedServices { 68 | if (msg.sender == addressFor('InsuranceService') || msg.sender == addressFor('InvestmentService')) { 69 | _; 70 | } else { 71 | throw; 72 | } 73 | } 74 | 75 | function sendFunds(address recipient, uint256 amount, string concept, bool isDividend) onlyWaivedServices returns (bool) { 76 | accounting().saveTransaction(AccountingPersistance.TransactionDirection.Outgoing, amount, this, recipient, concept, isDividend); 77 | if (!recipient.send(amount)) { 78 | throw; 79 | } 80 | return true; 81 | } 82 | 83 | function insurance() private returns (InsuranceService) { 84 | return InsuranceService(addressFor('InsuranceService')); 85 | } 86 | 87 | function investment() private returns (InvestmentService) { 88 | return InvestmentService(addressFor('InvestmentService')); 89 | } 90 | 91 | function accounting() private returns (AccountingPersistance) { 92 | return AccountingPersistance(addressFor('AccountingDB')); 93 | } 94 | 95 | // Bootstrap 96 | function bootstrapPersistance() onlyOwner { 97 | if (isBootstraped) { 98 | throw; 99 | } 100 | InsurancePersistance insuranceDB = new InsurancePersistance(); 101 | addPersistance(address(insuranceDB)); 102 | AccountingPersistance accountingDB = new AccountingPersistance(); 103 | addPersistance(address(accountingDB)); 104 | InvestmentPersistance investmentDB = new InvestmentPersistance(); 105 | addPersistance(address(investmentDB)); 106 | isBootstraped = true; 107 | } 108 | 109 | function setInsuranceService(address insurance, bool setInitialPlans) onlyOwner { 110 | InsuranceService insuranceService = InsuranceService(insurance); 111 | addService(insurance); 112 | assignInsuranceServicePermissions(insurance); 113 | 114 | if (setInitialPlans) { 115 | insuranceService.setInitialPlans(); 116 | } 117 | } 118 | 119 | function setInvestmentService(address investment, bool bootstrap) onlyOwner { 120 | addService(investment); 121 | assignInvestmentServicePermisions(investment); 122 | 123 | if (bootstrap) { 124 | InvestmentService(investment).bootstrapInvestmentService(1 ether); 125 | } 126 | 127 | TokenAddressChanged(investment); 128 | } 129 | 130 | function assignAllPermissions() onlyOwner { 131 | assignInsuranceServicePermissions(address(insurance())); 132 | assignInvestmentServicePermisions(address(investment())); 133 | 134 | } 135 | 136 | function assignInsuranceServicePermissions(address insurance) onlyOwner { 137 | InsurancePersistance(addressFor('InsuranceDB')).assignPermission(insurance, Managed.PermissionLevel.Write); 138 | } 139 | 140 | function assignInvestmentServicePermisions(address investment) onlyOwner { 141 | InvestmentPersistance(addressFor('InvestmentDB')).assignPermission(investment, Managed.PermissionLevel.Write); 142 | AccountingPersistance(addressFor('AccountingDB')).assignPermission(investment, Managed.PermissionLevel.Write); 143 | } 144 | } 145 | -------------------------------------------------------------------------------- /contracts/services/InsuranceService.sol: -------------------------------------------------------------------------------- 1 | pragma solidity ^0.4.4; 2 | 3 | import "../Claim.sol"; 4 | import "../helpers/Managed.sol"; 5 | import "../persistance/InsurancePersistance.sol"; 6 | 7 | contract InsuranceService is Managed('InsuranceService') { 8 | uint constant private insurancePeriod = 30 days; 9 | 10 | event InsuranceBought(address insured, uint16 insuranceType); 11 | event NewClaim(address claimAddress, address originator); 12 | event PayoutForClaim(address claimAddress, uint256 claimAmount); 13 | 14 | function InsuranceService() { 15 | } 16 | 17 | function setInsurancePlans(uint256[] plans) requiresPermission(PermissionLevel.Write) { 18 | persistance().setInsurancePlans(plans); 19 | } 20 | 21 | function getPlanCount() requiresPermission(PermissionLevel.Read) constant returns (uint16) { 22 | return persistance().planTypes(); 23 | } 24 | 25 | function getPlanPrice(uint16 plan) requiresPermission(PermissionLevel.Read) constant returns (uint256) { 26 | return persistance().planPrices(plan); 27 | } 28 | 29 | function setInitialPlans() { 30 | setInsurancePlans(getInitialInsurancePrices(3)); 31 | } 32 | 33 | function getInitialInsurancePrices(uint16 k) constant private returns (uint256[]) { 34 | uint256[] memory prices = new uint256[](k); 35 | for (uint16 i=0; i < k; i++) { 36 | prices[i] = uint256(i + 1) * 20 finney; 37 | } 38 | return prices; 39 | } 40 | 41 | function getInsuranceProfile(address insured) constant returns 42 | (int16 plan, 43 | uint256 startDate, 44 | uint256 finalDate, 45 | uint256 totalSubscribedClaims) { 46 | var (p, s, f, cs) = persistance().insuredProfile(insured); 47 | return (s > 0 ? int16(p) : int16(-1), s, f, cs); 48 | } 49 | 50 | function getInsurancePlan(address insured) constant returns (int256 plan) { 51 | (plan,) = getInsuranceProfile(insured); 52 | return; 53 | } 54 | 55 | function getPlanIdentifier(uint16 planType) constant returns (uint16) { 56 | return 1 + 100 * planType; 57 | } 58 | 59 | function isInsured(uint256 startDate, uint256 finalDate) private constant returns (bool) { 60 | return finalDate >= now && startDate <= now; 61 | } 62 | 63 | function buyInsurancePlanFor(address insured, uint256 amountPayed, uint16 planType) payable returns (bool) { 64 | if (int256(amountPayed) < int256(persistance().planPrices(planType))) { 65 | return false; 66 | } 67 | uint16 planIdentifier = getPlanIdentifier(planType); 68 | var (p, s, f, cc) = getInsuranceProfile(insured); 69 | 70 | // If never subscribed or current subscription was expired, new plan. 71 | uint256 planStart = isInsured(s, f) ? s : now; 72 | persistance().setInsuranceProfile(insured, int16(planIdentifier), int256(planStart), int256(planStart + insurancePeriod)); 73 | 74 | InsuranceBought(msg.sender, planIdentifier); 75 | 76 | return true; 77 | } 78 | 79 | function createClaim(address claimer, uint16 claimType, string evidence, address beneficiary) returns (bool) { 80 | Claim newClaim = new Claim(claimType, evidence, manager, beneficiary); 81 | newClaim.transferOwnership(claimer); 82 | return submitClaim(newClaim, claimType); 83 | } 84 | 85 | function submitClaim(Claim submittedClaim, uint16 claimType) returns (bool) { 86 | uint16 planId = getPlanIdentifier(claimType); 87 | 88 | var claimer = submittedClaim.ownerAddress(); 89 | 90 | var (plan, startDate, finalDate, subscribedClaims) = getInsuranceProfile(claimer); 91 | if (plan <= 0 || uint16(plan) != planId || !isInsured(startDate, finalDate)) { 92 | return false; 93 | } 94 | 95 | var claimAddress = address(submittedClaim); 96 | 97 | persistance().addClaim(claimAddress); 98 | persistance().subscribeInsuredToClaim(claimer, claimAddress); 99 | 100 | NewClaim(claimAddress, claimer); 101 | 102 | var examiners = examinersForClaim(claimType); 103 | var neededAprovals = uint16(examiners.length); 104 | 105 | submittedClaim.transitionState(Claim.ClaimStates.Review); 106 | submittedClaim.assignExaminers(examiners, neededAprovals); 107 | 108 | return true; 109 | } 110 | 111 | function transferForClaim(address claimAddress) { 112 | Claim claim = Claim(claimAddress); 113 | if (claim.currentState() == Claim.ClaimStates.Accepted) { 114 | uint256 claimAmount = moneyForClaim(claim.claimType()); 115 | if (Manager(manager).sendFunds(claimAddress, claimAmount, 'claim', false) && 116 | claim.currentState() == Claim.ClaimStates.Payed) { 117 | PayoutForClaim(claimAddress, claimAmount); 118 | } else { 119 | throw; 120 | } 121 | } 122 | } 123 | 124 | function examinersForClaim(uint16 claimType) private returns (address[]) { 125 | // right now it doesnt difference among claimTypes 126 | var examinerCount = persistance().examinerIndex(); 127 | address[] memory claimExaminers = new address[](examinerCount); 128 | for (uint16 i = 0; i < examinerCount; i++) { 129 | claimExaminers[i] = persistance().examiners(i); 130 | } 131 | return claimExaminers; 132 | } 133 | 134 | function moneyForClaim(uint16 claimType) constant returns (uint256) { 135 | return 5 ether; 136 | } 137 | 138 | function persistance() constant private returns (InsurancePersistance) { 139 | return InsurancePersistance(addressFor('InsuranceDB')); 140 | } 141 | 142 | function () payable {} 143 | } 144 | -------------------------------------------------------------------------------- /contracts/services/InvestmentService.sol: -------------------------------------------------------------------------------- 1 | pragma solidity ^0.4.4; 2 | 3 | import "../tokens/Token.sol"; 4 | import "../helpers/Managed.sol"; 5 | 6 | import "../persistance/InvestmentPersistance.sol"; 7 | import "../persistance/AccountingPersistance.sol"; 8 | 9 | contract InvestmentService is Managed('InvestmentService'), Token { 10 | string constant public standard = 'InsuranceToken 0.1'; 11 | string constant public name = 'InsuranceToken'; 12 | string constant public symbol = 'INS'; 13 | uint8 constant public decimals = 0; 14 | 15 | // Expressed in % since you cannot express floats numbers in solidity. 16 | uint8 constant public holderTokensPct = 10; 17 | uint256 constant public initialSupply = 1000000; 18 | 19 | bool public mintingAllowed; 20 | uint256 public allowedMinting; 21 | 22 | event Dividends(uint perToken); 23 | event TokenOffering(uint tokenAmount, uint tokenPrice); 24 | 25 | function InvestmentService() { 26 | mintingAllowed = false; 27 | allowedMinting = 0; 28 | } 29 | 30 | function bootstrapInvestmentService(uint256 initialTokenPrice) requiresPermission(PermissionLevel.Manager) { 31 | mintingAllowed = true; 32 | allowedMinting = initialSupply; 33 | persistance().setTokenPrice(initialTokenPrice); 34 | mintTokens(initialSupply); 35 | } 36 | 37 | function totalSupply() constant returns (uint256) { 38 | return persistance().totalSupply(); 39 | } 40 | 41 | function availableTokenSupply() constant returns (uint256) { 42 | return persistance().balances(manager); 43 | } 44 | 45 | function circulatingTokens() constant returns (uint256) { 46 | return totalSupply() - availableTokenSupply(); 47 | } 48 | 49 | function tokenPrice() constant returns (uint256) { 50 | return persistance().tokenPrice(); 51 | } 52 | 53 | event Log(string debug); 54 | event Log2(int256 a); 55 | 56 | function performFundAccounting() requiresPermission(PermissionLevel.Manager) { 57 | Log("starting u know"); 58 | var accounting = AccountingPersistance(addressFor('AccountingDB')); 59 | var (premiums,claims,) = accounting.accountingPeriods(accounting.currentPeriod()); 60 | var delta = int256(premiums) - int256(claims); 61 | Log2(delta); 62 | 63 | if (delta > 0) { 64 | Log("profits"); 65 | sendProfitsToInvestors(uint256(delta)); 66 | //allowedMinting = calculateAllowedMinting(); 67 | if (allowedMinting > 0) { 68 | mintingAllowed = true; 69 | } 70 | } 71 | 72 | //accounting.startNewAccoutingPeriod(); 73 | } 74 | 75 | function calculateAllowedMinting() returns (uint256) { 76 | var optimalTokens = 0; // calculate with actuarial model 77 | var delta = int256(optimalTokens) - int256(totalSupply()); 78 | return delta > 0 ? uint256(delta) : 0; 79 | } 80 | 81 | // TODO: Add token mint allowance quotas. 82 | function mintTokens(uint256 newTokens) { 83 | if (mintingAllowed && newTokens <= allowedMinting) { 84 | mintingAllowed = false; 85 | } else { 86 | throw; 87 | } 88 | 89 | uint256 tokensForHolder = (newTokens * holderTokensPct) / 100; 90 | if (tokensForHolder > newTokens) { // wtf 91 | throw; 92 | } 93 | 94 | persistance().setTokenSupply(totalSupply() + newTokens); 95 | persistance().operateBalance(manager, int256(newTokens) - int256(tokensForHolder)); 96 | persistance().operateBalance(Manager(manager).owner(), int256(tokensForHolder)); 97 | 98 | TokenOffering(availableTokenSupply(), tokenPrice()); 99 | } 100 | 101 | function buyTokens(address holder, uint256 value) requiresPermission(PermissionLevel.Manager) returns (bool) { 102 | uint256 tokenAmount = value / tokenPrice(); 103 | if (persistance().balances(manager) >= tokenAmount && persistance().balances(holder) + tokenAmount > persistance().balances(holder)) { 104 | persistance().operateBalance(holder, int256(tokenAmount)); 105 | persistance().operateBalance(manager,int256(-1) * int256(tokenAmount)); 106 | 107 | Transfer(this, holder, tokenAmount); 108 | } else { 109 | throw; 110 | } 111 | return true; 112 | } 113 | 114 | function withdrawDividendsForHolder(address holder) requiresPermission(PermissionLevel.Manager) { 115 | if (!Manager(manager).sendFunds(holder, persistance().dividends(holder), 'div', true)) { 116 | throw; 117 | } 118 | 119 | persistance().operateDividend(holder, 0); 120 | } 121 | 122 | function sendProfitsToInvestors(uint256 profits) private returns (bool) { 123 | uint256 dividendPerToken = profits / circulatingTokens(); // Tokens held by contract do not participate in dividends 124 | 125 | 126 | uint256 holderIndex = persistance().holderIndex(); 127 | for (uint i = 0; i= _value && balances[_to] + _value > balances[_to]) { 146 | if (persistance().balances(msg.sender) >= _value && _value > 0) { 147 | persistance().operateBalance(msg.sender, int256(-1) * int256(_value)); 148 | persistance().operateBalance(_to, int256(_value)); 149 | 150 | Transfer(msg.sender, _to, _value); 151 | return true; 152 | } else { return false; } 153 | } 154 | 155 | function transferFrom(address _from, address _to, uint256 _value) returns (bool success) { 156 | //same as above. Replace this line with the following if you want to protect against wrapping uints. 157 | //if (balances[_from] >= _value && allowed[_from][msg.sender] >= _value && balances[_to] + _value > balances[_to]) { 158 | if (persistance().balances(_from) >= _value && persistance().allowed(_from, msg.sender) >= _value && _value > 0) { 159 | persistance().operateBalance(_to, int256(_value)); 160 | persistance().operateBalance(_from, int256(-1) * int256(_value)); 161 | persistance().operateAllowance(_from, msg.sender, int256(-1) * int256(_value)); 162 | 163 | Transfer(_from, _to, _value); 164 | return true; 165 | } else { return false; } 166 | } 167 | 168 | function balanceOf(address _owner) constant returns (uint256 balance) { 169 | return persistance().balances(_owner); 170 | } 171 | 172 | function dividendOf(address _owner) constant returns (uint256) { 173 | return persistance().dividends(_owner); 174 | } 175 | 176 | function approve(address _spender, uint256 _value) returns (bool success) { 177 | persistance().operateAllowance(msg.sender, _spender, int256(_value)); 178 | Approval(msg.sender, _spender, _value); 179 | return true; 180 | } 181 | 182 | function allowance(address _owner, address _spender) constant returns (uint256 remaining) { 183 | return persistance().allowed(_owner, _spender); 184 | } 185 | 186 | function persistance() returns (InvestmentPersistance) { 187 | return InvestmentPersistance(addressFor('InvestmentDB')); 188 | } 189 | 190 | function() { 191 | throw; 192 | } 193 | } 194 | -------------------------------------------------------------------------------- /contracts/Claim.sol: -------------------------------------------------------------------------------- 1 | pragma solidity ^0.4.4; 2 | 3 | import "helpers/Managed.sol"; 4 | 5 | contract Claim { 6 | enum ClaimStates { 7 | Created, 8 | Review, 9 | PendingInfo, 10 | Accepted, 11 | Rejected, 12 | Payed, 13 | Withdrawn 14 | } 15 | 16 | enum Originator { 17 | Owner, 18 | Insurance, 19 | Examiner 20 | } 21 | 22 | enum ExaminerDecision { 23 | Pending, 24 | Reject, 25 | Approve 26 | } 27 | 28 | ClaimStates public currentState; 29 | 30 | uint256 public createDate; 31 | uint256 public modifiedDate; 32 | 33 | address public ownerAddress; 34 | address public managerAddress; 35 | 36 | uint16 public claimType; 37 | string public claimEvidence; 38 | 39 | uint256 public approvedPayout; 40 | address public beneficiaryAddress; 41 | mapping (address => uint256) public allowance; 42 | 43 | mapping (address => ExaminerDecision) examinerDecision; 44 | mapping (uint16 => address) public examiners; 45 | uint16 public totalExaminers; 46 | uint16 public neededApprovals; 47 | 48 | event StateTransitionNotAllowed(ClaimStates oldState, ClaimStates newState, address originary); 49 | event StateDidTransition(ClaimStates oldState, ClaimStates newState, address originary); 50 | event ActionNotAllowed(ClaimStates state, address originary, string reason); 51 | 52 | modifier onlyAddress(Originator _originary) { 53 | if (!isOriginatorType(_originary)) { 54 | ActionNotAllowed(currentState, msg.sender, 'address'); 55 | return; 56 | } 57 | _; 58 | } 59 | 60 | modifier onlyState(ClaimStates _state) { 61 | if (currentState != _state) { 62 | ActionNotAllowed(currentState, msg.sender, 'state'); 63 | return; 64 | } 65 | _; 66 | } 67 | 68 | function Claim( 69 | uint16 _type, 70 | string _evidence, 71 | address _manager, 72 | address _beneficiary 73 | ) { 74 | createDate = now; 75 | modifiedDate = now; 76 | 77 | ownerAddress = msg.sender; 78 | managerAddress = _manager; 79 | 80 | claimType = _type; 81 | claimEvidence = _evidence; 82 | beneficiaryAddress = _beneficiary; 83 | 84 | currentState = ClaimStates.Created; 85 | } 86 | 87 | function assignExaminers(address[] memory _examiners, uint16 _neededApprovals) 88 | onlyAddress(Originator.Insurance) 89 | onlyState(ClaimStates.Review) public { 90 | 91 | for (uint16 i = 0; i < _examiners.length; i++) { 92 | examiners[i] = _examiners[i]; 93 | totalExaminers += 1; 94 | } 95 | 96 | neededApprovals = _neededApprovals; 97 | } 98 | 99 | function addExaminerDecision(ExaminerDecision decision) 100 | onlyAddress(Originator.Examiner) 101 | onlyState(ClaimStates.Review) public returns (bool) { 102 | 103 | examinerDecision[msg.sender] = decision; 104 | return checkClaimDecisions(); 105 | } 106 | 107 | function submitNewEvidence(string newEvidence) 108 | onlyState(ClaimStates.PendingInfo) 109 | onlyAddress(Originator.Owner) returns (bool) { 110 | 111 | claimEvidence = newEvidence; 112 | return transitionState(ClaimStates.Review); 113 | } 114 | 115 | function transferOwnership(address newOwner) 116 | onlyAddress(Originator.Owner) returns (bool) { 117 | ownerAddress = newOwner; 118 | 119 | return true; 120 | } 121 | 122 | function sendPayout() 123 | onlyState(ClaimStates.Accepted) 124 | onlyAddress(Originator.Insurance) 125 | payable returns (bool) { 126 | 127 | approvedPayout = msg.value; 128 | allowance[beneficiaryAddress] = msg.value; 129 | return transitionState(ClaimStates.Payed); 130 | } 131 | 132 | function withdraw(uint256 amount) { 133 | if (allowance[msg.sender] >= amount && msg.sender.send(amount)) { 134 | allowance[msg.sender] -= amount; 135 | } else { 136 | throw; 137 | } 138 | } 139 | 140 | function createAllowance(uint256 amount, address allowedAddress) { 141 | if (allowance[msg.sender] >= amount) { 142 | allowance[msg.sender] -= amount; 143 | allowance[allowedAddress] += amount; 144 | } else { 145 | throw; 146 | } 147 | } 148 | 149 | function transitionState(ClaimStates newState) returns (bool) { 150 | if (!isTransitionAllowed(uint(currentState), uint(newState))) { 151 | StateTransitionNotAllowed(currentState, newState, msg.sender); 152 | return false; 153 | } 154 | 155 | StateDidTransition(currentState, newState, msg.sender); 156 | currentState = newState; 157 | return true; 158 | } 159 | 160 | function isOriginatorType(Originator originator) private constant returns (bool) { 161 | if (originator == Originator.Owner) { return msg.sender == ownerAddress; } 162 | if (originator == Originator.Examiner) { return isExaminer(msg.sender); } 163 | if (originator == Originator.Insurance) { 164 | // Solidity doesn't like compound conditionals inline 165 | if (msg.sender == managerAddress || msg.sender == Manager(managerAddress).addressFor('InsuranceService')) { 166 | return true; 167 | } 168 | } 169 | return false; 170 | } 171 | 172 | function isExaminer(address ad) private constant returns (bool) { 173 | for (uint16 i = 0; i < totalExaminers; i++) { 174 | if (examiners[i] == ad) { 175 | return true; 176 | } 177 | } 178 | return false; 179 | } 180 | 181 | function checkClaimDecisions() private returns (bool) { 182 | if (hasBeenApproved()) { 183 | return transitionState(ClaimStates.Accepted); 184 | } 185 | 186 | if (hasBeenRejected()) { 187 | return transitionState(ClaimStates.Rejected); 188 | } 189 | 190 | return true; 191 | } 192 | 193 | function hasBeenApproved() private returns (bool) { 194 | uint16 total; uint16 approves; uint16 rejects; 195 | (total, approves, rejects) = getExaminerDecisions(); 196 | 197 | return approves >= neededApprovals; 198 | } 199 | 200 | function hasBeenRejected() private returns (bool) { 201 | uint16 total; uint16 approves; uint16 rejects; 202 | (total, approves, rejects) = getExaminerDecisions(); 203 | 204 | return total - rejects < neededApprovals; 205 | } 206 | 207 | function getExaminerDecisions() private constant returns (uint16 _totalExaminers, uint16 _approvals, uint16 _rejections) { 208 | _totalExaminers = totalExaminers; 209 | for (uint16 i = 0; i < totalExaminers; i++) { 210 | ExaminerDecision decision = examinerDecision[i]; 211 | if (decision == ExaminerDecision.Approve) { 212 | _approvals += 1; 213 | } 214 | if (decision == ExaminerDecision.Reject) { 215 | _rejections += 1; 216 | } 217 | } 218 | return; 219 | } 220 | 221 | function isTransitionAllowed(uint state, uint newState) constant returns (bool) { 222 | if (isOriginatorType(Originator.Owner)) { 223 | if (state == uint(ClaimStates.PendingInfo) && newState == uint(ClaimStates.Review)) { return true; } 224 | if (state == uint(ClaimStates.Review) && newState == uint(ClaimStates.Withdrawn)) { return true; } 225 | if (state == uint(ClaimStates.PendingInfo) && newState == uint(ClaimStates.Withdrawn)) { return true; } 226 | } 227 | 228 | if (isOriginatorType(Originator.Insurance)) { 229 | if (state == uint(ClaimStates.Created) && newState == uint(ClaimStates.Review)) { return true; } 230 | if (state == uint(ClaimStates.Review) && newState == uint(ClaimStates.PendingInfo)) { return true; } 231 | if (state == uint(ClaimStates.Accepted) && newState == uint(ClaimStates.Payed)) { return true; } 232 | } 233 | 234 | if (isOriginatorType(Originator.Examiner)) { 235 | if (state == uint(ClaimStates.Review) && newState == uint(ClaimStates.Accepted)) { 236 | return hasBeenApproved(); 237 | } 238 | if (state == uint(ClaimStates.Review) && newState == uint(ClaimStates.Rejected)) { 239 | return hasBeenRejected(); 240 | } 241 | } 242 | 243 | return false; 244 | } 245 | 246 | function() payable { 247 | sendPayout(); 248 | } 249 | } 250 | -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- 1 | GNU Affero General Public License 2 | ================================= 3 | 4 | _Version 3, 19 November 2007_ 5 | _Copyright © 2007 Free Software Foundation, Inc. <>_ 6 | 7 | Everyone is permitted to copy and distribute verbatim copies 8 | of this license document, but changing it is not allowed. 9 | 10 | ## Preamble 11 | 12 | The GNU Affero General Public License is a free, copyleft license for 13 | software and other kinds of works, specifically designed to ensure 14 | cooperation with the community in the case of network server software. 15 | 16 | The licenses for most software and other practical works are designed 17 | to take away your freedom to share and change the works. By contrast, 18 | our General Public Licenses are intended to guarantee your freedom to 19 | share and change all versions of a program--to make sure it remains free 20 | software for all its users. 21 | 22 | When we speak of free software, we are referring to freedom, not 23 | price. Our General Public Licenses are designed to make sure that you 24 | have the freedom to distribute copies of free software (and charge for 25 | them if you wish), that you receive source code or can get it if you 26 | want it, that you can change the software or use pieces of it in new 27 | free programs, and that you know you can do these things. 28 | 29 | Developers that use our General Public Licenses protect your rights 30 | with two steps: **(1)** assert copyright on the software, and **(2)** offer 31 | you this License which gives you legal permission to copy, distribute 32 | and/or modify the software. 33 | 34 | A secondary benefit of defending all users' freedom is that 35 | improvements made in alternate versions of the program, if they 36 | receive widespread use, become available for other developers to 37 | incorporate. Many developers of free software are heartened and 38 | encouraged by the resulting cooperation. However, in the case of 39 | software used on network servers, this result may fail to come about. 40 | The GNU General Public License permits making a modified version and 41 | letting the public access it on a server without ever releasing its 42 | source code to the public. 43 | 44 | The GNU Affero General Public License is designed specifically to 45 | ensure that, in such cases, the modified source code becomes available 46 | to the community. It requires the operator of a network server to 47 | provide the source code of the modified version running there to the 48 | users of that server. Therefore, public use of a modified version, on 49 | a publicly accessible server, gives the public access to the source 50 | code of the modified version. 51 | 52 | An older license, called the Affero General Public License and 53 | published by Affero, was designed to accomplish similar goals. This is 54 | a different license, not a version of the Affero GPL, but Affero has 55 | released a new version of the Affero GPL which permits relicensing under 56 | this license. 57 | 58 | The precise terms and conditions for copying, distribution and 59 | modification follow. 60 | 61 | ## TERMS AND CONDITIONS 62 | 63 | ### 0. Definitions 64 | 65 | “This License” refers to version 3 of the GNU Affero General Public License. 66 | 67 | “Copyright” also means copyright-like laws that apply to other kinds of 68 | works, such as semiconductor masks. 69 | 70 | “The Program” refers to any copyrightable work licensed under this 71 | License. Each licensee is addressed as “you”. “Licensees” and 72 | “recipients” may be individuals or organizations. 73 | 74 | To “modify” a work means to copy from or adapt all or part of the work 75 | in a fashion requiring copyright permission, other than the making of an 76 | exact copy. The resulting work is called a “modified version” of the 77 | earlier work or a work “based on” the earlier work. 78 | 79 | A “covered work” means either the unmodified Program or a work based 80 | on the Program. 81 | 82 | To “propagate” a work means to do anything with it that, without 83 | permission, would make you directly or secondarily liable for 84 | infringement under applicable copyright law, except executing it on a 85 | computer or modifying a private copy. Propagation includes copying, 86 | distribution (with or without modification), making available to the 87 | public, and in some countries other activities as well. 88 | 89 | To “convey” a work means any kind of propagation that enables other 90 | parties to make or receive copies. Mere interaction with a user through 91 | a computer network, with no transfer of a copy, is not conveying. 92 | 93 | An interactive user interface displays “Appropriate Legal Notices” 94 | to the extent that it includes a convenient and prominently visible 95 | feature that **(1)** displays an appropriate copyright notice, and **(2)** 96 | tells the user that there is no warranty for the work (except to the 97 | extent that warranties are provided), that licensees may convey the 98 | work under this License, and how to view a copy of this License. If 99 | the interface presents a list of user commands or options, such as a 100 | menu, a prominent item in the list meets this criterion. 101 | 102 | ### 1. Source Code 103 | 104 | The “source code” for a work means the preferred form of the work 105 | for making modifications to it. “Object code” means any non-source 106 | form of a work. 107 | 108 | A “Standard Interface” means an interface that either is an official 109 | standard defined by a recognized standards body, or, in the case of 110 | interfaces specified for a particular programming language, one that 111 | is widely used among developers working in that language. 112 | 113 | The “System Libraries” of an executable work include anything, other 114 | than the work as a whole, that **(a)** is included in the normal form of 115 | packaging a Major Component, but which is not part of that Major 116 | Component, and **(b)** serves only to enable use of the work with that 117 | Major Component, or to implement a Standard Interface for which an 118 | implementation is available to the public in source code form. A 119 | “Major Component”, in this context, means a major essential component 120 | (kernel, window system, and so on) of the specific operating system 121 | (if any) on which the executable work runs, or a compiler used to 122 | produce the work, or an object code interpreter used to run it. 123 | 124 | The “Corresponding Source” for a work in object code form means all 125 | the source code needed to generate, install, and (for an executable 126 | work) run the object code and to modify the work, including scripts to 127 | control those activities. However, it does not include the work's 128 | System Libraries, or general-purpose tools or generally available free 129 | programs which are used unmodified in performing those activities but 130 | which are not part of the work. For example, Corresponding Source 131 | includes interface definition files associated with source files for 132 | the work, and the source code for shared libraries and dynamically 133 | linked subprograms that the work is specifically designed to require, 134 | such as by intimate data communication or control flow between those 135 | subprograms and other parts of the work. 136 | 137 | The Corresponding Source need not include anything that users 138 | can regenerate automatically from other parts of the Corresponding 139 | Source. 140 | 141 | The Corresponding Source for a work in source code form is that 142 | same work. 143 | 144 | ### 2. Basic Permissions 145 | 146 | All rights granted under this License are granted for the term of 147 | copyright on the Program, and are irrevocable provided the stated 148 | conditions are met. This License explicitly affirms your unlimited 149 | permission to run the unmodified Program. The output from running a 150 | covered work is covered by this License only if the output, given its 151 | content, constitutes a covered work. This License acknowledges your 152 | rights of fair use or other equivalent, as provided by copyright law. 153 | 154 | You may make, run and propagate covered works that you do not 155 | convey, without conditions so long as your license otherwise remains 156 | in force. You may convey covered works to others for the sole purpose 157 | of having them make modifications exclusively for you, or provide you 158 | with facilities for running those works, provided that you comply with 159 | the terms of this License in conveying all material for which you do 160 | not control copyright. Those thus making or running the covered works 161 | for you must do so exclusively on your behalf, under your direction 162 | and control, on terms that prohibit them from making any copies of 163 | your copyrighted material outside their relationship with you. 164 | 165 | Conveying under any other circumstances is permitted solely under 166 | the conditions stated below. Sublicensing is not allowed; section 10 167 | makes it unnecessary. 168 | 169 | ### 3. Protecting Users' Legal Rights From Anti-Circumvention Law 170 | 171 | No covered work shall be deemed part of an effective technological 172 | measure under any applicable law fulfilling obligations under article 173 | 11 of the WIPO copyright treaty adopted on 20 December 1996, or 174 | similar laws prohibiting or restricting circumvention of such 175 | measures. 176 | 177 | When you convey a covered work, you waive any legal power to forbid 178 | circumvention of technological measures to the extent such circumvention 179 | is effected by exercising rights under this License with respect to 180 | the covered work, and you disclaim any intention to limit operation or 181 | modification of the work as a means of enforcing, against the work's 182 | users, your or third parties' legal rights to forbid circumvention of 183 | technological measures. 184 | 185 | ### 4. Conveying Verbatim Copies 186 | 187 | You may convey verbatim copies of the Program's source code as you 188 | receive it, in any medium, provided that you conspicuously and 189 | appropriately publish on each copy an appropriate copyright notice; 190 | keep intact all notices stating that this License and any 191 | non-permissive terms added in accord with section 7 apply to the code; 192 | keep intact all notices of the absence of any warranty; and give all 193 | recipients a copy of this License along with the Program. 194 | 195 | You may charge any price or no price for each copy that you convey, 196 | and you may offer support or warranty protection for a fee. 197 | 198 | ### 5. Conveying Modified Source Versions 199 | 200 | You may convey a work based on the Program, or the modifications to 201 | produce it from the Program, in the form of source code under the 202 | terms of section 4, provided that you also meet all of these conditions: 203 | 204 | * **a)** The work must carry prominent notices stating that you modified 205 | it, and giving a relevant date. 206 | * **b)** The work must carry prominent notices stating that it is 207 | released under this License and any conditions added under section 7. 208 | This requirement modifies the requirement in section 4 to 209 | “keep intact all notices”. 210 | * **c)** You must license the entire work, as a whole, under this 211 | License to anyone who comes into possession of a copy. This 212 | License will therefore apply, along with any applicable section 7 213 | additional terms, to the whole of the work, and all its parts, 214 | regardless of how they are packaged. This License gives no 215 | permission to license the work in any other way, but it does not 216 | invalidate such permission if you have separately received it. 217 | * **d)** If the work has interactive user interfaces, each must display 218 | Appropriate Legal Notices; however, if the Program has interactive 219 | interfaces that do not display Appropriate Legal Notices, your 220 | work need not make them do so. 221 | 222 | A compilation of a covered work with other separate and independent 223 | works, which are not by their nature extensions of the covered work, 224 | and which are not combined with it such as to form a larger program, 225 | in or on a volume of a storage or distribution medium, is called an 226 | “aggregate” if the compilation and its resulting copyright are not 227 | used to limit the access or legal rights of the compilation's users 228 | beyond what the individual works permit. Inclusion of a covered work 229 | in an aggregate does not cause this License to apply to the other 230 | parts of the aggregate. 231 | 232 | ### 6. Conveying Non-Source Forms 233 | 234 | You may convey a covered work in object code form under the terms 235 | of sections 4 and 5, provided that you also convey the 236 | machine-readable Corresponding Source under the terms of this License, 237 | in one of these ways: 238 | 239 | * **a)** Convey the object code in, or embodied in, a physical product 240 | (including a physical distribution medium), accompanied by the 241 | Corresponding Source fixed on a durable physical medium 242 | customarily used for software interchange. 243 | * **b)** Convey the object code in, or embodied in, a physical product 244 | (including a physical distribution medium), accompanied by a 245 | written offer, valid for at least three years and valid for as 246 | long as you offer spare parts or customer support for that product 247 | model, to give anyone who possesses the object code either **(1)** a 248 | copy of the Corresponding Source for all the software in the 249 | product that is covered by this License, on a durable physical 250 | medium customarily used for software interchange, for a price no 251 | more than your reasonable cost of physically performing this 252 | conveying of source, or **(2)** access to copy the 253 | Corresponding Source from a network server at no charge. 254 | * **c)** Convey individual copies of the object code with a copy of the 255 | written offer to provide the Corresponding Source. This 256 | alternative is allowed only occasionally and noncommercially, and 257 | only if you received the object code with such an offer, in accord 258 | with subsection 6b. 259 | * **d)** Convey the object code by offering access from a designated 260 | place (gratis or for a charge), and offer equivalent access to the 261 | Corresponding Source in the same way through the same place at no 262 | further charge. You need not require recipients to copy the 263 | Corresponding Source along with the object code. If the place to 264 | copy the object code is a network server, the Corresponding Source 265 | may be on a different server (operated by you or a third party) 266 | that supports equivalent copying facilities, provided you maintain 267 | clear directions next to the object code saying where to find the 268 | Corresponding Source. Regardless of what server hosts the 269 | Corresponding Source, you remain obligated to ensure that it is 270 | available for as long as needed to satisfy these requirements. 271 | * **e)** Convey the object code using peer-to-peer transmission, provided 272 | you inform other peers where the object code and Corresponding 273 | Source of the work are being offered to the general public at no 274 | charge under subsection 6d. 275 | 276 | A separable portion of the object code, whose source code is excluded 277 | from the Corresponding Source as a System Library, need not be 278 | included in conveying the object code work. 279 | 280 | A “User Product” is either **(1)** a “consumer product”, which means any 281 | tangible personal property which is normally used for personal, family, 282 | or household purposes, or **(2)** anything designed or sold for incorporation 283 | into a dwelling. In determining whether a product is a consumer product, 284 | doubtful cases shall be resolved in favor of coverage. For a particular 285 | product received by a particular user, “normally used” refers to a 286 | typical or common use of that class of product, regardless of the status 287 | of the particular user or of the way in which the particular user 288 | actually uses, or expects or is expected to use, the product. A product 289 | is a consumer product regardless of whether the product has substantial 290 | commercial, industrial or non-consumer uses, unless such uses represent 291 | the only significant mode of use of the product. 292 | 293 | “Installation Information” for a User Product means any methods, 294 | procedures, authorization keys, or other information required to install 295 | and execute modified versions of a covered work in that User Product from 296 | a modified version of its Corresponding Source. The information must 297 | suffice to ensure that the continued functioning of the modified object 298 | code is in no case prevented or interfered with solely because 299 | modification has been made. 300 | 301 | If you convey an object code work under this section in, or with, or 302 | specifically for use in, a User Product, and the conveying occurs as 303 | part of a transaction in which the right of possession and use of the 304 | User Product is transferred to the recipient in perpetuity or for a 305 | fixed term (regardless of how the transaction is characterized), the 306 | Corresponding Source conveyed under this section must be accompanied 307 | by the Installation Information. But this requirement does not apply 308 | if neither you nor any third party retains the ability to install 309 | modified object code on the User Product (for example, the work has 310 | been installed in ROM). 311 | 312 | The requirement to provide Installation Information does not include a 313 | requirement to continue to provide support service, warranty, or updates 314 | for a work that has been modified or installed by the recipient, or for 315 | the User Product in which it has been modified or installed. Access to a 316 | network may be denied when the modification itself materially and 317 | adversely affects the operation of the network or violates the rules and 318 | protocols for communication across the network. 319 | 320 | Corresponding Source conveyed, and Installation Information provided, 321 | in accord with this section must be in a format that is publicly 322 | documented (and with an implementation available to the public in 323 | source code form), and must require no special password or key for 324 | unpacking, reading or copying. 325 | 326 | ### 7. Additional Terms 327 | 328 | “Additional permissions” are terms that supplement the terms of this 329 | License by making exceptions from one or more of its conditions. 330 | Additional permissions that are applicable to the entire Program shall 331 | be treated as though they were included in this License, to the extent 332 | that they are valid under applicable law. If additional permissions 333 | apply only to part of the Program, that part may be used separately 334 | under those permissions, but the entire Program remains governed by 335 | this License without regard to the additional permissions. 336 | 337 | When you convey a copy of a covered work, you may at your option 338 | remove any additional permissions from that copy, or from any part of 339 | it. (Additional permissions may be written to require their own 340 | removal in certain cases when you modify the work.) You may place 341 | additional permissions on material, added by you to a covered work, 342 | for which you have or can give appropriate copyright permission. 343 | 344 | Notwithstanding any other provision of this License, for material you 345 | add to a covered work, you may (if authorized by the copyright holders of 346 | that material) supplement the terms of this License with terms: 347 | 348 | * **a)** Disclaiming warranty or limiting liability differently from the 349 | terms of sections 15 and 16 of this License; or 350 | * **b)** Requiring preservation of specified reasonable legal notices or 351 | author attributions in that material or in the Appropriate Legal 352 | Notices displayed by works containing it; or 353 | * **c)** Prohibiting misrepresentation of the origin of that material, or 354 | requiring that modified versions of such material be marked in 355 | reasonable ways as different from the original version; or 356 | * **d)** Limiting the use for publicity purposes of names of licensors or 357 | authors of the material; or 358 | * **e)** Declining to grant rights under trademark law for use of some 359 | trade names, trademarks, or service marks; or 360 | * **f)** Requiring indemnification of licensors and authors of that 361 | material by anyone who conveys the material (or modified versions of 362 | it) with contractual assumptions of liability to the recipient, for 363 | any liability that these contractual assumptions directly impose on 364 | those licensors and authors. 365 | 366 | All other non-permissive additional terms are considered “further 367 | restrictions” within the meaning of section 10. If the Program as you 368 | received it, or any part of it, contains a notice stating that it is 369 | governed by this License along with a term that is a further 370 | restriction, you may remove that term. If a license document contains 371 | a further restriction but permits relicensing or conveying under this 372 | License, you may add to a covered work material governed by the terms 373 | of that license document, provided that the further restriction does 374 | not survive such relicensing or conveying. 375 | 376 | If you add terms to a covered work in accord with this section, you 377 | must place, in the relevant source files, a statement of the 378 | additional terms that apply to those files, or a notice indicating 379 | where to find the applicable terms. 380 | 381 | Additional terms, permissive or non-permissive, may be stated in the 382 | form of a separately written license, or stated as exceptions; 383 | the above requirements apply either way. 384 | 385 | ### 8. Termination 386 | 387 | You may not propagate or modify a covered work except as expressly 388 | provided under this License. Any attempt otherwise to propagate or 389 | modify it is void, and will automatically terminate your rights under 390 | this License (including any patent licenses granted under the third 391 | paragraph of section 11). 392 | 393 | However, if you cease all violation of this License, then your 394 | license from a particular copyright holder is reinstated **(a)** 395 | provisionally, unless and until the copyright holder explicitly and 396 | finally terminates your license, and **(b)** permanently, if the copyright 397 | holder fails to notify you of the violation by some reasonable means 398 | prior to 60 days after the cessation. 399 | 400 | Moreover, your license from a particular copyright holder is 401 | reinstated permanently if the copyright holder notifies you of the 402 | violation by some reasonable means, this is the first time you have 403 | received notice of violation of this License (for any work) from that 404 | copyright holder, and you cure the violation prior to 30 days after 405 | your receipt of the notice. 406 | 407 | Termination of your rights under this section does not terminate the 408 | licenses of parties who have received copies or rights from you under 409 | this License. If your rights have been terminated and not permanently 410 | reinstated, you do not qualify to receive new licenses for the same 411 | material under section 10. 412 | 413 | ### 9. Acceptance Not Required for Having Copies 414 | 415 | You are not required to accept this License in order to receive or 416 | run a copy of the Program. Ancillary propagation of a covered work 417 | occurring solely as a consequence of using peer-to-peer transmission 418 | to receive a copy likewise does not require acceptance. However, 419 | nothing other than this License grants you permission to propagate or 420 | modify any covered work. These actions infringe copyright if you do 421 | not accept this License. Therefore, by modifying or propagating a 422 | covered work, you indicate your acceptance of this License to do so. 423 | 424 | ### 10. Automatic Licensing of Downstream Recipients 425 | 426 | Each time you convey a covered work, the recipient automatically 427 | receives a license from the original licensors, to run, modify and 428 | propagate that work, subject to this License. You are not responsible 429 | for enforcing compliance by third parties with this License. 430 | 431 | An “entity transaction” is a transaction transferring control of an 432 | organization, or substantially all assets of one, or subdividing an 433 | organization, or merging organizations. If propagation of a covered 434 | work results from an entity transaction, each party to that 435 | transaction who receives a copy of the work also receives whatever 436 | licenses to the work the party's predecessor in interest had or could 437 | give under the previous paragraph, plus a right to possession of the 438 | Corresponding Source of the work from the predecessor in interest, if 439 | the predecessor has it or can get it with reasonable efforts. 440 | 441 | You may not impose any further restrictions on the exercise of the 442 | rights granted or affirmed under this License. For example, you may 443 | not impose a license fee, royalty, or other charge for exercise of 444 | rights granted under this License, and you may not initiate litigation 445 | (including a cross-claim or counterclaim in a lawsuit) alleging that 446 | any patent claim is infringed by making, using, selling, offering for 447 | sale, or importing the Program or any portion of it. 448 | 449 | ### 11. Patents 450 | 451 | A “contributor” is a copyright holder who authorizes use under this 452 | License of the Program or a work on which the Program is based. The 453 | work thus licensed is called the contributor's “contributor version”. 454 | 455 | A contributor's “essential patent claims” are all patent claims 456 | owned or controlled by the contributor, whether already acquired or 457 | hereafter acquired, that would be infringed by some manner, permitted 458 | by this License, of making, using, or selling its contributor version, 459 | but do not include claims that would be infringed only as a 460 | consequence of further modification of the contributor version. For 461 | purposes of this definition, “control” includes the right to grant 462 | patent sublicenses in a manner consistent with the requirements of 463 | this License. 464 | 465 | Each contributor grants you a non-exclusive, worldwide, royalty-free 466 | patent license under the contributor's essential patent claims, to 467 | make, use, sell, offer for sale, import and otherwise run, modify and 468 | propagate the contents of its contributor version. 469 | 470 | In the following three paragraphs, a “patent license” is any express 471 | agreement or commitment, however denominated, not to enforce a patent 472 | (such as an express permission to practice a patent or covenant not to 473 | sue for patent infringement). To “grant” such a patent license to a 474 | party means to make such an agreement or commitment not to enforce a 475 | patent against the party. 476 | 477 | If you convey a covered work, knowingly relying on a patent license, 478 | and the Corresponding Source of the work is not available for anyone 479 | to copy, free of charge and under the terms of this License, through a 480 | publicly available network server or other readily accessible means, 481 | then you must either **(1)** cause the Corresponding Source to be so 482 | available, or **(2)** arrange to deprive yourself of the benefit of the 483 | patent license for this particular work, or **(3)** arrange, in a manner 484 | consistent with the requirements of this License, to extend the patent 485 | license to downstream recipients. “Knowingly relying” means you have 486 | actual knowledge that, but for the patent license, your conveying the 487 | covered work in a country, or your recipient's use of the covered work 488 | in a country, would infringe one or more identifiable patents in that 489 | country that you have reason to believe are valid. 490 | 491 | If, pursuant to or in connection with a single transaction or 492 | arrangement, you convey, or propagate by procuring conveyance of, a 493 | covered work, and grant a patent license to some of the parties 494 | receiving the covered work authorizing them to use, propagate, modify 495 | or convey a specific copy of the covered work, then the patent license 496 | you grant is automatically extended to all recipients of the covered 497 | work and works based on it. 498 | 499 | A patent license is “discriminatory” if it does not include within 500 | the scope of its coverage, prohibits the exercise of, or is 501 | conditioned on the non-exercise of one or more of the rights that are 502 | specifically granted under this License. You may not convey a covered 503 | work if you are a party to an arrangement with a third party that is 504 | in the business of distributing software, under which you make payment 505 | to the third party based on the extent of your activity of conveying 506 | the work, and under which the third party grants, to any of the 507 | parties who would receive the covered work from you, a discriminatory 508 | patent license **(a)** in connection with copies of the covered work 509 | conveyed by you (or copies made from those copies), or **(b)** primarily 510 | for and in connection with specific products or compilations that 511 | contain the covered work, unless you entered into that arrangement, 512 | or that patent license was granted, prior to 28 March 2007. 513 | 514 | Nothing in this License shall be construed as excluding or limiting 515 | any implied license or other defenses to infringement that may 516 | otherwise be available to you under applicable patent law. 517 | 518 | ### 12. No Surrender of Others' Freedom 519 | 520 | If conditions are imposed on you (whether by court order, agreement or 521 | otherwise) that contradict the conditions of this License, they do not 522 | excuse you from the conditions of this License. If you cannot convey a 523 | covered work so as to satisfy simultaneously your obligations under this 524 | License and any other pertinent obligations, then as a consequence you may 525 | not convey it at all. For example, if you agree to terms that obligate you 526 | to collect a royalty for further conveying from those to whom you convey 527 | the Program, the only way you could satisfy both those terms and this 528 | License would be to refrain entirely from conveying the Program. 529 | 530 | ### 13. Remote Network Interaction; Use with the GNU General Public License 531 | 532 | Notwithstanding any other provision of this License, if you modify the 533 | Program, your modified version must prominently offer all users 534 | interacting with it remotely through a computer network (if your version 535 | supports such interaction) an opportunity to receive the Corresponding 536 | Source of your version by providing access to the Corresponding Source 537 | from a network server at no charge, through some standard or customary 538 | means of facilitating copying of software. This Corresponding Source 539 | shall include the Corresponding Source for any work covered by version 3 540 | of the GNU General Public License that is incorporated pursuant to the 541 | following paragraph. 542 | 543 | Notwithstanding any other provision of this License, you have 544 | permission to link or combine any covered work with a work licensed 545 | under version 3 of the GNU General Public License into a single 546 | combined work, and to convey the resulting work. The terms of this 547 | License will continue to apply to the part which is the covered work, 548 | but the work with which it is combined will remain governed by version 549 | 3 of the GNU General Public License. 550 | 551 | ### 14. Revised Versions of this License 552 | 553 | The Free Software Foundation may publish revised and/or new versions of 554 | the GNU Affero General Public License from time to time. Such new versions 555 | will be similar in spirit to the present version, but may differ in detail to 556 | address new problems or concerns. 557 | 558 | Each version is given a distinguishing version number. If the 559 | Program specifies that a certain numbered version of the GNU Affero General 560 | Public License “or any later version” applies to it, you have the 561 | option of following the terms and conditions either of that numbered 562 | version or of any later version published by the Free Software 563 | Foundation. If the Program does not specify a version number of the 564 | GNU Affero General Public License, you may choose any version ever published 565 | by the Free Software Foundation. 566 | 567 | If the Program specifies that a proxy can decide which future 568 | versions of the GNU Affero General Public License can be used, that proxy's 569 | public statement of acceptance of a version permanently authorizes you 570 | to choose that version for the Program. 571 | 572 | Later license versions may give you additional or different 573 | permissions. However, no additional obligations are imposed on any 574 | author or copyright holder as a result of your choosing to follow a 575 | later version. 576 | 577 | ### 15. Disclaimer of Warranty 578 | 579 | THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY 580 | APPLICABLE LAW. EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT 581 | HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM “AS IS” WITHOUT WARRANTY 582 | OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, 583 | THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 584 | PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE PROGRAM 585 | IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF 586 | ALL NECESSARY SERVICING, REPAIR OR CORRECTION. 587 | 588 | ### 16. Limitation of Liability 589 | 590 | IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING 591 | WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MODIFIES AND/OR CONVEYS 592 | THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY 593 | GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE 594 | USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF 595 | DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD 596 | PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS), 597 | EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF 598 | SUCH DAMAGES. 599 | 600 | ### 17. Interpretation of Sections 15 and 16 601 | 602 | If the disclaimer of warranty and limitation of liability provided 603 | above cannot be given local legal effect according to their terms, 604 | reviewing courts shall apply local law that most closely approximates 605 | an absolute waiver of all civil liability in connection with the 606 | Program, unless a warranty or assumption of liability accompanies a 607 | copy of the Program in return for a fee. 608 | 609 | _END OF TERMS AND CONDITIONS_ 610 | 611 | ## How to Apply These Terms to Your New Programs 612 | 613 | If you develop a new program, and you want it to be of the greatest 614 | possible use to the public, the best way to achieve this is to make it 615 | free software which everyone can redistribute and change under these terms. 616 | 617 | To do so, attach the following notices to the program. It is safest 618 | to attach them to the start of each source file to most effectively 619 | state the exclusion of warranty; and each file should have at least 620 | the “copyright” line and a pointer to where the full notice is found. 621 | 622 | 623 | Copyright (C) 624 | 625 | This program is free software: you can redistribute it and/or modify 626 | it under the terms of the GNU Affero General Public License as published by 627 | the Free Software Foundation, either version 3 of the License, or 628 | (at your option) any later version. 629 | 630 | This program is distributed in the hope that it will be useful, 631 | but WITHOUT ANY WARRANTY; without even the implied warranty of 632 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 633 | GNU Affero General Public License for more details. 634 | 635 | You should have received a copy of the GNU Affero General Public License 636 | along with this program. If not, see . 637 | 638 | Also add information on how to contact you by electronic and paper mail. 639 | 640 | If your software can interact with users remotely through a computer 641 | network, you should also make sure that it provides a way for users to 642 | get its source. For example, if your program is a web application, its 643 | interface could display a “Source” link that leads users to an archive 644 | of the code. There are many ways you could offer source, and different 645 | solutions will be better for different programs; see section 13 for the 646 | specific requirements. 647 | 648 | You should also get your employer (if you work as a programmer) or school, 649 | if any, to sign a “copyright disclaimer” for the program, if necessary. 650 | For more information on this, and how to apply and follow the GNU AGPL, see 651 | <>. 652 | --------------------------------------------------------------------------------