Whitepaper
Blog
About Us
Our embedded DSL created to represent specification and code to Coq proof assistant
Ursus
Experience in application of formal verification
15+ years
Securing smart contracts with formal verification
4+ years
We are startup, applying formal methods to make smart contracts secure and trustworthy
Pruvendo Whitepaper
Nikita Soin
Business team:
Vlad Egorov
Peter Larochkin
Ivan Vasilev
Translator team:
Elena Mgdesyan
Ekaterina Selekhova
Finance team:
Dmitry Levando
Spec team:
Ruben Akhayan
Front team:
SC dev team:
Pedro Abreu
Nickolay Andronov
Maksim Bakinovsky
Alexey Trilis
Math team:
Andrey Lyashin
Sergey Egorov
We are an international team of high-skilled professionals in mathematics, computer science, entrepreneurship and economics.

Many of the team members were the winners of the national or international contests in programming and other sciences (such as physics) while others have decades of experience, scientific degrees or previous employment in the world-class companies.
Our team
Anastasiya Vdovina
Nadezhda Smirnova
Evgeniy Kosogorov
See what our clients and partners have to say about us
Testimonials
Ilia
Pruvendo performed formal verification of smart contract for our DEX flexdex.fi. As a result we received a very detailed document that included both specification of all our smart contracts and security flaws/suggestions. We found work done by Pruvendo to be of excellent quality, the team is very professional. We would definetely use Pruvendo again. In fact we will continue to use Pruvendo after our developers modify core exchange smart contracts.
Mitja Goroshevsky, co-founder of GOSH, Everscale Architect
I am working with Pruvendo team for almost 5 years. All system smart contracts of Everscale blockchain and all GOSH smart contract have been reviewed and formally verified by Pruvendo. They have created amazing tools for automating large chunks of Formal Verification process. Pruvendo is utmost professional and innovative approach produced results that are just 100%. I don't know of any vulnerability found in any of the software they have verified.
See what media has to say about us
In the Media
Inquire us for the details and we’ll make it worth your time
Interested in unprecedented security of your smart contracts?