Vitalik: Süni intellekt tərəfindən dəstəklənən formal təsdiqləmə həm kodun səmərəliliyini, həm də təhlükəsizliyini artırmağa ümid verir
Foresight News xəbər verir ki, Vitalik Buterin blokçeyn təhlükəsizliyi sahəsində formal doğrulamanın tətbiq perspektivlərini müzakirə edən bir məqalə dərc edib. Məqalədə qeyd edilir ki, Ethereum-un qabaqcıl araşdırmalarında yeni bir paradigma ortaya çıxır: kodlar birbaşa EVM bayt kodu, montaj və ya Lean ilə yazılır və Lean-da avtomatik şəkildə yoxlana bilən riyazi sübutlarla onların düzgünlüyü təsdiqlənir. Tədqiqatçı Yoichi Hirai bu paradigmaya "yazılım inkişafının son forması" adını verir. Vitalik hesab edir ki, AI dəstəkli formal doğrulama kodun səmərəliliyini və təhlükəsizliyi eyni zamanda artırmaq potensialına malikdir, xüsusilə STARK, ZK-EVM, kvant müqavimətli imzalar və konsensus alqoritmləri kimi təhlükəsizlik əsas modulları üçün uyğundur. Məqalədə həmçinin vurğulanır ki, formal doğrulama hərşeyə qadir deyil; sübutun əhatə dairəsinin tam olmaması, spesifikasiya səhvləri və ya hardware yan kanalları kimi problemlər səbəbindən nəticəsiz qala bilər. Gələcəkdə proqram təminatı "təhlükəsizlik əsasları" və "təhlükəsiz olmayan kənar hissələrə" bölünə bilər və Ethereum ən mühüm təhlükəsizlik əsaslarından biri olacaq.
İmtina: Bu məqalənin məzmunu yalnız müəllifin fikrini əks etdirir və platformanı heç bir şəkildə təmsil etmir. Bu məqalə investisiya qərarları qəbul etmək üçün istinad kimi nəzərdə tutulmayıb.
Siz də bəyənə bilərsiniz
Yalnızca SpaceX (SPCX.US) birləşməsi deyil! Barclays: Tesla (TSLA.US) üçün bir neçə yuxarı istiqamətli arqumentlər var, hədəf qiymət 450 dollar olaraq göstərilib.
Bazarlar ümumiyyətlə hesab edir ki, əgər Tesla və SpaceX birləşərsə, bu, Tesla-nın səhmlərinin qiymətini artıra bilər, lakin Barclays-dən Dan Levy hesab edir ki, bu avtomobil şirkətinin öz biznes perspektivləri də artım potensialı daşıyır. Bu səbəbdən, qurum Tesla-nın səhm reytinqini "neytraldan" "almağa" yüksəldib.
Bir treyder Aster platformasında Q-ni alma əməliyyatı ilə 963,000 ABŞ dolları qazandı
Morgan Stanley-nin son fikri: Açıq mənbə modelləri proqram təminatı şirkətləri üçün kabus deyil, şirkətin kontekstinə və qiymət siyasətinə nəzarət edənlər qalib gələcək.
Açıq mənbəli süni intellekt (AI) modellərindən istifadə sürətlə artır və JPMorgan hesab edir ki, CrowdStrike, Datadog, Microsoft kimi şirkətlər bu sənaye dalğasından fayda götürəcəklər.
