Anthropic Mythos vs ความปลอดภัยใน DeFi: กองเครื่องมือตรวจสอบกำลังพัง

สัปดาห์นี้ ระบบนิเวศ DeFi แบกรับความเสียหายรวมกว่า 750 ล้านดอลลาร์จากการโจมตีโปรโตคอลหลายรายการ ซึ่งเมื่อดูผิวเผินแล้วดูเหมือนเรื่องเดิมที่คุ้นเคย ไม่ว่าจะเป็นการตั้งค่าการควบคุมการเข้าถึงที่ผิดพลาด ช่องโหว่ reentrancy หรือความล้มเหลวของ logic ในบริดจ์ แต่เวกเตอร์การโจมตีกำลังคมขึ้นเรื่อยๆ ช่วงเวลาระหว่างการค้นพบและการดูดเงินออกหดสั้นลง และฝั่งผู้โจมตีกำลังจะได้รับการอัปเกรดเครื่องมืออย่างจริงจัง

Mythos ของ Anthropic ซึ่งเป็นระบบ AI ภายในที่สร้างขึ้นเพื่อการวิจัยช่องโหว่แบบอัตโนมัติ ไม่ได้แค่ค้นหาบั๊กได้เร็วกว่า แต่มันยังสามารถใช้เหตุผลข้ามโค้ดเบสทั้งหมด เชื่อมต่อ exploit primitives เข้าหากัน และทำงานด้วยความเร็วที่ระบบป้องกันที่มีอยู่ของ DeFi ไม่ได้แค่ช้า แต่ไม่มีความหมายเชิงโครงสร้างเลย นี่ไม่ใช่การปรับปรุงส่วนเพิ่มเติมของเครื่องมือผู้โจมตีที่มีอยู่ แต่เป็นการเปลี่ยนประเภทของเกม

สัปดาห์แห่งความเสียหาย 750 ล้านดอลลาร์นี้ไม่ใช่เรื่องบังเอิญของช่วงเวลา แต่เป็นการฉายภาพตัวอย่างล่วงหน้าของสิ่งที่จะเกิดขึ้นเมื่อความไม่สมมาตรระหว่างฝ่ายรุกและฝ่ายรับในด้านความปลอดภัยของ DeFi กว้างขึ้น ไม่ใช่แคบลง

ทำไม Friction Stack ของ DeFi จึงไม่เคยเป็นระบบความปลอดภัยที่แท้จริง

โมเดลความปลอดภัยหลักของ DeFi คือการแสดงละครสร้างอุปสรรค มันทำงานแบบนี้: ทำให้การโจมตีน่ารำคาญพอที่ผู้โจมตีส่วนใหญ่จะไม่ยอมทำ และแพงพอที่คนที่ยังยืนยันจะดำเนินการต่อนั้นสามารถถูกสังเกตเห็นก่อนที่จะดูดเงินออกหมด

กลไกที่แท้จริงมีดังนี้:

• Multisig ต้องการให้ผู้ถือกุญแจ M จาก N คนลงนาม เพิ่มภาระการประสานงาน
• Timelocks ชะลอการดำเนินการอัปเกรดและการโอนเงินจำนวนมากออกไป 24-72 ชั่วโมง
• Audits การตรวจสอบโค้ดเป็นระยะโดยบริษัทอย่าง Trail of Bits, Certik, OpenZeppelin

วิธีนี้ใช้ได้ผลกับผู้โจมตีที่ฉวยโอกาสซึ่งมีทักษะทางเทคนิคระดับปานกลาง แต่ใช้ไม่ได้กับระบบ AI ที่สามารถอ่าน Solidity codebase ขนาด 50,000 บรรทัดภายในไม่กี่วินาที ระบุการโต้ตอบของ state ที่ไม่ชัดเจนข้ามคอนแทรคต่างๆ และสร้าง exploit chain ที่ใช้งานได้จริงก่อนที่นักวิเคราะห์มนุษย์คนใดจะอ่านผ่านครั้งแรกเสร็จ

