Veridise

Project

Developer ToolingSecurity & Audit

Veridise is a blockchain security firm offering smart contract and zero-knowledge circuit audits, security tooling (AuditHub), and research-driven formal verification services. The team develops open-source projects such as LLZK, an intermediate representation for zero-knowledge circuits, and maintains code and documentation on GitHub and official docs.