smart-contract-audits
(3)
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.
ForceNow Is Selling Small Teams a Cybersecurity Department - Without the Cybersecurity Department
Born during the pandemic to defend small businesses, the eight-person Colorado firm now sells human-watched security, secure AI builds and smart-contract audits. The interesting idea is not another dashboard - it is access to a security bench that most buyers could never hire.
Jon Stephens
Jon Stephens is the CEO and co-founder of Veridise, an Austin-based blockchain security firm that brings academic formal verification to smart contract and zero-knowledge audits. A computer science PhD researcher at UT Austin, he built tools like SmartPulse and Zequal that grew out of his work on formally reasoning about programs, and turned that research into a company that has audited protocols including RISC Zero, Succinct, Semaphore, vLayer and Ankr. His mission is to make everyday users secure without asking them to think about security at all.