Aprende algo de verificación formal y cosas de Move Prover. Shayan es más inteligente que yo, así que hace cosas técnicas mientras yo hago larping.
Recibí comentarios abrumadoramente positivos en el hilo a continuación, así que estoy pensando en convertir esta serie en una actualización semanal. ¿Cómo suena #MoveMonday? El objetivo de esta serie es crear hilos educativos, mostrar ejemplos de código y repasar las actualizaciones generales en el ecosistema de Move. Dicho esto, repasemos el hilo de esta semana: The Move Prover. Para saber cómo Move Prover hace que su código sea a prueba de balas contra ataques y otras vulnerabilidades, vaya 👇🏻 directamente
Mostrar original
1.91 K
4
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.