A research-driven security firm that leverages formal methods for smart contracts, blockchains, zero-knowledge circuits, and adversarial protocols.
Joined October 2025
- Tweets8
- Following2
- Followers99
- Likes15
A research-driven security firm that leverages formal methods for smart contracts, blockchains, zero-knowledge circuits, and adversarial protocols.