Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:blockchain_security_service
|
| gptkbp:canBeVerifiedOn |
CertiK Security Leaderboard
|
| gptkbp:focusesOn |
blockchain protocols
smart contract security |
| gptkbp:includes |
formal verification
code review vulnerability assessment |
| gptkbp:provides |
gptkb:CertiK
|
| gptkbp:result |
gptkb:audit
security score |
| gptkbp:usedBy |
decentralized applications
blockchain projects cryptocurrency exchanges |
| gptkbp:bfsParent |
gptkb:CertiK
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
CertiK Audit
|