เมื่อ AI เริ่มพิชิตคณิตศาสตร์ ผู้เชี่ยวชาญด้านคริปโตเรียกร้องให้ทั้งอุตสาหกรรมหลบเข้าสู่ "บังเกอร์"

Original | Odaily (@OdailyChina)

Author｜Azuma (@azuma_eth)

AI ได้สร้างความก้าวหน้าอันน่าทึ่งในด้านคณิตศาสตร์อีกครั้ง

เมื่อเช้าตามเวลาปักกิ่งวันที่ 7 ตุลาคม OpenAI ได้เปิดเผยผลงานทางคณิตศาสตร์ชุดหนึ่งที่สร้างโดยโมเดลแนวหน้าภายในของบริษัท ซึ่งในที่สุดได้รวบรวมเป็นต้นฉบับ 722 ชิ้นและกลุ่มผลลัพธ์ 372 กลุ่มบน Github ครอบคลุมหลายสาขา ทั้งทฤษฎีจำนวน เรขาคณิต คณิตศาสตร์เชิงการจัด วิทยาการคอมพิวเตอร์เชิงทฤษฎี และอื่นๆ โดยมีทั้งข้อสันนิษฐานความมีเหตุผลของ Milne และการพิเศษเชิงพีชคณิต ข้อสันนิษฐาน quasi-Riemann ปัญหาที่สิบของ Hilbert และทิศทางคณิตศาสตร์สำคัญอื่นๆ OpenAI เปิดเผยว่าในกระบวนการประเมินทั้งหมด ได้ตั้งคำถามประมาณ 4,000 ข้อให้กับโมเดล โดยเฉลี่ยแต่ละผลลัพธ์ใช้ปริมาณการคำนวณเทียบเท่ากับการคิดของ ChatGPT Pro ประมาณ 3 ชั่วโมง

ในคืนเดียวกันนั้นเอง Justin Drake นักวิจัยของ Ethereum Foundation และผู้เชี่ยวชาญด้านเทคนิคระดับเทพ ได้ออกมาเรียกร้องอย่างค่อนข้างหัวรุนแรงว่า — อุตสาหกรรมคริปโตควรเริ่มวางแผน "โหมดบังเกอร์" (bunker mode) อย่างใจเย็น นั่นคือการทยอยย้ายสินทรัพย์ไปยังที่อยู่ใหม่ที่ไม่เคยลงนามธุรกรรมมาก่อน

ตรรกะของ Drake ตรงไปตรงมา ความเร็วในการวิวัฒนาการความสามารถทางคณิตศาสตร์อันน่าสะพรึงกลัวของ AI อาจทำให้ "อัลกอริทึมลายเซ็นดิจิทัลบนเส้นโค้งเชิงวงรี" (ECDSA) ถูก crack ก่อนที่การคำนวณควอนตัมจะสมบูรณ์จริง และคุกคามความปลอดภัยของบัญชีบนบล็อกเชนกระแสหลักอย่าง Bitcoin และ Ethereum โดยตรง

ECDSA กับ "โหมดบังเกอร์"

เป็นเวลานานมาแล้วที่อุตสาหกรรมคริปโตวางเดิมพันจุดเน้นการป้องกันความปลอดภัยของบัญชีไว้ที่ "Q-day" ที่ห่างไกล (วันที่การคำนวณควอนตัม crack การเข้ารหัสกุญแจสาธารณะสมัยใหม่) แต่สิ่งที่ Drake เตือนในครั้งนี้คือ ซูเปอร์อินเทลลิเจนซ์ทางคณิตศาสตร์ที่มาพร้อมกับ AI มีแนวโน้มสูงที่จะตัดสินประหารชีวิต ECDSA ล่วงหน้าบนฮาร์ดแวร์การคำนวณแบบคลาสสิก — กรอบเวลาของความเสี่ยงนี้ไม่อาจวัดด้วยคำว่า "อีกหลายทศวรรษ" อย่างง่ายๆ ได้อีกต่อไป การคาดการณ์ในแง่ร้ายที่สุดอาจเกิดขึ้นภายในไม่กี่เดือนหรือไม่กี่ปี ผู้โจมตีอาจเพียงเรียกใช้คลัสเตอร์ GPU ขนาดใหญ่ ก็อาจถอดรหัสกุญแจส่วนตัวได้โดยตรงภายในเวลาเพียงหนึ่งสัปดาห์

