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.
Mas'uliyatni rad etish: Ushbu maqolaning mazmuni faqat muallifning fikrini aks ettiradi va platformani hech qanday sifatda ifodalamaydi. Ushbu maqola investitsiya qarorlarini qabul qilish uchun ma'lumotnoma sifatida xizmat qilish uchun mo'ljallanmagan.
Sizga ham yoqishi mumkin
Oltin izlash qo‘llanmasi｜Circle Arc dastlabki interaktiv qo‘llanmasi
Bozor sust bo‘lsa-da, harakatdan to‘xtamang.
Mars Ertalabgi Xabarlari | Nvidia daromadlari bozorni rag‘batlantirdi, Federal Reserve bayonnomalari tafovutlarni kuchaytirdi va dekabr oyidagi foiz stavkasini pasaytirish shubha ostida qoldi
Nvidia moliyaviy hisobotlari kutilganidan yuqori natijalarni ko'rsatib, bozor ishonchini oshirdi va AI investitsiyalari bo'yicha issiq to'lqin davom etmoqda; Federal Reserve bayonnomasida dekabr oyidagi foiz stavkasini pasaytirish bo'yicha kelishmovchiliklar kuchaygani ko'rsatildi; kripto bozori ETF kengaymoqda, ammo suyuqlik muammolariga duch kelmoqda; Ethereum EIL taklifini ilgari surib, L2 fragmentatsiyasi muammosini hal qilishga harakat qilmoqda; Cloudflare nosozligi markazlashtirilgan xizmatlar bo'yicha xavotirlarni keltirib chiqardi.
97% qulashiga qaramay omon qolgan: Solana sakkiz yillik og‘riqli tarixi ochildi — haqiqiy kuchlilar hech qachon ssenariy bo‘yicha harakat qilmaydi
Solana hammuassisi Anatoly Yakovenko Solana’ning kelib chiqishi, rivojlanish jarayoni, duch kelgan muammolari va kelajakdagi orzulari haqida fikr bildirdi, yuqori samarador blokcheynning tranzaksiya samaradorligi va moliyaviy xizmatlarning to‘liq integratsiyasiga urg‘u berdi. Mazkur xulosa Mars AI tomonidan tayyorlangan. Ushbu xulosaning to‘liqligi va aniqligi Mars AI modeli takomillashuvi jarayonidadir.
Foiz stavkalarini pasaytirish illyuziyasi yo‘qoldi, AI pufagi tebranmoqda, bitcoin yetakchilik qilib tushmoqda: bu safargi keskin pasayish qora oqqush emas, tizimli bosib ketishdir
Global bozorlar tizimli ravishda pasaydi, AQSh fond bozori, Gonkong fond bozori, Xitoy A-aksiyalari, bitcoin va oltin bir vaqtning o'zida tushib ketdi. Asosiy sabablar sifatida AQSh Federal Rezervining foiz stavkalarini pasaytirish kutilmalarining teskari tomonga o‘zgarishi hamda Nvidia moliyaviy hisobotining ijobiy bo‘lishiga qaramay narxlarning ko‘tarilmasligi ko‘rsatildi. Shu xulosa Mars AI tomonidan ishlab chiqilgan. Bu xulosa Mars AI modeli tomonidan yaratilgan bo‘lib, uning aniqligi va to‘liqligi hali takomillashtirish bosqichida.
Trendda
Ko'proqKripto narxlari
Ko'proq
