Aptos se convierte en la primera capa 1 que admite la verificación formal de programación dinámica

Odaily Planet Daily informa que Aptos publicó en la plataforma X que Aptos es la primera capa base (L1) que soporta la verificación formal de programación dinámica, y puede ser probada matemáticamente que funciona según el diseño. Aptos afirma que, con normas escritas por IA y una prueba matemática de su corrección, Move Prover es el oráculo, que es la capa de confianza entre el mercado y las máquinas.

APT-1,55%
Ver original
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
  • Recompensa
  • Comentar
  • Republicar
  • Compartir
Comentar
Añadir un comentario
Añadir un comentario
Sin comentarios
  • Fijado