Veridise is an Austin-based blockchain security company spun out of the UToPiA program-analysis research group at the University of Texas at Austin. It hardens Web3 by pairing expert human auditors with proprietary tools built on formal methods, fuzzing and program analysis. Veridise audits smart contracts, zero-knowledge circuits, blockchain implementations and dApps, and has completed 150+ audits for infrastructure protocols including Scroll, Linea, Succinct, Manta Network, RISC Zero and Semaphore.
Succinct is a San Francisco cryptography company building SP1, an open-source zero-knowledge virtual machine that lets developers prove the correct execution of any Rust program, and the Succinct Prover Network - a decentralized marketplace where independent provers compete to generate ZK proofs for rollups, bridges and onchain applications.
Edge is a San Diego company building a self-custody, privacy-first mobile wallet for buying, storing, swapping and spending more than 120 cryptocurrencies. Founded in 2014 as Airbitz and rebranded to Edge in 2018, it pioneered a username-and-password login model backed by client-side encryption and a zero-knowledge architecture, so private keys and account data never leave a user's device unencrypted. The same security layer is offered to developers as the Edge Login SDK.