ความกังวลของ Drake ไม่ได้ไร้เหตุผลเลย ความเร็วในการวิวัฒนาการความสามารถทางคณิตศาสตร์ของ AI นั้นเป็นที่ประจักษ์ ในเดือนพฤษภาคมปีนี้ OpenAI เคยเปิดเผยตัวอย่างค้านข้อสันนิษฐานระยะทางหนึ่งหน่วยของ Erdős ของ AI；ในเดือนสิงหาคม ก็เปิดเผยความก้าวหน้าในปัญหาปลายเปิดที่ค้างมานานหลายข้อ；ในเดือนกันยายน ก็ประกาศเพิ่มเติมว่าโมเดลภายในสามารถแก้ปัญหาสหัสวรรษ Navier-Stokes ได้；และตอนนี้ ก็เป็นการเปิดเผยผลการวิจัยทางคณิตศาสตร์หลายร้อยรายการในคราวเดียว……

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

และเหตุที่ ECDSA อันตรายเป็นพิเศษนั้น อยู่ที่มันมีโครงสร้างทางคณิตศาสตร์ที่อุดมสมบูรณ์มาก เครื่องมือต่างๆ ตั้งแต่ Schoof algorithm, Frobenius ไปจนถึง pairing ล้วนสร้างขึ้นบนโครงสร้างเหล่านี้ และหนึ่งในเป้าหมายการออกแบบของฟังก์ชันแฮชเชิงวิทยาการเข้ารหัส ก็คือการลดโครงสร้างทางคณิตศาสตร์ที่สามารถถูกใช้ประโยชน์ได้ให้เหลือน้อยที่สุด — โครงสร้างยิ่งอุดมสมบูรณ์ ในทางทฤษฎีก็ยิ่งหมายความว่าอาจมี "ทางลัด" ที่ยังไม่ถูกค้นพบมากขึ้น

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

正是在这一背景下，Drake 提出了所谓的“地堡模式”。对于普通持币者而言，最核心的建议是将资产逐步迁移到此前从未发起过交易的新地址。这么做的原因在于，此类地址的公钥尚未直接暴露在链上，地址本身只经过哈希处理，而一旦地址完成签名交易，公钥则可能公开，未来如果出现针对 ECDSA 的新型攻击，攻击者理论上就拥有了更多可利用的信息。而对于交易所、托管机构、预言机、L2 安全委员会等关键签名者，他则给出了更激进的建议，包括强化冷钱包、定期轮换 ECDSA 公钥，甚至在条件允许的情况下采用基于哈希的签名方案进行多重签名。

正是在这一背景下 Drake จึงเสนอสิ่งที่เรียกว่า "โหมดบังเกอร์" สำหรับผู้ถือเหรียญทั่วไป คำแนะนำหลักที่สุดคือการทยอยย้ายสินทรัพย์ไปยังที่อยู่ใหม่ที่ไม่เคยส่งธุรกรรมมาก่อน เหตุผลที่ทำเช่นนี้ก็เพราะกุญแจสาธารณะของที่อยู่ประเภทนี้ยังไม่ถูกเปิดเผยบนเชนโดยตรง ตัวที่อยู่ผ่านการแฮชเท่านั้น และเมื่อที่อยู่ทำธุรกรรมลงนามเสร็จแล้ว กุญแจสาธารณะก็อาจเปิดเผย ในอนาคตหากเกิดการโจมตีรูปแบบใหม่ที่มุ่งเป้า ECDSA ผู้โจมตีในทางทฤษฎีก็จะมีข้อมูลที่ใช้ประโยชน์ได้มากขึ้น ส่วนสำหรับผู้ลงนามสำคัญอย่าง交易所、托管机构、预言机、L2 安全委员会 เขาได้ให้คำแนะนำที่หัวรุนแรงกว่า รวมถึงเสริมความแข็งแกร่งกระเป๋าเงินเย็น หมุนเวียนกุญแจสาธารณะ ECDSA เป็นประจำ และแม้กระทั่งใช้รูปแบบลายเซ็นที่基于哈希进行多重签名ในกรณีที่เงื่อนไขเอื้ออำนวย