Friction stack ถูกออกแบบมาโดยคำนึงถึงเศรษฐศาสตร์ของผู้โจมตีที่เป็นมนุษย์ Mythos เปลี่ยนฟังก์ชันต้นทุนโดยสิ้นเชิง

Mythos ทำอะไรกับพื้นผิวการโจมตีได้จริง

ตามที่ระบุไว้ในการพรีวิวเทคนิคของ Mythos โดย Anthropic ระบบดังกล่าวสามารถวิเคราะห์การติดตั้งใช้งาน TLS ตรวจจับรูปแบบการนำ nonce กลับมาใช้ซ้ำใน AES-GCM และติดตามห่วงโซ่การพึ่งพาข้ามสแต็กซอฟต์แวร์ที่ซับซ้อน ซึ่งเป็นประเภทการวิเคราะห์ TLS และ AES-GCM แบบ Mythos ที่เดิมต้องใช้นักเข้ารหัสระดับอาวุโสและเวลาหลายสัปดาห์

สำหรับ DeFi สิ่งนี้แปลออกมาเป็นเวกเตอร์ภัยคุกคามที่เป็นรูปธรรมไม่กี่ประการ:

1. การเชื่อมโยงการโจมตีข้ามสัญญา การแฮกครั้งใหญ่ส่วนใหญ่ในปี 2024-2025 ใช้ประโยชน์จากปฏิสัมพันธ์ ระหว่าง สัญญา ไม่ใช่บั๊กในสัญญาเดี่ยว AI ระดับ Mythos สามารถจำลองปฏิสัมพันธ์เหล่านี้ได้อย่างครอบคลุม เหตุการณ์ Kelp DAO ที่ฉันครอบคลุมก่อนหน้านี้ ซึ่งการกำหนดค่า LayerZero DVN ผิดพลาดทำให้สูญเสีย 292 ล้านดอลลาร์ คือประเภทปฏิสัมพันธ์หลายระบบที่ Mythos ถูกสร้างมาเพื่อค้นหา

2. การเชื่อมโยง Zero-day ด้วยความเร็วของเครื่อง ช่องโหว่ zero-day ด้วย AI ในคริปโตไม่ใช่เรื่องทฤษฎีอีกต่อไป ความกังวลคือระบบ AI ที่ระบุปัญหาความรุนแรงต่ำสามรายการแล้วนำมารวมกันเป็นเส้นทางการโจมตีที่รุนแรง ซึ่งไม่มีผู้ตรวจสอบที่เป็นมนุษย์คนใดเชื่อมโยงได้

3. พื้นผิวการโจมตีของ Oracle และ Bridge ลอจิกของ Bridge นั้นหนาแน่น กำหนดสเปคไม่ดี และเชื่อมต่อกับระบบภายนอกหลายระบบ นี่คือจุดที่ผู้ตรวจสอบที่เป็นมนุษย์พลาดสิ่งต่าง ๆ อย่างสม่ำเสมอ และยังเป็นจุดที่ระบบการให้เหตุผลอัตโนมัติมีอิทธิพลมากที่สุด

ทั้งหมดนี้ไม่ต้องการให้ Mythos ถูกใช้งานในทางที่เป็นอันตราย ความสามารถเดียวกับที่นักวิจัยของ Anthropic ใช้จะพร้อมใช้งาน ในรูปแบบใดรูปแบบหนึ่ง สำหรับทุกคนภายใน 18-24 เดือน

การตรวจสอบ Smart Contract ของ DeFi กำลังแสดงให้เห็นความล้าสมัยแล้ว

