CEO ของ OpenZeppelin ชี้ DeFi ไม่ปลอดภัย: โมเดลการตรวจสอบเพิ่งตายแล้ว
Manuel Aráoz ผู้ร่วมก่อตั้ง OpenZeppelin บอกกับผู้ฟังเมื่อสัปดาห์ที่แล้วว่า DeFi ไม่ปลอดภัยอีกต่อไปแล้ว เพราะ AI มีความสามารถเหนือมนุษย์ในการค้นหาช่องโหว่ของ smart contract บริษัทที่เขาก่อตั้งขึ้นนั้นเป็นผู้เขียน security library ที่โปรโตคอล Ethereum จำนวนมากนำเข้าไปใช้งานโดยค่าเริ่มต้น เมื่อ CEO ของ OpenZeppelin ประกาศว่า DeFi ไม่ปลอดภัย การถกเถียงเรื่องรูปแบบการตรวจสอบก็ถือว่าสิ้นสุดลงแล้ว
ผมติดตามรายงานการตรวจสอบที่ออกมาตลอดสี่ปีที่ LCX รายงานที่ดีนั้นมีความหนาแน่น มีขอบเขตชัดเจน และตรงไปตรงมาเกี่ยวกับสิ่งที่ครอบคลุม แต่ก็ถูกตรึงอยู่กับช่วงเวลาหนึ่ง โปรโตคอลที่คุณตรวจสอบในวันอังคารไม่ใช่โปรโตคอลเดิมที่ทำงานอยู่ในวันศุกร์ เมื่อ governance ส่ง config change ออกมา dependency มีการอัปเดตเวอร์ชัน หรือมีการต่อ oracle ตัวใหม่เข้ามา ประเด็นของ Aráoz ซึ่งรายงานโดย CoinDesk คือฝั่งผู้โจมตีในความไม่สมดุลนั้นเพิ่งได้รับการอัปเกรดครั้งใหญ่
ขณะเดียวกัน มีเงินกว่า 1.1 พันล้านดอลลาร์ที่ถูกดูดออกจากโปรโตคอล DeFi ในช่วงสิบสองเดือนที่ผ่านมา ตัวเลขนี้ไม่ใช่ปัญหาของการค้นหาช่องโหว่ แต่เป็นปัญหาของการออกแบบระบบ
เหตุใดการที่ CEO ของ OpenZeppelin บอกว่า DeFi ไม่ปลอดภัยจึงมีความสำคัญ
Aráoz ไม่ใช่คนนอกที่กำลังโจมตีอุตสาหกรรมอย่างอิสระ เขาเป็นหนึ่งในผู้ที่ช่วยสร้างมาตรฐานเหล่านี้ขึ้นมา
รูปแบบ ERC-20, ERC-721 และ AccessControl ที่โปรโตคอลจริงจังแทบทุกตัวนำไปใช้นั้นสืบสาวได้ถึง library ของ OpenZeppelin เมื่อผู้ร่วมก่อตั้งคนนั้นพูดว่ารูปแบบความปลอดภัยพังแล้ว มันมีน้ำหนักที่เธรด Twitter สุ่มไม่มีวันมีได้ กรอบที่ว่า Manuel Aráoz กับ AI ที่มีความสามารถด้านการแฮกเหนือมนุษย์นั้นสร้างผลกระทบได้ เพราะคนที่พูดมันนั้นเองเคยแบกรับต้นทุนของรูปแบบเดิมมาด้วยตัวเอง
รายการสั้น ๆ ของสิ่งที่การยอมรับนี้ยอมรับจริง ๆ:
- การตรวจสอบแบบ point-in-time ไม่สามารถตามทันอัตราที่ AI agents ค้นพบเส้นทางการโจมตีใหม่ๆ ได้
- แรงจูงใจทางเศรษฐกิจฝั่งผู้โจมตีในปัจจุบันขยายตัวตามความสามารถของโมเดล ไม่ใช่ตามจำนวนผู้ตรวจสอบที่เป็นมนุษย์
- แม้แต่ codebase ที่ผ่านการตรวจสอบโดยบริษัทชั้นนำก็ยังมีบั๊กที่ถูกโจมตีได้จริงในปี 2025 และ 2026
โมเดลการตรวจสอบ DeFi ล้าสมัยในปี 2026 ไม่ใช่ปี 2030
โมเดลการตรวจสอบแบบ PDF นั้นตึงตัวอยู่แล้ว AI แค่ทำให้ความตึงตัวนั้นมองเห็นได้ชัดขึ้น
การตรวจสอบ Solidity แบบดั้งเดิมใช้เวลาหนึ่งถึงสี่สัปดาห์สำหรับการรีวิวโดยมนุษย์ จากนั้นได้รับรายงานและค่าธรรมเนียมแบบ fixed-fee retainer ผลลัพธ์ที่ได้คือภาพถ่าย ณ ช่วงเวลาหนึ่ง แต่ผู้โจมตีในปัจจุบันมี agent ที่ไม่รู้จักเหนื่อยซึ่งสามารถ fuzz ทำ replay mainnet state และจับคู่รูปแบบกับช่องโหว่ในอดีตหลายพันรายการโดยไม่ต้องพักดื่มกาแฟ นั่นคือความไม่สมดุลที่ Aráoz กำลังอธิบายเมื่อเขาบอกว่า AI กำลังก้าวขึ้นสู่ระดับเหนือมนุษย์ในด้านการรักษาความปลอดภัยเชิงรุก
ตัวอย่างล่าสุดที่เป็นรูปธรรม: การ misconfiguration ของ LayerZero DVN ที่สร้างความเสียหายแก่ Kelp DAO 292 ล้านดอลลาร์ ไม่ใช่บั๊กใน Solidity แต่เป็นความเบี่ยงเบนของ configuration ระหว่างสถานะที่ผ่านการตรวจสอบแล้วกับสถานะที่กำลังรันอยู่จริง การตรวจสอบแบบ PDF ไม่สามารถจับสิ่งนี้ได้ในบ่ายวันศุกร์เมื่อทีม ops push การเปลี่ยนแปลง
วิธีที่ชัดเจนที่สุดที่ผมคิดได้คือ: การตรวจสอบบอกคุณว่าโค้ดน่าจะปลอดภัยในวันที่ถูกรีวิว แต่ไม่ได้บอกว่าระบบปลอดภัยในตอนนี้
สิ่งที่ AI smart contract vulnerability scanner เปลี่ยนแปลงได้จริง
ฝั่งผู้ป้องกันก็มีการเคลื่อนไหวเช่นกัน เพียงแต่ช้ากว่าฝั่งผู้โจมตี ช่องว่างนั้นคือปัญหาทั้งหมด
รูปแบบที่มีประโยชน์ที่ผมเห็นในการใช้งานจริงนั้นดูไม่เหมือน "แทนที่ผู้ตรวจสอบ" แต่เหมือนกับ "มอบฝ่ายตรงข้ามที่ทำงานต่อเนื่องให้กับทุก protocol":
- AI agents ที่ทำการ re-fuzz bytecode ที่ deploy แล้วหลังจากทุก governance action ไม่ใช่แค่ตอน deploy
- Invariant monitors ที่คอยดู live state และเปิด circuit breakers เมื่อตัวเลขคลาดเคลื่อน ไม่ใช่รอให้มนุษย์สังเกตเห็นใน Discord
- แพลตฟอร์ม bug bounty ที่เชื่อมต่อกับ autonomous agents ซึ่ง submit และ triage ผลการค้นพบตลอด 24 ชั่วโมง 7 วัน
Forta, Spearbit's Cantina และ OpenZeppelin's own Defender ต่างเดินหน้าในทิศทางนี้มาสองสามปีแล้ว สัญญาณที่ Aráoz กำลังส่งออกมาคือ นี่ไม่ใช่บริการระดับพรีเมียมอีกต่อไป แต่คือมาตรฐานขั้นต่ำ
ความปลอดภัยต่อเนื่องสำหรับโปรโตคอล DeFi ไม่ใช่การตรวจสอบรายปี
การเปรียบเทียบที่ผมคิดถึงอยู่เสมอคือเรื่องการแพทย์ การตรวจสอบก่อนลิสต์โทเค็นเปรียบเหมือนการตรวจร่างกายประจำปี ส่วนความปลอดภัยต่อเนื่องคือเครื่องมอนิเตอร์หัวใจ
ในโลกการเงินที่มีกฎระเบียบ ผู้ตรวจสอบจะรับรองบัญชีปีละครั้ง แต่ SIEM, WAF และระบบเฝ้าระวังการซื้อขายทำงานทุกวินาที DeFi นำเอาแค่ส่วนที่ตรวจปีละครั้งมาใช้ แต่ข้ามการมอนิเตอร์แบบสดไป แล้วก็แปลกใจเมื่อเงินกว่าพันล้านดอลลาร์หายไปต่อหน้าต่อตา บทเรียนจากยี่สิบปีของ cloud security คือ การมอนิเตอร์กินส่วนแบ่งของการตรวจสอบทุกดอลลาร์ที่ลงทุนเกินกว่าดอลลาร์แรก
การเปลี่ยนแปลงที่เป็นรูปธรรมที่ผมคาดว่าจะเกิดขึ้น:
- บริษัทตรวจสอบจะปรับตัวเป็นผู้ให้บริการมอนิเตอร์ต่อเนื่องพร้อม SLA ไม่ใช่แค่ร้านส่งรายงาน
- บริษัทรับประกันภัยจะตั้งราคาตามข้อมูลความปลอดภัยสดของโปรโตคอล ไม่ใช่จาก PDF ล่าสุด
- กรอบ Governance ที่กำหนดให้ต้องตรวจสอบใหม่ทันทีเมื่อมีการเปลี่ยนแปลง parameter เกินเกณฑ์ที่กำหนด
ไม่มีอะไรแปลกใหม่ที่นี่ โลก Web2 หาคำตอบนี้ได้ตั้งสิบปีที่แล้ว DeFi แค่เผชิญกับเวอร์ชันที่ยากกว่า เพราะโค้ดคือตัวห้องนิรภัยของธนาคาร
สิ่งที่โปรโตคอลควรทำจริงๆ ในไตรมาสนี้
ถ้าคุณดูแลโปรโตคอล DeFi และกำลังอ่านบทความนี้อยู่ การบ้านไม่ได้ซับซ้อนเลย:
- หยุดมองรายงานตรวจสอบ PDF ว่าเป็นสิ่งบ่งชี้ความปลอดภัย ให้มองมันเป็นเพียง input หนึ่งในกระบวนการทั้งหมด
- เชื่อมต่อระบบมอนิเตอร์เข้ากับ invariant ที่คุณให้ความสำคัญ ไม่ว่าจะเป็นอัตราส่วน collateral, ความเบี่ยงเบนของ oracle, การเปลี่ยนแปลง admin role, หรืออัตราส่วน inflow/outflow ของ bridge
- ติดตั้ง kill switch ที่คุณเคยทดสอบจริง ฟังก์ชัน pause ที่ไม่เคยถูกกดในการซ้อมรับมือเหตุฉุกเฉินเป็นแค่ของตกแต่ง
- รัน AI-driven fuzzing กับ contract ที่ deploy อยู่แบบสม่ำเสมอ ไม่ใช่แค่ครั้งเดียว แต่ตลอดไป
บริษัทที่ปรับตัวได้จะมีรูปแบบคล้าย Datadog มากกว่า Big Four และบริษัทที่ปรับตัวไม่ได้จะกลายเป็นข่าวหน้าหนึ่งมูลค่า 200 ล้านดอลลาร์รายต่อไป
การอ่านระหว่างบรรทัดของคำพูด Aráoz บอกให้รู้ว่าอุตสาหกรรมความปลอดภัยได้พูดความจริงที่ซ่อนเงียบออกมาในที่สุด นั่นคือ สแต็กของฝ่ายโจมตีเติบโตเร็วกว่าสแต็กของฝ่ายป้องกันมาตลอดสองปี และตอนนี้ช่องว่างนั้นกว้างพอจนแม้แต่คนที่สร้างสแต็กฝ่ายป้องกันเองยังต้องยอมรับความเป็นจริง