CertiK and the expensive art of being certain

Two computer scientists brought mathematical proof to crypto security. CertiK’s harder assignment is teaching a market that an audit is the beginning of trust, rather than the end of doubt.