Formalna Weryfikacja w Technologii Blockchain: Sekret sukcesu firmy CertiK