CertiK

Certik (Shentu) is a cross-chain protocol that provides security scoring and decentralized reimbursements for building secure dApps. It leverages on-chain verification and formal verification tools to enhance smart contract security across multiple blockchain ecosystems.