TL;DR:
- Arbitrum กำลังวิจัยวิธีการยืนยันการประมวลผล AI แบบใหม่ที่ลดเวลาในการสร้างหลักฐานจาก 15 นาทีเหลือไมโครวินาที
- เอกสารจาก Offchain Labs เสนอวิธีการยืนยันการสรุปผลของโมเดลปัญญาประดิษฐ์ผ่านการสุ่มตัวอย่างเส้นทางภายใน โดยไม่ต้องดำเนินการทุกขั้นตอนซ้ำ
- โปรโตคอลใช้ตรรกะการแก้ไขข้อพิพาทเดียวกับ Arbitrum One เพื่อตรวจจับการแทนที่แบบจำลองใน API ปัญญาประดิษฐ์
เศรษฐกิจของ ตัวแทนปัญญาประดิษฐ์ กำลังเผชิญกับปัญหาที่จนถึงขณะนี้ยังไม่มีใครแก้ไขได้เร็วพอที่จะนำไปใช้งานจริง: ยืนยัน ว่าโมเดลปัญญาประดิษฐ์ที่ผู้ให้บริการอ้างว่ากำลังรันอยู่นั้น เป็นโมเดลเดียวกันที่กำลังถูกดำเนินการจริง
บทความที่ตีพิมพ์ในเดือนมีนาคม 2026 โดย Offchain Labs ชื่อ *Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference* เสนอวิธีแก้ปัญหาที่ลดเวลาในการสร้างหลักฐานจากประมาณ 15 นาทีเหลือไมโครวินาที และตรรกะเบื้องหลังระบบดังกล่าวไม่ใช่สิ่งที่แปลกใหม่ต่อระบบนิเวศ Arbitrum
ช่องว่างความเชื่อที่ตลาดปรับให้เป็นปกติ
โมเดลการกำหนดราคาต่อโทเค็นสร้างแรงจูงใจทางเศรษฐกิจที่ชัดเจนสำหรับการฉ้อโกง การให้บริการโมเดลขนาด 7 พันล้านพารามิเตอร์ถูกกว่าการให้บริการโมเดลขนาด 70 พันล้านพารามิเตอร์ และการดำเนินการอนุมานแบบควอนไทซ์มีต้นทุนต่ำกว่าการใช้ความแม่นยำเต็มรูปแบบ หากผู้ให้บริการสามารถเปลี่ยนคำขอส่วนหนึ่งไปยังโมเดลขนาดเล็กกว่าในขณะที่เรียกเก็บค่าธรรมเนียมของโมเดลขนาดใหญ่ ผลประโยชน์จะเพิ่มขึ้นตามปริมาณ นักวิจัยจากสแตนฟอร์ดบันทึกว่าพฤติกรรมของ GPT-3.5 และ GPT-4 เปลี่ยนแปลงไปในทางที่วัดได้ระหว่างเดือนมีนาคมถึงมิถุนายน 2023 ในการทดสอบงานเดียวกัน สัญญา API ปัจจุบันไม่มีกลไกใดในการตรวจจับความแตกต่างนี้
หลักฐานการเข้ารหัสที่มีอยู่ ซึ่งใช้ประเภทเดียวกับ zk-rollups สามารถแสดงให้เห็นว่าเซิร์ฟเวอร์ดำเนินการ การคำนวณ อย่างถูกต้องโดยไม่จำเป็นต้องให้ลูกค้าทำซ้ำ การปัญหาคือความเร็ว รูปแบบเช่น zkLLM สร้างหลักฐานการอนุมานสำหรับโมเดลที่มีพารามิเตอร์ 13 พันล้านตัวในประมาณ 15 นาที ซึ่งเป็นตัวเลขที่ไม่สามารถใช้งานร่วมกับ API ที่ต้องตอบกลับภายในหนึ่งวินาที
กลไกเดียวกันที่ปกป้อง Arbitrum One
ข้อเสนอของ Offchain Labs ละทิ้งการพิสูจน์แบบละเอียดทั้งหมดและหันมาใช้การสุ่มตัวอย่าง เซิร์ฟเวอร์จะผูกพันล่วงหน้ากับลายเซ็นดิจิทัลของน้ำหนักโมเดลและค่าภายในที่สร้างขึ้นระหว่างการสอบถามเฉพาะเจาะจง ลูกค้าจะเลือกเส้นทางสุ่มไปยังผลลัพธ์ของเครือข่ายและขอให้เซิร์ฟเวอร์เปิดเผยเฉพาะค่าที่อยู่ตามเส้นทางนั้น หากเซิร์ฟเวอร์รันโมเดลที่ต่างออกไป ค่าเหล่านั้นจะไม่สอดคล้องกันและกระบวนการตรวจสอบจะล้มเหลว ความน่าจะเป็นในการตรวจจับจะเพิ่มขึ้นเรื่อยๆ พร้อมกับการสอบถามซ้ำๆ ทำให้ระบบกลายเป็นอุปสรรคที่มีประสิทธิภาพต่อคู่ต่อสู้ที่มีเหตุผล
การเชื่อมต่อกับ Arbitrum ชัดเจนในเอกสารนี้ การทำงานของ optimistic rollups อาศัยแนวคิดเดียวกัน: การรันทุกขั้นตอนของการคำนวณที่ยาวนานบนทุกเครื่องนั้นใช้ต้นทุนสูง ในขณะที่การสุ่มตรวจสอบขั้นตอนที่ถูกโต้แย้งนั้นถูกกว่า โปรโตคอลที่เสนอขยายแนวคิดนี้ไปยังค่าของเครือข่ายประสาทเทียม โดยใช้ขั้นตอนการแบ่งครึ่งเพื่อลดความไม่เห็นด้วยระหว่างเซิร์ฟเวอร์สองตัวภายในจำนวนรอบที่เป็นลอการิทึม ซึ่งเป็นโครงสร้างการแก้ไขข้อพิพาทเดียวกันที่ปกป้อง Arbitrum One
สำหรับอุตสาหกรรมที่ได้รับการกำกับดูแล ทีมการจัดการแบบจำลอง และตลาดที่กำลังเกิดขึ้นของตัวแทนอัตโนมัติ ความแตกต่างระหว่างการอ้างถึงความโปร่งใสกับการอ้างที่สามารถตรวจสอบได้เริ่มมีผลโดยตรง โปรโตคอลนี้ไม่ได้บังคับให้นักพัฒนาต้องปรับเปลี่ยนสแต็กที่มีอยู่ของพวกเขา; มันแค่ต้องการให้บุคคลใดบุคคลหนึ่งในระบบ ไม่ว่าจะเป็นผู้ให้บริการ ผู้ตรวจสอบ หรือแพลตฟอร์ม สร้างคำแถลงที่สามารถตรวจสอบได้