Aptos torna-se a primeira L1 a suportar verificação formal de agendamento dinâmico

Odaily Planet Daily informa que Aptos publicou na plataforma X que Aptos é a primeira camada L1 a suportar validação formal de agendamento dinâmico, podendo ser comprovada matematicamente que funciona conforme o projeto. Aptos afirma que, com normas escritas por IA, a sua correção é comprovada matematicamente, sendo o Move Prover o oráculo, que é a camada de confiança entre o mercado e as máquinas.

APT-1,55%
Ver original
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
  • Recompensa
  • Comentar
  • Republicar
  • Partilhar
Comentar
Adicionar um comentário
Adicionar um comentário
Nenhum comentário
  • Fixado