Aptos 成为首个支持动态调度形式化验证的 L1
ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
Deslinde de responsabilidades: el contenido de OKX Orbit se brinda únicamente con fines informativos. Más información
Respuestas
Related Flash News
Odaily•Hace 4 hLa stablecoin ganadora coreana KRW1 se listará en Aptos
ChainCatcher•Hace 5 hPrograma de Recompensas por Errores de Actualización de Aave: La recompensa máxima por vulnerabilidades críticas en V4 y Core V3 se multiplicará por 5 veces
ChainCatcher•Hace 8 hTownSquare ha anunciado el lanzamiento de un programa de liquidez de stablecoins por valor de 100 millones de dólares estadounidenses
ChainCatcher•Hace 2 dtZERO conecta la plataforma de tokenización conforme a Aptos, y la emisión de RWAs institucionales se acelera hacia cadenas públicas de alto rendimiento
ChainCatcher•Hace 2 dAptos planea lanzar un mempool criptográfico nativo, convirtiéndose en la primera cadena pública L1 con esta característica
Odaily•Hace 6 dLa Fundación Aptos se ha asociado con NETSTARS de Japón para explorar soluciones de pago multicadena
TechFlow•Hace 7 dLa Fundación Aptos y los Laboratorios Aptos invertirán más de 50 millones de dólares para apoyar el ecosistema
ChainCatcher•Hace 9 dDatos: La capitalización bursátil de las stablecoins en la cadena Aptos superó los 1.900 millones de dólares, un récord
ChainCatcher•Hace 13 dAptos ecological DEX Tapp Exchange anunció su suspensión, y las retiradas estarán disponibles con normalidad hasta el 31 de mayo
TechFlow•Hace 15 dPaxos, Solana y otras instituciones de diversos campos han anunciado su apoyo al protocolo de pago OKX Agent