#bstockscis Читала про аудит контрактів bStocks і наткнулась на фразу, яку раніше не бачила: «проходять formal verification від Tier-1 security firms». Подумала — це просто інша назва для звичайного аудиту, чи щось інше?
Розібралась. Звичайний аудит — це коли досвідчені спеціалісти вручну читають код і шукають відомі типи помилок, спираючись на досвід і чек-лист. Formal verification — інший підхід: замість «читати й шукати», код математично доводять на відповідність заданим правилам. Це не «ми не знайшли проблему», а «математично доведено, що ця конкретна проблема неможлива за побудовою».
Різниця критична для складних сценаріїв: людина-аудитор фізично не може прокрутити в голові всі можливі комбінації станів контракту, а формальна верифікація перевіряє це системно, як доведення теореми, а не як прочитання тексту.
Чесно: bstocks.finance не називає конкретні імена «Tier-1 фірм», які проводили цю верифікацію — на відміну від деяких інших проєктів, де в звітах вказують конкретного аудитора поіменно. Хотілось би тут більшої прозорості.
Ви колись розрізняли аудит і formal verification, чи для вас це були синоніми? 👇
@BinanceCIS #bStocksCIS