Certora Prover v7.29.1 выпущен! Prover — это инструмент с открытым исходным кодом для доказательства корректного поведения смарт-контрактов во всех возможных состояниях и с любыми входными данными. Этот выпуск добавляет новые функции, которые помогут вам писать более безопасные спецификации, упрощать конфигурации и работать более эффективно. Вот что нового 👇🧵