Drake เน้นเป็นพิเศษว่ากระบวนการนี้ควร "ค่อยๆ ทำ" ไม่ต้องตื่นตระหนก และไม่ต้องรีบเร่งทำการย้ายข้อมูลขนาดใหญ่ เพราะการย้ายข้อมูลเองก็สร้างความเสี่ยงในการดำเนินการใหม่เช่นกัน โดยเฉพาะที่อยู่ที่มีปริมาณเหรียญต่ำกว่า 50 BTC ซึ่งในระดับหนึ่งจะได้รับการคุ้มครองโดยนัยจาก "โล่ของ Satoshi Nakamoto" — นั่นคือที่อยู่ 20,000 แห่งภายใต้ชื่อ Satoshi Nakamoto ที่แต่ละแห่งมี 50 BTC และกุญแจสาธารณะถูกเปิดเผยแล้ว

Drake กล่าวปิดท้ายว่า ในอนาคตหากต้องการออกจากโหมดบังเกอร์อย่างปลอดภัย อุตสาหกรรมจะต้องมีชุด "วิทยาการเข้ารหัสหลังยุค AI" ที่สามารถรับมือกับยุค AI ได้ เขาแนะนำให้เดิมพันทั้งหมดกับวิทยาการเข้ารหัสที่基于哈希อย่างเต็มที่ หลีกเลี่ยงสมมติฐานทางคณิตศาสตร์ที่มีโครงสร้างใดๆ อย่างสิ้นเชิง เพราะตราบใดที่ยังพึ่งพาโครงสร้างทางคณิตศาสตร์ที่ซับซ้อนบางอย่างอยู่ ก็ควรสันนิษฐานว่า AI อาจค้นพบเส้นทางการโจมตีใหม่ในอนาคต

ท่าทีของ Vitalik：ย้ายได้ แต่ไม่ควรรีบร้อนเกินไป

หลังจากที่ Drake ออกคำเตือน Vitalik Buterin ผู้ร่วมก่อตั้ง Ethereum ก็ได้แสดงความคิดเห็นของตนเองเกี่ยวกับเรื่องนี้เช่นกัน

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

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

Vitalik ระบุชื่อเฉพาะ ML-DSA, FHE และการเข้ารหัสแบบแลตทิซ ในอดีตอุตสาหกรรมเชื่อกันโดยทั่วไปว่าการคำนวณควอนตัมจะคุกคามเส้นโค้งเชิงวงรีและ RSA เป็นหลัก ส่วนโซลูชันอย่างการเข้ารหัสแบบแลตทิซสามารถใช้เป็นรากฐานความปลอดภัยของยุคถัดไปได้ แต่ Vitalik เชื่อว่าภายใต้สมมติฐานของการคำนวณทางคณิตศาสตร์ที่เร่งความเร็วด้วย AI การแบ่งแยกเช่นนี้อาจไม่มั่นคงเท่านั้น

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

เช่นเดียวกับ Drake Vitalik ก็มอง好วิทยาการเข้ารหัสที่基于哈希ล้วนๆ มากกว่า ในมุมมองของเขา เส้นโค้งเชิงวงรี การเข้ารหัสแบบแลตทิซ และโซลูชันอื่นๆ ล้วนสร้างขึ้นบนโครงสร้างทางคณิตศาสตร์เฉพาะ และเป้าหมายการออกแบบของฟังก์ชันแฮชก็คือการหลีกเลี่ยงโครงสร้างที่ใช้ประโยชน์ได้เช่นนี้ให้มากที่สุด หากข้อได้เปรียบของ AI คือการค้นพบโครงสร้างทางคณิตศาสตร์ที่ซ่อนอยู่ ระบบวิทยาการเข้ารหัสที่ "ไม่มีโครงสร้างให้ค้นพบ" ก็显然น่าเชื่อถือมากกว่า

