OpenAI อ้างความก้าวหน้าด้านการเข้ารหัส ไม่เป็นภัยต่อบิตคอยน์ในทันที

OpenAI อ้างว่าระบบ AI ของบริษัทหักล้าง Exponential Time Hypothesis (ETH) ซึ่งเป็นสมมติฐานที่ยึดถือมานานเกี่ยวกับความยากเชิงคำนวณของปัญหาตรรกะบางประเภท การประกาศเมื่อวันที่ 26 ตุลาคมกระตุ้นให้นักวิจัยจัดการตรวจสอบอิสระ ผลลัพธ์ที่เปิดเผยไม่ได้แสดงให้เห็นการโจมตีบิตคอยน์ในทางปฏิบัติ ทั้งนี้ ETH ในที่นี้หมายถึงสมมติฐานดังกล่าว ไม่ใช่ Ether สมมติฐานนี้เกี่ยวกับ 3SAT ซึ่งให้คอมพิวเตอร์กำหนดค่าจริงหรือเท็จให้สอดคล้องกับเงื่อนไขตรรกะชุดหนึ่ง สมมติฐานระบุว่าคำตอบในกรณีเลวร้ายที่สุดต้องใช้เวลามากขึ้นแบบเอกซ์โพเนนเชียลตามจำนวนตัวแปร เอกสารฉบับร่างลงวันที่ 17 ตุลาคม แก้ไขเมื่อ 25 ตุลาคม อ้างถึงอัลกอริทึมแบบดีเทอร์มินิสติกสำหรับการนับคำตอบที่สอดคล้องของสูตรบูลีนความกว้างคงที่อย่างแม่นยำ เอกสารระบุเวลาทำงานแบบซับเอ็กซ์โพเนนเชียลและความต้องการพื้นที่แบบพหุนาม เวลาซับเอ็กซ์โพเนนเชียลเติบโตช้ากว่าขอบเขตเอกซ์โพเนนเชียลเมื่อขนาดปัญหาเพิ่มขึ้น แต่ไม่ได้หมายความว่าคอมพิวเตอร์ในปัจจุบันจะแก้ปัญหาได้ง่าย ขอบเขตที่เปิดเผยไม่ได้พิสูจน์อัลกอริทึมเวลาพหุนาม และไม่ได้แก้คำถาม P=NP คำถาม P=NP ถามว่าปัญหาการตัดสินใจทุกรายการที่คำตอบตรวจสอบได้ในเวลาพหุนามนั้นมีคำตอบที่คำนวณได้ในเวลาพหุนามด้วยหรือไม่ OpenAI กล่าวว่า Lean ซึ่งเป็นผู้ช่วยพิสูจน์ได้ทวนสอบผลลัพธ์แล้ว บันทึกขอบเขตของ Lean ระบุขอบเขตเวลาซับเอ็กซ์โพเนนเชียลที่อ่อนกว่าข้อกล่าวอ้างที่แรงที่สุดในเอกสาร นักวิจัยที่จัดการตรวจสอบอิสระไม่ให้การรับรองอย่างชัดเจน จดหมายของคณะผู้จัดระบุว่า การเข้ามีส่วนร่วมของเราไม่ควรถูกมองว่าเป็นการรับรองข้อกล่าวอ้าง CryptoSlate ตรวจสอบเพียงหน้าเกริ่นนำ 1–8 ไม่ใช่ข้อพิสูจน์ฉบับเต็ม การขุดบิตคอยน์และการอนุญาตให้ใช้จ่ายเป็นงานด้านความปลอดภัยที่ต่างกัน นักขุดมองหาค่าแฮชของส่วนหัวบล็อกที่ต่ำกว่าเป้าหมาย ลายเซ็นแสดงสิทธิ์ในการใช้จ่าย บิตคอยน์ใช้ลายเซ็น ECDSA และ Schnorr บนเส้นโค้งวงรี secp256k1 ตามที่ BIP340 ระบุ สมมติฐานด้านความปลอดภัยใน BIP340 เกี่ยวข้องกับลอการิทึมไม่ต่อเนื่องบนเส้นโค้งวงรีและฟังก์ชันแฮช การกู้คืนกุญแจถามว่าผู้โจมตีจะได้กุญแจส่วนตัวจากกุญแจสาธารณะที่ตรงกันได้หรือไม่ การหักล้างสมมติฐาน SAT ในกรณีเลวร้ายที่สุดไม่ได้แสดงวิธีทำลายกลไกความปลอดภัยเฉพาะเหล่านั้นโดยตัวมันเอง การโจมตีในทางปฏิบัติต้องมีการเข้ารหัสข้อมูลที่เหมาะสม การนำไปใช้ที่ทำงานได้ และการเปรียบเทียบต้นทุนสำหรับงานเป้าหมาย จำนวนตัวแปรของสูตร SAT ใช้แทนความยาวบิตของกุญแจเข้ารหัสหรือแฮชไม่ได้ ขอบเขตใน Lean แสดงในรูปของตัวแปรและความยาวอินพุตของสูตรที่เข้ารหัส การใส่จำนวนบิตของการเข้ารหัสลงในขอบเขตจะข้ามการแทนปัญหาจริงที่จำเป็น บิตคอยน์ปรับเป้าหมายการขุดทุก 2,016 บล็อก การปรับนี้ควบคุมการผลิตบล็อก ไม่ใช่การอนุญาตลายเซ็น และไม่ทำให้ข้อได้เปรียบจากการขุดส่วนตัวหมดความสำคัญ เมื่อวันที่ 7 ตุลาคม จัสติน เดรก เรียกร้องให้เตรียมพร้อมสำหรับโหมดบังเกอร์ หลังการประกาศคณิตศาสตร์ครั้งก่อนของ OpenAI คำเตือนของเดรกเกี่ยวข้องกับการโจมตีในอนาคตที่เป็นไปได้ ขณะที่ประกาศครั้งก่อนไม่ได้แสดงให้เห็นการทำลาย ECDSA หรือ RSA ในทางปฏิบัติ ข้อกล่าวอ้างของ OpenAI เมื่อวันที่ 26 ตุลาคมเป็นผลลัพธ์อีกเรื่องหนึ่ง ไรอัน วิลเลียมส์ กล่าวว่า ตนพร้อมกับรัสเซลล์ อิมปาเลียซโซ และโมฮาน พาทูรี ถูกขอให้จัดการตรวจสอบอิสระแบบเปิด โดยไม่มีข้อตกลงไม่เปิดเผยข้อมูลหรือค่าตอบแทน วิลเลียมส์กล่าวแยกอีกว่า ตนได้ขอให้ OpenAI ตรวจสอบว่าระบบเข้ารหัสที่มีอยู่ถูกบุกรุกหรือไม่ และได้แจ้งว่าระบบเหล่านั้นดูจะยังปลอดภัย บัญชีของวิลเลียมส์เป็นข้อมูลมือสองเกี่ยวกับการตรวจสอบที่ขอจาก OpenAI ไม่ใช่การตรวจสอบด้านการเข้ารหัสอิสระ OpenAI กล่าวว่าจำเป็นต้องมีการวิจัยเพิ่มเติมอย่างมากเพื่อปรับปรุงในทางปฏิบัติ วิลเลียมส์กล่าวว่าไม่ทราบว่านักพัฒนาจะได้รับประโยชน์หรือไม่ โดยยังเปิดทางทั้งความเป็นไปได้ที่จะมีความคืบหน้าภายใน 12 เดือน และการไม่พัฒนาดังกล่าว คณะผู้จัดแผนจะเผยแพร่ผลการตรวจสอบระหว่างการตรวจสอบ