🚨Только что: @CertoraInc, крипто-компания по безопасности и аудиту, представила открытый AI Composer, который интегрирует формальную верификацию непосредственно в код смарт-контрактов, сгенерированный AI. Инструмент выполняет математические проверки безопасности перед выполнением.