Smart contract representing insurance container (risk pool) using ERC20 compatible token as collateral (smart contract being a trust fund for the insurance). Contract extends ERC20 token as well, allowing the owner to issue Insurance Linked Security.

Boilerplate React/Webpack code based on Marvin: https://github.com/workco/marvin

This is a proof of concept, do not use in production systems.

convert insurance contract to use ERC20 token as collateral

webpages representing interactions for client, insurer and reinsurer exchange

formal verification of the contract and contract hardening

contract maturity calculation

Concrete representation of several types of insurance in contract's data structures

Integration with SWARM to allow storage of contract documents

install truffle, node.js

npm install npm install zeppelin-solidity truffle compile truffle develop test