Мы только что выпустили крупное обновление для @CertoraInc Prover, нашего движка формальной верификации для доказательства корректности смарт-контрактов или нахождения реальных ошибок. v8.1.0 наполнен мощными новыми функциями и (да) некоторыми изменениями, которые могут сломать совместимость. Вот что нового 👇
1,86K