Sandeep ผู้ร่วมก่อตั้ง Polygon: การเขียนบทความหลังเหตุระเบิดที่สะพาน Chain Bridge

ผู้เขียน: แซนดีป

รวบรวมโดย: Carnival, ChainCatcher

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

เมื่อวันที่ 1 เมษายน Drift รายงานผลขาดทุน 285 ล้านดอลลาร์สหรัฐ

เมื่อวันที่ 13 เมษายน Polkadot Hyperbridge ได้สร้างโทเค็นที่ไม่ได้รับการสนับสนุนจำนวน 1 พันล้านเหรียญผ่านกลไกการพิสูจน์การเล่นซ้ำ (replay proof) ซึ่งความเสียหายจะยิ่งมากกว่านี้หากสภาพคล่องบนเครือข่ายเป้าหมายไม่ได้ต่ำมากอยู่แล้ว

เมื่อวันที่ 18 เมษายน KelpDAO สูญเสียเงินไป 292 ล้านดอลลาร์ ก่อนหน้านี้ โครงการต่างๆ เช่น Wormhole, Ronin, Harmony, BNB Bridge, Nomad และ Multichain ก็ประสบชะตากรรมที่คล้ายคลึงกัน

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

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

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

ไม่ว่าคุณจะเรียกมันว่า DVN, relay set, oracle committee หรือ multi-signature ก็ตาม โดยพื้นฐานแล้วมันคือคณะกรรมการขนาดเล็กที่คอยตรวจสอบกิจกรรมบนเชนหนึ่งและรับรองกิจกรรมนั้นบนอีกเชนหนึ่ง

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

@moo9000 ตั้งชื่อได้เหมาะสมมาก: MultisigFi

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

จากการสำรวจแอปพลิเคชันที่ใช้งานอยู่ของ LayerZero โดย Dune เมื่อเร็วๆ นี้ พบว่า 47% ของแอปพลิเคชันใช้การกำหนดค่าตัวตรวจสอบความถูกต้องแบบ 1/1, 45% ใช้การกำหนดค่าแบบ 2/2 และน้อยกว่า 5% ใช้การกำหนดค่าความปลอดภัยที่แข็งแกร่งกว่า

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

เมื่อห้าปีก่อน นี่อาจถือได้ว่าเป็นการตั้งค่าความปลอดภัยที่เหมาะสม ในเวลานั้น สะพานเชื่อมระหว่างบล็อกเชนต่างๆ จัดการธุรกรรมเพียงไม่กี่ล้านดอลลาร์ และไม่มีใครทำการตรวจสอบขนาดใหญ่ในวงกว้าง

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

เพื่อความชัดเจน บทความนี้ไม่ได้มีเจตนาที่จะเปรียบเทียบ Polygon กับบริษัทอื่น หลายปีก่อน เราเองก็เคยสร้างสมมติฐานเรื่องความไว้วางใจในลักษณะเดียวกันนี้ไว้ในผลิตภัณฑ์เวอร์ชันก่อนหน้าของเรา เราได้เรียนรู้จากประสบการณ์นั้น และอุตสาหกรรมโดยรวมก็ได้รับประโยชน์อย่างมากจากมัน

ในระหว่างกระบวนการนั้น บางคนยังคงสร้างระบบโดยใช้โมเดลคณะกรรมการต่อไป ในขณะที่บางคนได้นำเอา ZK (zero-knowledge proofs) ซึ่งเป็นเทคโนโลยีที่ไม่ต้องอาศัยความรู้เป็นศูนย์ มาเป็นหัวใจหลักของบริษัท

ความมุ่งมั่นของเราต่อการพิสูจน์โดยปราศจากความรู้ (zero-knowledge proofs) ไม่ใช่แค่คำพูด: ในเดือนกรกฎาคม 2024 เราได้เปิดตัวการพิสูจน์โดยปราศจากความรู้สำหรับสะพาน Agglayer ซึ่งใช้งานออนไลน์มานานกว่าหนึ่งปีแล้ว และกำลังดำเนินการชำระธุรกรรมข้ามเครือข่ายในปริมาณมากทุกวัน พูดตามตรง สิ่งที่เกิดขึ้นในสุดสัปดาห์นี้ยิ่งทำให้ผมมั่นใจในเรื่องนี้มากขึ้นไปอีก

การพิสูจน์โดยไม่ต้องอาศัยความรู้ (Zero-knowledge proofs) เข้ามาแทนที่งานที่เคยทำโดยคณะกรรมการ มันเปรียบเสมือนใบเสร็จรับเงินขนาดเล็กที่เข้ารหัสไว้ ซึ่งพิสูจน์ได้ว่าการคำนวณนั้นดำเนินการอย่างถูกต้อง และเครื่องจักรใดๆ บนโลกก็สามารถตรวจสอบได้ภายในไม่กี่มิลลิวินาที

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

นอกจากนี้ เรายังมีสิ่งที่เรียกว่า "หลักฐานเชิงลบ" วิธีที่ง่ายที่สุดที่จะเข้าใจคือ อย่าไว้ใจบัญชีแยกประเภทบนบล็อกเชนของใครเลย

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

กฎทางคณิตศาสตร์ไม่อนุญาตให้สถานการณ์เช่นนี้เกิดขึ้น Agglayer บังคับใช้กฎนี้ผ่านระบบพิสูจน์ SP1 ที่กระชับซึ่งสร้างขึ้นบน Polygon Plonky3

หากสถานการณ์เมื่อสุดสัปดาห์ที่ผ่านมาเกิดขึ้นกับ Agglayer ระบบตรวจสอบจะบล็อกการถอนเงินทันที เนื่องจากไม่มีบันทึกการฝากเงิน ดังนั้นเงินจึงจะไม่ถูกโอนอย่างแน่นอน

