Aptos reivindica a primeira Layer 1 com verificação formal de agendamento dinâmico
De acordo com a Aptos, a blockchain se tornou a primeira Layer 1 a oferecer verificação formal de agendamento dinâmico, permitindo uma prova matemática de que seu sistema funciona conforme o planejado. A Aptos afirmou que especificações geradas por IA, combinadas com o Move Prover como mecanismo de oráculo, criam uma camada de confiança entre os participantes do mercado e o protocolo.
GateNews·05-14 17:01
