Certora aqlli shartnomalar uchun birinchi xavfsiz AI kodlash platformasini ishga tushirdi

2025-yil 21-noyabr – Tel Aviv-Yafo, Isroil

Certora, Web3 sohasidagi eng ilg‘or jamoalar ishonch bildirgan to‘liq xavfsizlik kafolati platformasi, bugun Certora AI Composer’ni e’lon qildi. Bu ochiq manbali AI kodlash platformasi bo‘lib, sun’iy intellektni formal verifikatsiya bilan birlashtirib, aqlli shartnomalar ishlab chiqilishini tezroq va xavfsizroq qiladi.

Tezlik va qulaylikka yo‘naltirilgan oddiy “AI-for-code” vositalaridan farqli o‘laroq, Certora AI Composer har bir AI tomonidan yaratilgan kod parchasi ishga tushishidan oldin matematik xavfsizlik qoidalariga rioya qilinishini ta’minlaydi. Certora’ning isbotlangan formal verifikatsiya texnologiyasini to‘g‘ridan-to‘g‘ri AI generatsiya jarayoniga integratsiya qilgan holda, ishlab chiquvchilar dizayn g‘oyalarini ishonch bilan o‘rganishlari mumkin, chunki xavfsizlik invariantlari doimiy ravishda tekshiriladi, keyinchalik emas.

“AI’dan foydalanish hech qachon xavfsizlikdan voz kechishni anglatmasligi kerak. Certora AI Composer isbotlaydiki, AI va formal verifikatsiya birga ishlay oladi va aqlli shartnomalar ishlab chiqilishini default tarzda ishonchli qiladi,” – dedi Certora asoschisi Mooly Sagiv. “Ushbu alfa versiya – bu jamiyatni xavfsiz avtonom kodlash kelajagini birga shakllantirishga taklifimizdir.”

Certora AI Composer Alpha 4-dekabrdan boshlab ochiq manbali bo‘ladi va GitHub’da jamiyat uchun mavjud bo‘ladi. Dasturchilar tajriba o‘tkazishga, fikr-mulohaza bildirishga va tasdiqlangan AI asosidagi ishlab chiqish uchun yangi standartni shakllantirishga hissa qo‘shishga undaladi.

Asosiy xususiyatlar:

• AI tomonidan yaratilgan kod uchun integratsiyalashgan formal verifikatsiya tekshiruvlari
• Ochiq manbali kengaytirilish imkoniyati – o‘z xavfsizlik modullaringizni yaratish uchun
• Certora Prover tomonidan qo‘llab-quvvatlanadi – Certora’ning sohada ishonchli verifikatsiya dvigateli

Certora shuningdek, 4-dekabr kuni “AI Meets Verification: An Open Discussion with Certora Researchers” nomli jonli efir tadbirini o‘tkazadi. Unda Certora AI Composer qanday ishlashi va xavfsizlikni oshirish uchun nimalar qilishi mumkinligi batafsil tushuntiriladi. 

Foydalanuvchilar TADBIRGA shu YERDA ro‘yxatdan o‘tishlari va kelajak yangiliklari va eslatmalari uchun Twitter’da @CertoraInc sahifasiga obuna bo‘lishlari mumkin.

Certora haqida

Certora – Web3 sohasidagi eng ilg‘or jamoalar ishonch bildirgan xavfsizlik kafolati hamkori. 2018-yilda dasturlash tillari va formal metodlar sohasidagi kashshoflar tomonidan asos solingan Certora, Lido, Aave, Uniswap va Compound kabi yetakchi protokollarga 1.1billions qiymatdagi aktivlarni ishonch bilan himoya qilishda yordam beradi.