Breaking Layer 2: บริการทางเทคนิคต้นน้ำของ ZK ปล่อยโมเมนตัมของตลาดใหม่อย่างไร
ผู้เขียนต้นฉบับ: Haotian
หลายๆ คนคิดว่า ZK-Rollup คือจุดจบของ Ethereum เลเยอร์ 2 อย่างไรก็ตาม เมื่อการวิจัยลึกซึ้งยิ่งขึ้น ฉันพบว่าจุดจบไม่ใช่รูปแบบ ZK-Rollup แต่เป็นเทคโนโลยี ZK นั่นเอง เพราะตามทฤษฎีแล้ว OP-Rollup ยังสามารถใช้เทคโนโลยี ZK เพื่อลดระยะเวลาการท้าทาย 7 วันให้สั้นลง และแม้กระทั่งลบข้อบกพร่องด้านการกำกับดูแลหลายลายเซ็นของ MPC จะเข้าใจได้อย่างไร? บทความนี้จะใช้ @Metis L2 และโครงการหลักทางเทคนิคที่อยู่เบื้องหลัง @ProjectZKM เป็นตัวอย่างเพื่อหารือเกี่ยวกับ:
ในบทความก่อนหน้านี้ ฉันยังอธิบายด้วยว่า "เทคโนโลยี ZK" มีศักยภาพที่จำกัดในการขยายเลเยอร์ 2 เท่านั้น และยังมีพื้นที่อีกมากสำหรับการทำงานร่วมกันแบบไร้ความไว้วางใจตลอดทั้งห่วงโซ่ เมื่อนำไปใช้อย่างเป็นรูปธรรมในสถานการณ์การใช้งานเลเยอร์ 2 สามารถสร้างผลกระทบหลักสองประการได้โดยตรง:
1) กองทุนข้ามสายโซ่ของเลเยอร์ 2 และเลเยอร์ 1 สามารถส่งมอบได้โดยตรงด้วยความมั่นใจโดยอิงจากเทคโนโลยีพื้นฐานของ ZK สำหรับสินทรัพย์ที่ปลอดภัย การใช้เทคโนโลยี ZK ทำให้ OP-Rollup สามารถลดระยะเวลาการรอ 7 วันที่จำเป็นสำหรับการถอนเงินลงได้อย่างมาก
2) ระบบการตรวจสอบ Prover ของเลเยอร์ 2 และสัญญาการตรวจสอบ Rollup ของเลเยอร์ 1 สามารถรับรู้ถึงการสร้างสภาพแวดล้อมที่เชื่อถือได้ทั่วทั้งห่วงโซ่หลัก ตามทฤษฎีแล้ว ไม่จำเป็นต้องใช้ลายเซ็นหลายลายเซ็นของ MPC แบบรวมศูนย์หรือกึ่งรวมศูนย์อีกต่อไป ซึ่งได้รับการวิพากษ์วิจารณ์ว่าเป็นโหมด "ควบคุมโดยมนุษย์" เพื่อความปลอดภัย
ในความเป็นจริง @Metis L2 ซึ่งเป็นเครือข่ายเลเยอร์ 2 ที่ใช้เฟรมเวิร์กเทคโนโลยี OP-Rollup ได้ประสบความสำเร็จในการเปลี่ยนกระบวนทัศน์ของสถาปัตยกรรมพื้นฐานเลเยอร์ 2 ในสองมิติข้างต้นผ่านเทคโนโลยีพื้นฐานของ ZK:
ในด้านหนึ่ง เฟรมเวิร์ก Rollup แบบไฮบริดของ OP-Rollup+ZK-Rollup ปรับประสบการณ์ผู้ใช้ในการถอนเหรียญให้เหมาะสมและต้องใช้เวลารอ 7 วัน ซึ่งจะทำให้สภาพคล่องเร็วขึ้น
ในทางกลับกัน เมื่อใช้ Metis เลเยอร์ 2 เป็นเป้าหมายการทดลอง เราจะค่อยๆ นำเฟรมเวิร์ก "ไร้ความน่าเชื่อถือ" ของ @ProjectZKM ไปใช้งานบนการทำงานร่วมกันของวิชาแบบข้ามสายโซ่ โดยใช้ ZK เป็นโครงสร้างพื้นฐานเพื่อสร้างตัวประมวลผลร่วมแบบกระจายอำนาจในเรื่องที่เชื่อถือได้ เพื่อสร้างหลักฐาน ตรวจสอบหลักฐาน และจัดการกลไกการสื่อสารและความน่าเชื่อถือระหว่างโหนดบล็อกเชนแบบข้ามสายโซ่ ทำอย่างไรโดยเฉพาะ?
การยกเลิกแบบไฮบริด
ภายใต้สถานการณ์ปกติ เลเยอร์ 2 อาจเป็นโครงสร้าง Rollup ของ OP-Rollup ที่อิงตามการพิสูจน์ระยะเวลาความท้าทาย 7 วันในแง่ดี หรือโครงสร้างการพิสูจน์ Finality แบบบล็อกเดียวของ ZK-Rollup ที่ใช้ ZK-SNARK
ความเร็วของธุรกรรมแบบแบตช์เดิมนั้นรวดเร็วและค่าธรรมเนียมการจัดการต่ำ ข้อเสียคือเมื่อผู้ใช้ถอนเงินจากเลเยอร์ 2 ไปยังเลเยอร์ 1 พวกเขาต้องรอระยะเวลารอคอย 7 วัน เนื่องจากตามสาระสำคัญของแบทช์ในแง่ดีของ OP-Rollup จะไม่อนุญาตให้ถอนเงินเกิน 7 วันเท่านั้น หลังจากถูกท้าทายให้ย้อนรอย ในทางทฤษฎีแล้วการถอนเงินนี้สามารถเรียกได้ว่าปลอดภัย
โครงสร้างการส่ง Proofs ของ ZK-SNARK ในระยะหลังสามารถรับรู้การยืนยันความปลอดภัยของสินทรัพย์ Finality ได้ในบล็อกเดียว ข้อเสียคือ นอกเหนือจากต้นทุน DA ของธุรกรรมแบบแบตช์แล้ว ระบบ Prover เพิ่มเติมจะถูกเพิ่มเพื่อคำนวณต้นทุนการตรวจสอบ และ ระบบนิเวศ 2 ชั้น เกณฑ์เริ่มต้นสำหรับการสร้างทีมนักพัฒนาค่อนข้างสูงและการพัฒนาระบบนิเวศช้า
แล้วเราจะใช้ความง่ายในการใช้งานสถาปัตยกรรม OP-Rollup โดยรวมพร้อมทั้งหลีกเลี่ยงข้อจำกัดของระยะเวลาท้าทาย 7 วัน (การล็อคสภาพคล่อง) ได้อย่างไร คำตอบคือ: ประมวลผลธุรกรรมจากเลเยอร์ 2 แบทช์กลับไปยังเครือข่ายหลักเป็น "ช่องทาง" ธุรกรรมทั่วไปจะผ่านช่องทาง OP-Rolluo ในขณะที่ธุรกรรมการถอนพิเศษจะผ่านช่องทาง ZK-Rollup ตั้งแต่นั้นมา ทั้ง OP และ ZK ได้รับการยอมรับจากผู้อำนวยการแล้ว
Metis ได้นำโซลูชัน Rollup แบบไฮบริดมาใช้งานในการดำเนินงานปกติของเครือข่ายของบริษัทเอง และสิ่งที่ทำให้มีความสามารถในการ Rollup แบบไฮบริดนี้ก็คือเทคโนโลยี ZK แบบฮาร์ดคอร์ "ใหม่" ที่เป็นรากฐานของโครงการ @ProjectZKM ที่ได้รับการบ่มเพาะและสร้างสรรค์โดยทีมงานด้านเทคนิคของ Metis ทีมคือ ในระหว่างการทำงานของเลเยอร์ 2 ปัญหาปกติบางอย่างถูกค้นพบ นอกเหนือจากการเป็นผู้นำในการเอาชนะปัญหา Sequencer แบบกระจายอำนาจแล้ว เรายังมุ่งเป้าที่จะใช้ ZKM เพื่อแก้ไขปัญหาต่างๆ เช่น "MPC แบบกึ่งรวมศูนย์" และ “สภาพคล่องที่ถูกล็อค” ที่มีอยู่ในกระบวนการพัฒนาของชั้นที่ 2 คำถาม;
เมื่อมองแวบแรก คุณอาจคิดว่ามันเป็นนามธรรมมาก เหตุผลที่อธิบายไว้ในบทความก่อนหน้าของฉันเกี่ยวกับเทคโนโลยี ZK ยังอยู่ในต้นน้ำของห่วงโซ่อุปทานบริการด้านเทคนิคของเลเยอร์ 2 แม้ว่าจะเป็นแบบฮาร์ดคอร์ก็ตาม ยังไม่มี มีการใช้กันอย่างแพร่หลายจึงยังฟังดูไม่คุ้นเคย ZKM เช่นเดียวกับ RISC Zero มีเป้าหมายที่จะให้บริการรวมการรักษาความปลอดภัยต้นน้ำเพิ่มเติมสำหรับโครงการเลเยอร์ 2 โดยอิงตามกรอบเทคโนโลยีพื้นฐานของ ZK
ปัจจุบัน ZKM ให้บริการไปป์ไลน์ ZK-Rollup สำหรับ Rollup แบบไฮบริดที่ต้องการโดยเลเยอร์ 2 นอกจากนี้ยังมีโปรโตคอล Entangled Rollup ที่ด้านล่างเพื่อให้บริการการจัดการสภาพคล่องแบบครบวงจรสำหรับสภาพคล่องแบบครบวงจร
ในความเป็นจริง ผู้ให้บริการเทคโนโลยีอัพสตรีมของ ZK เช่น @ProjectZKM, @RiscZero และ @SuccinctLabs กำลังส่งเสริมความนิยมของโซลูชันทางเทคนิคที่คล้ายคลึงกัน ดังนั้นจึงช่วยให้ OP-Rollup และ ZK-Rollup ลดความแตกต่างได้มากขึ้น ในขณะที่ลดจำนวนการไม่มีการต่อสู้ - ความท้าทายที่ผ่านการทดสอบแล้ว ความท้าทาย 7 วันกำลังรอคอยสภาพคล่อง จากสถิติที่ไม่สมบูรณ์ Metis, Fraxchain, Aztec, Ola และอื่นๆ ต่างกำลังสำรวจการใช้งานโซลูชัน Rollup แบบไฮบริดประเภทนี้
ขึ้นอยู่กับกลไกการเชื่อถือสะพานข้ามโซ่ที่ปราศจาก ZK
ปัจจุบันเลเยอร์ 2 ส่วนใหญ่ถูกวิพากษ์วิจารณ์ถึงปัญหาที่สัญญา mainnet Rollup มีสัญญาพร็อกซีอัปเดตถูกควบคุมโดยคณะกรรมการกำกับดูแลความปลอดภัย MPC แบบกึ่งรวมศูนย์ ส่งผลให้การรักษาความปลอดภัยเลเยอร์ 2 ส่วนใหญ่ยังคงอยู่ที่สิ่งที่ Vitalik เรียกว่าขั้น 0
ผู้ให้บริการเทคโนโลยีอัปสตรีม ZK เช่น ZKM และ RISC Zero ในทางทฤษฎีสามารถเปิดใช้งานการสร้างสภาพแวดล้อมที่เชื่อถือได้แบบกระจายอำนาจ โดยไม่ต้องใช้สะพานข้ามสายโซ่หลายลายเซ็นของ MPC ระหว่างทุกสายโซ่ที่มีฟังก์ชันสัญญาอัจฉริยะ
หลักการนั้นง่ายมาก ZK-SNARK อนุญาตให้โหนดของทั้งสองเชนคงความเห็นพ้องต้องกันเพื่อสร้างการสื่อสารโดยตรง หลังจากได้รับธุรกรรมการส่งและใบรับรอง ZKP จากโหนดเชน B แล้ว โหนดของเชน A จะสามารถตรวจสอบความถูกต้องของ ใบรับรอง ZKP จากนั้นยอมรับโหนดลูกโซ่ B หลักฐานที่ส่งโดยลูกโซ่นั้นถูกต้อง กระบวนการทั้งหมดถูกนำไปใช้อย่างสมบูรณ์โดยอัลกอริธึมการพิสูจน์ความรู้เป็นศูนย์ และไม่จำเป็นต้องมีบุคคลภายนอกมาควบคุม
สำหรับตัวประมวลผลร่วมที่กำหนดเวลาการสื่อสารระหว่างโหนดนั้น สามารถนำไปใช้ได้โดยใช้สถาปัตยกรรมโอเพ่นซอร์สที่มีการกระจายอำนาจ ดังนั้นจึงตระหนักถึงปัญหา "การรวมศูนย์" ที่มีอยู่ในเครือข่ายข้ามสายโซ่ของ Rollup ได้อย่างสมบูรณ์
เนื่องจาก Ethereum มีความสมบูรณ์ของสัญญาอัจฉริยะ ตามทฤษฎีแล้ว เลเยอร์ 2 ของ Ethereum จึงมีเงื่อนไขพื้นฐานสำหรับ cross-chain ที่ใช้เทคโนโลยี ZK ตามหลักการแล้ว เลเยอร์ 2 จะใช้เฟรมเวิร์กเทคโนโลยี ZK เดียวกันเพื่อปรับใช้โซลูชันข้ามเชน และเชนเลเยอร์ 1 อื่นๆ และแม้แต่เชนเลเยอร์ 3 ก็จะถูกรวมเข้ากับสถาปัตยกรรมการสื่อสารเครือข่ายนี้ ในอนาคต เชนสาธารณะของ Ethereum จะกลายเป็นเครือข่ายที่ครอบคลุม มีชั้นการตั้งถิ่นฐานสากลในสภาพแวดล้อมแบบลูกโซ่หรือไม่?
เหตุผลที่ฝ่ายโครงการเลเยอร์ 2 ส่วนใหญ่ไม่เต็มใจที่จะละทิ้งการจัดการเรื่องลายเซ็นหลายลายเซ็นของ MPC นั้นส่วนใหญ่จำเป็นสำหรับการป้องกันและควบคุมความปลอดภัย ในความคิดของฉัน เหตุผลพื้นฐานคือเพราะ: Sequencer แบบกระจายอำนาจและ Prover แบบกระจายอำนาจที่ทั้งเลเยอร์ 2 ระดับ และความนิยมของบริการส่วนประกอบพื้นฐาน เช่น zkBridge แบบกระจายอำนาจไม่ได้อยู่ในสถานที่ ในกรณีนี้ การรักษาคณะกรรมการกำกับดูแลความปลอดภัยแบบรวมศูนย์หรือกึ่งรวมศูนย์ได้กลายเป็นวิธีการกำกับดูแลที่ปลอดภัยยิ่งขึ้น
อย่างไรก็ตาม ในระยะยาว เมื่อเลเยอร์ 2 ได้รับความนิยมมากขึ้นในส่วนประกอบที่มีการกระจายอำนาจ วิธีการจัดการความปลอดภัยของเลเยอร์ 2 จะถูกวิพากษ์วิจารณ์อย่างแน่นอน และโซลูชันการชำระเงินแบบข้ามสายโซ่ที่อิงชั้นล่างสุดของ ZK จะกลายเป็นสิ่งจำเป็น สามารถจินตนาการถึงศักยภาพในการพัฒนาเส้นทางโครงสร้างพื้นฐานเทคโนโลยี ZK ในภายหลังได้
ข้างบน
ไม่ใช่เรื่องเกินจริงที่จะกล่าวว่า Ethereum เลเยอร์ 2 ในปัจจุบันตกอยู่ในภาวะที่กลืนไม่เข้าคายไม่ออกของการพัฒนา: ไม่ว่าจะสามารถพึ่งพาระบบนิเวศของแอปพลิเคชันของเลเยอร์ 2 หรือเลเยอร์ 3 เพื่อสร้างโครงการมหัศจรรย์เพื่อเพิ่มความเชื่อมั่นของตลาดของทุกคนในเลเยอร์ 2 หรือสามารถทำได้ พึ่งพาการพัฒนาเพิ่มเติมเท่านั้น ปรับปรุงการกระจายอำนาจขององค์ประกอบหลัก เช่น Sequencer, Prover และ zkBridge เพื่อยกระดับการเล่าเรื่องทางเทคนิคต่อไป อย่างหลังจะต้องใช้ชุดเฟรมเวิร์กพื้นฐานที่ใช้เทคโนโลยี ZK เพื่อเชื่อมต่ออย่างแน่นอน หากไม่มีความแตกต่างอย่างเป็นทางการระหว่าง OP-Rollup และ ZK-Rollup คุณลักษณะการสิ้นสุดเกมของ ZK ก็จะเกิดขึ้นอย่างแท้จริง
การพัฒนาตามเส้นทางนี้เท่านั้นที่จะไม่ปลอมแปลงทิศทางการพัฒนาของเลเยอร์ 2 และด้วยเหตุนี้ เราจึงสามารถขยายการพัฒนาการเร่งความเร็วของอุปกรณ์ฮาร์ดแวร์ ZK ได้ เช่น พีซี ZK+DePIN อุปกรณ์เคลื่อนที่ IOT และอุปกรณ์ฮาร์ดแวร์อื่นๆ - การป้องกันข้อมูลการประมวลผลบนคลาวด์ที่พิสูจน์ได้ การสร้างระบบ Prover แบบกระจายอำนาจของ ZK และการเพิ่มประสิทธิภาพทรัพยากรการประมวลผลและทิศทางการเล่าเรื่องอื่น ๆ อีกมากมาย
ในความเป็นจริง มีโครงการที่คล้ายกันมากมายที่จุดตัดของ AI, ZK และ DePIN ที่กำลังได้รับความนิยมในแต่ละวัน
เช่นเดียวกับแนวคิดการพัฒนาของ Metis ในเลเยอร์ 2 และความตั้งใจดั้งเดิมของโครงการ ZKM แบบฮาร์ดคอร์ ซึ่งก็คือการทำให้เทคโนโลยี ZK เป็นสากลมากขึ้น และนำไปใช้กับทุกแง่มุมของการสร้างตลาดเลเยอร์ 2 ทั่วโลก นอกจากนี้ การลงทุนส่วนตัวของฉัน การวิจัยยังได้สังเกตเห็นบางโครงการ เช่น @cysic_xyz ซึ่งยังคงทำงานเกี่ยวกับฮาร์ดแวร์ ZK และการเร่งความเร็วชิป และ @ola_zkzkvm ซึ่งค่อยๆ นำระบบคอมพิวเตอร์กระจายอำนาจ ZK Prover ไปใช้งาน เป็นต้น
กล่าวโดยย่อ ฉันต้องการย้ำมุมมองของฉัน การประยุกต์ใช้เทคโนโลยี ZK ในปัจจุบันในฟิลด์เลเยอร์ 2 เป็นเพียงส่วนเล็ก ๆ เท่านั้น เมื่อเทคโนโลยี ZK ได้รับความนิยมมากขึ้นในการวางซ้อนแบบไฮบริด สะพานข้ามโซ่ ZK และฮาร์ดแวร์ ZK การเร่งความเร็วและสาขาอื่น ๆ ฉันเชื่อว่ามันจะนำผลประโยชน์มาสู่เลเยอร์ 2 ตลาดนำพลังใหม่มาด้วย
ท้ายที่สุดแล้ว ตลาดเลเยอร์ 2 ทั้งหมดจะใช้เวลานานในการยอมรับกระบวนทัศน์การอัปเกรดฐาน ZK นี้
