The choices in detail:
- Proceed with Solidified > $24K > Start 23 Aug / Finish around 13 Sep (3wks) > Fully funded by XIO
- Per 1, but partially subsidised (e.g. 50%) by AquaFi (post mainnet reimburse)
- Proceed with Certik > $30K > Start 16 Aug / Finish around 6 Sep (3 wks) > Fully funded by XIO
- Per 3, but partially subsidised (e.g. 50%) by AquaFi (post mainnet reimburse)
- No audit and rely on bug bounty and future upgradeability/auditing if there is a demand for the protocol
- I abstain
Discuss at discord in our #aquafi-audit channel @ https://discord.com/channels/845757891897589800/869944048809562182