Succinct-in sıfır bilikli virtual maşını SP1 Hypercube artıq əsas şəbəkədə rəsmi olaraq istifadəyə verilib
Foresight News xəbər verir ki, ZK sübut proqram təminatı olan Succinct elan edib ki, zkVM (sıfır bilik virtual maşını) SP1 Hypercube artıq əsas şəbəkədə rəsmi olaraq istifadəyə verilib. SP1 Hypercube, bütün 62 RISC-V əməliyyat kodunun formal təsdiqini tamamlayan bir zkVM-dir. SP1 vasitəsilə, tərtibatçılar Rust kimi dillərdən istifadə edərək adi kod yaza və sübut edilə bilən proqramlar yarada bilərlər.
İ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
Workday(WDAY.US) alışı ilə bağlı şayiələrdən sonra KeyBanc proqram sənayesində potensial alına biləcək şirkətləri seçdi: HubSpot(HUBS.US) və Five9(FIVN.US) siyahıda yer alıb.
KeyBanc analitikləri hesab edirlər ki, ötən həftə Silver Lake Capital-ın Workday-ı almaq üçün danışıqlar apardığı barədə xəbərlərdən sonra HubSpot, Five9, Asana, Netskope və GitLab kimi şirkətlər növbəti potensial alınma hədəfləri ola bilərlər.
Nvidia üçün yeni rəqibmi gəlir? Cerebras (CBRS.US) yeni CS-4 kompüterini təqdim etdi və bildirir ki, AI nəticələrinin yaradılması sürəti Nvidia-dan bir neçə dəfə sürətlidir
Cerebras Systems Inc. yeni bir kompüter təqdim edib, CS-4 adlanan bu cihaz üçüncü rübün sonlarına doğru daha geniş satışa çıxarılacaq.
AI məlumat mərkəzlərindəki "elektrik çatışmazlığı" ənənəvi elektrik aktivlərini canlandırır, özəl investisiya nəhəngi KKR (KKR.US) ABŞ enerji distribyutoru UGI (UGI.US) şirkətini 9 milyard dollar müqabilində almağı planlaşdırır.
Məlumata görə, özəl investisiya nəhəngi KKR son zamanlar təbii qaz və elektrik enerjisi paylayıcısı olan UGI Utility-yə təxminən 9 milyard dollar dəyərində olan bir qeyri-məcburi satınalma təklifi təqdim edib.
