https://block-strategy.com/2022/05/17/smart-contracts-security-firm-certora-pulls-36m-in-series-b-funding/