Pruvendo is a startup, focused on development of the embedded domain specific language Ursus - programming language for the development of secured by design smart contracts and its formal verification. 
Our services: 
1. Smart contracts development
2. Formal verification
Our products:
Ursus - Coq embedded dsl for smart contract development and formal verification
Olympus - tool for online smart contract activity monitoring, designed for tracking blockchains, collecting and analysing data and sending alerts in case of suspicious activity

Pruvendo

Org chart

Teams

Offices