Ooh! Fantastic! Verificarea formală (folosind Lean în acest caz) ar putea ajuta la prevenirea unora dintre erori, cum ar fi vulnerabilitatea de contrafacere nedetectabilă care a fost dezvăluită în urmă cu trei zile în funcția de cantități criptate a Solana. Pe termen lung, aceasta este o lucrare importantă:
Am primit un grant de la programul @ethereumfndn Verified zkEVM pentru a dezvolta planuri Lean pentru STIR și WHIR - două protocoale IOPP pentru codurile Reed-Solomon. Avansăm verificarea formală pentru un viitor zkEVM mai sigur. #zkEVM #FormalVerification @EF_ESP
6,17 K
27
Conținutul de pe această pagină este furnizat de terți. Dacă nu se menționează altfel, OKX nu este autorul articolului citat și nu revendică niciun drept intelectual pentru materiale. Conținutul este furnizat doar pentru informare și nu reprezintă opinia OKX. Nu este furnizat pentru a fi o susținere de nicio natură și nu trebuie să fie considerat un sfat de investiție sau o solicitare de a cumpăra sau vinde active digitale. În măsura în care AI-ul de generare este utilizat pentru a furniza rezumate sau alte informații, astfel de conținut generat de AI poate să fie inexact sau neconsecvent. Citiți articolul asociat pentru mai multe detalii și informații. OKX nu răspunde pentru conținutul găzduit pe pagini terțe. Deținerile de active digitale, inclusiv criptomonedele stabile și NFT-urile, prezintă un grad ridicat de risc și pot fluctua semnificativ. Trebuie să analizați cu atenție dacă tranzacționarea sau deținerea de active digitale este adecvată pentru dumneavoastră prin prisma situației dumneavoastră financiare.