Aptos menjadi L1 pertama yang mendukung verifikasi formal penjadwalan dinamis

Odaily Planet Daily melaporkan bahwa Aptos mengumumkan di platform X bahwa Aptos adalah L1 pertama yang mendukung verifikasi formal penjadwalan dinamis, yang dapat dibuktikan secara matematis sesuai desainnya. Aptos menyatakan bahwa AI menulis standar, membuktikan kebenarannya secara matematis, Move Prover adalah oracle, ini adalah lapisan kepercayaan antara pasar dan mesin.

APT0,64%
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
  • Hadiah
  • Komentar
  • Posting ulang
  • Bagikan
Komentar
Tambahkan komentar
Tambahkan komentar
Tidak ada komentar
  • Disematkan