Smart contract security relies on a combination of professional security audits and bug bounties. While improvements in the former continue to abound, with particular emphasis on the application of Formal Verification, vulnerabilities remain a constant in every day smart contract development: Daniel Perez and Benjamin Livshits of Imperial College estimated the existence of over 21,270 […]The post Nexus Mutual: A member-owned alternative to insurance appeared first on The Block.