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

บริดจ์ข้ามเชน

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

อัปเดต

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

คำตอบโดยตรง

บริดจ์ข้ามเชนคือระบบที่ทำให้การโอนสินทรัพย์หรือข้อความซึ่งสังเกตได้ใน execution domain หนึ่งก่อให้เกิดผลลัพธ์ที่ได้รับอนุญาตในอีก domain หนึ่ง เชนอิสระไม่ได้เชื่อถือ state ของกันและกันโดยอัตโนมัติ เส้นทางจึงต้องมีโมเดลการตรวจสอบ กฎการประมวลผลที่ปลายทาง และสำหรับสินทรัพย์ต้องมีโมเดลการออก การรับฝาก หรือสภาพคล่อง

ต้องแยกมิติเหล่านี้ออกจากกัน สินทรัพย์อาจใช้การล็อกและสร้างโทเค็น การเผาและปล่อย การเผาและสร้างโดยผู้ออก หรือการส่งมอบจากผู้ให้สภาพคล่อง ข้อความอาจได้รับการยอมรับผ่าน light client หรือ validity proof, กระบวนการโต้แย้งแบบ optimistic, ผู้รับรองหรือเกณฑ์ของ validator หรือ verifier เฉพาะแอปพลิเคชัน แต่ละชุดมีความเสี่ยงด้าน finality, replay, upgrade, liveness และความสามารถชำระหนี้ต่างกัน ธุรกรรมต้นทาง การรับรอง ยอดคงเหลือปลายทาง และการไถ่ถอนทางเศรษฐกิจเป็นคนละสถานะ

1
ล็อคหรือเผา

สัญญาห่วงโซ่อุปทานเอสโครว์หรือทำลายการเป็นตัวแทนของแหล่งที่มา

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

  1. ตรึงภาพเส้นทาง ได้แก่ โปรโตคอลและเวอร์ชัน chainId หรือ domain ต้นทางและปลายทาง address ของ gateway, router, messenger หรือ adapter คู่โทเค็น ผู้รับ จำนวน decimals, deadline, จุดอ้างอิงบล็อก และเอกสารทางการ ชื่อ ไอคอน หรือป้ายจาก aggregator ไม่ใช่ตัวตน
  2. จำแนกสองมิติที่เป็นอิสระ บันทึกว่าเส้นทางสินทรัพย์เป็นการล็อกและสร้าง การเผาและปล่อย การเผาและสร้างโดยผู้ออก หรือการส่งมอบสภาพคล่อง และเส้นทางข้อความใช้ consensus proof, light client, การตรวจสอบแบบ optimistic, การรับรอง เกณฑ์ของ validator หรือ verifier อื่น
  3. ทำแผนที่รากของความไว้วางใจและการควบคุม ได้แก่ finality ต้นทาง ความพร้อมใช้ของข้อมูล สมมติฐานของ proof หรือผู้รับรอง executor ปลายทาง การป้องกัน replay, proxy implementation, ผู้ดูแลหรือคณะกรรมการความปลอดภัย ระยะหน่วง upgrade, pause และ rate limit คำว่า canonical, ทางการ, ผ่านการตรวจสอบ หรือใช้ proof ไม่ใช่ข้อสรุปความเสี่ยงที่ครบถ้วน
  4. สร้าง state machine ของข้อความตามทิศทาง ได้แก่ การส่งต้นทาง การรวมในบล็อกและ finality ที่ต้องการ message ID, nonce หรือ sequence, proof หรือการรับรอง การ relay, การประมวลผลปลายทาง acknowledgement และการ retry, timeout, refund หรือ claim เส้นทางฝากและถอนอาจไม่สมมาตร
  5. สร้างบัญชีสินทรัพย์และข้อความในหน่วยดิบ กระทบยอด escrow ที่มีสิทธิ์ อุปทานสินทรัพย์ตัวแทนที่ยังใช้งานอยู่ สิทธิเรียกร้องที่ล็อกแต่ยังไม่สร้าง สิทธิเรียกร้องที่เผาแต่ยังไม่ปล่อย การเผาและสร้างโดยผู้ออก message ID ที่ใช้แล้ว และ allowance ที่เหลือ ห้ามนับ escrow กับสินทรัพย์ตัวแทนเป็นสินทรัพย์อิสระสองรายการ
  6. สร้างบัญชีเศรษฐกิจที่ทำได้จริง แยกเงินต้นโทเค็นและค่าธรรมเนียมโปรโตคอลออกจาก gas ต้นทางและปลายทาง ค่าธรรมเนียม relayer หรือผู้ให้สภาพคล่อง ความจุที่เสนอ output ขั้นต่ำ slippage, price impact และต้นทุนการรอ quote ไม่ใช่ fill และ gas ที่จ่ายด้วยโทเค็น native ไม่ได้ถูกหักจาก output ของโทเค็นที่บริดจ์โดยอัตโนมัติ
  7. กระทบยอดเส้นทางจากหลักฐานจริง ได้แก่ receipt ต้นทางและบล็อกที่ final, สถานะข้อความหรือ packet, output ของ verifier, receipt ปลายทางและการเปลี่ยน state, สัญญาโทเค็นที่ได้รับจริง ยอดคงเหลือ ความสามารถในการไถ่ถอน และสภาพคล่อง เพิกถอนอำนาจส่วนเกิน สำรอง gas สำหรับกู้คืน และหยุดแทนการโอนซ้ำเมื่ออธิบายความผิดปกติไม่ได้

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

  • สินทรัพย์ค้ำประกันกับสิทธิเรียกร้องระหว่างทาง escrow ที่มีสิทธิ์คือ 10,000 units สินทรัพย์ตัวแทนที่ยังใช้งานอยู่ปลายทางคือ 9,700 units สิทธิเรียกร้องที่ล็อกแต่ยังไม่สร้างคือ 200 units และสิทธิเรียกร้องที่เผาแต่ยังไม่ปล่อยคือ 100 units สิทธิเรียกร้องทางเศรษฐกิจเท่ากับ 9,700 + 200 + 100 = 10,000 units อัตราค้ำประกันที่ปรับแล้วจึงเป็น 10,000 / 10,000 = 100.0000000000% การหารด้วยอุปทานที่ใช้งานอยู่เท่านั้นรายงานผิดเป็น 10,000 / 9,700 = 103.0927835052% อัตราค้ำประกันไม่ได้พิสูจน์ความปลอดภัยของสัญญาหรือสภาพคล่องทันที
  • Output ของโทเค็นเทียบกับต้นทุนทางเศรษฐกิจ ผู้ใช้ส่ง 5,000 USDC หักค่าธรรมเนียมโปรโตคอล 5 USDC จึงได้ output โทเค็นปลายทาง 4,995 USDC gas ต้นทางคือ 0.003 ETH และ gas สำหรับ claim ปลายทางคือ 0.001 ETH ที่ราคาอ้างอิงชัดเจน 2,000 USD/ETH กระแสเงินสดแยกกันนี้มีต้นทุน $6 และ $2 ต้นทุนทางเศรษฐกิจรวมคือ $5 + $6 + $2 = $13 และความมั่งคั่งสุทธิที่ได้รับคือ $4,987 แต่ยอดคงเหลือปลายทางยังเป็น 4,995 USDC
  • เกณฑ์ถูกเจาะและเงินสำรองขาด บริดจ์ผู้รับรองสมมติแบบ 3-of-5 มี escrow $5,000,000 และโทเค็น wrapped ที่ถูกต้อง 5,000,000 หน่วย หากกุญแจที่ได้รับอนุญาตสามดอกปลอมการสร้างที่ไม่มีสินทรัพย์ค้ำประกันจำนวน 1,000,000-unit อุปทานจะเป็น 6,000,000 ส่วนขาดคือ $1,000,000 และอัตราค้ำประกันตามสัดส่วนคือ 5,000,000 / 6,000,000 = 83.3333333333% หรือเงินสำรอง $0.8333333333 ต่อโทเค็น นี่คือผลทางบัญชี ไม่ใช่ราคาตลาดหรือราคากู้คืนที่รับประกัน
  • ความจุของเส้นทางสภาพคล่อง คำขอคือ 100,000 units เส้นทาง A มีความจุ 60,000 และคิด 0.20% จึงส่งมอบ 60,000 * (1 - 0.002) = 59,880 units เส้นทาง B ที่เป็นอิสระจัดการ 40,000 ที่ 0.35% บวก 20 units จึงส่งมอบ 40,000 * (1 - 0.0035) - 20 = 39,840 units output รวมคือ 99,720 units ต้นทุนคือ 280 units หรือ 280 / 100,000 = 0.2800000000% แต่ละเส้นทางมีสมมติฐานความปลอดภัยแยกกัน และ partial execution จะมีได้ต่อเมื่อโปรโตคอลจริงและ receipt อนุญาต

