🚨JUST IN: @CertoraInc, firma zabývající se kryptobezpečností a auditem, představila open source AI Composer, který integruje formální ověřování přímo do AI generovaného kódu chytrých kontraktů. Nástroj provádí matematické bezpečnostní kontroly před vykonáním.