Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:company
|
| gptkbp:focus |
security audits
formal verification of smart contracts |
| gptkbp:foundedYear |
2018
|
| gptkbp:founder |
Mooly Sagiv
Sharon Goldberg |
| gptkbp:headquartersLocation |
gptkb:New_York_City
|
| https://www.w3.org/2000/01/rdf-schema#label |
Certora
|
| gptkbp:industry |
gptkb:cryptocurrency
smart contract security |
| gptkbp:notableClient |
gptkb:Aave
gptkb:Compound gptkb:MakerDAO gptkb:SushiSwap gptkb:Balancer |
| gptkbp:numberOfEmployees |
50-100
|
| gptkbp:product |
Certora Prover
formal verification tools |
| gptkbp:website |
https://www.certora.com/
|
| gptkbp:bfsParent |
gptkb:Notional_Finance
gptkb:Compound_Protocol |
| gptkbp:bfsLayer |
6
|