How to turn insurance risks into fungible ERC20 tokens