🚨JUST IN: @CertoraInc, una società di sicurezza e audit nel settore crypto, ha introdotto un AI Composer open source che integra la verifica formale direttamente nel codice dei contratti smart generato dall'AI. Lo strumento esegue controlli matematici di sicurezza prima dell'esecuzione.