Oh! Fantastico! La verifica formale (utilizzando Lean in questo caso) potrebbe aiutare a prevenire alcuni bug, come la vulnerabilità di contraffazione non rilevabile che è stata rivelata tre giorni fa nella funzione di importi crittografati di Solana. A lungo termine, questo è un lavoro importante:
Abbiamo ricevuto una sovvenzione dal programma zkEVM @ethereumfndn Verified per sviluppare progetti Lean per STIR e WHIR, due protocolli IOPP per i codici Reed-Solomon. Stiamo portando avanti la verifica formale per un futuro zkEVM più sicuro. #zkEVM #FormalVerification @EF_ESP
6.414
29
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.