ผู้เขียนต้นฉบับ: Delphi Digital

ต้นฉบับเรียบเรียง: ลูฟี่, Foresight News

โดยทั่วไปเชื่อกันว่าทฤษฎีโมดูลาร์ประกอบด้วยสี่ชั้น: DA (ความพร้อมของข้อมูล) ฉันทามติ การดำเนินการ และการตั้งถิ่นฐาน อย่างไรก็ตาม เลเยอร์ใหม่ซึ่งเป็นเครื่องพิสูจน์ที่ใช้ร่วมกันอาจถูกรวมเข้ากับทฤษฎีโมดูลาร์

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

ต่อไปนี้เป็นบทสรุปประเด็นสำคัญของรายงาน👇

บทวิจารณ์โดยย่อของ zk Rollup

โซลูชัน zk Rollup ปรับขนาดธุรกรรมของ Ethereum ย้ายธุรกรรมนอกเครือข่ายเพื่อการประมวลผลที่เร็วขึ้น ขณะเดียวกันก็เปิดใช้งานขั้นสุดท้ายแบบแข็งบน Ethereum และการตรวจสอบผ่านการพิสูจน์ zk (การพิสูจน์ความรู้เป็นศูนย์)

หลักฐาน zk: ตรวจสอบเร็ว สร้างช้า

แม้ว่าจะมีประสิทธิภาพในแง่ของความเป็นส่วนตัวและการปรับขนาด การพิสูจน์ของ zk อาจมีราคาแพงและช้าในการสร้างบน Ethereum

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

ห่วงโซ่อุปทานของผู้รับรอง

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

ปัจจุบัน Rollup เผชิญกับความท้าทายจากการส่งหลักฐานที่ไม่มีความรู้ซึ่งมีราคาแพงและแยกต่างหาก

Prover Network มอบโซลูชัน: ตลาดรวมที่แอปพลิเคชัน ZooKeeper ต่างๆ สามารถจ้างภายนอกในการสร้างหลักฐานให้กับผู้ให้บริการพิสูจน์อักษรเฉพาะทาง ซึ่งจะเป็นการเพิ่มต้นทุนและประสิทธิภาพ

ผู้รับรองที่ใช้ร่วมกันสามารถปรับปรุงสถานการณ์สำหรับแอปพลิเคชันที่ต้องการการสนับสนุนการรับรอง zk ได้อย่างมาก แต่ไม่มีทรัพยากร zkVM ภายในหรือการพัฒนาวงจร

ปัจจุบัน Rollup ส่งหลักฐาน zk แยกต่างหาก ส่งผลให้ต้นทุนการใช้น้ำมันสูงในช่วงชั่วโมงเร่งด่วน

ขณะนี้เครือข่ายผู้พิสูจน์มีเป้าหมายที่จะจ้างภายนอกในการสร้างการพิสูจน์ให้กับผู้ให้บริการฮาร์ดแวร์เฉพาะทางเพื่อเพิ่มประสิทธิภาพ

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

• Rollup ส่งคำขอการรับรอง

• กลไกการจับคู่จะเลือกผู้พิสูจน์

• ผู้พิสูจน์ตนตอบสนองคำขอ

• นำหลักฐานมารวมกัน

• ผู้พิสูจน์จะส่งหลักฐานขั้นสุดท้ายไปยัง L1 เพื่อตรวจสอบความถูกต้อง

ต้นทุนการตรวจสอบตัดจำหน่าย

Proof Singularity หมายถึงเทคโนโลยีต่างๆ ที่ออกแบบมาเพื่อลดต้นทุนของการพิสูจน์ยืนยันแบบออนไลน์

การรวมหลักฐานเป็นหนึ่งในเทคนิคเหล่านี้ ซึ่งจะบีบอัดการพิสูจน์ที่ถูกต้องหลายรายการให้เป็นหลักฐานเดียวที่ยืนยันได้ทั้งหมด

"การตรวจสอบความถูกต้องเป็นชุด" นี้สามารถลดต้นทุนการใช้น้ำมันได้ เมื่อเทียบกับการตรวจสอบแต่ละหลักฐานแยกกัน

ต้นทุนตัวพิสูจน์แอป zk

ค่าใช้จ่ายในการตรวจสอบที่สูงและเวลาพิสูจน์ของแอปพลิเคชัน zk จะถูกส่งต่อไปยังผู้ใช้ในที่สุด

ในช่วงไม่กี่ปีที่ผ่านมา แอปพลิเคชัน zk (ส่วนใหญ่เป็น Rollup) ได้ใช้เงินเกือบ 30 ล้านเหรียญสหรัฐในการตรวจสอบและเผยแพร่ข้อพิสูจน์ในเครือข่าย

ภาพรวมโปรโตคอลการรวมหลักฐาน

เนบรา ยูพีเอ

