A research-driven security firm that leverages formal methods for smart contracts, blockchains, zero-knowledge circuits, and adversarial protocols.