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

ความเสี่ยงของคณะกรรมการความพร้อมใช้งานของข้อมูล (DAC)

คู่มือที่เริ่มจากการตรวจสอบ attest ของ DAC กฎยอมรับแบบ q-of-n การครอบครองและเรียกคืนข้อมูลจริง โดเมนความล้มเหลวที่สัมพันธ์กัน การหมุนเวียนกุญแจ การเก็บรักษา fallback และการออก

อัปเดต

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

คำตอบโดยตรง

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

Safety กับ liveness เป็นคนละเรื่อง หากสัญญายอมรับลายเซ็น q-of-n การควบคุมกุญแจที่ถูกต้อง q ดอกอาจผ่านกฎยอมรับให้กับวัตถุที่ไม่พร้อมใช้ได้ เว้นแต่จะมีการตรวจอื่นป้องกัน โดยปกติผู้ลงนามที่ยินยอมและติดต่อได้ต่ำกว่า q รายจะสร้างใบรับรองใหม่ไม่ได้ การอัปเดตจึงหยุดหรือใช้ fallback ที่มีเอกสารกำกับ การกู้คืนจริงยังขึ้นกับการตรวจก่อนลงนามอย่างซื่อสัตย์ สำเนาที่เป็นอิสระ การเก็บรักษา กำลังให้บริการ ประวัติกุญแจและธรรมาภิบาล รวมถึงซอฟต์แวร์สร้างข้อมูลใหม่และออกจากระบบที่ทำได้จริง

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

  1. ตรึง deployment ได้แก่ เชน โหมดและรุ่นโปรโตคอล สัญญาชำระราคาและสัญญาตรวจความพร้อมใช้ batch กับวัตถุข้อมูล การเข้ารหัส commitment ชุดกุญแจ เกณฑ์ q จำนวนสมาชิก n ผู้ลงนามบังคับ การเปิดใช้ วันหมดอายุ การเพิกถอน และอำนาจธรรมาภิบาล
  2. สร้างข้อกล่าวอ้างที่ลงนามและตรรกะการยอมรับขึ้นใหม่ให้ตรง ตรวจการผูกโดเมน เชน และสัญญา รหัส batch, commitment หรือ state root วันหมดอายุ bitmap หรือการรวมลายเซ็น การป้องกัน replay และวิธีคำนวณเกณฑ์จริงของสัญญา โลโก้สมาชิกหรือคำตอบ API ไม่ใช่กฎยอมรับ
  3. กำหนดให้สมาชิกทุกคนดึงวัตถุครบก่อนลงนาม ตรวจ commitment และ encoding ถอดรหัส และเก็บข้อมูลที่ใช้อนุมานสถานะหรือให้ผู้ใช้ออกได้โดยอิสระ บันทึกว่าสมาชิกรับรองอะไรและโปรโตคอลพิสูจน์ได้หรือไม่ว่ามีการตรวจเหล่านี้จริง
  4. ทำแผนผังโดเมนความล้มเหลวที่เป็นอิสระแทนการนับชื่อ ระบุนิติบุคคล ผู้ควบคุมที่แท้จริง บัญชีและ region ของ cloud, DNS และเครือข่าย ชุดซอฟต์แวร์และฐานข้อมูล การเก็บกุญแจ backend จัดเก็บ การปฏิบัติการ และเขตอำนาจ สำเนาหรือ endpoint หลัง control plane เดียวไม่ใช่สมาชิกอิสระ
  5. ทดสอบการครอบครองและเรียกคืน ดึง batch ล่าสุดและย้อนหลังจากสมาชิกหลายรายโดยไม่ใช้ API ของ operator ตรวจ hash และ root สร้างสถานะหรือ proof การถอนใหม่ วัดการเก็บรักษาและ egress และแยกการสร้างใบรับรอง การเรียกคืนปัจจุบัน ความถูกต้องของการดำเนินการ finality ของฉันทามติ และความทนทานของคลัง
  6. ทดสอบวงจรชีวิตและการกู้คืน ได้แก่ การหมุนเวียนสมาชิกและกุญแจ ชุดกุญแจย้อนหลัง วันหมดอายุและเพิกถอน จำนวนพร้อมใช้น้อยกว่าเกณฑ์ กุญแจตามเกณฑ์ถูกเจาะ การให้บริการแบบเลือกปฏิบัติ operator ล่ม fallback เป็นข้อมูลเต็ม โหมด freeze หรือ escape, forced inclusion คลังอิสระ ตลอดจนค่าแก๊สและเวลาจริงในการออก
  7. ติดตาม bitmap ผู้ลงนามที่ยอมรับ ความล่าช้าของใบรับรอง ความสำเร็จในการเรียกคืน ความสมบูรณ์ของไบต์ อายุข้อมูล การเปลี่ยนชุดกุญแจและเกณฑ์ การอัปเกรด การหยุด และกำลัง fallback เก็บใบรับรอง ข้อมูล และสถานะสัญญาไว้ในคลัง และหยุดเพิ่มความเสี่ยงเมื่อใบรับรองยังผ่านแต่การเรียกคืนหรือกู้คืนโดยอิสระใช้ไม่ได้แล้ว

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

  • Liveness และ safety ของเกณฑ์ไม่เหมือนกัน ในคณะกรรมการตัวอย่าง 5-of-7 สมาชิกไม่พร้อมสองรายทำให้เหลือผู้ลงนาม 5 ราย จึงยังสร้างใบรับรองใหม่ได้ สมาชิกไม่พร้อมสามรายทำให้เหลือ 4 ราย ดังนั้น 4 < 5 และการสร้างใบรับรองหยุด เว้นแต่มี fallback ที่ระบุไว้ ในทางกลับกัน การควบคุมกุญแจที่ยอมรับ 5 ดอกอาจผ่านกฎเกณฑ์ได้ แต่ใบรับรองยังไม่พิสูจน์ว่าเรียกคืนไบต์ได้ตอนนี้หรือการดำเนินการถูกต้อง
  • โมเดลออนไลน์แบบอิสระ สมมติเพื่ออธิบายในโมเดล IID เท่านั้นว่าสมาชิกแต่ละรายจาก 7 รายพร้อมใช้อย่างอิสระด้วยความน่าจะเป็น 0.95 และใบรับรองต้องมีอย่างน้อย 5 ราย จะได้ P(quorum) = sum(C(7,k) * 0.95^k * 0.05^(7-k), k=5..7) = 0.9962429570 ดังนั้นความน่าจะเป็นที่ระบบหยุดตามโมเดลคือ 1 - 0.9962429570 = 0.0037570430 การใช้ cloud ซอฟต์แวร์ operator กฎหมาย หรือกุญแจร่วมกันทำให้ค่าประมาณทวินามนี้ใช้ไม่ได้
  • สำเนาจัดเก็บกับการให้บริการแยกกัน batch หนึ่งมีขนาด 120 MB สำเนาเต็มที่เป็นอิสระเจ็ดชุดจะเก็บ 120 * 7 = 840 MB หากมีเพียงสามสมาชิกที่เก็บจริง ปริมาณที่เก็บคือ 120 * 3 = 360 MB แม้กุญแจห้าดอกลงนาม การให้วัตถุหนึ่งครั้งแก่ 100 clients ส่งข้อมูล 120 * 100 = 12,000 MB จำนวนลายเซ็นจึงไม่ใช่จำนวนสำเนาหรือตัววัดกำลัง egress
  • เกณฑ์การสร้างใหม่ วัตถุตัวอย่างมี 1,024 records แบ่งเป็น 16 chunks ชุดละ 64 records และระบุเกณฑ์กู้คืนที่ 12 chunks ส่วนข้อมูลสิบเอ็ดชุดเปิดเผย 11 * 64 = 704 records แต่ 11 < 12 จึงสร้างวัตถุใหม่ไม่ได้ตามกฎนี้ ใบรับรองคณะกรรมการที่ถูกต้องไม่อาจแทนส่วนที่หายหรือเปลี่ยนเกณฑ์กู้คืน

