Succinct

Succinct develops high-performance SNARK proving and formal verification tools for zero-knowledge proof systems. Their Flock prover is the fastest for standard hashes, and their infrastructure secures billions in bridge volume across networks like Across and Agglayer, advancing the post-quantum roadmap for Ethereum.