Cozy Finance is an open-source protocol for "protection markets," which allow users to offer or receive protection of funds against predefined risk conditions such as a smart contract hack.