ความเสี่ยง

  • ตรวจเชน สัญญา deployment, batch หรือรุ่นโปรโตคอลผิด
  • สร้างข้อกล่าวอ้างที่ลงนาม โดเมน commitment หรือวันหมดอายุผิด
  • ยอมรับ replay ข้ามเชน สัญญา รุ่น หรือชุดกุญแจย้อนหลัง
  • ใช้ชุดกุญแจที่ไม่ถูกต้อง ล้าสมัย หมดอายุ หรือถูกเพิกถอน
  • อ่าน q, n ผู้ลงนามบังคับ bitmap หรือลายเซ็นรวมผิด
  • ใช้ช่องโหว่ในการทำงานของผู้ลงนามหรือการตรวจของสัญญา
  • ลงนามก่อนดึงข้อมูลครบ ตรวจความสมบูรณ์ และบันทึกถาวร
  • ยอมรับข้อมูลบางส่วน ผิดรูป หรือเข้ารหัสผิด
  • สูญเสีย safety เพราะกุญแจตามเกณฑ์ถูกเจาะหรือสมรู้ร่วมคิด
  • สูญเสีย liveness เพราะสมาชิกที่ลงนามได้มีน้อยกว่าเกณฑ์
  • นับนิติบุคคล cloud, region หรือ operator ที่สัมพันธ์กันเป็นอิสระ
  • ใช้ DNS, TLS ซอฟต์แวร์ ฐานข้อมูล หรือ control plane จัดเก็บร่วมกัน
  • ถูก eclipse attack ให้บริการแบบเลือกปฏิบัติ หรือพึ่ง gateway ส่วนตัว
  • ลบข้อมูลหลังลงนามหรือก่อนช่วง exit สิ้นสุด
  • ทำให้การเรียกคืนย้อนหลังเสียหายจากสมาชิกเปลี่ยนหรือหมุนเวียนกุญแจ
  • ปล่อยให้ธรรมาภิบาลเปลี่ยนสมาชิก ลดเกณฑ์ หรือข้ามเวลาหน่วง
  • อ้างอิง commitment ของ settlement ที่ล้าสมัย ไม่ปลอดภัย หรือถูกจัดระเบียบใหม่
  • ถือว่า proof ความถูกต้องหรือ root ที่ final แล้วคือการเรียกคืนข้อมูลปัจจุบัน
  • พบว่า fallback, freeze, forced inclusion หรือ exit ทำไม่ได้จริง
  • ประเมินต้นทุน storage, egress, กู้คืน, fallback, ค่าธรรมเนียม และความจุต่ำเกินไป

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

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

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

แหล่งข้อมูล

การนำทาง

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