Aptos 成为首个支持动态调度形式化验证的 L1
ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
Aviso legal: o conteúdo do OKX Orbit é fornecido apenas para fins informativos. Saiba mais
Respostas
Related Flash News
Odaily•2h atrásA stablecoin coreana ganhada KRW1 será listada na Aptos
ChainCatcher•3h atrásPrograma de Recompensa por Bugs de Atualização Aave: A recompensa máxima para vulnerabilidades críticas na V4 e Core V3 será aumentada em 5 vezes
ChainCatcher•5h atrásA TownSquare anunciou o lançamento de um programa de liquidez de stablecoin no valor de US$ 100 milhões de dólares
ChainCatcher•2d atrásO tZERO conecta a plataforma de tokenização compatível ao Aptos, e a emissão de RWAs institucionais é acelerada para cadeias públicas de alto desempenho
ChainCatcher•2d atrásA Aptos planeja lançar um mempool criptográfico nativo, tornando-se a primeira cadeia pública L1 com esse recurso
Odaily•6d atrásA Fundação Aptos fez parceria com a NETSTARS do Japão para explorar soluções de pagamento multi-chain
TechFlow•7d atrásA Fundação Aptos e os Laboratórios Aptos investirão mais de 50 milhões de dólares para apoiar o ecossistema
ChainCatcher•9d atrásDados: A capitalização de mercado das stablecoins na rede Aptos ultrapassou US$ 1,9 bilhão, um recorde
ChainCatcher•13d atrásA Aptos Ecological DEX Tapp Exchange anunciou sua suspensão, e os saques estarão disponíveis normalmente até 31 de maio
TechFlow•14d atrásPaxos, Solana e outras instituições em diversos campos anunciaram apoio ao protocolo de pagamento do OKX Agent