เมื่อตัวเลขสุ่มไม่สุ่มอีกต่อไป: ความจริงเบื้องหลังการขโมย 120,000 BTC
ที่มา: Max He@Safeheron Lab
เมื่อเร็วๆ นี้ ชุมชนคริปโทเคอร์เรนซีได้พูดคุยกันอย่างกว้างขวางเกี่ยวกับข่าวหนึ่ง: หน่วยงานบังคับใช้กฎหมายของสหรัฐฯ ถูกสงสัยว่าได้รับคีย์ส่วนตัวของบิตคอยน์ประมาณ 120,000 บิตคอยน์ ซึ่งถูกโอนไปอย่างลึกลับในปี 2020 มูลค่าสูงถึง 15 พันล้านดอลลาร์สหรัฐ ตามรายงานของ Elliptic [1] สินทรัพย์เหล่านี้เดิมทีเกี่ยวข้องกับ Lubian.com ซึ่งเป็นแหล่งขุดคริปโทเคอร์เรนซี และต่อมาถูกยึดอย่างเป็นทางการโดยกระทรวงยุติธรรมสหรัฐฯ มีการคาดเดากันอย่างกว้างขวางว่าหน่วยงานบังคับใช้กฎหมายอาจใช้ประโยชน์จากข้อบกพร่องในตัวเลขสุ่มที่สร้างขึ้นเมื่อสร้างกระเป๋าเงินเพื่อสร้างหรือครอบครองคีย์ส่วนตัว บางคนยังเชื่อว่านี่เป็นปฏิบัติการเจาะระบบทางเทคนิคที่นำโดยรัฐบาลสหรัฐฯ
หลังจากข่าวนี้ถูกเผยแพร่ออกไป ก็สร้างความตกตะลึงอย่างรุนแรงให้กับอุตสาหกรรมคริปโทเคอร์เรนซีทั้งหมด และกลายเป็นประเด็นร้อนในอุตสาหกรรมอย่างรวดเร็ว ไม่เพียงแต่ก่อให้เกิดการถกเถียงอย่างกว้างขวางในระดับเทคนิคและความปลอดภัยเท่านั้น แต่ยังทำให้นักลงทุนเกิดความกังวลใหม่ๆ เกี่ยวกับความน่าเชื่อถือและการป้องกันความเสี่ยงของสินทรัพย์ดิจิทัลอีกด้วย บทความนี้จะวิเคราะห์เหตุการณ์นี้และรากฐานความปลอดภัยอย่างเป็นระบบจากทั้งมุมมองทางเทคนิคและข้อเท็จจริง วิเคราะห์รายละเอียดทางเทคนิคที่สำคัญอย่างลึกซึ้ง ทบทวนเหตุการณ์อย่างครอบคลุม และสำรวจผลกระทบที่อาจเกิดขึ้นในวงกว้าง ตัวเลขสุ่มและความปลอดภัยของคีย์ส่วนตัว: หัวใจสำคัญของโลกบล็อกเชน ในโลกบล็อกเชน ตัวเลขสุ่มถือเป็นรากฐานสำคัญของความปลอดภัยทางการเข้ารหัส คีย์ส่วนตัวของกระเป๋าเงิน Bitcoin หรือ Ethereum ทุกใบถูกสร้างขึ้นโดยใช้ตัวเลขสุ่ม หากตัวเลขสุ่มนี้ขาด "ความสุ่ม" ที่เพียงพอ แฮกเกอร์สามารถคาดการณ์คีย์ส่วนตัวและขโมยสินทรัพย์ดิจิทัลได้ เพื่อลดความเสี่ยงนี้อย่างมีประสิทธิภาพ กระเป๋าเงินต้องใช้เครื่องสร้างตัวเลขสุ่มที่ปลอดภัยทางการเข้ารหัส (CSPRNG) เพื่อให้แน่ใจว่าตัวเลขสุ่มที่สร้างขึ้นนั้นไม่สามารถคาดเดาได้และไม่สามารถทำซ้ำได้อย่างแท้จริง กระเป๋าเงินที่พึ่งพาอัลกอริทึมแบบสุ่มที่ไม่ปลอดภัยอาจดูเหมือนทำงานได้ปกติ แต่ในความเป็นจริงแล้ว พวกมันมีความเสี่ยงแอบแฝงอยู่ หากสามารถคาดการณ์ความสุ่มได้สำเร็จ การสูญเสียสินทรัพย์จะกลายเป็นสิ่งที่ไม่สามารถย้อนกลับได้
ประวัติศาสตร์ซ้ำรอย: บทเรียนจากเหตุการณ์ด้านความปลอดภัยที่สำคัญหลายครั้ง
ระหว่างปี 2022 ถึง 2023 เหตุการณ์ด้านความปลอดภัยที่สำคัญหลายเหตุการณ์ที่เกิดจากช่องโหว่ตัวเลขสุ่มเดียวกันถูกเปิดเผยออกมาอย่างต่อเนื่อง ซึ่งเผยให้เห็นถึงความรุนแรงและลักษณะที่แพร่หลายของปัญหานี้อย่างเต็มที่
เหตุการณ์ด้านความปลอดภัยที่ 1: บทเรียนอันเจ็บปวดของ Wintermute จากการสูญเสียเงิน 160 ล้านดอลลาร์
เมื่อวันที่ 20 กันยายน 2022 Wintermute ผู้สร้างตลาดที่มีชื่อเสียงได้ประสบกับเหตุการณ์ด้านความปลอดภัยที่สำคัญ และสินทรัพย์ดิจิทัลมูลค่าประมาณ 160 ล้านดอลลาร์ถูกขโมยไป [2] ผู้โจมตีได้ใช้ประโยชน์จากจุดอ่อนของเครื่องมือสร้างที่อยู่ Profanity อย่างชาญฉลาด โดยเครื่องมือดังกล่าวอาศัย Mersenne Twister (MT19937) เป็นแหล่งตัวเลขสุ่มเทียมเพื่อสร้าง "ที่อยู่สวยๆ" ในบางกรณี
เนื่องจากผลลัพธ์ของ MT19937 สามารถคาดการณ์ได้ในกรณีที่ไม่มีการฉีดเอนโทรปีที่เพียงพอ ผู้โจมตีจึงสามารถสร้างกระบวนการสร้างที่อยู่/คีย์ส่วนตัวขึ้นมาใหม่ได้บางส่วน คำนวณคีย์ส่วนตัวที่เกี่ยวข้องและโอนเงินได้สำเร็จ กรณีนี้ถือเป็นครั้งแรกในประวัติศาสตร์คริปโตที่กระเป๋าเงินของสถาบันถูกบุกรุกเนื่องจากการใช้ตัวเลขสุ่มในทางที่ผิด ซึ่งบ่งชี้ว่าปัญหาความสุ่มได้พัฒนาจากความประมาทเลินเล่อของนักพัฒนาไปสู่ความเสี่ยงด้านความปลอดภัยของระบบ Safeheron ได้เผยแพร่โพสต์ที่วิเคราะห์รายละเอียดทางเทคนิคของการโจมตีและสร้างกระบวนการโจมตีขึ้นมาใหม่ [3]เหตุการณ์ด้านความปลอดภัยที่ 2: วิกฤตความน่าเชื่อถือที่เกิดจากช่องโหว่หมายเลขสุ่มของกระเป๋าเงิน Trust Wallet
ในเดือนเมษายน 2023 นักวิจัยด้านความปลอดภัยพบว่าส่วนขยายเบราว์เซอร์ Trust Wallet (เวอร์ชัน 0.0.172–0.0.182) ใช้ฟังก์ชันสุ่มที่ไม่ปลอดภัยทางการเข้ารหัส [4] เมื่อสร้างตัวช่วยจำกระเป๋าเงิน เลเยอร์พื้นฐานยังอาศัยอัลกอริทึมตัวเลขสุ่มเทียม Mersenne Twister (MT19937) (ดังที่แสดงในภาพด้านล่าง) พื้นที่สุ่มมีความเป็นไปได้เพียงประมาณ 2^32 ซึ่งยังห่างไกลจากความสามารถในการต้านทานการโจมตีแบบครอบคลุม
ผู้โจมตีสามารถระบุชุดค่าผสมของตัวช่วยจำทั้งหมดที่เป็นไปได้ภายในระยะเวลาที่จำกัด เพื่อสร้างคีย์ส่วนตัวขึ้นใหม่และขโมยทรัพย์สินของผู้ใช้ ต่อมาเจ้าหน้าที่ของ Trust Wallet ได้ออกประกาศยืนยันการมีอยู่ของช่องโหว่อย่างเป็นทางการ และแจ้งเตือนผู้ใช้ที่ได้รับผลกระทบอย่างเร่งด่วนให้โอนย้ายทรัพย์สินของตนให้ทันเวลา ตามแถลงการณ์อย่างเป็นทางการในฟอรัมชุมชนของโครงการ ช่องโหว่นี้ก่อให้เกิดความสูญเสียที่อาจเกิดขึ้นประมาณ 170,000 ดอลลาร์สหรัฐ เนื่องจากผู้โจมตีอาจใช้ประโยชน์จากช่องโหว่นี้เพื่อดำเนินการโจมตีแบบเจาะจงเป้าหมายได้สำเร็จ
เหตุการณ์นี้กลายเป็นกรณีแรกของช่องโหว่ตัวเลขสุ่มที่ส่งผลกระทบต่อผู้ใช้เทอร์มินัลกระเป๋าสตางค์หลัก และยังทำให้ปัญหา "ความปลอดภัยของตัวเลขสุ่ม" ดึงดูดความสนใจของสาธารณชนในวงกว้างเป็นครั้งแรก
เหตุการณ์ด้านความปลอดภัยที่ 3: เหตุการณ์ตัวเลขสุ่มที่อ่อนแอของ Libbitcoin Explorer (bx seed)
ในเดือนสิงหาคม 2023 ทีมวิจัยด้านความปลอดภัย Distrust ได้ประกาศการค้นพบช่องโหว่ตัวเลขสุ่มที่ร้ายแรงในเครื่องมือบรรทัดคำสั่ง Libbitcoin Explorer (bx) เวอร์ชัน 3.x [5] เมื่อรันคำสั่ง bx seed เพื่อสร้าง seed ของกระเป๋าเงิน เครื่องมือนี้ยังใช้ตัวสร้างตัวเลขสุ่มเทียม Mersenne Twister (MT19937) ภายในเครื่อง และใช้เฉพาะเวลาของระบบเป็นแหล่งที่มาของ seed ส่งผลให้มีความสุ่มต่ำมากและผลลัพธ์ที่คาดเดาได้ ผู้โจมตีสามารถแจกแจงค่า seed ทั้งหมดได้ภายในระยะเวลาที่จำกัด ส่งผลให้สามารถสร้างคีย์ส่วนตัวของกระเป๋าเงินขึ้นมาใหม่และขโมยทรัพย์สินได้โดยตรง
ช่องโหว่นี้ส่งผลกระทบต่อผู้ใช้ทุกคนที่ใช้ Libbitcoin Explorer 3.x เพื่อสร้างกระเป๋าเงิน รวมถึงแอปพลิเคชันที่เกี่ยวข้องซึ่งใช้ไลบรารี libbitcoin-system 3.6 ณ เดือนสิงหาคม 2566 สินทรัพย์คริปโทเคอร์เรนซีมากกว่า 900,000 ดอลลาร์สหรัฐถูกขโมยเนื่องจากช่องโหว่นี้ [6] หลังจากเปิดเผยช่องโหว่นี้ ได้มีการลงทะเบียนอย่างเป็นทางการในชื่อ CVE-2023-39910
แม้ว่า Libbitcoin-explorer จะได้รับการแก้ไขด้วยแพตช์ความปลอดภัยที่ถูกต้องแล้ว แต่ปัญหายังไม่จบเพียงเท่านี้
ภูเขาน้ำแข็งขนาดมหึมาที่โผล่ขึ้นมา
หลังจากเหตุการณ์ความปลอดภัยของ Libbitcoin Explorer 3.x ถูกเปิดเผย นักวิจัยหมวกขาวซึ่งนำโดยทีม Distrust ได้ก่อตั้งโครงการ MilkSad ขึ้นเพื่อติดตามผลกระทบของช่องโหว่อย่างต่อเนื่องและส่งเสริมการตอบสนองของชุมชน
ภายในปี 2024 นักวิจัยได้วิเคราะห์กลไกการสร้าง ประเภทของกระเป๋าเงิน และการกำหนดค่าตัวสร้างตัวเลขสุ่มเทียม (PRNG) ของ "กระเป๋าเงินที่อ่อนแอ" เหล่านี้อย่างเป็นระบบเป็นครั้งแรก [7] และเปิดเผยถึงความเชื่อมโยงที่อาจเกิดขึ้นกับ Lubian.com ซึ่งเป็นกลุ่มขุด Bitcoin และลักษณะการกระจายของกองทุนที่เกี่ยวข้อง
ในปี 2025 ด้วยความช่วยเหลือจากเบาะแสสำคัญที่ได้รับจากนักวิจัยหมวกขาวที่ไม่เปิดเผยตัวตน งานวิเคราะห์ที่หยุดชะงักมานานก็ได้เกิดความก้าวหน้า ทีม MilkSad ค้นพบว่าซอฟต์แวร์ที่ได้รับผลกระทบได้เพิ่มพารามิเตอร์ใหม่ นั่นคือ PRNG offset (ออฟเซ็ต) เมื่อสร้างคีย์ส่วนตัว การค้นพบนี้ช่วยให้นักวิจัยสามารถเชื่อมโยงกลุ่มกระเป๋าเงินที่กระจัดกระจายก่อนหน้านี้เข้าด้วยกันอีกครั้ง และเผยให้เห็นรูปแบบการสร้างตัวเลขสุ่มแบบรวมที่อยู่เบื้องหลัง การค้นพบนี้กลายเป็นกุญแจสำคัญในการทำความเข้าใจสาเหตุของเหตุการณ์ "กระเป๋าเงินที่อ่อนแอ" ทั้งหมด [8]
จากการวิเคราะห์เชิงลึกของทีม พบว่ากระเป๋าเงินที่มีปัญหา 2,630 ใบที่ค้นพบครั้งแรกในปี 2023 นั้นเป็นเพียงส่วนเล็ก ๆ ของปัญหาเท่านั้น ด้วยการค้นหาส่วนต่าง ๆ ของผลลัพธ์ PRNG นักวิจัยสามารถสร้างและระบุกระเป๋าเงินที่มีเอกลักษณ์เฉพาะตัวได้มากกว่า 227,200 ใบ (ดังที่แสดงในภาพด้านล่าง) ซึ่งทั้งหมดมีประวัติการใช้งานบนเมนเน็ต ทำให้กลายเป็นกลุ่ม "กระเป๋าเงินแบบสุ่มที่อ่อนแอ" ที่ใหญ่ที่สุดจนถึงปัจจุบัน ข้อมูลบนเครือข่ายแสดงให้เห็นว่ากระเป๋าเงินเหล่านี้ ซึ่งสร้างขึ้นจากข้อบกพร่องของตัวเลขสุ่ม มี Bitcoin (BTC) รวมประมาณ 137,000 เหรียญ ภายในเวลาเพียงสองชั่วโมงในวันที่ 28 ธันวาคม 2020 กระเป๋าเงินเหล่านี้ถูกถอนออกไปทั้งหมด โดยยอดเงินคงเหลือลดลงจาก 137,000 เหลือไม่ถึง 200 BTC ประมาณ 9,500 BTC ไหลไปยังที่อยู่การชำระเงินของพูลขุด Lubian ขณะที่ BTC ที่เหลืออีกประมาณ 120,000 BTC คาดว่าถูกโอนไปยังกระเป๋าเงินที่ผู้โจมตีควบคุม ธุรกรรมที่น่าสงสัยทั้งหมดใช้ค่าธรรมเนียมเดียวกัน ซึ่งแสดงให้เห็นถึงสัญญาณที่ชัดเจนของการโอนแบบกลุ่มอัตโนมัติ
ต่อมามีเบาะแสสำคัญใหม่ๆ ปรากฏขึ้น ซึ่งยิ่งยืนยันการโจรกรรมครั้งใหญ่นี้ [9] นักวิจัยพบบนเครือข่ายหลักของ Bitcoin ว่ากระเป๋าสตางค์ของเหยื่อบางรายยังคงมีกิจกรรมธุรกรรมที่ผิดปกติในวันที่ 3 กรกฎาคม 2022 และ 25 กรกฎาคม 2024 ธุรกรรมเหล่านี้ฝังข้อมูลเดียวกันนี้ไว้ผ่านกลไก OP_RETURN:
"ข้อความจาก LB ถึง Whitehat ที่กำลังเก็บทรัพย์สินของเรา คุณสามารถติดต่อเราได้ที่ 1228btc@gmail.com เพื่อหารือเกี่ยวกับการคืนทรัพย์สินและรางวัลของคุณ"
นักวิจัยคาดการณ์ว่า "LB" อาจย่อมาจาก Lubian.com และ "saving our asset" อาจหมายถึงเหตุการณ์การโอนเงินครั้งใหญ่เมื่อวันที่ 28 ธันวาคม 2020 ข้อความเหล่านี้ถูกเผยแพร่หลายครั้งไปยังที่อยู่ต่างๆ ซึ่งดูเหมือนจะเป็นความพยายามอย่างเปิดเผยของ Lubian ที่จะติดต่อกับ "Whitehat" ที่ควบคุมทรัพย์สินเพื่อหารือเกี่ยวกับการคืนทรัพย์สินและรางวัล
อย่างไรก็ตาม เนื่องจากคีย์ส่วนตัวของกระเป๋าเงินเหล่านี้รั่วไหลมานานแล้ว ใครๆ ก็สามารถเริ่มทำธุรกรรมหรือเขียนข้อความจากที่อยู่เหล่านี้ได้ในทางทฤษฎี ดังนั้น จึงยังไม่สามารถยืนยันได้อย่างแน่ชัดว่าข้อมูลนี้มาจากทีม Lubian จริงหรือเป็นการดำเนินการที่ทำให้เข้าใจผิดหรือแกล้งทำ
ณ จุดนี้ ประเด็นหลักของภูเขาน้ำแข็งได้ปรากฏขึ้นในที่สุด ช่องโหว่ของระบบที่เกิดจากข้อบกพร่องของตัวเลขสุ่มนี้ได้พัฒนาเป็นหนึ่งในเหตุการณ์ด้านความปลอดภัยที่ใหญ่ที่สุดและกว้างไกลที่สุดในประวัติศาสตร์ของ Bitcoin
รายละเอียดทางเทคนิค: กระบวนการโจมตีแบบ Brute Force อย่างสมบูรณ์บนกระเป๋าเงิน BTC จำนวน 220,000 BTC
แล้วกระเป๋าเงินสุ่มที่อ่อนแอจำนวน 220,000 BTC เหล่านี้ถูกสร้างขึ้นมาได้อย่างไร? เรามาแนะนำกระบวนการค้นหาทางเทคนิคโดยละเอียดกัน [8]
ขั้นตอนที่ 1: เลือก MT19937 ซึ่งเป็นเครื่องกำเนิดเลขสุ่มเทียม (PRNG) ตัวเดียวกันเพื่อสร้างตัวเลขสุ่ม อีกครั้งหนึ่ง PRNG นี้ไม่มีความปลอดภัยทางการเข้ารหัสเลย
ขั้นตอนที่ 2: เริ่มต้น MT19937 โดยใช้ค่าตั้งต้นเอนโทรปีต่ำมาก (0 ถึง 2^32-1) ค่าตั้งต้นเอนโทรปีต่ำเป็นสาเหตุหลักของการได้มาซึ่งคีย์ส่วนตัวของกระเป๋าเงิน BTC เหล่านี้อย่างรวดเร็ว
ขั้นตอนที่ 3: MT19937 แสดงผลเป็นเลขจำนวนเต็ม 32 บิตต่อรอบ แต่ไม่ได้ใช้งานทั้งหมด เลือกเฉพาะ 8 บิตบนสุด ซึ่งหมายความว่า MT19937 จะสร้างหนึ่งไบต์ต่อรอบ
ขั้นตอนที่ 4: แนะนำฟีเจอร์ OFFSET เพื่อขยายช่วงคีย์ส่วนตัว โปรดทราบว่าค่าตั้งต้นของคีย์ส่วนตัวใน BTC คือ 32 ไบต์ (เทียบเท่ากับ 24 mnemonics หรือ 256 บิต) ค่า 32 ไบต์นี้ได้มาจากการปัดเศษ (32 * OFFSET) เป็น (32 * OFFSET + 31) เพื่อสร้างค่าตั้งต้นของคีย์ส่วนตัวของ BTC โปรดทราบว่าค่าตั้งต้นของคีย์ส่วนตัวใน BTC คือ 32 ไบต์ โดยเฉพาะอย่างยิ่ง:
(1) ปัดเศษ 0 เป็น 31 จะได้คีย์ส่วนตัวขนาด 32 ไบต์
(2) ปัดเศษ 32 เป็น 63 จะได้คีย์ส่วนตัวขนาด 32 ไบต์
(3) ปัดเศษ 32 * 2 เป็น 95 จะได้คีย์ส่วนตัวขนาด 32 ไบต์
(4) ในทำนองเดียวกัน ค่าสูงสุดของ OFFSET สามารถเป็น 3232 ได้
ขั้นตอนที่ 5: ใช้ค่า seed ของคีย์ส่วนตัวในการอนุมานกระเป๋าสตางค์ BIP32 สาธารณะ และเส้นทางการอนุมาน m/49'/0'/0'/0/0 เพื่อหาคู่คีย์สาธารณะ-ส่วนตัวย่อย
ขั้นตอนที่ 6: ใช้ค่า seed ของคีย์สาธารณะย่อย สร้างที่อยู่กระเป๋าสตางค์ประเภท P2WPKH-nested-in-P2SH ที่มีคำนำหน้า 3
ขั้นตอนที่ 7: หากที่อยู่ที่สร้างขึ้นมีบันทึกการใช้งานบนเชน แสดงว่าพบกระเป๋าสตางค์ที่มีตัวเลขสุ่มที่อ่อนแอแล้ว ให้บันทึกที่อยู่กระเป๋าสตางค์และคีย์ส่วนตัวที่เกี่ยวข้อง กระบวนการค้นหาทั้งหมดที่อธิบายไว้ข้างต้นเป็นแบบกำหนดได้ ตัวแปรเดียวอยู่ที่การเลือกค่าเมล็ดเอนโทรปีต่ำ ซึ่งมีความเป็นไปได้ทั้งหมด 2^32 ซึ่งน้อยกว่าพื้นที่คีย์ส่วนตัวมาตรฐาน 2^256 BTC มาก ดังนั้น การค้นหาแบบ Brute-force จึงสามารถค้นหากระเป๋าเงินแบบสุ่มที่อ่อนแอทั้ง 220,000 ใบพร้อมคีย์ส่วนตัวที่เกี่ยวข้องได้ เรื่องราวฉบับสมบูรณ์: มาทบทวนเรื่องราวฉบับสมบูรณ์กัน หลายปีก่อน (ต้นปี 2018) โครงการสินทรัพย์ดิจิทัลหลายโครงการได้นำตัวสร้างเลขสุ่มเทียม (PRNG) ที่ไม่ปลอดภัยทางการเข้ารหัสมาใช้ในกระบวนการพัฒนาอย่างผิดพลาด โดยนำตัวสร้างเลขสุ่มเทียม (PRNG) มาใช้ในกระบวนการสร้างคีย์ส่วนตัวของกระเป๋าเงินที่มีความละเอียดอ่อนอย่างยิ่ง เนื่องจากนักพัฒนาขาดความเข้าใจในความปลอดภัยทางการเข้ารหัสในขณะนั้น ข้อผิดพลาดนี้จึงไม่ได้รับการตรวจพบ ซึ่งเป็นการวางรากฐานสำหรับช่องโหว่ขนาดใหญ่ที่ตามมา น่าเสียดายที่เมื่อเวลาผ่านไป ปัญหานี้ค่อยๆ ถูกค้นพบและถูกแฮ็กเกอร์นำไปใช้ประโยชน์ กลุ่มโจมตีหลายกลุ่มได้เปิดฉากโจมตีระดับสูงหลายครั้งโดยใช้หลักการเดียวกัน รวมถึงการโจรกรรม Wintermute, เหตุการณ์ช่องโหว่หมายเลขสุ่มใน Trust Wallet และเหตุการณ์กระเป๋าเงิน Libbitcoin อ่อนแอ การโจมตีเหล่านี้ส่งผลให้สูญเสียสินทรัพย์หลายร้อยล้านดอลลาร์สหรัฐ และทำให้การรักษาความปลอดภัยด้วยหมายเลขสุ่ม ซึ่งเป็นรายละเอียดทางเทคนิคที่ถูกมองข้าม กลายเป็นจุดสนใจหลักของอุตสาหกรรมเมื่อนักวิจัยวิเคราะห์ความคล้ายคลึงกันระหว่างเหตุการณ์เหล่านี้ พวกเขาพบข้อบกพร่องแบบสุ่มที่คล้ายคลึงกันในกระเป๋าเงินที่ได้รับผลกระทบทั้งหมด โดยสามารถสืบหาความเชื่อมโยงกลับไปยังการโจรกรรมพูลขุดของ Lubian ก่อนหน้านี้ การวิจัยเพิ่มเติมยืนยันว่ากระเป๋าเงินที่ Lubian ใช้นั้นอาศัยกลไกการสร้างตัวเลขสุ่มที่ไม่ปลอดภัย ทำให้กระเป๋าเงินเหล่านี้เป็นส่วนหนึ่งของกลุ่ม "กระเป๋าเงินที่อ่อนแอ" การวิเคราะห์อย่างเป็นระบบที่ตามมาเผยให้เห็นข้อเท็จจริงที่น่าประหลาดใจยิ่งกว่านั้น กล่าวคือ พบกระเป๋าเงินสุ่มตัวเลขที่อ่อนแอประมาณ 220,000 ใบทั่วทั้งเครือข่าย ซึ่งถือครอง BTC รวม 120,000 BTC ทำให้เป็นเหตุการณ์ด้านความปลอดภัยของตัวเลขสุ่มที่ใหญ่ที่สุดและกว้างไกลที่สุดเท่าที่เคยมีมา ข่าวลือที่ว่ากระทรวงยุติธรรมสหรัฐฯ อยู่เบื้องหลังการโจรกรรม Lubian.com ส่วนใหญ่มาจากข้อเท็จจริงที่แอบแฝง นั่นคือ ระหว่างที่กระทรวงยุติธรรมเข้ามาเกี่ยวข้องอย่างเป็นทางการในการจัดการสินทรัพย์ที่เกี่ยวข้อง ได้เกิดการโอนเงินจำนวนมากจากที่อยู่ Bitcoin ที่เคยไม่มีการใช้งานซึ่งเชื่อมโยงกับ Lubian ขึ้นมาอย่างกะทันหัน ความสัมพันธ์โดยตรงระหว่างที่อยู่ on-chain ที่ทับซ้อนกันในขณะนั้นทำให้ผู้สังเกตการณ์หลายคนสงสัยว่ารัฐบาลอาจใช้กำลังดุร้ายเพื่อกู้คืนคีย์ส่วนตัวที่เกี่ยวข้อง มีความเป็นไปได้อีกประการหนึ่งคือ รัฐบาลสหรัฐฯ ไม่ได้บังคับดุร้ายคีย์ส่วนตัวโดยตรง แต่กลับควบคุมบุคคลหรือนิติบุคคลที่ถือคีย์ส่วนตัว ซึ่งอำนวยความสะดวกในการโอนเงิน
แม้ว่ากระเป๋าเงินเหล่านี้จะเป็นกระเป๋าเงินสุ่มที่อ่อนแอและสามารถถูกแฮ็กได้ แต่ในทางทฤษฎีแล้วคีย์ส่วนตัวของพวกมันสามารถทำซ้ำได้ด้วยวิธีการทางเทคนิค แต่ ณ ขณะนี้ ยังไม่มีหลักฐานสาธารณะที่ตรวจสอบได้ว่ารัฐบาลสหรัฐฯ เป็นผู้ดำเนินการ "กำลังดุร้าย" กับคีย์ส่วนตัวที่เกี่ยวข้อง หากหน่วยงานที่เกี่ยวข้องไม่ยอมรับอย่างเป็นทางการและเปิดเผยต่อสาธารณะถึงข้อเท็จจริงของการแทรกแซงทางเทคนิค กระบวนการที่แท้จริงของเหตุการณ์ทั้งหมดจะยังคงเป็นปริศนา
จะหาตัวเลขสุ่มที่ปลอดภัยด้วยการเข้ารหัสได้อย่างไร?
เมื่อเราตระหนักถึงความสำคัญของตัวเลขสุ่มที่ปลอดภัยแล้ว เราจะหาตัวเลขเหล่านี้ได้อย่างถูกต้องในการพัฒนาและการใช้งานจริงอย่างไร? ต้องปฏิบัติตามหลักการต่อไปนี้:
(1) ให้ความสำคัญกับการใช้อินเทอร์เฟซความปลอดภัยที่ระบบปฏิบัติการจัดเตรียมไว้ และสร้างตัวเลขสุ่มโดยอิงจากกลุ่มเอนโทรปีของระบบ
(2) ใช้แหล่งเอนโทรปีของฮาร์ดแวร์ที่ปลอดภัยเมื่อเงื่อนไขเอื้ออำนวย เช่น คำสั่งตัวเลขสุ่มของฮาร์ดแวร์ของ Intel SGX CPU
(3) ในสถานการณ์ MPC สามารถรวมแหล่งเอนโทรปีหลายแหล่งเข้าด้วยกันเพื่อปรับปรุงความปลอดภัยโดยรวม เช่น การรวมกลุ่มเอนโทรปีของระบบ Linux เข้ากับหมายเลขสุ่มของฮาร์ดแวร์ของ Intel SGX CPU เพื่อหลีกเลี่ยงความเสี่ยงที่แหล่งเอนโทรปีเดียวจะล้มเหลวหรือถูกคาดการณ์
(4) ใช้อินเทอร์เฟซการสร้างตัวเลขสุ่มที่ปลอดภัยในไลบรารีการเข้ารหัสที่ได้รับการยืนยันอย่างกว้างขวาง เช่น libsodium, BoringSSL, OpenSSL เป็นต้น
(5) ตรวจสอบให้แน่ใจว่าเอนโทรปีของเมล็ดพันธุ์มีค่าไม่น้อยกว่า 128–256 บิต และห้ามใช้แหล่งที่มีเอนโทรปีต่ำ เช่น ไทม์สแตมป์และหมายเลขกระบวนการเป็นเมล็ดพันธุ์
(6) ห้ามใช้ตัวสร้างตัวเลขสุ่มเทียมที่ไม่มีความปลอดภัยทางการเข้ารหัส (non-CSPRNG) โดยเด็ดขาด เช่น Mersenne Twister (MT19937), Math.random() และ rand()
ข้อได้เปรียบของการรวมเอนโทรปีหลายแหล่งของ MPC
เมื่อเทียบกับระบบฝ่ายเดียว MPC มีข้อได้เปรียบในการผสมผสานเอนโทรปีตามธรรมชาติ กล่าวคือ ผู้เข้าร่วมแต่ละคนสามารถระบุแหล่งเอนโทรปีแบบสุ่มได้อย่างอิสระ และผลลัพธ์แบบสุ่มขั้นสุดท้ายจะถูกสร้างโดยทุกฝ่าย ตราบใดที่ฝ่ายใดฝ่ายหนึ่งยังคงซื่อสัตย์ ความสุ่มของระบบทั้งหมดจะไม่สามารถคาดการณ์หรือควบคุมได้ โครงสร้างแบบสุ่มหลายแหล่งนี้ช่วยเพิ่มความปลอดภัยโดยรวมและความต้านทานการปลอมแปลงของระบบได้อย่างมาก และเป็นหนึ่งในข้อได้เปรียบด้านความปลอดภัยหลักของโปรโตคอล MPC
Safeheron ได้สร้างโปรโตคอลการรักษาความปลอดภัยสินทรัพย์ดิจิทัลโดยอาศัยเทคโนโลยี MPC และ TEE ในโซลูชันนี้ ผู้เข้าร่วมแต่ละคนในโปรโตคอล MPC จะใช้แหล่งเอนโทรปีที่ปลอดภัยอิสระหลายแหล่ง ซึ่งรวมถึงพูลเอนโทรปีของระบบ Linux และแหล่งเอนโทรปีของฮาร์ดแวร์ TEE (เช่น คำสั่งตัวเลขสุ่มของฮาร์ดแวร์ Intel SGX) กลไกการรวมเอนโทรปีหลายแหล่งนี้ไม่เพียงแต่ช่วยเสริมความแข็งแกร่งให้กับขอบเขตความปลอดภัยของระบบเท่านั้น แต่ยังสร้างมาตรฐานความปลอดภัยที่สูงขึ้นสำหรับการสร้างสภาพแวดล้อมการดำเนินการที่เชื่อถือได้ (TEE) และระบบลายเซ็นแบบกระจาย
บทสรุป
เหตุการณ์ "การขโมย Bitcoin 120,000" ที่ดูเหมือนจะเป็นปริศนา ไม่ได้เผยให้เห็นถึงอัลกอริทึมเฉพาะเจาะจงที่ถูกบุกรุก แต่กลับเผยให้เห็นว่านักพัฒนาในยุคแรกได้นำอัลกอริทึมตัวเลขสุ่มที่ไม่มีความปลอดภัยทางการเข้ารหัสไปใช้ในทางที่ผิดในระหว่างการสร้างคีย์ส่วนตัว ซึ่งส่งผลให้ความปลอดภัยของระบบทั้งหมดอ่อนแอลงอย่างมาก
ท้ายที่สุดแล้ว ความปลอดภัยของสินทรัพย์ดิจิทัลขึ้นอยู่กับความเข้มงวดของการใช้งานการเข้ารหัส ความผิดพลาดทางวิศวกรรมที่ละเอียดอ่อนใดๆ อาจถูกแฮ็กเกอร์ใช้ประโยชน์ และท้ายที่สุดแล้วกำหนดความเป็นเจ้าของสินทรัพย์ดิจิทัลได้ มีเพียงการรับประกันความปลอดภัยของตัวเลขสุ่มจากแหล่งที่มา การใช้แหล่งข้อมูลเอนโทรปีที่เชื่อถือได้และไลบรารีการเข้ารหัสที่ผ่านการพิสูจน์แล้วเท่านั้นที่จะทำให้ "ความสุ่ม" กลับมามีความหมายดั้งเดิม นั่นคือ ไม่สามารถคาดเดาได้และป้องกันการปลอมแปลง
เกี่ยวกับ Safeheron Lab
ทีมงานของ Safeheron Lab นำโดย Max He หัวหน้านักวิทยาศาสตร์ของ Safeheron รวบรวมผู้เชี่ยวชาญระดับนานาชาติด้านการเข้ารหัสและความปลอดภัย โดยมุ่งเน้นไปที่การวิจัยพื้นฐานในสาขาที่ล้ำสมัย เช่น ความปลอดภัยของบล็อกเชนและการคำนวณที่เชื่อถือได้ Safeheron Lab ร่วมมือกับพันธมิตร เช่น สถาบันวิจัย Turing AI เพื่อส่งเสริมการนำผลการวิจัยและการประยุกต์ใช้ในอุตสาหกรรมไปใช้ในเชิงพาณิชย์ พร้อมนำเสนอโซลูชันที่เป็นนวัตกรรมสำหรับความปลอดภัยของสินทรัพย์ดิจิทัล
อ้างอิง
[1] เงิน 15 พันล้านดอลลาร์สหรัฐที่สหรัฐฯ ยึดได้มาจากอิหร่าน/จีน "การโจรกรรม" จากการขุด Bitcoin
[2] บริษัทซื้อขายคริปโต Wintermute ถูกแฮ็กไป 160 ล้านดอลลาร์ได้อย่างไร[3] href="https://safeheron.com/blog/how-profanity-caused-wintermute-to-lose-160m/" target="">การเจาะลึกว่าคำพูดหยาบคายทำให้ Wintermute สูญเสียเงิน 160 ล้านดอลลาร์ได้อย่างไร
[4] กระเป๋าเงิน Trust: รายละเอียด CVE-2023-31290
[5] Libbitcoin Explorer: รายละเอียด CVE-2023-39910
[7] อัปเดต #7 - กระเป๋าสตางค์พันล้านดอลลาร์ ตอนนี้ว่างเปล่าแล้ว
[8] อัปเดต #13 - ค้นพบกระเป๋าสตางค์ใหม่กว่า 224,000 ใบ
[9] อัปเดต #14 - ข้อมูลเพิ่มเติมเกี่ยวกับ Lubian.com ที่ถูกสงสัยว่าถูกแฮ็ก
บทความนี้มาจากข้อมูลที่ส่งมาและไม่ได้แสดงถึงมุมมองของ BlockBeats
ยินดีต้อนรับสู่ชุมชนทางการของ BlockBeats:
กลุ่ม Telegram สมัครสมาชิก: https://t.me/theblockbeats
กลุ่ม Telegram พูดคุย: https://t.me/BlockBeats_App
บัญชี Twitter ทางการ: https://twitter.com/BlockBeatsAsia
