Certora

From CryptoWiki

Revision as of 03:28, 30 January 2021 by wiki_crypto>Zeb.dyor (→‎Projects that use or built on it)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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."

History

Their Other Projects

Upgrades

Roadmap

  • Can be found [Insert link here].

Audits

Bugs/Hacks

Usage

Audits done

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

Competition

Pros and Cons

Pros

Cons

Team, Funding, Partnerships, etc.

Team

  • Full team can be found [here].

Funding

Partners

(:

Knowledge empowers us all and will help us get closer to the decentralised world we all want to live in!

Making these free wiki pages is fun but takes a lot of effort and time.

If you have enjoyed reading, tips are appreciated :) This will help us to keep expanding this archive of information.

ETH tip address: 0x83460bE5F218b1520B69D702cE60A1DE37dD8E31

Also check out CoinTr.ee for more content.