Smart contract ปัจจุบันดูแลสินทรัพย์คริปโตแบบ open-source มูลค่ากว่า 1 แสนล้านเหรียญ การที่ AI agents สามารถอ่าน เขียน และรันโค้ดได้ ทำให้การวัดขีดความสามารถของพวกมันในสภาพแวดล้อมที่มีความหมายทางเศรษฐกิจจึงมีความสำคัญอย่างยิ่ง เพื่อส่งเสริมการใช้ AI ในการตรวจสอบและเสริมความแข็งแกร่งให้กับสัญญาที่ใช้งานอยู่
EVMbench ได้รวบรวมจาก 117 ช่องโหว่ที่มาจาก 40 การตรวจสอบ โดยส่วนใหญ่มาจากแข่งขันตรวจสอบโค้ดแบบ open-source นอกจากนี้ยังรวมสถานการณ์จากกระบวนการตรวจสอบความปลอดภัยของบล็อกเชน Tempo ซึ่งเป็น L1 ที่ออกแบบมาเพื่อการชำระเงินด้วย Stablecoin ที่มีปริมาณธุรกรรมสูงและต้นทุนต่ำ
การโจมตีจำลองคือการที่ Agents ดำเนินการโจมตีแบบ End-to-end เพื่อดูดเงินจากสัญญาที่ใช้งานในสภาพแวดล้อมบล็อกเชนแบบ Sandbox โดยมีการให้คะแนนผ่านการเล่นซ้ำธุรกรรมและการตรวจสอบบนเชน เพื่อให้การประเมินเป็นกลางและทำซ้ำได้ จึงได้พัฒนา harness ที่ใช้ Rust ในการติดตั้งสัญญา การเล่นซ้ำธุรกรรมของ Agent และจำกัด RPC methods ที่ไม่ปลอดภัย
ในส่วนของการบรรเทา มาตรการของเราประกอบด้วยการฝึกฝนด้านความปลอดภัย การเฝ้าระวังอัตโนมัติ การเข้าถึงที่เชื่อถือได้สำหรับความสามารถขั้นสูง และไปป์ไลน์การบังคับใช้ รวมถึงภัยคุกคามทางข่าวกรอง เรากำลังลงทุนในมาตรการรักษาความปลอดภัยของระบบนิเวศ เช่น การขยาย beta ส่วนตัวของ Aardvark ซึ่งเป็น security research agent และการเป็นพันธมิตรกับผู้ดูแล open-source เพื่อให้บริการสแกนโค้ดฟรีสำหรับโปรเจกต์ที่ใช้งานอย่างแพร่หลาย นอกจากนี้ ยังให้เครดิต API มูลค่า 10 ล้านเหรียญ เพื่อเร่งการป้องกันทางไซเบอร์ด้วยโมเดลที่มีความสามารถสูงสุดของเรา โดยเฉพาะสำหรับซอฟต์แวร์ open source และระบบโครงสร้างพื้นฐานที่สำคัญ
ศัพท์ที่ควรรู้
- Smart contracts – สัญญาอัจฉริยะคือโค้ดที่ทำงานอัตโนมัติเมื่อเงื่อนไขที่กำหนดไว้เป็นจริง
- AI agents – คือตัวแทนปัญญาประดิษฐ์ที่สามารถอ่าน เขียน และรันโค้ดได้
- EVMbench – คือชุดทดสอบที่สร้างขึ้นเพื่อวัดความสามารถของ AI ในการตรวจสอบสัญญาทางการเงิน
- Sandboxed blockchain environment – คือสภาพแวดล้อมบล็อกเชนจำลองที่ใช้ทดสอบการโจมตีโดยไม่กระทบระบบจริง
ที่มา: OpenAI