Certora

Basics

• Started in / Announced on:
• Mainnet release:
• Based in:
• A smart-contract security consultancy that specializes in formal verification.
• From an interview with Stani, who is an investor:

"“It’s kind of a traditional business model,” Kulechov said. Certora stands out in the crypto space because it’s a bunch of security researchers who simply provide a service in exchange for payment, without a token or DAO in sight."

Roadmap

• Can be found [Insert link here].

Audits

• Bug bounty program can be found [insert here].

Usage

Audits done

• Opyn; did formal verification.
• Synthetix; Certora found (12-2019) a reentrancy bug, which has been fixed.

Team, Funding, Partnerships, etc.

Team

• Full team can be found [here].

Funding

• Stani Kulechov; investor (30-1-2021).

Partners

Also check out CoinTr.ee for more content.