Interesting piece about independent verification of smart contract code. It's incorrect and dangerous to call this "audit". Misunderstanding and misuse of financial terms like "audit" is one of the reasons crypto is so vulnerable to frauds and scams.