NEAR AI ยกระดับการตรวจสอบความถูกต้องอย่างเป็นทางการสำหรับสัญญาหลัก

NEAR AI กำลังพยายามทำให้การพิสูจน์ยืนยันอย่างเป็นทางการเข้าถึงได้ง่ายขึ้น โดยเริ่มจาก NEAR Protocol และสมาร์ตคอนแทรกต์หลักของเครือข่าย การพิสูจน์ยืนยันอย่างเป็นทางการใช้บทพิสูจน์ทางคณิตศาสตร์เพื่อตรวจสอบว่าซอฟต์แวร์เป็นไปตามกฎที่กำหนดไว้หรือไม่ วิธีนี้ช่วยเสริมการทดสอบและการตรวจสอบโค้ด แต่ไม่สามารถรับประกันความปลอดภัยได้อย่างสมบูรณ์ ความพยายามนี้ต่อยอดจากการที่ NEAR AI รายงานว่าครองอันดับหนึ่งในลีดเดอร์บอร์ด Lean Eval v1 เมื่อวัดจากจำนวนโจทย์ที่แก้ได้ทั้งหมด บน PutnamBench ระบบของบริษัทแก้โจทย์ Lean ได้ 672 ข้อ โดยรายงานต้นทุนไว้ที่ประมาณ 0.17 ดอลลาร์ต่อข้อ ขณะที่รีโพซิทอรีระบุต้นทุนโมเดลสำหรับการส่งผลงานครั้งนี้ไว้ที่ 111.85 ดอลลาร์ NEAR เตือนว่าผลการทดสอบเบนช์มาร์กไม่ได้สะท้อนต้นทุนหรือความพยายามทั้งหมดที่ต้องใช้ในการตรวจพิสูจน์ซอฟต์แวร์สำหรับการใช้งานจริง การนำการพิสูจน์ยืนยันอย่างเป็นทางการไปใช้กับคอนแทรกต์ที่นำขึ้นใช้งานแล้ว ยังคงต้องอาศัยแบบจำลองที่ถูกต้อง คุณสมบัติที่ระบุไว้อย่างชัดเจน และบทพิสูจน์ที่สอดคล้องกับการทำงานจริง การรับประกันครอบคลุมเฉพาะคุณสมบัติและข้อสมมติที่ตรวจสอบแล้วเท่านั้น ดังนั้นจึงต้องใช้วิธีนี้ควบคู่กับการทดสอบ การตรวจสอบโค้ด และการรักษาความปลอดภัยในการปฏิบัติงาน โครงการนี้สะท้อนความสนใจในวงกว้างที่เพิ่มขึ้นต่อการพิสูจน์ที่มี AI ช่วย รวมถึงงานที่ Aptos Labs และ Vitalik Buterin ผู้ร่วมก่อตั้ง Ethereum พูดถึง สำหรับผู้ซื้อขาย NEAR นี่คือพัฒนาการด้านความปลอดภัยที่อาจเกิดขึ้นในระยะยาว ไม่ใช่การประกาศเปิดใช้งานหรือปัจจัยกระตุ้นราคาโทเคนในทันที