Not as in-depth or formulized as that. We do have devs who have looked under the hood and are convinced it does what it says it does, which is enough for me.

There is an audit coming out soon.