Truscova GmbH

Truscova is a smart contract security audit company that leverages formal verification and other leading technologies to ensure the security of smart contracts. They offer services such as security advisory, comprehensive smart contract security audits, and Solidity training focused on secure development. The company is founded by experts with over 100 years of combined experience in learning technology, verification, testing, computer science, machine learning, and design. Truscova's team combines academic leadership, industrial strength, and blockchain expertise, with a significant number of Google Scholar citations and multiple patents. They are actively involved in developing next-generation security testing solutions using formal verification, fuzzing, machine learning, semantic search, and large language models.