Aptos 成为首个支持动态调度形式化验证的 L1
ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
Aviso legal: o conteúdo do OKX Orbit é fornecido apenas para fins informativos. Saber mais
Respostas
Related Flash News
Odaily•1 horaA stablecoin coreana ganha KRW1 será listada na Aptos
ChainCatcher•2 horasPrograma de Recompensa por Bugs de Atualização Aave: A recompensa máxima para vulnerabilidades críticas na V4 e Core V3 será aumentada 5 vezes
ChainCatcher•4 horasA TownSquare anunciou o lançamento de um programa de liquidez de stablecoin no valor de 100 milhões de dólares
ChainCatcher•2 diasO tZERO liga 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•2 diasA Aptos planeia lançar um mempool criptográfico nativo, tornando-se a primeira cadeia pública L1 com esta funcionalidade
Odaily•6 diasA Fundação Aptos estabeleceu uma parceria com a NETSTARS do Japão para explorar soluções de pagamentos multi-chain
TechFlow•6 diasA Fundação Aptos e os Laboratórios Aptos vão investir mais de 50 milhões de dólares para apoiar o ecossistema
ChainCatcher•9 diasDados: A capitalização bolsista das stablecoins na cadeia Aptos ultrapassou os 1,9 mil milhões de dólares, um recorde
ChainCatcher•13 diasA Aptos Ecological DEX Tapp Exchange anunciou a sua suspensão, e os levantamentos estarão disponíveis normalmente até 31 de maio
TechFlow•14 diasPaxos, Solana e outras instituições em várias áreas anunciaram apoio ao protocolo de pagamento OKX Agent