Truscova GmbH

Truscova GmbH is a cybersecurity company specializing in smart contract security. They offer security advisory, smart contract security audits, and training services. They leverage formal verification and other leading technologies to ensure the security of smart contracts.