Oj! Fantastisk! Formell verifiering (med hjÀlp av Lean i det hÀr fallet) kan hjÀlpa till att förhindra nÄgra av buggarna, som den oupptÀckbara förfalskningssÄrbarheten som avslöjades för tre dagar sedan i Solanas funktion för krypterade belopp. LÄngsiktigt Àr detta ett viktigt arbete:
Vi fick ett bidrag frĂ„n @ethereumfndn Verified zkEVM-programmet för att utveckla Lean-ritningar för STIR och WHIR – tvĂ„ IOPP-protokoll för Reed-Solomon-koder. Vi frĂ€mjar formell verifiering för en sĂ€krare zkEVM-framtid. #zkEVM #FormalVerification @EF_ESP
Visa original
InnehÄllet pÄ den hÀr sidan tillhandahÄlls av tredje part. Om inte annat anges Àr OKX inte författare till den eller de artiklar som citeras och hÀmtar inte nÄgon upphovsrÀtt till materialet. InnehÄllet tillhandahÄlls endast i informationssyfte och representerar inte OKX:s Äsikter. Det Àr inte avsett att vara ett godkÀnnande av nÄgot slag och bör inte betraktas som investeringsrÄdgivning eller en uppmaning att köpa eller sÀlja digitala tillgÄngar. I den mÄn generativ AI anvÀnds för att tillhandahÄlla sammanfattningar eller annan information kan sÄdant AI-genererat innehÄll vara felaktigt eller inkonsekvent. LÀs den lÀnkade artikeln för mer detaljer och information. OKX ansvarar inte för innehÄll som finns pÄ tredje parts webbplatser. Innehav av digitala tillgÄngar, inklusive stabila kryptovalutor och NFT:er, innebÀr en hög grad av risk och kan fluktuera kraftigt. Du bör noga övervÀga om handel med eller innehav av digitala tillgÄngar Àr lÀmpligt för dig mot bakgrund av din ekonomiska situation.