หัวข้อต้นฉบับ: สี่คำถามเกี่ยวกับช่องโหว่ Orchard
ผู้เขียนต้นฉบับ: Jason McGee, CEO ของ Shielded Labs, Zooko Wilcox, ผู้ก่อตั้ง Zcash
ผู้แปลต้นฉบับ: Qin Xiaofeng, Odaily Planet Daily

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

หลังจากผ่านไปประมาณ 10 วัน ความตื่นตระหนกในตลาดเริ่มคลี่คลาย ราคา ZEC ก็ฟื้นตัวขึ้น และกลับมาที่ 500 ดอลลาร์ในวันนี้ (แนะนำให้อ่าน 《ช่องโหว่ "พิมพ์เงินไม่จำกัด" แฝงตัวสี่ปี ZEC ร่วงครึ่งในวันเดียว》)

เช้าวันนี้ Zooko Wilcox ผู้ก่อตั้ง Zcash ได้โพสต์บทความยาวอีกครั้งเพื่อตอบสนองต่อประเด็นที่ตลาดกังวล

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

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

ช่องโหว่ Orchard นำไปสู่คำถามสำคัญสี่ข้อ:

1. ช่องโหว่ Orchard เคยถูกใช้ประโยชน์หรือไม่?

2. เงินทุน Orchard ที่ถูกต้องสามารถกู้คืนได้หรือไม่?

3. ผู้ใช้สามารถตรวจสอบได้หรือไม่ว่าปริมาณ Zcash ไม่ได้ถูกเพิ่มเกิน?

4. เราจะรู้ได้อย่างไรว่าไม่มีช่องโหว่การปลอมแปลงอื่น ๆ?

ช่องโหว่ Orchard เคยถูกใช้ประโยชน์หรือไม่?

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

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

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

เมื่อพบช่องโหว่ นักพัฒนา Zcash (นำโดยทีม Zcash Open Development Labs) ได้ประสานงานกับผู้ให้บริการขุดเหมืองอย่างรวดเร็วเพื่อระงับพูล Orchard ชั่วคราวและปรับใช้การแก้ไข ซึ่งจำกัดโอกาสในการโจมตี

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

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

เงิน Orchard ที่ถูกต้องตามกฎหมายสามารถกู้คืนได้หรือไม่?

เราเชื่อว่าสามารถทำได้ เพราะเราเชื่อว่าช่องโหว่นี้ไม่เคยถูกใช้ประโยชน์ หากการคาดการณ์นี้ถูกต้อง เงิน Orchard ที่ถูกต้องตามกฎหมายทั้งหมดยังคงสามารถกู้คืนได้อย่างสมบูรณ์

ในทางกลับกัน หากมีการปลอมแปลงเกิดขึ้นใน Orchard จริง กลไก turnstile ที่มีอยู่จะจำกัดปริมาณการย้ายทั้งหมดให้อยู่ในจำนวน ZEC ที่เข้าสู่พูลอย่างถูกต้องตามกฎหมาย

ดังนั้น หากเงินปลอมถูกย้ายก่อนเงินที่ถูกต้องตามกฎหมาย ผู้ใช้จะไม่สามารถกู้คืนเงิน Orchard ที่ถูกต้องตามกฎหมายบางส่วนหรือทั้งหมดได้

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

แต่ก่อนดำเนินการนี้ พวกเขาควรทราบประเด็นต่อไปนี้:

· การย้ายเงินไปยังพูลแบบโปร่งใส (เช่น ไปยังที่อยู่ t) จะเปิดเผยทั้งจำนวนเงินและเวลาที่โอน และเงินเหล่านี้จะเชื่อมโยงกับที่อยู่ t นั้นอย่างเปิดเผย

· การย้ายเงินจากพูล Orchard ไปยังพูล Sapling จะเปิดเผยจำนวนเงินและเวลาที่โอน แต่แตกต่างจากการย้ายไปยังที่อยู่ t ตรงที่ไม่เชื่อมโยงเงินเหล่านี้กับที่อยู่หรือประวัติการทำธุรกรรมเฉพาะ

· พูล Sapling ขึ้นอยู่กับพิธีกรรมการตั้งค่าที่เชื่อถือได้ซึ่งดำเนินการในปี 2018 การพึ่งพาความปลอดภัยของพิธีกรรมการตั้งค่าที่เชื่อถือได้นี้เป็นความเสี่ยงเพิ่มเติมที่ผู้ใช้ควรระวัง

· เท่าที่เราทราบ YWallet และ Zkool เป็นกระเป๋าเงิน Zcash แบบดูแลตนเองที่ใช้กันอย่างแพร่หลายและรองรับพูล Sapling เพียงไม่กี่แห่งในปัจจุบัน

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

โดยรวมแล้ว เราประเมินว่าความเสี่ยงข้างต้นอยู่ในระดับปานกลาง

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

ผู้ใช้สามารถตรวจสอบได้หรือไม่ว่าปริมาณ Zcash ไม่ได้ถูกเพิ่มขึ้น?

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

อย่างไรก็ตาม ดังที่เราได้ชี้ให้เห็นในบทความก่อนหน้านี้ การอัปเกรด Ironwood ได้ฟื้นฟูความสามารถนี้ รูปภาพด้านล่างอธิบายสาเหตุ

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

เส้นทางเดียวที่เหลืออยู่คือการออกผ่านกลไกประตูหมุนที่มีอยู่ ซึ่งรับประกันว่า ZEC ที่โอนออกจาก Orchard Pool จะไม่เกินจำนวนที่เข้ามาอย่างถูกต้อง

การเปลี่ยนแปลงนี้ฟื้นฟูความสามารถในการตรวจสอบความสมบูรณ์ของปริมาณ Zcash

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

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

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

เราจะรู้ได้อย่างไรว่าไม่มีช่องโหว่การปลอมแปลงอื่นๆ?

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

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

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

นอกจากนี้ เรากำลังร่วมมือกับโครงการต่างๆ เช่น Tachyon Project เพื่อให้การรับประกันเพิ่มเติมว่าไม่มีช่องโหว่การปลอมแปลงอื่นๆ ใน Zcash เราจะอธิบายเพิ่มเติมในโพสต์บล็อกในอนาคต

บทสรุป

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

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

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

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

ลิงก์ต้นฉบับ

ยินดีต้อนรับสู่ชุมชนทางการของ BlockBeats:

กลุ่ม Telegram สมัครสมาชิก: https://t.me/theblockbeats

กลุ่ม Telegram พูดคุย: https://t.me/BlockBeats_App

บัญชี Twitter ทางการ: https://twitter.com/BlockBeatsAsia