Veridise

Veridise is a blockchain security company that provides auditing and software analysis tools for all levels of the blockchain ecosystem, including smart contracts, web3 applications, zero-knowledge circuits, and blockchain implementations. Veridise offers a comprehensive and user-friendly toolchain for automatically auditing the security and correctness of smart contracts.