ข้ามไปยังเนื้อหา
Financial Context Wiki

การสุ่มตรวจสอบความพร้อมใช้งานของข้อมูล (DAS)

คู่มือที่เน้นการตรวจสอบเกี่ยวกับการสุ่มตรวจสอบความพร้อมใช้งานของข้อมูลเชิงความน่าจะเป็น การเข้ารหัสลบเลือน commitment แบบจำลองการสุ่ม เซลล์และคอลัมน์ของ PeerDAS การดูแลข้อมูล ความเป็นอิสระของเพียร์ และขีดจำกัดการกู้คืน

อัปเดต

จัดทำขึ้นเพื่อการศึกษาเท่านั้น ไม่ใช่คำแนะนำการลงทุน การลงทุนอาจทำให้สูญเสียเงินลงทุนได้

คำตอบโดยตรง

การสุ่มตรวจสอบความพร้อมใช้งานของข้อมูลช่วยให้โหนดร้องขอหน่วยข้อมูลที่ผ่านการยืนยันและการเข้ารหัสลบเลือนเพียงบางส่วนตามที่โปรโตคอลกำหนด แล้วใช้ข้อมูลนั้นประเมินในระดับโหนดด้วยความน่าจะเป็นว่าออบเจ็กต์ที่ผูกไว้ด้วย commitment ได้รับการเผยแพร่มากพอที่จะกู้คืนหรือไม่ โหนดไม่ต้องดาวน์โหลดออบเจ็กต์ทั้งหมด การสุ่มที่สำเร็จเพิ่มความเชื่อมั่นได้เฉพาะภายใต้สมมติฐานที่ระบุไว้เกี่ยวกับการเข้ารหัส เกณฑ์การกู้คืน การเลือกตัวอย่าง ความหลากหลายของเพียร์ เวลา และแบบจำลองผู้โจมตี

หลักฐาน KZG หรือหลักฐานเซลล์ผูกหน่วยที่ได้รับกลับมากับ commitment แต่ไม่ได้พิสูจน์ว่ามีหน่วยอื่นอยู่เพียงพอ การผ่านการสุ่มในโหนดหนึ่งไม่ได้พิสูจน์โดยอัตโนมัติว่าเครือข่ายทั้งหมดกู้คืนข้อมูลได้ การดำเนินการถูกต้อง ฉันทามติถึงขั้นสุดท้าย rollup ชำระสถานะแล้ว ผู้ใช้ออกได้ หรือข้อมูลถูกเก็บถาวร PeerDAS เป็นการออกแบบเฉพาะของ Ethereum ซึ่งคอลัมน์ เซลล์ กลุ่มดูแลข้อมูล การสุ่ม เครือข่าย และกฎเลือกสายเชนขึ้นกับ fork พารามิเตอร์ปัจจุบันจึงไม่ใช่ค่าคงที่สากลของ DAS

