Aptos อ้างว่าเป็น Layer 1 แห่งแรกที่รองรับการพิสูจน์ยืนยันเชิงทางการสำหรับการจัดตารางแบบไดนามิก

2026-05-14 17:01:11

APT2.58%

MOVE-3.17%

ORCL-0.10%

ตามที่ Aptos ระบุ บล็อกเชนดังกล่าวได้กลายเป็น L1 ตัวแรกที่รองรับการยืนยันเชิงรูปแบบแบบไดนามิก (dynamic scheduling formal verification) ซึ่งช่วยให้สามารถพิสูจน์ทางคณิตศาสตร์ได้ว่าระบบทำงานตามที่ออกแบบไว้ Aptos ระบุว่า ข้อกำหนดที่สร้างโดย AI เมื่อรวมกับ Move Prover ในฐานะกลไกออราเคิล จะสร้างชั้นความน่าเชื่อถือระหว่างผู้เข้าร่วมตลาดและโปรโตคอล

news.view.source

news.article.disclaimer

news.related.news

05-14 16:02

Microsoft Azure รันโหนดตัวตรวจสอบ Ripple แบบสดมาแล้วหลายปีก่อน โดยเป็นส่วนหนึ่งของการทดลองโครงสร้างพื้นฐานของบล็อกเชน

05-14 14:22

Algorand เปิดตัว AlgoKit Utils เวอร์ชันเบตา พร้อมชุดเครื่องมือสำหรับนักพัฒนาแบบครบวงจรสำหรับ TypeScript และ Python

05-13 08:22

x402 เปิดตัวการชำระบัญชีแบบแบตช์สำหรับ AI Agents ลดต้นทุนลงเหลือเพียงเสี้ยวหนึ่งของเซนต์

05-13 06:11

XYO เปิดตัว AI SDK เพื่อช่วยให้พัฒนาโปรเจกต์บนบล็อกเชนได้โดยไม่ต้องมีความเชี่ยวชาญด้าน Solidity ในวันที่ 12 พฤษภาคม

05-13 02:02