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

ZK Rollup

คู่มือที่เน้นการตรวจสอบแบตช์ หลักฐานความถูกต้อง ความพร้อมใช้ของข้อมูล สถานะการชำระบัญชี ค่าธรรมเนียม การถอน และความเสี่ยงเฉพาะของแต่ละ ZK rollup

อัปเดต

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

คำตอบโดยตรง

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

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

1
ดำเนินการ

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

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

  1. ระบุ deployment: chain ID ของ L1/L2 สัญญา rollup และบริดจ์ ตัวตรวจสอบและเวอร์ชันคีย์ โปรแกรมหรือวงจร รูปแบบแบตช์ โหมด DA ซีเควนเซอร์ ผู้สร้างหลักฐาน ผู้ดูแล สิทธิ์หยุด และบล็อกที่สังเกต ชื่อสแต็กไม่ยืนยันว่าทุก deployment รับประกันเหมือนกัน
  2. แยกการจัดลำดับออกจากหลักฐาน ซีเควนเซอร์อาจออกใบรับและสร้างบล็อก L2 ก่อนข้อผูกมัดหรือหลักฐานถึง L1 บันทึกแบตช์ที่แน่นอนและแยกสถานะจัดลำดับ ผูกมัด พิสูจน์ ยอมรับ ปลอดภัยในการชำระ สิ้นสุด และถอนเสร็จ
  3. สร้างแบตช์ซ้ำ รับธุรกรรม ผลต่างสถานะ blob sidecar หรือ payload ที่กำหนด ตรวจลำดับและข้อผูกมัด แล้วคำนวณรากสถานะก่อนและหลัง รากถอนหรือข้อความ และอินพุตสาธารณะ หลักฐานที่ผูกกับเชน แบตช์ หรือรากผิดย่อมพิสูจน์ข้อความผิด
  4. ตรวจเส้นทางหลักฐาน ยืนยันว่าธุรกรรมชำระเรียกตัวตรวจสอบที่ถูกต้องด้วยหลักฐาน คีย์ และอินพุตที่คาดไว้ สำเร็จ ส่ง event และอัปเดต slot ที่ถูกต้อง หากทำได้ให้ทำซ้ำด้วยซอฟต์แวร์อิสระ
  5. ตรวจความพร้อมใช้ของข้อมูลแยกต่างหาก blob ของ Ethereum ให้ความพร้อมใช้ในช่วงเวลาของโปรโตคอลและข้อผูกมัด ไม่ใช่คลังถาวร คณะกรรมการภายนอกหรือ DA ทางเลือกเพิ่มสมมติฐานของตน หลักฐานที่ถูกต้องไม่กู้ข้อมูลที่หายสำหรับสร้างสถานะหรือออก
  6. ติดตามฝากและถอนตั้งแต่ต้นจนจบ เทียบโทเคนและ messenger มาตรฐาน จำนวน ปลายทาง nonce รากการรวม หลักฐาน กฎ finality และยอดคงเหลือ บริดจ์เร็วเพียงสำรองสภาพคล่องด้วยราคา เส้นทาง และความเสี่ยงคู่สัญญาของตน ไม่ย่นเวลามาตรฐาน
  7. เฝ้าดู liveness และการควบคุม วัดแบตช์และหลักฐานค้าง forced inclusion และทางหนี ความหลากหลายผู้สร้างหลักฐาน อัปเกรด timelock ผู้พิทักษ์ และโหมดฉุกเฉิน ประเมินใหม่หลังเปลี่ยนสัญญา วงจร คีย์ DA หรือโปรโตคอล

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

  • การบีบอัด แบตช์ตัวอย่างมี 10,000 transactions อินพุต 1,200 KB บีบเป็น 300 KB อัตราส่วน 1,200 / 300 = 4.0x ลดขนาด 1 - 300 / 1,200 = 75% และค่าเฉลี่ยฐานสิบ 300,000 / 10,000 = 30 bytes/transaction ตัวเลขนี้ไม่วัดความมั่นคงของหลักฐาน การโตของสถานะ หรือคลังข้อมูล
  • การจัดสรรต้นทุน ผู้ใช้จ่าย 3.0 ETH ข้อมูล L1 ราคา 1.4 ETH การตรวจ 0.4 ETH และประมวลผล L2 0.2 ETH ส่วนคงเหลือ 3.0 - 1.4 - 0.4 - 0.2 = 1.0 ETH ค่าเฉลี่ย 3.0 / 10,000 = 0.0003 ETH/transaction ไม่ใช่กำไรสุทธิเพราะยังไม่รวมการพิสูจน์ ฮาร์ดแวร์ ความล้มเหลว บริดจ์ เงินทุน และภาษี
  • วงจรชีวิต ได้ใบรับที่ minute 0 ข้อผูกมัดถึง L1 ที่ minute 12 หลักฐานยอมรับที่ minute 50 ผ่านนโยบาย finality ที่ minute 64 และถอนมาตรฐานที่ minute 70 รวม 12 + 38 + 14 + 6 = 70 minutes ช่วงก่อนหน้าไม่เท่ากับถอนเสร็จ