กลไกการทำงาน

  1. ระบุออบเจ็กต์และ snapshot ของข้อกำหนดให้แน่นอน ได้แก่ เชน เครือข่าย fork client และฉบับข้อกำหนด ตลอดจน slot, block root, blob commitment, มิติเดิมและมิติที่ขยายแล้ว นิยามของเซลล์ แถว คอลัมน์ และกลุ่มดูแลข้อมูล รวมถึงคำตัดสินเรื่องความพร้อมใช้งานที่โหนดต้องทำ
  2. ตรวจสอบกฎการเข้ารหัสและการกู้คืน บันทึกอัลกอริทึมขยายข้อมูลแบบลบเลือน รูปแบบ commitment จำนวนหน่วยเดิมและหน่วยที่เข้ารหัส จำนวนขั้นต่ำที่ใช้กู้คืนออบเจ็กต์ และวิธีปฏิเสธส่วนขยายที่ผิดรูป การสุ่มจะมีความหมายก็ต่อเมื่อการระงับหน่วยมากพอที่จะขัดขวางการกู้คืนสร้างบริเวณที่ตรวจพบได้
  3. กำหนดจักรวาลและกระบวนการสุ่ม บันทึกขนาดประชากร ชุดข้อมูลที่ไม่พร้อมใช้หรือถูกระงับ จำนวนตัวอย่าง การเลือกแบบคืนตัวอย่างหรือไม่คืน แหล่งสุ่ม ความไม่ซ้ำ หน้าที่ดูแลข้อมูล การเลือกเพียร์ timeout การลองใหม่ และการตัดข้อมูลซ้ำ การมอบหมายให้ดูแลข้อมูลกับการสุ่มตัวอย่างเป็นหลักฐานคนละประเภท
  4. ระบุแบบจำลองความน่าจะเป็นก่อนคำนวณ สำหรับสัดส่วนคงที่ที่ถูกระงับ f และตัวอย่างอิสระแบบสม่ำเสมอที่คืนตัวอย่างจำนวน s ในแบบจำลองอย่างง่าย จะได้ P_miss = (1 - f)^s หากไม่คืนตัวอย่างให้ใช้อัตราส่วนจำนวนวิธีเลือกของประชากรจำกัด เพียร์ที่สัมพันธ์กัน ความสุ่มที่มีอคติ การโจมตีแบบ eclipse การให้บริการแบบปรับตัว และการเลือกเฉพาะผลจากการลองใหม่ทำให้แบบจำลองง่ายนี้ใช้ไม่ได้
  5. ดึงข้อมูลจากเพียร์ที่หลากหลายภายในกำหนดเวลาของโปรโตคอล ตรวจสอบ header ที่เป็น canonical การรวม blob, commitment, index, หลักฐานเซลล์ KZG และไบต์ของคำตอบ บันทึกคำตอบที่ขาดหาย ไม่ถูกต้อง และล่าช้าแยกกัน การขอคอลัมน์เดิมซ้ำหรือใช้ control plane เดิมไม่ใช่หลักฐานอิสระชิ้นใหม่
  6. ใช้กฎความพร้อมใช้งานในโหนดและกฎ fork choice ของโปรโตคอลที่ระบุ จากนั้นบันทึกการแพร่และการกู้คืนทั่วเครือข่าย ความถูกต้องของการดำเนินการ สถานะฉันทามติแบบ safe และ finalized ระยะเวลาให้บริการ และสถานะคลังข้อมูลแยกจากกัน ห้ามขยายผลการผ่านในโหนดหนึ่งเป็นคำรับรองที่โปรโตคอลไม่ได้ให้
  7. ทดสอบการระงับข้อมูล การเข้ารหัสผิดรูป หลักฐานไม่ถูกต้อง การโจมตี eclipse และ Sybil การให้บริการแบบเลือกหรือปรับตัว การสุ่มที่สัมพันธ์กัน การแบ่งแยกเพียร์และ subnet, timeout, pruning, การเปลี่ยนพารามิเตอร์และตาราง blob, reorganization และความเห็นต่างระหว่าง client กู้คืนจากหน่วยที่เก็บได้จริงและรักษาคำขอ คำตอบ หลักฐาน เวอร์ชัน และหลักฐานการเก็บถาวรไว้

ตัวอย่างคำนวณ

  • การสุ่มอิสระแบบคืนตัวอย่าง ในแบบจำลองอย่างง่าย มีหน่วยถูกระงับ 50% และโหนดสุ่มอย่างอิสระแบบสม่ำเสมอพร้อมคืนตัวอย่าง 30 ครั้ง ความน่าจะเป็นที่จะตรวจไม่พบคือ 0.5^30 = 0.0000000009313225746 และความน่าจะเป็นที่จะตรวจพบคือ 99.9999999069% นี่เป็นแบบจำลองเพื่อการเรียนรู้ ไม่ใช่การรับประกันบริการจริงของ PeerDAS หรือเครือข่ายอื่น
  • กำหนดเป้าความน่าจะเป็นที่จะตรวจไม่พบ ในแบบจำลองอิสระเดียวกันเมื่อถูกระงับ 25% กำหนดให้ความน่าจะเป็นที่จะตรวจไม่พบไม่เกิน 0.000001 จำนวนตัวอย่างคือ ceil(log(0.000001) / log(0.75)) = 49 เมื่อสุ่ม 48 ครั้ง ความน่าจะเป็นคือ 0.75^48 = 0.0000010067940558701114 ซึ่งยังสูงกว่าเป้าหมาย เมื่อสุ่ม 49 ครั้งจะเป็น 0.75^49 = 0.0000007550955419025835
  • การสุ่มแบบไม่คืนตัวอย่าง ประชากรจำกัดมี 128 คอลัมน์ โดยให้บริการได้ 64 คอลัมน์และถูกระงับ 64 คอลัมน์ การสุ่ม 8 คอลัมน์ที่ไม่ซ้ำโดยไม่คืนตัวอย่างมีความน่าจะเป็นที่จะไม่โดนชุดที่ถูกระงับเท่ากับ C(64,8) / C(128,8) = 0.0030958642767920487 และความน่าจะเป็นที่จะตรวจพบเท่ากับ 99.6904135723% ค่านี้ต่างจาก 0.5^8 = 0.00390625 และยังตั้งอยู่บนสมมติฐานว่าการเลือกสม่ำเสมอและการระงับคงที่
  • snapshot พารามิเตอร์ Fulu ในข้อกำหนด Fulu ที่ตรวจสอบ ณ 2026-08-12 มี NUMBER_OF_COLUMNS = 128, SAMPLES_PER_SLOT = 8, NUMBER_OF_CUSTODY_GROUPS = 128 และ CUSTODY_REQUIREMENT = 4 สัดส่วนตัวอย่างขั้นต่ำคือ 8 / 128 = 6.25% และสัดส่วนการดูแลขั้นต่ำคือ 4 / 128 = 3.125% หากโหนดดูแล 12 กลุ่มและขนาดการสุ่มเป็นค่าที่มากกว่าระหว่าง 8 กับ 12 โหนดจะร้องขอ 12 / 128 = 9.375% ค่าเหล่านี้เป็นพารามิเตอร์โปรโตคอลที่มีเวอร์ชัน ไม่ใช่การรับประกันถาวรหรือใช้ข้ามโปรโตคอลได้

