Thought it was worth posting here, about a month ago there were some properties of the crowdfunding smart contract which were formally verified which you can check out on github here
This means that currently one can argue that crowdfunding campaigns on Ergo are one of the most secure crowdfunding methods currently available just 3 months after launch of main net. Quite exciting.