อุตสาหกรรมการตรวจสอบไม่ได้ก้าวทันเลย การตรวจสอบระดับ Tier-1 ทั่วไปมีค่าใช้จ่าย 50,000-300,000 ดอลลาร์ ใช้เวลา 4-8 สัปดาห์ และครอบคลุมสแนปช็อตโค้ดเบสที่ตายตัว ในขณะที่โปรโตคอลมีการอัปเดตอยู่ตลอดเวลา ผลการตรวจสอบมักล้าสมัยก่อนที่หมึกจะแห้ง

ยิ่งไปกว่านั้น การตรวจสอบยังสร้างความเชื่อมั่นที่ผิดพลาด ดังที่ การวิเคราะห์ของ Olympix เกี่ยวกับสาเหตุที่การตรวจสอบ smart contract ล้มเหลว ได้บันทึกไว้ว่า Euler Finance ผ่านการตรวจสอบแล้ว Ronin ก็ผ่านการตรวจสอบแล้ว Nomad ก็เช่นกัน การแฮ็ก Ronin bridge มูลค่า 625 ล้านดอลลาร์ในปี 2022 เล็ดลอดผ่านมาได้ก็เพราะผู้ตรวจสอบวิเคราะห์ contract แบบแยกส่วน โดยไม่ได้พิจารณากระบวนการจัดการ validator key ที่ contract เหล่านั้นพึ่งพาอยู่

การพูดว่า "เราผ่านการตรวจสอบแล้ว" ในปี 2026 จะมีน้ำหนักด้านความปลอดภัยพอกันกับการพูดว่า "เราใช้ HTTPS" ในปี 2015 นั่นเป็นเพียงสุขอนามัยพื้นฐาน ไม่ใช่ท่าทีการป้องกันที่แท้จริง

ความล้าสมัยของการตรวจสอบ smart contract ใน DeFi ไม่ใช่สิ่งที่กำลังจะมาถึง มันมาถึงแล้วสำหรับโปรโตคอลที่ดำเนินการในระดับใหญ่ ซึ่งเป็นรูปแบบที่ได้รับการยืนยันจาก งานวิจัยสถานะความปลอดภัยของ Web3 โดย Olympix ที่แสดงให้เห็นว่าช่องโหว่ส่วนใหญ่มาจาก contract ที่ผ่านการตรวจสอบแล้ว คำถามคือทีมงานจะปรับตัวหรือจะยังคงซื้อความคุ้มครองที่แพงและไม่เพียงพอแบบเดิมต่อไป

Project Glasswing และกรอบความเสี่ยง AI ที่กำลังเกิดขึ้นเพื่อรับมือ

ไม่ใช่ทุกคนที่นิ่งนอนใจ Project Glasswing ซึ่งเป็นโครงการวิจัยความปลอดภัย AI ที่มุ่งเน้น crypto โดยเฉพาะ กำลังพัฒนากรอบการตรวจสอบอย่างต่อเนื่องด้วย AI ที่ออกแบบให้ทำงานได้ทันกับภัยคุกคามที่สร้างโดย AI แนวคิดหลักนั้นถูกต้อง: หาก AI สามารถค้นหาช่องโหว่แบบเรียลไทม์ได้ ชั้นการตรวจจับและการตอบสนองก็ต้องทำงานแบบเรียลไทม์เช่นกัน

ซึ่งหมายความว่าต้องเปลี่ยนจากการตรวจสอบเป็นระยะไปสู่:

• Invariant monitoring การตรวจสอบบนเชนที่แจ้งเตือนเมื่อสถานะของ contract ละเมิดเงื่อนไขที่คาดไว้
• Formal verification การพิสูจน์ทางคณิตศาสตร์ถึงความถูกต้องของตรรกะโปรโตคอลหลัก ไม่ใช่เพียงการตรวจสอบแบบไม่เป็นทางการ
• Continuous fuzzing pipelines การสร้าง test อัตโนมัติที่ทำงานกับทุก commit ไม่ใช่เฉพาะตอนตรวจสอบเท่านั้น

