Certora , platforma zaměřená na bezpečnostní zajištění v oblasti Web3, oznámila spuštění Certora AI Composer, open-source platformy, která integruje umělou inteligenci s formální verifikací, aby urychlila a zlepšila vývoj smart kontraktů.
Nový nástroj byl vyvinut s důrazem na bezpečnost, přičemž zajišťuje, že každý AI generovaný kód dodržuje matematická bezpečnostní pravidla ještě před jeho spuštěním. Tato inovace umožňuje vývojářům pracovat s důvěrou a prozkoumávat nové designové nápady, přičemž je zabezpečení neustále monitorováno.
Zakladatel Certory, Mooly Sagiv, uvedl, že „použití AI by nikdy nemělo znamenat kompromis v oblasti bezpečnosti“ a potvrdil, že jejich technologie formální verifikace se stane standardem pro bezpečné autonomní kódování.
Certora AI Composer bude veřejně dostupný od 4. prosince 2025 na GitHubu, kde budou moci vývojáři experimentovat a přispívat k dalšímu vývoji platformy. V tento den se také uskuteční livestreamová akce s názvem „AI se setkává s verifikací“, kde budou představeny možnosti a funkce nové platformy.
Chcete využít této příležitosti?
V souvislosti s touto událostí, Certora se etablovala jako důvěryhodný partner v oblasti zabezpečení, poskytující služby předním protokolům jako jsou Lido , Aave , Uniswap a Compound , které zabezpečují miliardy dolarů v celkovém objemu hodnoty.
Certora , platforma zaměřená na bezpečnostní zajištění v oblasti Web3, oznámila spuštění Certora AI Composer, open-source platformy, která integruje umělou inteligenci s formální verifikací, aby urychlila a zlepšila vývoj smart kontraktů.
Nový nástroj byl vyvinut s důrazem na bezpečnost, přičemž zajišťuje, že každý AI generovaný kód dodržuje matematická bezpečnostní pravidla ještě před jeho spuštěním. Tato inovace umožňuje vývojářům pracovat s důvěrou a prozkoumávat nové designové nápady, přičemž je zabezpečení neustále monitorováno.
Zakladatel Certory, Mooly Sagiv, uvedl, že „použití AI by nikdy nemělo znamenat kompromis v oblasti bezpečnosti“ a potvrdil, že jejich technologie formální verifikace se stane standardem pro bezpečné autonomní kódování.
Certora AI Composer bude veřejně dostupný od 4. prosince 2025 na GitHubu, kde budou moci vývojáři experimentovat a přispívat k dalšímu vývoji platformy. V tento den se také uskuteční livestreamová akce s názvem „AI se setkává s verifikací“, kde budou představeny možnosti a funkce nové platformy.Chcete využít této příležitosti?
V souvislosti s touto událostí, Certora se etablovala jako důvěryhodný partner v oblasti zabezpečení, poskytující služby předním protokolům jako jsou Lido , Aave , Uniswap a Compound , které zabezpečují miliardy dolarů v celkovém objemu hodnoty.