ความเสี่ยง

  • เชน deployment สัญญา แบตช์ ราก ตัวตรวจสอบ คีย์ หรือวงจรผิด
  • โปรแกรมไม่ครบหรือผิดที่ระบบที่มั่นคงพิสูจน์อย่างซื่อตรง
  • อินพุตสาธารณะ โดเมน ข้อความ หรือพารามิเตอร์ขาดหรือเข้ารหัสผิด
  • ช่องโหว่ตัวตรวจสอบ precompile บริดจ์ messenger หรือสัญญาสถานะ
  • วัสดุตั้งค่าถูกเจาะหรือสมมติฐานการเข้ารหัสล้มเหลว
  • ซีเควนเซอร์เซ็นเซอร์ เรียงใหม่ ให้ข้อมูลขัดกัน หยุด หรือเผยแพร่ช้า
  • ผู้สร้างหลักฐานหยุด รวมศูนย์ เซ็นเซอร์ กำลังไม่พอ หรือคิวเพิ่ม
  • ธุรกรรม ผลต่างสถานะ หรือ blob sidecar หาย ผิดรูป หรือไม่เก็บ
  • เข้าใจข้อผูกมัดหรือลายเซ็นคณะกรรมการว่าเป็นหลักฐานว่าดึงข้อมูลได้ตอนนี้
  • L1 reorg หรือพึ่งพาธุรกรรมชำระที่ยังไม่ปลอดภัยเร็วเกินไป
  • อัปเกรดมีอภิสิทธิ์ timelock สั้น เปลี่ยนตัวตรวจ หยุด หรือทางลัดฉุกเฉิน
  • forced inclusion การกู้คืน หรือทางหนีไม่มี ถูกปิด หรือใช้ไม่ได้
  • บั๊กบริดจ์มาตรฐาน mapping โทเคน replay ข้อความ หรือหลักฐานถอน
  • ความเสี่ยงสภาพคล่อง ราคา เส้นทาง ล้มละลาย และคู่สัญญาของบริดจ์เร็ว
  • ประมาณการที่ไม่รวมข้อมูล L1 หลักฐาน บริดจ์ ความหนาแน่น หรือธุรกรรมล้มเหลว
  • นำ EVM compatibility finality ความเป็นส่วนตัว หรือความปลอดภัยของ rollup หนึ่งไปใช้อีกแห่ง

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

  • ZK rollup ทุกแห่งซ่อนจำนวน ที่อยู่ และกิจกรรมแอป
  • หลักฐานที่ถูกต้องรับประกันข้อมูลและการสร้างสถานะซ้ำ
  • ใบรับซีเควนเซอร์เท่ากับหลักฐานที่ L1 ยอมรับหรือการถอนสิ้นสุด
  • หลักฐานความถูกต้องขจัดความเสี่ยงซีเควนเซอร์ ผู้สร้างหลักฐาน ธรรมาภิบาล อัปเกรด และบริดจ์
  • ระบบพิสูจน์ที่ถูกหรือเร็วที่สุดให้ผลลัพธ์ปลอดภัยที่สุดโดยอัตโนมัติ

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

แหล่งข้อมูล

การนำทาง

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