Nebra UPA ช่วยให้แอปพลิเคชัน zk รวมการพิสูจน์จำนวนมากเพื่อลดต้นทุนการตรวจสอบ และอ้างว่ารองรับประมาณ 10 การพิสูจน์/วินาทีบนเครือข่ายทดสอบ ปัจจุบันเครื่องพิสูจน์ของพวกเขาเป็นแบบรวมศูนย์ แต่มีแผนที่จะเปิดใช้การพิสูจน์โดยไม่ได้รับอนุญาตในอนาคต

พวกมันมีกลไกบังคับรวมคล้ายกับพ็อด L2 ที่มีอยู่ ถ้าผู้พิสูจน์เซ็นเซอร์หรือทำให้การพิสูจน์ล่าช้า แอปพลิเคชัน zk สามารถข้ามผู้พิสูจน์และบังคับใช้การชำระการพิสูจน์บน L1

เลเยอร์ที่ชิดกัน

Aligned Layer เป็นเลเยอร์การตรวจสอบ zk สากลของ Ethereum ที่ได้รับการคุ้มครองโดย EigenLayer AVS Restakers มอบข้อสรุปที่นุ่มนวลแก่ผู้ใช้ผ่านการรวบรวมการพิสูจน์และการคอมมิต Ethereum เพียงครั้งเดียว DA เริ่มต้นคือ EigenDA แต่สามารถเลือกเลเยอร์ DA อื่นๆ ได้ เช่น Celestia หรือ Avail

AggLayer

AggLayer ของ Polygon เป็นโครงสร้างพื้นฐานที่เป็นกลางสำหรับการโต้ตอบข้ามสายโซ่ที่ปลอดภัย โดยมีจุดมุ่งหมายเพื่อรวมเครือข่ายบล็อกเชนที่เป็นอิสระภายใต้สะพานข้ามสายโซ่ ส่งเสริมการทำงานร่วมกันโดยไม่กระทบต่ออธิปไตยของบล็อกเชน

ระบบได้รับการออกแบบมาเพื่อรวมการพิสูจน์ใน Rollups ที่เชื่อมต่อทั้งหมด จากนั้นจึงส่งการพิสูจน์ที่ไม่ซ้ำกันซึ่งมีแผนผัง Merkle ของการพิสูจน์แต่ละรายการที่ส่งมา

• ไม่จำเป็นต้องมีเครื่องเสมือนหรือสภาพแวดล้อมการดำเนินการเฉพาะ

• บล็อคเชนมีอิสระในการเลือกโทเค็นแก๊สของตนเอง

• ไม่จำเป็นต้องอยู่ภายใต้การปกครองร่วมกัน

ภายใต้ฝากระโปรง โครงสร้างพื้นฐานที่รวบรวมทั้งหมดไว้ด้วยกันคือสะพานข้ามสายโซ่ LxLy ซึ่งเป็นมาตรฐานของโปรโตคอลการส่งข้อความข้ามสายโซ่ทั่วไปสำหรับ Rollups เพื่อสื่อสารระหว่างกันและกับ Ethereum ในขณะที่ยังคงรักษาอำนาจอธิปไตย

คำอธิบายสั้น ๆ เกี่ยวกับวิธีการทำงานของ LxLy 👇

• แต่ละลูกโซ่จะติดตามการถอนเงินในแผนผัง Merkle (แผนผังทางออก)

• แผนผังทางออกทั้งหมดจะรวมกันเป็นแผนผังทางออกส่วนกลาง และใช้ร่วมกันข้ามเครือข่าย

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

นอกจากนี้ Agglayer ยังมีสะพานข้ามสายโซ่ที่ใช้ร่วมกันระหว่าง Rollups ที่เชื่อมต่อ ซึ่งช่วยให้การไหลของสินทรัพย์ระหว่าง L1 และ L2 ง่ายขึ้น สินทรัพย์ค้ำประกันในสัญญา L1 และไม่จำเป็นต้องห่อหรือล็อค/ทำเหรียญ

เดิมที เฟรมเวิร์กอาศัยผู้รับรองภายในเพียงรายเดียว ซึ่งเสี่ยงต่อการเซ็นเซอร์และปัญหาความมีชีวิตชีวา เครือข่ายผู้พิสูจน์อาจเริ่มต้นจากการรวมศูนย์และค่อยๆ กระจายอำนาจเมื่อเวลาผ่านไป

การกระจายอำนาจของตลาดผู้พิสูจน์ยังคงเป็นคำถามเปิด แต่มีการสำรวจแนวทางบางประการ:

• การประกวดพิสูจน์อักษร: ผู้พิสูจน์อักษรที่เร็วที่สุดจะชนะ เพิ่มประสิทธิภาพแต่เปลืองการคำนวณ (ต้นทุนส่งต่อไปยังผู้ใช้)

• Proof Mining: เช่นเดียวกับการขุด PoW มีการใช้ตัวเลขสุ่มเพื่อป้องกันไม่ให้ผู้ชนะได้รับทั้งหมด (ยังคงมีการสูญเสียจากการคำนวณอยู่) การเร่งด้วยฮาร์ดแวร์ใน SNARK ASIC สัญญาว่าจะลดต้นทุน