About Us
6+ years
Securing smart contracts with formal verification
15+ years
In cybersecurity field
Ursus Tech Stack
Stack of technologies bridges formal verification and real world software
Pruvendo Whitepaper
We are startup, applying formal methods to make smart contracts secure and trustworthy