กลไกการบัญชีเดียวกันนี้สามารถตรวจจับช่องโหว่การออกรหัสแบบไม่จำกัดใน Wormhole และ BNB Bridge รวมถึงช่องโหว่การป้องกันการเล่นซ้ำใน Hyperbridge ได้

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

นี่ไม่ใช่แค่ทฤษฎี แม้ว่าธุรกรรม DeFi ส่วนใหญ่จะถูกระงับในช่วงสุดสัปดาห์ที่ผ่านมา แต่ Agglayer ยังคงประมวลผลธุรกรรมบริดจ์มูลค่าประมาณ 200 ล้านดอลลาร์โดยไม่ได้รับผลกระทบใดๆ เลย

การผสานรวมแบบเนทีฟของ Katana กับ Agglayer ทำให้ไม่มีความเสี่ยงใด ๆ ตลอดเหตุการณ์ ทีมรักษาความปลอดภัยของเราได้ระงับการผสานรวม LayerZero ภายในระบบนิเวศของ Polygon ก่อนที่จะมีการเปิดเผยสาเหตุที่แท้จริงต่อสาธารณะ และทีมผลิตภัณฑ์และทีมสนับสนุนของเรายังคงติดต่อสื่อสารกับพันธมิตรในระดับสถาบันตลอดช่วงสุดสัปดาห์

หลังจากพัฒนามาเกือบหกปี แพลตฟอร์ม Polygon ได้ดำเนินการชำระเงินไปแล้ว 24 ล้านล้านดอลลาร์ ประมวลผลธุรกรรม 7 พันล้านรายการ และมีเวลาทำงานต่อเนื่อง 99.99% แพลตฟอร์ม Agglayer ยังปราศจากช่องโหว่ในการเชื่อมต่อข้ามเชน นี่คือเหตุผลที่เราใช้เวลาหลายปีในการสร้าง Agglayer: ความปลอดภัยคือสิ่งที่เราให้ความสำคัญสูงสุดเสมอมา

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

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

กลุ่มลาซารัสได้โจมตีการออกแบบเหล่านี้มาตั้งแต่ปี 2022 และไม่มีทีท่าว่าจะหยุดลง การตรวจสอบโดยใช้ AI ช่วยในปัจจุบันสามารถเปิดเผยข้อผิดพลาดในการกำหนดค่าทั้งหมดที่ซ่อนอยู่ภายใต้โครงสร้างลำดับชั้นที่ซับซ้อนก่อนหน้านี้ การโจมตีเหล่านี้จะไม่หายไป ในที่สุดคณิตศาสตร์จะชดเชยข้อบกพร่องของคณะกรรมการได้

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

เราต้องทำได้ดีกว่านี้ และเรารู้อยู่แล้วว่าต้องทำอย่างไร

อย่างไรก็ตาม เราต้องยอมรับว่าปัจจุบัน LayerZero กำลังปิดใช้งานการตั้งค่า 1/1 (ลายเซ็นเดี่ยว) ทั่วทั้งอุตสาหกรรม นี่เป็นการตัดสินใจที่ถูกต้อง เนื่องจากจะช่วยเพิ่มความปลอดภัยข้ามเครือข่ายได้อย่างมาก ผมสนับสนุนมาตรการนี้อย่างเต็มที่ ทีมอื่นๆ ก็จะยังคงปรับปรุงการออกแบบคณะกรรมการของตนต่อไป งานนี้มีความสำคัญอย่างยิ่ง

แต่การเปลี่ยนแปลงที่สำคัญกว่านั้นอยู่ที่โครงสร้างทางสถาปัตยกรรม การพิสูจน์โดยอาศัยความรู้เป็นศูนย์นั้นทำลายไม่ได้ ป้องกันการโจมตีด้วยวิธีการทางสังคม และไม่ได้รับผลกระทบจากวันหยุดสุดสัปดาห์ คณิตศาสตร์นั้นจะถูกต้องหรือไม่ถูกต้องก็เท่านั้น หากไม่ถูกต้อง ทุกอย่างก็จะหยุดชะงัก

นี่คือทิศทางที่อุตสาหกรรมกำลังมุ่งไป และอัตราการพัฒนาเร็วกว่าเมื่อเดือนที่แล้ว ซึ่งเป็นข่าวดีสำหรับผู้รับเหมาก่อสร้างและองค์กรทุกแห่งที่กำลังเข้าสู่อุตสาหกรรมนี้

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

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

นี่ไม่ใช่ปราการทางการแข่งขันที่เราสร้างขึ้น แต่เป็นโครงสร้างพื้นฐานที่ทั้งอุตสาหกรรมควรใช้ร่วมกัน

อนาคตของสกุลเงินดิจิทัลในทศวรรษหน้าจะขึ้นอยู่กับทีมงานที่เต็มใจเริ่มสร้างสถาปัตยกรรมที่ซับซ้อนมากขึ้นในตอนนี้ การพิสูจน์ทางคริปโตกราฟีนั้นยากกว่าการรับรองเอกสาร แต่จะไม่ล่มสลายในวันหยุดสุดสัปดาห์ และสามารถรองรับปริมาณเงินหลายล้านล้านดอลลาร์ที่สกุลเงินดิจิทัลในปัจจุบันต้องจัดการได้

คุณอยากได้คำตัดสินของคณะกรรมการหรือการพิสูจน์ทางคณิตศาสตร์มากกว่ากัน? เราเลือกอย่างหลัง ผมหวังว่าจะมีคนจำนวนมากขึ้นเลือกเช่นเดียวกัน

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