Офіційна верифікація дуже потрібна, дякую @CertoraInc