Ooh! Fantastic! Formal verification (using Lean in this case) could help prevent some of the bugs, like the undetectable counterfeiting vulnerability that was disclosed three days ago in Solana’s encrypted-amounts feature. Long-term, this is important work:
We received a grant from the @ethereumfndn Verified zkEVM program to develop Lean blueprints for STIR and WHIR—two IOPP protocols for Reed-Solomon codes. We're advancing formal verification for a safer zkEVM future. #zkEVM #FormalVerification @EF_ESP
2.392
0
Il contenuto di questa pagina è fornito da terze parti. Salvo diversa indicazione, OKX non è l'autore degli articoli citati e non rivendica alcun copyright sui materiali. Il contenuto è fornito solo a scopo informativo e non rappresenta le opinioni di OKX. Non intende essere un'approvazione di alcun tipo e non deve essere considerato un consiglio di investimento o una sollecitazione all'acquisto o alla vendita di asset digitali. Nella misura in cui l'IA generativa viene utilizzata per fornire riepiloghi o altre informazioni, tale contenuto generato dall'IA potrebbe essere impreciso o incoerente. Leggi l'articolo collegato per ulteriori dettagli e informazioni. OKX non è responsabile per i contenuti ospitati su siti di terze parti. Gli holding di asset digitali, tra cui stablecoin e NFT, comportano un elevato grado di rischio e possono fluttuare notevolmente. Dovresti valutare attentamente se effettuare il trading o detenere asset digitali è adatto a te alla luce della tua situazione finanziaria.