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
Qızıl 2008-ci ildən bəri ən pis oktyabr ayını yaşadı, 6.7% dəyər itirdi
BUZZ—Amerika Borsa Dinamikləri-Estée Lauder, EchoStar, Marriott
BUZZ-EVgo səhmləri LS Power-ın alma təklifi səbəbilə kəskin artdı