ความเสี่ยง

  • สุ่มจากเชน เครือข่าย fork, slot, บล็อก หรือออบเจ็กต์ข้อมูลผิดรายการ
  • เชื่อถือ header และ commitment ที่ล้าสมัย ไม่เป็น canonical หรือถูก reorganization
  • ใช้ข้อมูลที่เข้ารหัสลบเลือนผิดรูปหรือขยายไม่ถูกต้อง
  • ยอมรับหลักฐาน KZG หลักฐานเซลล์ หรือหลักฐานการรวมที่ไม่ถูกต้อง
  • ถือว่าความแท้จริงของ commitment เป็นหลักฐานความพร้อมใช้งาน
  • เก็บตัวอย่างน้อยเกินไปสำหรับแบบจำลองภัยคุกคามที่ระบุ
  • ใช้สูตรแบบคืนตัวอย่างกับการสุ่มแบบไม่คืน หรือกลับกัน
  • ใช้ความสุ่มที่มีอคติ คาดเดาได้ หรือบิดเบือนได้
  • นับหน่วยซ้ำหรือการลองใหม่เป็นตัวอย่างอิสระ
  • สุ่มจากเพียร์ subnet กลุ่มดูแลข้อมูล หรือ control plane ที่สัมพันธ์กัน
  • ถูกโจมตีแบบ eclipse หรือ Sybil จนโหนดสุ่มถูกแยกออก
  • เปิดช่องให้บริการแบบเลือกหรือปรับตัวหลังทราบตัวอย่างที่เลือก
  • จัด timeout ความแออัด หรือความล้มเหลวของ client เป็นการระงับข้อมูลอย่างผิดพลาด
  • สับสนการมอบหมายดูแลข้อมูลแบบกำหนดแน่นอนกับการสุ่มตัวอย่าง
  • สมมติสัดส่วนที่ถูกระงับไม่ตรงกับเกณฑ์การกู้คืน
  • กู้คืนล้มเหลวเพราะข้อจำกัดด้าน CPU หน่วยความจำ bandwidth หรือการติดตั้งใช้งาน
  • พบความล้มเหลวของ gossip, request-response, subnet หรือ cross-seeding
  • ขยายผลการผ่านในโหนดหนึ่งเป็นความพร้อมใช้งานและการกู้คืนทั่วเครือข่าย
  • สับสน DAS กับความถูกต้องของการดำเนินการ finality ของฉันทามติ การชำระสถานะ หรือการออก
  • พลาดการเปลี่ยนแปลงด้านระยะเก็บข้อมูล คลังข้อมูล fallback, fork, ตาราง blob หรือพารามิเตอร์

ความเข้าใจผิดที่พบบ่อย

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

หัวข้อที่เกี่ยวข้อง

แหล่งข้อมูล

การนำทาง

ค้นหาในวิกิ...