บางโปรโตคอลพร้อมแล้ว สถาปัตยกรรม hook ของ Uniswap v4 ถูกออกแบบโดยคำนึงถึงการตรวจสอบเชิงรูปแบบ MakerDAO ลงทุนอย่างหนักในการสร้างแบบจำลองความปลอดภัยเชิงเศรษฐกิจ แต่เหล่านี้ล้วนเป็นข้อยกเว้น DeFi โปรโตคอลระดับกลางในปี 2025 ยังคงเปิดตัวด้วยการตรวจสอบรอบเดียวและ timelock 48 ชั่วโมง แล้วถือว่าเสร็จสิ้น

คณิตศาสตร์ของ Timelock ใช้ไม่ได้อีกต่อไป

นี่คือปัญหาเชิงโครงสร้างของ timelock โดยเฉพาะ นั่นคือมันตั้งอยู่บนสมมติฐานว่านักวิเคราะห์มนุษย์มีเวลาพอที่จะตรวจสอบธุรกรรมที่รอดำเนินการ ระบุว่ามันเป็นอันตราย และประสานงานตอบสนองก่อนที่มันจะทำงาน

ที่ 48-72 ชั่วโมง นั่นยังพอเป็นไปได้ ทีมรักษาความปลอดภัยที่มีความสามารถสามารถระดมกำลัง ประเมิน และตอบสนองได้ทัน

ลองจินตนาการถึงผู้โจมตีที่ใช้ AI ในการเชื่อมโยงช่องโหว่ใน DeFi เพื่อค้นหาจุดอ่อน สร้างการโจมตี จัดเตรียมข้อเสนอกำกับดูแลที่ดูถูกต้องตามกฎหมาย และเปิดเผยเพย์โหลดที่เป็นอันตรายผ่านเส้นทางการทำงานแบบมีเงื่อนไขที่เปิดใช้งานหลังจาก timelock ผ่านพ้นไปแล้ว timelock ไม่ได้ล้มเหลว สิ่งที่ล้มเหลวคือสมมติฐานเรื่องความเร็วในการวิเคราะห์ที่อยู่เบื้องหลังมัน

พื้นที่โจมตีในระดับการกำกับดูแลคือแนวรบสำคัญถัดไป คาดว่าจะเกิดการโจมตีระดับการกำกับดูแลที่สำคัญอย่างน้อยหนึ่งครั้งในปี 2026 ซึ่งจะเปิดเผยช่องว่างนี้อย่างชัดเจน

ชุดเครื่องมือป้องกันที่ต้องมีจริงๆ

ความปลอดภัยแบบอาศัยแรงต้านต้องถูกแทนที่ด้วยความปลอดภัยแบบอาศัยความถูกต้อง เส้นทางปฏิบัติจริงข้างหน้าประกอบด้วยสามชั้น:

ชั้นที่ 1 การตรวจสอบเชิงรูปแบบที่แกนกลางของโปรโตคอล ไม่จำเป็นต้องทุกอย่าง แต่ต้องครอบคลุมตรรกะการชำระ ค่าคงที่ทางบัญชี และรูปแบบการควบคุมการเข้าถึง Certora และ Halmos พร้อมใช้งานในระดับ production แล้ว ไม่มีข้อแก้ตัวใดสำหรับโปรโตคอลที่มี TVL 500 ล้านดอลลาร์ที่ไม่ใช้เครื่องมือเหล่านี้

ชั้นที่ 2 การตรวจสอบต่อเนื่องด้วย AI เครื่องมืออย่าง Forta Network, Hexagate และ Hypernative กำลังทำงานจริงในส่วนนี้ พวกมันตรวจจับพฤติกรรม on-chain ที่ผิดปกติก่อนที่มันจะเสร็จสมบูรณ์ นี่คือชั้นการตรวจจับที่ต้องขยายขนาดให้ทันกับภัยคุกคามที่ทำงานด้วยความเร็ว AI

