это было в недавнем частном аудите Cyfrin, отличные вещи @alexzoid_eth!
alexzoid
alexzoid28 авг. 2025 г.
В ходе прошлой частной встречи с аудиторами моя @CertoraInc Формальная Проверка действительного состояния выявила CRIT в сборке сложного кредитного протокола, который был упущен в ходе ручных проверок. Ясное доказательство ценности FV в дополнении к фуззингу и классическим аудитам.
2,81K