ความเสี่ยง

  • เลือกต้นทาง ปลายทาง chainId หรือ domain ผิด
  • ใช้ interface ฟิชชิง เว็บไซต์เอกสาร หรือ route aggregator ปลอม
  • ส่งผ่าน gateway, router, messenger หรือ adapter ปลอม
  • ยอมรับคู่โทเค็น ผู้รับ หรือสินทรัพย์ตัวแทนสัญลักษณ์เดียวกันผิดรายการ
  • อ่าน decimals หน่วยดิบ หรือพฤติกรรม fee-on-transfer และ rebasing ผิด
  • ปล่อย approval, permit หรือสิทธิ์ operator มากเกินไป
  • พึ่งธุรกรรมต้นทางก่อน finality เพียงพอหรือหลัง reorganization
  • เชื่อกุญแจ verifier, validator, ผู้รับรอง หรือสมาชิกเกณฑ์ที่ถูกเจาะ
  • ยอมรับ light client, proof verifier หรือกลไกโต้แย้งที่มีข้อบกพร่อง
  • ปล่อยให้เกิด replay, double mint หรือข้อผิดพลาดของ sequence, ordering หรือ idempotency
  • ถือว่าความสำเร็จต้นทางพิสูจน์การประมวลผลปลายทาง
  • มี gas ไม่พอสำหรับการประมวลผลปลายทาง retry, claim หรือ refund
  • พึ่ง relayer, prover, ผู้รับรอง หรือ executor ที่ไม่พร้อมใช้งาน
  • สูญเสีย liveness จากการเซ็นเซอร์ของ sequencer หรือข้อมูลไม่พร้อมใช้
  • พลาด upgrade, การเปลี่ยนผู้ดูแล pause, rate limit หรือการข้าม timelock
  • มองข้ามการล้มละลายของ escrow เงินสำรองรวม หรือการคลาดเคลื่อนบัญชีระหว่างทาง
  • สมมติว่า hook ของโทเค็นที่ไม่เป็นมาตรฐานเข้ากันได้กับบริดจ์
  • เกินความจุสภาพคล่องหรือพึ่ง quote และเส้นทาง rebalance ที่ล้าสมัย
  • ประสบ depeg, slippage, MEV หรือเส้นทางไถ่ถอนที่ใช้ไม่ได้
  • เข้าใจ timeout, refund, recovery, ภาษี มาตรการคว่ำบาตร หรือกฎการรับฝากผิด

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

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

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

แหล่งข้อมูล

การนำทาง

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