Layer 3 การตอบสนองต่อเหตุการณ์ที่เคลื่อนไหวได้เร็วกว่าการโหวตใน DAO กลไกการหยุดชั่วคราวที่ทำงานจากการตรวจจับอัตโนมัติ ไม่ใช่หลังจากข้อเสนอการกำกับดูแลผ่านความเห็นชอบ มัลติซิกฉุกเฉินพร้อม playbook การตอบสนองที่ได้รับอนุมัติไว้ล่วงหน้า การตอบสนองอย่างรวดเร็วของทีม Euler ในปี 2023 ซึ่งกู้คืนเงิน 197 ล้านดอลลาร์ผ่านการเจรจา ประสบความสำเร็จส่วนหนึ่งเพราะมีเจ้าของที่ชัดเจนซึ่งสามารถดำเนินการได้ทันที โปรโตคอลส่วนใหญ่ไม่มีสิ่งนี้

โครงสร้างพื้นฐานการชำระเงินสำหรับ AI agent ที่ฉันนำเสนอในบทความเกี่ยวกับ x402 และเส้นทางการชำระเงินอัตโนมัติมีความเกี่ยวข้องในที่นี้ด้วย เพราะเมื่อ AI agent ทำธุรกรรมบนเชนอย่างอิสระ พื้นที่โจมตีสำหรับการหาช่องโหว่ด้วย AI จะขยายตามปริมาณธุรกรรม ไม่ใช่แค่จำนวนโปรโตคอล

คำถามที่แท้จริงคือใครจะปรับตัวได้ก่อน

Mythos ของ Anthropic คือการยอมรับต่อสาธารณะว่าระบบ AI กำลังปฏิบัติการอยู่ในแนวหน้าของการวิจัยช่องโหว่ ความสามารถในการวิเคราะห์แบบเดียวกันนี้จะแพร่กระจายออกไปอย่างหลีกเลี่ยงไม่ได้ มันเป็นเช่นนั้นเสมอมา

โปรโตคอล DeFi ที่จะอยู่รอดในสองปีข้างหน้าคือโปรโตคอลที่มองความปลอดภัยเป็นปัญหาด้านวิศวกรรมที่ต้องจัดการอย่างต่อเนื่อง ไม่ใช่แค่การทำเครื่องหมายในช่องการปฏิบัติตามกฎระเบียบ ส่วนโปรโตคอลที่ไม่ทำเช่นนั้นจะกลายเป็นกรณีศึกษาให้คนอื่นเรียนรู้

สัปดาห์ที่มูลค่า 750 ล้านดอลลาร์ไม่ใช่สถานการณ์เลวร้ายที่สุด แต่เป็นฐานที่เราทำให้กลายเป็นเรื่องปกติ ก่อนที่เครื่องมือจะราคาถูกลงและเข้าถึงได้ง่ายขึ้นกว่านี้ หน้าต่างสำหรับการสร้างสแต็กการป้องกันขึ้นมาใหม่ยังเปิดอยู่ แต่จะไม่เปิดอยู่ตลอดไป

แหล่งอ้างอิง

• Project Glasswing: การรักษาความปลอดภัยซอฟต์แวร์สำคัญในยุค AI, Anthropic
• ตัวอย่าง Claude Mythos, Anthropic Frontier Red Team
• เครือข่าย Ronin ของ Axie Infinity ถูกเจาะระบบมูลค่า 625 ล้านดอลลาร์, CoinDesk
• สถานการณ์ความปลอดภัย Web3 ในปี 2025: ทำไมการโจมตีส่วนใหญ่จึงมาจากสัญญาที่ผ่านการตรวจสอบแล้ว, Olympix
• ทำไมการตรวจสอบสมาร์ทคอนแทรคจึงล้มเหลว: ช่องโหว่ความปลอดภัยที่ซ่อนอยู่ใน DeFi, Olympix