HARDENING BLOCKCHAIN SECURITY WITH FORMAL METHODS Veridise is a blockchain security company founded by a team of world-class researchers. We are passionate about bringing our state-of-the-art security research and software analysis tools to the fingertips of web3 developers. We are a proven leader in auditing Zero-Knowledge Circuits, Smart Contracts, and Blockchains. Our in-house security analysis tools are the best-in-class and build on years of academic research from our team. We are trusted by many leading projects, including: Manta, Scroll, Semaphore, Succinct, Ankr, Dogechain, Circom-lib, Ribbon Finance.