¡Ooh! ¡Fantástico! La verificación formal (usando Lean en este caso) podría ayudar a prevenir algunos de los errores, como la vulnerabilidad de falsificación indetectable que se reveló hace tres días en la función de cantidades cifradas de Solana. A largo plazo, este es un trabajo importante:
Recibimos una subvención del programa zkEVM @ethereumfndn Verified para desarrollar planos Lean para STIR y WHIR, dos protocolos IOPP para códigos Reed-Solomon. Estamos avanzando en la verificación formal para un futuro más seguro de zkEVM. #zkEVM #FormalVerification @EF_ESP
Mostrar original
6.42 K
29
El contenido al que estás accediendo se ofrece por terceros. A menos que se indique lo contrario, OKX no es autor de la información y no reclama ningún derecho de autor sobre los materiales. El contenido solo se proporciona con fines informativos y no representa las opiniones de OKX. No pretende ser un respaldo de ningún tipo y no debe ser considerado como un consejo de inversión o una solicitud para comprar o vender activos digitales. En la medida en que la IA generativa se utiliza para proporcionar resúmenes u otra información, dicho contenido generado por IA puede ser inexacto o incoherente. Lee el artículo enlazado para más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. Los holdings de activos digitales, incluidos stablecoins y NFT, suponen un alto nivel de riesgo y pueden fluctuar mucho. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti según tu situación financiera.