zkSecurity is an advanced-cryptography security firm that audits, develops, and researches zero-knowledge proofs, multi-party computation, fully homomorphic encryption, and post-quantum cryptography. zkSecurity's Twitter Score is 35 out of 1000 as of July 2026, ranking #30,646 (top 10%) among 531,432 tracked accounts.
zkSecurity was co-founded by David Wong, Gregor Mitscha-Baude, Brandon Kase, and Mathias Hall-Andersen, and publicly launched on May 30, 2023. The firm reviews cryptographic circuits, protocols, and security-critical code, and its published reports note that engagements are time-constrained, best-effort assessments rather than formal guarantees. Backers include the Ethereum Foundation, Privacy & Scaling Explorations, and StarkWare.
zkSecurity has carried out engagements for a broad range of clients, including Solana Foundation, Aztec, Aleo, RISC Zero, Mysten Labs, Matter Labs, Starknet, Mina, Linea, Penumbra, and others. Most recently, the Ethereum Foundation engaged the firm in July 2025 to assess the KZG libraries used by PeerDAS. During its first year of operation, the firm reported uncovering soundness issues, proof-forgery vulnerabilities, and double-spending bugs in client code, and released tooling including Circomscribe alongside a taxonomy of ZK bugs.
zkSecurity also developed Clean, a Lean 4 framework for formally verified zkVM circuits, as part of Ethereum's zk(E)VM Formal Verification Project. The firm continues to publish audit reports and actively recruits for full-time and internship roles in cryptography and security research. zkSecurity has published 692 posts and has been mentioned by 42 accounts a total of 82 times, with 6,647 followers as of July 2026 on the platform.
Who follows zkSecurity on X?
The accounts that follow zkSecurity include 175 founders, 54 angel investors and 43 influencers. Among them are Foobar, Eric Wall, Sandeep, Tarun Chitra, Jake Brukhman and Zooko.