Pruvendo
Computer and Network SecurityView the employees at
Pruvendo-
Alexey Trilis Verification Engineer at Pruvendo
-
Yerevan, Yerevan, Armenia
-
Rising Star
Ivan Vasilyev Mathematics Specialist – Pruvendo-
St Petersburg, St Petersburg City, Russia
-
Rising Star
Nikita Soin Business development manager | Web3 security | Formal verification-
Tbilisi, Georgia
-
Rising Star
Evgenii Kosogorov Software Developer-
Yerevan, Armenia
-
Rising Star
Egor Rusakov Formal verification engineer – Pruvendo-
Yerevan, Yerevan, Armenia
-
Rising Star
Overview
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
-