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 their formal verification. Our services: 1. Secure Solidity smart contract development support 2. Formal verification Our product: Olympus - tool for online smart contract activity monitoring, designed for tracking blockchains, collecting and analyzing data and sending alerts in case of suspicious activity