Tel Avivas-Jafas, Izraelis, 2025 m. lapkričio 21 d., „Chainwire“.
Certora, visapusiška saugumo užtikrinimo platforma, kuria pasitiki pažangiausios Web3 komandos, šiandien paskelbė Certora AI Composer – atvirojo kodo AI kodavimo platformą, kuri sudaro dirbtinį intelektą su oficialiu patvirtinimu, kad išmaniųjų sutarčių kūrimas būtų greitesnis ir saugesnis.
Skirtingai nuo bendrųjų „AI-for-code“ įrankių, kuriuose pagrindinis dėmesys skiriamas greičiui ir patogumui, „Certora AI Composer“ užtikrina, kad kiekvienas dirbtinio intelekto sugeneruotas fragmentas atitiktų matematines saugos taisykles, prieš jį paleidžiant. Įterpdami patikrintą „Certora“ formalaus tikrinimo technologiją tiesiai į AI generavimo kilpą, kūrėjai gali drąsiai tyrinėti dizaino idėjas, žinodami, kad saugumo invariantai yra nuolat tikrinami, o ne modifikuojami.
„Naudojant dirbtinį intelektą niekada neturėtų būti keliamas pavojus saugai. „Certora AI Composer” įrodo, kad AI ir oficialus patikrinimas gali veikti kartu, kad sumaniai sutarčių kūrimas būtų patikimas pagal numatytuosius nustatymus”, – paaiškino „Certora” įkūrėjas Mooly Sagiv. „Šis alfa versijos leidimas yra mūsų kvietimas bendruomenei padėti mums formuoti saugaus autonominio kodavimo ateitį.
„Certora AI Composer Alpha“ bus atvirojo kodo nuo gruodžio 4 d. ir bus pasiekiama „GitHub“ bendruomenei. Kūrėjai skatinami eksperimentuoti, teikti atsiliepimus ir prisidėti kuriant naują patikrinto dirbtinio intelekto kūrimo standartą.
Pagrindinės funkcijos:
- Integruotos oficialios AI sugeneruoto kodo patikros
- Atvirojo kodo išplėtimas, kad galėtumėte sukurti savo saugos modulius
- Palaikomas „Certora Prover“, „Certora“ pramonėje patikimas tikrinimo variklis
Gruodžio 4 d. Certora taip pat surengs tiesioginės transliacijos renginį „AI atitinka patikrinimą: atvira diskusija su Certora tyrėjais“, kuriame bus pateiktas išsamus aprašymas, kaip veikia Certora AI Composer ir ką jis gali padaryti, kad padidintų saugumą.
Vartotojai gali užsiregistruoti renginyje ČIA ir sekti juos „Twitter“ adresu @CertoraInc, kad gautumėte būsimus atnaujinimus ir priminimus.
Apie Certora
Certora yra saugumo užtikrinimo partneris, kuriuo pasitiki pažangiausios Web3 komandos. 2018 m. įkurta programavimo kalbų ir formalių metodų pionierių, „Certora“ padeda tokiems pirmiesiems protokolams kaip „Lido“, „Aave“, „Uniswap“ ir „Compound“ užtikrintai užsitikrinti milijardinę vertę.
Susisiekite
Rinkodaros viceprezidentas
Ilja Leybovičius
Kad būtumėte tikri
ilya@certora.com
