> I think paxos and xaut have audits etc. from what I know/ I have heard.

Ah, yes, the almighty auditors.

Auditing proves you passed the audit. Nothing more, nothing less. The audit can be at any level that suits the person paying for the audit. In this case it's the company who has the vested interest in passing the audit.