ข้อพิพาทเกี่ยวกับเส้นทาง ZK/OP ของ RaaS: ทำไม ZK-RaaS ถึงดีกว่า
TL; DR
เมื่อเปรียบเทียบกับ Optimistic Rollups แล้ว ZK-Rollups มีข้อดีดังต่อไปนี้:
ข้อมูลธุรกรรมที่บีบอัดช่วยประหยัดต้นทุนก๊าซ L1
ปลอดภัยและไว้วางใจได้มากขึ้น
การยืนยันธุรกรรมที่รวดเร็วขึ้นและเวลาถอนเงินที่สั้นลง
นอกจากคุณประโยชน์เหล่านี้แล้ว ZK-RaaS ยังมีข้อได้เปรียบในด้านต่างๆ ต่อไปนี้ผ่านเอฟเฟกต์เครือข่าย:
ZK-RaaS ผ่านแล้วZK-PoWมอบพลังการประมวลผลขนาดใหญ่สำหรับ ZK-Rollups ขนาดใหญ่ ซึ่งจะช่วยลดต้นทุนในการคำนวณ ZKP
ด้วยความเร็วการยืนยันธุรกรรมที่เร็วขึ้นของ ZK-Rollup (ระดับนาที) ทำให้ ZK-Rollups สามารถบรรลุเป้าหมายได้การสื่อสารแบบ Cross-Rollup แบบเนทีฟ (NCRC)จึงช่วยแก้ปัญหาสภาพคล่องแตกกระจาย
RaaS คืออะไร?
Rollups-as-a-Service (RaaS)จัดเตรียมเลเยอร์นามธรรมที่อยู่ด้านบนของเฟรมเวิร์ก Rollup และ SDK เพื่อปรับใช้ บำรุงรักษา และสร้างบน Rollups เฉพาะแอปพลิเคชันระดับการผลิตแบบกำหนดเอง (AppRollups) ที่กำหนดเองได้อย่างง่ายดาย RaaS นั้นคล้ายคลึงกับข้อเสนอซอฟต์แวร์ในรูปแบบบริการ ซึ่งช่วยให้นักพัฒนามุ่งเน้นไปที่การสร้างเลเยอร์แอปพลิเคชัน เปลี่ยนกระบวนการที่เคยใช้เวลาหลายสิบชั่วโมงร่วมกับวิศวกรหลายคนให้กลายเป็นกระบวนการปรับใช้ 10 นาทีโดยไม่ต้องใช้โค้ด
Rollups หลักสองประเภทคือOptimistic rollupsและZK-Rollups. พวกเขาแตกต่างกันในการตรวจสอบธุรกรรมและการจัดการข้อพิพาท และมีจุดแข็งและจุดอ่อนที่แตกต่างกัน ตามประเภทของ Rollup ที่มีให้ เอกสารนี้จะแบ่ง RaaS ออกเป็น Op-RaaS และ ZK-RaaS
1. ค่าใช้จ่าย
ต้นทุน L1 Gas ของ ZK-Rollups ต่ำกว่าต้นทุนของ Optimistic Rollups
หนึ่งในเป้าหมายหลักของโซลูชัน Rollup คือการเพิ่มปริมาณธุรกรรมบน Ethereum และลดต้นทุนการใช้น้ำมันสำหรับผู้ใช้ Optimistic Rollups และ ZK-Rollups บรรลุเป้าหมายนี้ด้วยการรวบรวมธุรกรรมเป็นชุดและส่งไปยัง Mainnet เป็นระยะๆ ดังนั้นพวกเขาทั้งหมดจึงต้องรับผิดชอบค่าธรรมเนียมก๊าซสำหรับข้อมูลที่ส่งไปยัง L1
เนื่องจากหลักฐานการฉ้อโกง Optimistic Rollups จึงต้องเผยแพร่ข้อมูลธุรกรรมทั้งหมดแบบออนไลน์ ดังนั้นพวกเขาจึงต้องการ Gas มากขึ้นเพื่อส่งข้อมูลชุดไปยังเชนหลัก
เนื่องจาก ZK-Rollups มีเทคนิคการบีบอัดข้อมูลที่มีประสิทธิภาพ (เช่น การใช้ดัชนีเพื่อแสดงบัญชีผู้ใช้แทนที่อยู่ ซึ่งจะช่วยประหยัดข้อมูลได้ 28 ไบต์) ซึ่งจะช่วยลดต้นทุนในการเผยแพร่ข้อมูลธุรกรรมในห่วงโซ่พื้นฐาน
ดังนั้น ZK-Rollups สามารถประหยัด L1 Gas ได้มากกว่า Optimistic Rollups
ZK-RaaS ลดต้นทุนการประมวลผล ZKP ด้วยการมีส่วนร่วมของนักขุดขนาดใหญ่
อย่างไรก็ตาม ZK-Rollups ต้องการต้นทุนการคำนวณเพิ่มเติมเพื่อสร้างการพิสูจน์ที่ไม่มีความรู้ นี่คือสิ่งที่ ZK-RaaS มุ่งหวังที่จะแก้ไข
ด้วยการใช้งาน ZK-Rollup ในวงกว้าง การสร้าง ZKP ต้องใช้ CPU, GPU, FPGA รวมถึงฮาร์ดแวร์และเครื่องจักรขุดเหมืองอื่นๆ จำนวนมากเพื่อมอบพลังการประมวลผล Opside (https://opsi.de) ก็เสนอเช่นกันZK-PoWมีการแนะนำแนวคิดของนักขุดเพื่อเข้าร่วมในการบำรุงรักษาโหนด zkEVM และการคำนวณ ZKP โปรโตคอล Opside ZK-PoW จะถูกปรับใช้บนหลายเชน รวมถึงแต่ไม่จำกัดเพียง Ethereum, BNB Chain, Polygon PoS และ Opside Chain เอง
เพื่อส่งเสริมให้นักขุดมีส่วนร่วมในงานประมวลผล ZKP มากขึ้นในเวลาเดียวกัน Opside เสนอZKP's Two-Step Submission Algorithm. ส่วนแบ่งรางวัล PoW ที่สอดคล้องกับ ZKP จะถูกแจกจ่ายให้กับผู้ส่ง ZKP ที่ถูกต้อง ซึ่งก็คือนักขุด ตามกฎบางประการ
ส่งการพิสูจน์อักษร: ภายในกรอบเวลาหนึ่ง สำหรับลำดับที่แน่นอน ผู้ขุดหลายคนจะได้รับอนุญาตให้เข้าร่วมในการคำนวณการพิสูจน์ความรู้เป็นศูนย์ หลังจากที่นักขุดแต่ละคนคำนวณการพิสูจน์แล้ว เขาจะไม่ส่งหลักฐานต้นฉบับโดยตรง แต่คำนวณการพิสูจน์อักษร (หลักฐาน/ที่อยู่) และส่งการพิสูจน์อักษรไปยังสัญญา
ส่ง ZKP: หลังจากกรอบเวลา นักขุดจะส่งหลักฐานต้นฉบับและตรวจสอบด้วยการพิสูจน์อักษรที่ส่งมาก่อนหน้านี้ นักขุดที่ผ่านการตรวจสอบจะได้รับรางวัล PoW และจำนวนรางวัลจะถูกแจกจ่ายตามสัดส่วนของจำนวนเงินที่นักขุดได้ให้คำมั่นไว้
ใน Opside อัลกอริธึมการส่งสองขั้นตอนของ ZKP จะใช้การคำนวณแบบขนานและการส่ง ZKP แบบอนุกรม ช่วยให้นักขุดสามารถดำเนินการสร้าง ZKP หลายงานในเวลาเดียวกัน จึงช่วยเร่งประสิทธิภาพของการสร้าง ZKP ได้อย่างมาก
2. การทำธุรกรรมขั้นสุดท้ายและประสิทธิภาพของเงินทุน
Rollups ในแง่ดี: มีระยะเวลาท้าทายสูงสุด 7 วัน และธุรกรรมจะไม่ได้รับการสรุปในห่วงโซ่หลักจนกว่าจะสิ้นสุดระยะเวลาท้าทาย ดังนั้น Rollups ในแง่ดีจึงมีเวลาแฝงสูงสำหรับการทำธุรกรรมขั้นสุดท้าย
ZK-Rollups: ข้อดีของ ZK-Rollups ก็คือความล่าช้าในการสรุปธุรกรรมต่ำ ซึ่งปกติแล้วจะใช้เวลาประมาณสิบนาทีหรือหลายนาที เมื่อตัวดำเนินการโหนดตรวจสอบการพิสูจน์ความถูกต้องแล้ว จะส่งผลให้เกิดการอัพเดตสถานะ
เนื่องจาก Optimistic Rollups มีช่วงเวลาท้าทาย ผู้ใช้จึงไม่สามารถถอนเงินก่อนหมดอายุได้ ทำให้เกิดความไม่สะดวก ZK-Rollups ไม่มีช่วงเวลาท้าทาย และผู้ใช้มีประสิทธิภาพด้านเงินทุน/สภาพคล่องที่ดีขึ้น และสามารถถอนเงินได้ตลอดเวลา
3. ความคล่องตัวที่ใช้ร่วมกัน
เป็นที่น่าสังเกตว่าเนื่องจากธุรกรรม ZK-Rollups สามารถยืนยันได้อย่างรวดเร็ว จึงเป็นไปได้ที่จะบรรลุการสื่อสารที่ไม่น่าเชื่อถือระหว่าง ZK-Rollups ซึ่งช่วยให้ Rollups ทั้งหมดแบ่งปันสภาพคล่องของสินทรัพย์ได้และเนื่องจากการพิสูจน์การฉ้อโกงและระยะเวลาท้าทาย 7 วัน การสื่อสารแบบเนทีฟที่ไม่น่าเชื่อถือระหว่าง Optimistic Rollups จึงไม่สมจริง
แพลตฟอร์ม ZK-RaaS ของ Opsideโปรโตคอล NCRC (Native Cross Rollup Communication)มอบโซลูชันการทำงานร่วมกันแบบ Rollup ที่น่าเชื่อถือ โปรโตคอล NCRC ไม่ได้เพิ่มบริดจ์ของบุคคลที่สามเพิ่มเติมให้กับแต่ละ Rollup แต่จะแปลงบริดจ์ (เนทิฟบริดจ์) ที่มาพร้อมกับ ZK-Rollup ในระดับระบบ เพื่อใช้บริดจ์เนทิฟของ ZK-Rollup แต่ละตัวโดยตรงเพื่อให้บรรลุผล การสื่อสารแบบ Cross-Rollup แนวทางนี้กระชับและละเอียดยิ่งขึ้น ไม่เพียงแต่สืบทอดการรักษาความปลอดภัยแบบสัมบูรณ์ของเนทีฟบริดจ์เท่านั้น แต่ยังหลีกเลี่ยงความซับซ้อนของระบบและต้นทุนการเชื่อถือที่เกิดจากบริดจ์ของบุคคลที่สามอีกด้วย
NCRC เปิดตัวบนเครือข่ายทดสอบแล้ว และผู้ใช้สามารถสัมผัสได้โดยตรง https://pre-alpha-assetshub.opside.network/.
4. ความปลอดภัย
Rollups ในแง่ดี: การพิสูจน์การฉ้อโกงช่วยให้มั่นใจในความถูกต้องของธุรกรรมโดยให้ผู้ตรวจสอบที่ซื่อสัตย์รักษาความปลอดภัยเครือข่ายบล็อกเชน หากไม่มีโหนดที่ซื่อสัตย์เพื่อท้าทายธุรกรรมที่ไม่ถูกต้อง ผู้ไม่ประสงค์ดีสามารถขโมยเงินได้ และการรวมกลุ่มในแง่ดีเหล่านี้จะไม่ปลอดภัย
ZK-Rollups: แทนที่จะพึ่งพาผู้ตรวจสอบความถูกต้องที่ซื่อสัตย์ ZK-Rollups ใช้การพิสูจน์ที่ไม่มีความรู้เพื่อตรวจสอบธุรกรรม ข้อดีคือ ZKP ให้การรับประกันความปลอดภัยผ่านการพิสูจน์ทางคณิตศาสตร์มากกว่าการมีส่วนร่วมของมนุษย์ ดังนั้น ZK-Rollups จึงไม่น่าเชื่อถือ
แม้ว่าการพิสูจน์การฉ้อโกงของ Rollups ในแง่ดีจะเป็นไปได้ในทางทฤษฎี แต่ก็มี Rollups จำนวนหนึ่งที่ดำเนินการอยู่แล้ว อย่างไรก็ตาม เมื่อเวลาผ่านไปและจำนวน Optimistic Rollups เพิ่มขึ้น ความเสี่ยงของโมเดลการรักษาความปลอดภัยนี้จะค่อยๆ ถูกเปิดเผย กลายเป็นแรดสีเทา หรือแม้แต่หงส์ดำ เนื่องจากการเรียกใช้เครื่องมือตรวจสอบความถูกต้องที่ซื่อสัตย์ต้องเสียเงินและโดยส่วนใหญ่แล้วจะไม่ได้รับผลกำไร เมื่อ Op-RaaS สร้าง Optimistic Rollups จำนวนมากยกเว้นการสรุปข้อมูลหลักบางส่วน เป็นการยากที่จะรับประกันว่าการสรุปข้อมูลทุกครั้งมีโหนดที่ตรงไปตรงมา โดยเฉพาะการสรุปข้อมูลที่ไม่เกี่ยวข้อง
ความปลอดภัยของ ZK-Rollups นั้นไม่น่าเชื่อถือ เนื่องจากไม่ได้พึ่งพาผู้ใช้หรือผู้ตรวจสอบเพื่อท้าทายธุรกรรมที่ฉ้อโกง แต่ให้การรับประกันความปลอดภัยผ่านการพิสูจน์ทางคณิตศาสตร์
สรุป
ไม่ว่าจะเป็น ZK-RaaS หรือ Op-RaaS นักพัฒนาก็สามารถมีห่วงโซ่แอปพลิเคชัน Rollup ของตนเองได้โดยไม่ต้องจัดการซอฟต์แวร์และฮาร์ดแวร์ที่ซับซ้อน
แพลตฟอร์ม ZK-RaaS นำเสนอโดย Opside (https://opsi.de) ได้เปิดตัวโปรโตคอล ZK-PoW และ NCRC ทำให้ข้อดีของ ZK-Rollups ชัดเจนยิ่งขึ้น
