Aptos menjadi blockchain Layer-1 pertama yang mendukung verifikasi formal berbasis AI untuk kontrak pintar Move yang dijadwalkan secara dinamis menggunakan alat Move Prover. Teknologi ini membuktikan perilaku kontrak secara matematis, berperan sebagai "oracle" on-chain untuk memastikan kepercayaan antara pasar dan sistem perdagangan berbasis AI. Pembaruan ini bagian dari inisiatif senilai $50 juta untuk memperkuat pasar berbasis AI dan infrastruktur keuangan on-chain, dengan tujuan menciptakan lingkungan perdagangan yang aman dan ramah institusi. Aptos menekankan bahwa bahasa kontrak pintar Move mereka secara unik mengintegrasikan verifikasi formal asli, kini diperluas untuk mendukung fungsi dispatch dinamis yang kompleks, meningkatkan keandalan kontrak di tengah otomatisasi AI.
Buzz, mantan penasihat dan pembuat meme yang membantu mengangkat nilai token Aptos, telah mengakhiri kontrak satu tahunnya dan menjual token APT miliknya. Kini ia mengalihkan kampanye pemasaran meme-nya ke Meta, induk Facebook, dengan alasan fundamen...
Aptos (APT), sebuah aset digital, mengalami penurunan harga sebesar 2,32% dalam 24 jam terakhir, diperdagangkan pada $0,6812 pukul 5:43 pagi ET tanggal 27 Oktober. Pergerakan harga ini mencerminkan fluktuasi pasar jangka pendek di sektor kripto. Inve...
