ระบบ AI ที่เราสร้างขึ้นมาในช่วงสองปีที่ผ่านมาเพิ่งจะป้องกันการโจมตีมูลค่า 27.7 ล้านดอลลาร์ได้สำเร็จ โปรเจกต์นี้ให้รางวัลเราเป็นเงิน 250,000 ดอลลาร์สหรัฐ ซึ่งเป็นรางวัลที่ใหญ่ที่สุดเท่าที่เคยจ่ายให้กับการค้นหาช่องโหว่ที่ทำโดย AI ทั้งหมด
ไม่มีมนุษย์คนไหนเป็นคนนำทางการค้นหา ระบบค้นพบมันด้วยตัวเอง เรายืนยันกับทีมนักวิจัยความปลอดภัยระดับโลกของเรา และรายงานมัน
AI เคยแก้ปัญหาคณิตศาสตร์โอลิมปิก ค้นพบโปรตีนใหม่ และเอาชีพใหม่ และเอาชนะแพทย์ในการวินิจฉัยโรค ตอนนี้มันเพิ่มอีกหนึ่งอย่างในรายการ
ทฤษฎีที่เริ่มต้นทุกอย่าง
เราเริ่มสร้างสิ่งนี้บนทฤษฎีเฉพาะ มีขีดจำกัดทางปัญญาว่าผู้ตรวจสอบมนุษย์คนไหนจะสามารถติดตามผ่านระบบที่โต้ตอบกันได้ลึกแค่ไหน นักวิจัยที่ดีที่สุดในโลกถึงจุดสูงสุดที่ประมาณ 4 ถึง 5 ระดับของการโต้ตอบโต้ของระบบ และบของระบบ และบั๊กส่วนใหญ่ที่รอดจากการตรวจสอบมักอยู่ต่ำกว่าจุดสูงสุดนั้น
เราจึงอยากรู้ว่า AI สามารถผ่านมันไปไกลกว่าจุดนั้นได้หรือไม่
สิ่งที่เราสร้างไม่ใช่สแกนเนอร์อีกตัว ไม่ใช่ ChatGPT wrapper อีกตัวที่ท่วมคุณด้วยผลบวกปลอม เราสร้างสถาปัตยกรรมการใช้เหตุผลบนโมเดล AI ที่มีอยู่ ซึ่งผลักดันพวกมันให้เกินกว่าที่ถูกออกแบบไว้ ระบบที่ติดตามตรรกตามตรรกะข้าม 7+ ชั้นของระบบที่โต้ตอบกันพร้อมกัน ค้นหาช่องโหว่ที่มนุษย์ไม่รู้ด้วยซ้ำว่าจะมองหาที่ไหน
โมเดลแนวหน้าจากห้องปฏิบัติการ AI ชั้นนำทั้งหมดมีข้อจำกัดด้านการใช้เหตุผลพื้นฐาน พวกมันไม่สามารถเก็บและติดตามตรรกะที่ซับซ้อนข้ามหลายชั้นของระบบที่โต้ตอบกันได้ ไม่มีห้องปฏิบัติการไหนแก้ปัญหานี้ได้ เราทำ สำหรับโมเดลเดียวกัน ระบบของเราได้ผลลัพธ์ในระดับที่แตกต่างอย่างสิ้นเชิง เหมือนกับว่าโมเดลทำงานที่ 30% และไม่มีใครสังเกต
ฉันเข้ามาเกี่ยวข้องได้อย่างไร
ฉันล่าบั๊กมาหลายปี ฉันเห็น "เครื่องมือรักษาความปลอดภัย AI" ทุกรุ่นผ่านมา สแกนเนอร์ระดับสูงที่แจ้งปัญหาชัดเจนไป ChatGPT wrapper ที่ให้ผลบวกปลอมเป็นร้อย เสียเวลาทั้งหมด
เมื่อ @0xitsgreg แสดงสิ่งที่เขาสร้างให้ฉันดู ฉันคาดหวังการสาธิตแบบเดิม แต่สิ่งที่ฉันเห็นกลับเป็นระบบที่ดำดิ่งลึกสุดขั้วในแต่ละโค้ดเบสเพื่อขุดค้นบั๊กที่คลุมเครือและหายากที่สุด
ฉันเข้าร่วมเป็นผู้ร่วมก่อตั้งและซีอีโอ
สนามพิสูจน์ที่ยากที่สุดที่เราหาได้
เราเลือกคริป็นเพราะเมื่อช่องโหว่ถูกใช้ประโยชน์บนโปรโตคอลที่ใช้งานจริง เงินจริงจะถูกดูดออกไปภายในไม่กี่นาที ไม่มี "เราจะแก้ไขในไตรมาสหน้า" และโปรโตคอลที่ใหญ่ที่สุดได้รับการตรวจสอบแล้ว 3, 4, 5 ครั้งโดยบริษัทที่ดีที่สุดในโลก
ถ้าระบบของเราสามารถค้นหาสิ่งที่พวกเขาทั้งหมดพลาดไปได้ นั่นคือหลักฐานที่แข็งแกร่งที่สุดเท่าที่จะจินตนาการได้
ในช่วงหลายเดือนที่ผ่านมา มันค้นพบช่องโหว่ที่ยืนยันแล้วใน Ethereum, Lido, Chainlink, Aave, Uniswap, Polygon และอื่นๆ โปรโตคอลทั้งหมดนี้รักษาความปลอดภัยมูลค่าหลายพันล้านดอลลาร์ทั้งหมดนี้ ได้รับการตรวจสอบหลายครั้งโดยบริษัทชั้นนำ ทุกการค้นพบถูกมองข้ามโดยผู้ตรวจสอบมนุษย์ทุกคน
การค้นพบมูลค่า 250,000 ดอลลาร์
ระบบวิเคราะห์โปรโตคอหลักที่ถูกตรวจสอบอย่างหนักโดยใช้สิ่งที่เราเรียกว่า Deep Invariant Analysis มันดูดซึดโค้ดเบส แผนที่ทุกโมดูล ทุก dependencies ทุกปฏิสัมพันธ์ระหว่างระบบ มันติดตามเส้นทางการดำเนินการเพื่อหาค่าคงที่ สิ่งที่ไม่ควรแตกหักแต่อาจแตกหักภายใต้เงื่อนไขเฉพาะ
เมื่อมันพบเส้นทางที่มีแนวโน้ม มันจะสร้างเอเจนต์ย่อยที่เชื่อมต่อกันเพื่อสำรวจมุมต่างๆ แซนด์บ็อกซ์ เขียน proof-of-concept exploits ทำซ้ำ และปรับปรุงเส้นทางการโจมตีจนกว่าจะได้สิ่งที่ทำซ้ำได้อย่างสมบูรณ์
จากนั้นมันก็แจ้งเรา
เราเปิดการค้นพบโดยคาดหวังกรณีขอบที่มีความรุนแรงปานกลางอีกครั้ง สิ่งที่เราเห็นคือข้อบกพร่องทางตรรกะที่สำคัญในปฏิสัมพันธ์ของหลายระบบ เงินของผู้ใช้ 27.7 ล้านดอลลาร์ตกอยู่ในความเสี่ยงโดยตรงที่จะถูกดูดออกในการโจมตีครั้งเดียว
เรายืนยันและรายงานผ่าน @HackenProof โปรโตคอลยืนยัน แก้ไขทันที และให้รางวัลเราเป็นเงิน 250,000 ดอลลาร์ ซึ่งเป็นรางวัลสูงสุด
สิ่งนี้หมายความว่าอย่างไร
คริปโตได้เห็นการโจมตมตีมากมายเมื่อเร็วๆ นี้ และส่วนใหญ่โปรโตคอลจะปัดความรับผิดชอบ ในขณะที่ผู้โจมตีมีความซับซ้อนมากขึ้น ได้รับความช่วยเหลือจาก AI มากขึ้น และความลึกของการตรวจสอบความปลอดภัยยังตามไม่ทัน
เพดานของสิ่งที่ความปลอดภัยที่ใช้มนุษย์เท่านั้นสามารถเข้าถึงได้นั้นคงอยู่มาหลายปี รางวัลนี้เป็นหลักฐานว่า AI สามารถทะลุผ่านมันได้แล้ว และเราได้รับการติดต่อจากหนึ่งในห้องปฏิบัติการ AI ชั้นนำเพื่อสำรวจสิ่งที่เราสร้างขึ้น
วันนี้เราออกจากความลับ เราเรียกตัวเองว่า @therealgregoai เราเพิ่งเริ่มต้น
ถ้าคุณต้องการค้นหาช่องโหว่ที่โปรโตคอลของคุณอาจพลาดไป ส่งข้อความถึงฉัน
I need to ensure the translation is natural and maintains the original tone. The text has some technical terms like "Deep Invariant Analysis" which I kept in English. Also, the link text "@therealgregoai" should be kept as is a handle, so keep as is.
The payload-block tag is preserved exactly.
I'll double-check for any missed formatting or translation issues. The response should be only the translated text, no explanations.</think>ระบบ AI ที่เราสร้างขึ้นมาในช่วงสองปีที่ผ่านมาเพิ่งจะป้องกันการโจมตีมูลค่า 27.7 ล้านดอลลาร์สหรัฐได้สำเร็จ โปรเจกต์นี้ให้รางวัลเราเป็นเงิน 250,000 ดอลลาร์สหรัฐ ซึ่งเป็นรางวัลที่ใหญ่ที่สุดเท่าที่เคยจ่ายให้กับการค้นหาช่องโหว่ที่ทำโดย AI ทั้งหมด
ไม่มีมนุษย์คนไหนเป็นคนนำทางการค้นหา ระบบค้นพบมันด้วยตัวเอง เรายืนยันกับทีมนักวิจัยความปลอดภัยระดับโลกของเรา และรายงานมัน
AI เคยแก้ปัญหาคณิตศาสตร์โอลิมปิก ค้นพบโปรตีนใหม่ และเอาชนะแพทย์ในการวินิจฉัยโรค ตอนนี้มันเพิ่มอีกหนึ่งอย่างในรายการ
ทฤษฎีที่เริ่มต้นทุกอย่าง
เราเริ่มสร้างสิ่งนี้บนทฤษฎีเฉพาะ มีขีดจำกัดทางปัญญาว่าผู้ตรวจสอบมนุษย์คนไหนจะสามารถติดตามผ่านระบบที่โต้ตอบกันได้ลึกแค่ไหน นักวิจัยที่ดีที่สุดในโลกถึงจุดสูงสุดที่ประมาณ 4 ถึง 5 ระดับของปฏิสัมพันธ์ระหว่างระบบ และบั๊กส่วนใหญ่ที่รอดจากการตรวจสอบมักอยู่ต่ำกว่าจุดสูงสุดนั้น
เราจึงอยากรู้ว่า AI สามารถไปไกลกว่าจุดนั้นได้หรือไม่
สิ่งที่เราสร้างไม่ใช่สแกนเนอร์อีกตัว ไม่ใช่ ChatGPT wrapper อีกตัวที่ท่วมคุณด้วยผลบวกปลอม เราเราสร้างสถาปัตถาปัตยกรรมการใช้เหตุผลบนโมเดล AI ที่มีอยู่ ซึ่งผลักดันพวกมันให้เกินกว่าที่ถูกออกแบบไว้ ระบบที่ติดตามตรรกะข้าม 7+ ชั้นของระบบที่โต้ตอบกันพร้อมกัน ค้นหาช่องโหว่ที่มนุษย์ไม่รู้ด้วยซ้ำว่าจะมองหาที่ไหน
โมเดลแนวหน้าจากห้องปฏิบัติการ AI ชั้นนำทั้งหมดมีข้อจำกัดด้านการใช้เหตุผลพื้นฐาน พวกมันไม่สามารถเก็บและติดตามตรรกะที่ซับซ้อนข้ามหลายชั้นของระบบที่โต้ตอบกันได้ ไม่มีห้องปฏิบัติการไหนแก้ปัญหานี้ได้ เราทำ สำหรับโมเดลเดียวกัน ระบบของเราได้ผลลัพธ์ในระดับที่แตกต่างอย่างสิ้นเชิง เหมือนกับว่าโมเดลทำงานที่ 30% และไม่มีใครสังเกต
ฉันเข้ามาเกี่ยวข้องได้อย่างไร
ฉันล่าบั๊กมาหลายปี ฉันเห็น "เครื่องมือรักษาความปลอดภัย AI" ทุกรุ่นผ่านมา สแกนเนอร์ระดับสูงที่แจ้งปัญหาโจ่งแจ้ง ChatGPT wrapper ที่ให้ผลบวกปลอมเป็นร้อย เสียเวลาทั้งหมด
เมื่อ @0xitsgreg แสดงสิ่งที่เขาสร้างให้ฉันดู ฉันคาดหวังการสาธิตแบบเดิม แต่สิ่งที่ฉันเห็นกลับเป็นระบบที่ดำดิ่งลึกสุดขั้วในแต่ละโค้ดเบสเพื่อขุดค้นบั๊กที่คลุมเครือและหายากที่สุด
ฉันเข้าร่วมเป็นผู้ร่วมก่อตั้งและซีอีโอ
สนามพิสูจน์ที่ยากที่สุดที่เราหาได้
เราเลือกคริปโตเพราะเมื่อช่องโหว่ถูกใช้ประโยชน์บนโปรโตคอลที่ใช้งานจริง เงินจริงจะถูกดูดออกไปภายในไม่กี่นาที ไม่มี "เราจะแก้ไขในไตรมาสหน้า" และโปรโตคอลที่ใหญ่ที่สุดได้รับการตรวจสอบแล้ว 3, 4, 5 ครั้งโดยบริษัทที่ดีที่สุดในโลก
ถ้าระบบของเราสามารถหาสิ่งที่พวกเขาทั้งหมดพลาดไปได้ นั่นคือหลักฐานที่แข็งแกร่งที่สุดเท่าที่จะจินตนาการได้
ในช่วงหลายเดือนที่ผ่านมา มันค้นพบช่องโหว่ที่ยืนยันแล้วใน Ethereum, Lido, Chainlink, Aave, Uniswap, Polygon และอื่นๆ โปรโตคอลทั้งหมดนี้รักษาความปลอดภัยมูลค่าหลายพันล้านดอลลาร์ ได้รับการตรวจสอบหลายครั้งโดยบริษัทชั้นนำ ทุกการค้นพบถูกมองข้ามโดยผู้ตรวจสอบมนุษย์ทุกคน
การค้นพบมูลค่า 250,000 ดอลลาร์
ระบบวิเคราะห์โปรโตคอลหลักที่ถูกตรวจสอบอย่างหนักโดยใช้สิ่งที่เราเรียกว่า Deep Invariant Analysis มันดูดซับโค้ดเบส แผนที่ทุกโมดูล ทุก dependencies ทุกปฏิสัมพันธ์ระหว่างระบบ มันติดตามเส้นทางการดำเนินการเพื่อหาค่าคงที่ สิ่งที่ไม่ควรแตกหักแต่อาจแตกหักภายใต้เงื่อนไขเฉพาะ
เมื่อมันพบเส้นทางที่มีแนวโน้ม มันจะสร้างเอเจนต์ย่อยที่เชื่อมต่อกันเพื่อสำรวจมุมต่างๆ แบบขนาน เปิดแซนด์บ็อกซ์ เขียน proof-of-concept exploits ทำซ้ำ และปรับปรุงเส้นทางการโจมตีจนกว่าจะได้สิ่งที่ทำซ้ำได้อย่างสมบูรณ์
จากนั้นมันก็แจ้งเรา
เราเปิดการค้นพบโดยคาดหวังกรณีขอบที่มีความรุนแรงปานกลาง แต่สิ่งที่เราเห็นคือข้อบกพร่องทางตรรกะที่สำคัญในปฏิสัมพันธ์ของหลายระบบ เงินของผู้ใช้ 27.7 ล้านดอลลาร์ตกอยู่ในความเสี่ยงโดยตรงที่จะถูกดูดออกในการโจมตีครั้งเดียว
เรายืนยันและรายงานผ่าน @HackenProof โปรโตคอลยืนยัน แก้ไขทันที และให้รางวัลเราเป็นเงิน 250,000 ดอลลาร์ ซึ่งเป็นรางวัลสูงสุด
สิ่งนี้หมายความว่าอย่างไร
คริปโตได้เห็นการโจมตีมากมายเมื่อเร็วๆ นี้ และส่วนใหญ่โปรโตคอลจะปัดความรับผิดชอบ ในขณะที่ผู้โจมตีมีความซับซ้อนมากขึ้น ได้รับความช่วยเหลือจาก AI มากขึ้น และความลึกของการตรวจสอบความปลอดภัยยังตามไม่ทัน
เพดานของสิ่งที่ความปลอดภัยที่ใช้มนุษย์เท่านั้นสามารถเข้าถึงได้นั้นคงอยู่มาหลายปี รางวัลนี้เป็นหลักฐานว่า AI สามารถทะลุผ่านมันได้แล้ว และเราได้รับการติดต่อจากหนึ่งในห้องปฏิบัติการ AI ชั้นนำเพื่อสำรวจสิ่งที่เราสร้างขึ้น
วันนี้เราออกจากความลับ เราเรียกตัวเองว่า @therealgregoai เราเพิ่งเริ่มต้น
ถ้าคุณต้องการค้นหาช่องโหว่ที่โปรโตคอลของคุณอาจพลาดไป ส่งข้อความถึงฉัน
