Vitalik: AI yordamida formal tasdiqlash kod samaradorligi va xavfsizligini bir vaqtning o'zida oshirish imkonini beradi
Foresight News xabariga ko'ra, Vitalik Buterin blokcheyn xavfsizligi sohasida formal tekshirishni qo'llash istiqbollari haqida maqola yozdi. Maqolada aytilishicha, Ethereumning ilg'or tadqiqotlarida yangi paradigma paydo bo'lmoqda: to'g'ridan-to'g'ri EVM bayt-kodi, assembler yoki Lean tilida kod yozish va uning to'g'riligini Lean-da avtomatik ravishda tekshirsa bo'ladigan matematik isbot bilan tasdiqlash. Tadqiqotchi Yoichi Hirai bu paradigmani "dasturiy ta'minot ishlab chiqishning yakuniy shakli" deb atagan. Vitalikning fikricha, AI yordamida formal tekshirish kod samaradorligi va xavfsizligini bir vaqtning o'zida oshirishi mumkin, ayniqsa bu STARK, ZK-EVM, kvantga chidamli imzolar va konsensus algoritmlari kabi xavfsizlikning asosiy modullari uchun mos keladi. Maqolada, shuningdek, formal tekshirish hamma narsaga kafolat bera olmasligini ta'kidlaydi: u isbot doirasining to'liq emasligi, spetsifikatsiya xatolari, apparat tomondan yuzaga keladigan tafovutlar kabi muammolar sababli samarasiz bo'lishi mumkin; kelajakda dasturiy ta'minot "xavfsizlik yadrosi" va "xavfsiz bo'lmagan chekka qism" ga ajralishi mumkin, Ethereum esa muhim xavfsizlik yadrolaridan biri sifatida rol o'ynaydi.
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
Ko'proq HBMni chipga joylashtirish uchun Nvidia shisha substrat texnologiyasini tezlashtirmoqda
SCHMID, Germaniyaning uskunalar ishlab chiqaruvchisi, Intel, Nvidia va AMD har biri ta’minot zanjiridagi asosiy kompaniyalar bilan hamkorlik qilayotganini ma’lum qildi hamda shisha substrat ishlab chiqarish uskunalarini yaratmoqda. Shisha substrat silikon interposer o‘rnini bosishi, o‘ram zichligini va ma’lumot uzatish imkoniyatini oshirishi hamda ko‘proq HBM integratsiyasiga yordam berishi mumkin. Biroq, TGV metallizatsiya jarayonida hali muammolar mavjud, oxirgi mijozlarning sertifikati hali yakunlanmagan va ommaviy tijoratlashuv uchun vaqt talab etiladi.
Yaponiya markaziy bankining inflyatsiya ko‘rsatkichi tezroq o‘smoqda, bu esa yana foizlarni oshirishga asos yaratmoqda
Yapon markaziy banki potentsial inflyatsiyani o‘lchash ko‘rsatkichi o‘tgan oyda tezroq oshdi va maqsad darajasidan ancha yuqoriga chiqdi, bu esa asosiy foiz stavkasini ko‘tarishni davom ettirish uchun asos yaratmoqda.
Tesla (TSLA.US) rasmiy ravishda Semi elektromobil yuk mashinasining ommaviy ishlab chiqarilishi va yetkazib berishni boshlaganini e’lon qildi, yillik 50 ming dona ishlab chiqarish maqsadini yana bir bor tasdiqladi.
Tesla (TSLA.US) Semi elektromobil yuk avtomobillari ishlab chiqarish va yetkazib berishni boshladi.
Kripto narxlari
Ko'proq
