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
Colgate (CL.US) bəzi şəxsi qulluq brendlərini satmağı planlaşdırır, ümumi satış dəyəri 1 milyard dolları ötə bilər
Məlumatlı şəxslərin bildirdiyinə görə, Colgate hazırda bəzi kütləvi bazar şəxsi qulluq brendlərini satmaq imkanlarını araşdırır. Şirkət hal-hazırda şəxsi qulluq biznesində yalnız az sayda brendlərdən imtina etməyi planlaşdırır və bu brendlərin ümumi satış qiyməti 1.1 billions dolları keçə bilər.
Yenə bir saxlama nəhəngi “möhtəşəm bonuslarla”: Micron ən yüksək 68 aylıq bonus verir
Micron Technology Çin Tayvanındakı işçilərinə 35-dən 68 ayadək rekord miqdarda maaş mükafatı verəcəyini açıqladı; ən azı 1,7 milyon yeni Tayvan dolları nağd kompensasiya təmin olunacaq. Lakin, Çin Tayvanındakı işçilərin təxminən üçdə ikisini təmsil edən Taoyuan Həmkarlar İttifaqı bu təklifi qəbul etməkdən imtina edir və 15% əməliyyat m ənfəətinin bonus bölüşdürməsinə daxil edilməsini israr edir, həmçinin tətil təhdidini davam etdirir.
