Secure protocols for smart contract based insurance services. Issue 9 (1st February 2022)