อย่างไรก็ตาม การเข้ารหัสแบบ哈希ล้วนไม่สามารถแก้ปัญหาทั้งหมดได้อย่างถาวร ลายเซ็นและการพิสูจน์สามารถเปลี่ยนไปใช้哈希ล้วนได้ทั้งหมด แต่ปมตายที่แท้จริงอยู่ที่การเข้ารหัสกุญแจสาธารณะ (PKE) — ซึ่งเกี่ยวข้องกับความปลอดภัยของการเข้าถึงเว็บไซต์อย่างปลอดภัย การสื่อสารแบบเข้ารหัส VPN และรากฐานความปลอดภัยทั้งหมดของอินเทอร์เน็ต ทฤษฎีบททางคณิตศาสตร์ได้พิสูจน์มานานแล้วว่า ด้วยฟังก์ชันแฮชที่ไม่โครงสร้างทางพีชคณิตใดๆ เพียงอย่างเดียว ไม่สามารถสร้างระบบการเข้ารหัสกุญแจสาธารณะได้ การจะทำได้ต้อง引入โครงสร้างทางคณิตศาสตร์ที่มี trapdoor และตราบใดที่มีโครงสร้าง ก็ต้องสันนิษฐานโดยปริยายว่า AI มีความสามารถในการสร้างความก้าวหน้าบนโครงสร้างเช่นนั้น — เมื่อเผชิญกับความจริงอันยากลำบากนี้ คำแนะนำที่ Vitalik ให้คือ หากต้องการให้ระบบการเข้ารหัสแบบแลตทิซชุดหนึ่งคงความปลอดภัยทางทฤษฎีในระยะยาวในอนาคต วิธีที่ง่ายที่สุดคือขยายพารามิเตอร์และขนาดกุญแจขึ้นสิบเท่าโดยตรง

สำหรับคำแนะนำในด้านการดำเนินการของ Vitalik นอกจากการไม่แนะนำให้ผู้ใช้รีบย้ายเงินแล้ว Vitalik ยังเสนอstrategieการป้องกันสองประการสำหรับแอปพลิเคชันบนเชน ประการแรก โปรโตคอลความเป็นส่วนตัวไม่ควรเขียน credential การเข้ารหัส (notes) ลงบนเชนโดยตรงอีกต่อไป แต่ควรใช้ช่องทางบุคคลที่สามนอกเชนให้มากที่สุด；ประการที่สอง กระเป๋าเงิน multi-sig ควรเลือกยืนยันลายเซ็นนอกเชนก่อน เพื่อหลีกเลี่ยงการเปิดเผยกุญแจสาธารณะของผู้ลงนามต่อสายตาทั่วทั้งเครือข่ายเร็วเกินไป ด้วยวิธีนี้ แม้ว่า ECDSA ในชั้นล่างจะได้รับความเสียหายทางคณิตศาสตร์ที่ไม่สามารถย้อนกลับได้ ระบบ multi-sig ก็เพียงแค่ "ลดระดับอย่างสง่างาม" กลายเป็นโหมด single-sig ที่ผู้รวบรวมลายเซ็นควบคุม อย่างน้อยก็ยังดีกว่าจุดจบหายนะที่ประตูเปิดกว้าง ใครก็สามารถถอนเงินได้ตามใจ

ในยุค AI รากฐานความปลอดภัยของอุตสาหกรรมยังมั่นคงอยู่หรือไม่？

ไม่ว่าจะเป็น Justin Drake ผู้สนับสนุนการป้องกันแบบสุดโต่ง หรือ Vitalik Buterin ผู้ให้ความสำคัญกับความเป็นจริงทางวิศวกรรมมากกว่า คำเตือนต่อเนื่องของสองสมองหลักของ Ethereum ในช่วงเวลาเดียวกันนี้ แท้จริงแล้วได้โยนข้อเสนอทางปรัชญาที่หนักอึ้งยิ่งกว่าให้กับโลกคริปโตทั้งหมด：เมื่อ AI เริ่มนำการวิจัยทางคณิตศาสตร์ รากฐานที่อุตสาหกรรมยืนอยู่นั้นมั่นคงจริงหรือ？

ในช่วงกว่าสิบปีที่ผ่านมา "In Math We Trust" เป็นสัญลักษณ์รากฐานของความศรัทธาในระบบกระจายศูนย์มาโดยตลอด เราคุ้นเคยกับการเชื่อว่าโครงสร้างทางพีชคณิตที่ซับซ้อนและประณีตเป็นท่าเทียบเรือที่มั่นคง และผลักความเสี่ยงจากการถูก crack ที่ยังไม่รู้ไปสู่อนาคตที่ห่างไกล อย่างไรก็ตาม ความก้าวหน้าของ OpenAI ต่อข้อสันนิษฐานทางคณิตศาสตร์หลายร้อยข้อ ได้เปิดเผยความจริงอย่างโหดร้าย — "ความแข็งแกร่งที่ไม่อาจทำลายได้" ในสายตามนุษย์ อาจเป็นเพียงเพราะพลังการคำนวณของเราเองเดินช้าเกินไปในเขาวงกตทางคณิตศาสตร์

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