Difference between revisions of "Certora"
m (1 revision imported) |
m (→Usage) |
||
| Line 1: | Line 1: | ||
[https://www.certora.com/ Certora] is a security firm whose formal verification technology is designed to help developers detect and prevent security vulnerabilities before code is deployed. | |||
==Basics== | ==Basics== | ||
| Line 22: | Line 24: | ||
===Bugs/Hacks=== | ===Bugs/Hacks=== | ||
==Usage== | ==Usage== | ||
* From a [https://secureum.substack.com/p/aave-certora-secureum-collaboration?utm_source=post-email-title&publication_id=251388&post_id=75559523&isFreemail=true&utm_medium=email blog] of one of their partners (2-10-2022): | |||
''"Certora’s Prover tool is meant to complement/assist manual audits and has been used by industry-leading companies ([[Aave (AAVE)|Aave]], [[Balancer (BAL)|Balancer]], [[Benqi]], [[Compound (COMP)|Compound]], [[Maker DAO|MakerDAO]], [[OpenZeppelin]], [[SushiSwap (SUSHI)|Sushi]] and more) to prevent more than 100 safety-critical bugs including 20 solvency bugs. Certora [https://governance.aave.com/t/continuous-formal-verification/6308/ received] an Aave grant for Continuous Formal Verification."'' | |||
===Audits done=== | ===Audits done=== | ||
Latest revision as of 01:49, 13 October 2022
Certora is a security firm whose formal verification technology is designed to help developers detect and prevent security vulnerabilities before code is deployed.
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
- Bug bounty program can be found [insert here].
Bugs/Hacks
Usage
- From a blog of one of their partners (2-10-2022):
"Certora’s Prover tool is meant to complement/assist manual audits and has been used by industry-leading companies (Aave, Balancer, Benqi, Compound, MakerDAO, OpenZeppelin, Sushi and more) to prevent more than 100 safety-critical bugs including 20 solvency bugs. Certora received an Aave grant for Continuous Formal Verification."
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
- Stani Kulechov; investor (30-1-2021).
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.
