เปรียบเทียบ Scroll และ Hermez ทำความเข้าใจ zkVM และ zkEVM

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

การรวบรวมต้นฉบับ: Leo, BlockBeats

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

การรวบรวมต้นฉบับ: Leo, BlockBeats

ฉันยังไม่ได้เจาะลึกโซลูชัน zkevm ของ Hermez (และโค้ดของ Hermez บางส่วนยังไม่เป็นโอเพ่นซอร์สอย่างสมบูรณ์) ที่น่าสนใจคือการเปรียบเทียบ Scroll และ zkevm ของ Polygon Hermez เป็นมุมมองที่ดีที่จะช่วยให้คุณเข้าใจ zkVM และ zkEVM ได้ดีขึ้น

โดยพื้นฐานแล้ว โซลูชัน zkEVM ของ Scroll บรรลุความเท่าเทียมกันของ EVM โดย "การนำ EVM ทั้งหมดมาใช้ใหม่" การดำเนินการทั้งหมดของ EVM ถูกกำหนดไว้ในวงจร zkevm (วงจร zk) ซึ่งต้องใช้หลายขั้นตอน (ข้อจำกัด) ในการพิสูจน์

โซลูชัน zkEVM ของ Hermez นั้นแตกต่างออกไป แทนที่จะปรับใช้ EVM ใหม่ พวกเขาใช้ zkVM ที่เฉพาะเจาะจงและแมปการดำเนินการ EVM กับ zkVM ของตนเอง ดังนั้น การพิสูจน์การทำงานของ EVM จึงเทียบเท่ากับการพิสูจน์การทำงานที่สอดคล้องกันใน zkVM ของ Hermez และ zkVM มีอิสระในระดับที่สูงมาก พวกเขาสามารถหลีกเลี่ยงส่วนที่ไม่เป็นมิตรกับ zk ใน EVM ได้

มีหลายวิธีในการระบุว่า Hermez คือ zkEVM หรือ zkVM:

- ต้องติดตั้ง EVM ใหม่ทั้งหมด ไม่พอใจ - Hermez คือ zkVMคลิกเพื่อเรียนรู้

ดังนั้น zkEVM ของ Scroll และ PSE จึงซับซ้อนมาก (และนำส่วน zk-unfriendly ไปใช้ได้อย่างน่าอัศจรรย์) zkEVM ของเรามีโค้ด 34469 บรรทัด แต่ zkEVM ของ Hermez มีโค้ดน้อยกว่า 3,000 บรรทัด

คลิกเพื่อเรียนรู้

การปรับสมดุล Scroll/PSE zkEVM ในขั้นต้นนั้นทำได้ยาก แต่การอัปเดต EVM หลังการประมวลผลนั้นทำได้ง่าย zkEVM ของ Hermez นั้นใช้งานได้ง่ายในขั้นต้น แต่การอัปเดตในภายหลังนั้นทำได้ยาก (อาจต้องออกแบบ zkVM ใหม่) และโซลูชัน PSE นั้นเหมาะสมกับเลเยอร์มากกว่า 1 การอัปเกรดที่ตามมาก็เป็นเรื่องง่ายเช่นกัน และเนื่องจาก Scroll ทำงานโดยตรงกับ PSE (และแม้กระทั่งสนับสนุนใน repo เดียวกัน) การอัปเกรดที่ตามมาเป็น zkEVM ของ Scroll จึงเป็นเรื่องง่ายเช่นกัน

อนาคตที่ควรค่าแก่การรอคอยคือ: เราจะปรับเวลาสร้างการพิสูจน์ให้เหมาะสมเป็น 12 วินาที (เฉพาะเมื่อมีการเสนอสล็อต) ในเวลานี้ zkEVM สามารถใช้งานได้โดยตรงในสภาพแวดล้อมการผลิตของเลเยอร์ 1 และขีดจำกัดของการรันโหนด ก็จะลดลงไปด้วย

หากสามารถใช้ zkEVM ได้โดยตรงสำหรับเลเยอร์ 1 เครือข่ายหลักก็จะมีตัวพิสูจน์ (prover) ของตัวเอง หากพิสูจน์ได้ว่าเวลาในการสร้างสามารถปรับให้เหมาะสมได้ถึง 12 วินาที ผมคิดว่าเครือข่ายตัวพิสูจน์ที่สามารถช่วยเร่งความเร็วได้ (การเร่งฮาร์ดแวร์, การมีส่วนร่วมของชุมชน ฯลฯ .) จะได้รับการพิจารณา.

Scroll จะมีเครือข่าย Prover ของตัวเองในอนาคต และแผนงานมีดังนี้:

- อัพเกรดเทสเน็ตก่อนอัลฟ่า

-Alpha testnet

- เครือข่ายลูกกลิ้งกระจายอำนาจ

- เปิดตัว mainnet

ดังนั้นหากเครือข่าย Roller ของ Scroll ทำงานได้ดี (อาจมีกลไกฉันทามติใหม่) ก็จะส่งผลกระทบโดยตรงต่อ Layer 1 Ethereum mainnet มีแนวโน้มที่จะเรียนรู้จากประสบการณ์ของ Scroll และพยายามใช้วิธีเครือข่ายลูกกลิ้งเพื่อเร่งความเร็วของมันเอง zkEVM (สูงสุด 12 วินาที)

Rollup เป็นพื้นที่ทดสอบนวัตกรรมที่เลเยอร์ 1 ไม่เพียงแต่เกี่ยวข้องกับแอปพลิเคชันใหม่เท่านั้น แต่ยังรวมถึงโครงสร้างพื้นฐานพื้นฐานเหล่านี้ด้วย ขณะนี้มีการใช้งาน zkEVM หลายชุดที่นำโดยทีมการยกเลิกที่แตกต่างกัน ซึ่งเป็นสิ่งที่ดีสำหรับทั้งการยกเลิกและเลเยอร์ 1 ในระยะยาว สำหรับการยกเลิก เราสามารถใช้การใช้งาน zkEVM อื่นๆ เพื่อตรวจสอบว่า zkEVM ของเราพลาดข้อจำกัดหรือมีข้อบกพร่องหรือไม่ เป็นต้น

zkEVM หนึ่งตัวสร้างการพิสูจน์ และ zkEVM อีกตัวตรวจสอบกระบวนการของมัน

อย่างไรก็ตาม ในอนาคตเราจะยังคงเห็นการอภิปรายอย่างแข็งขันเกี่ยวกับ zkEVM จะมีการออกแบบมากขึ้น นวัตกรรมมากขึ้น บั๊กมากขึ้น และในที่สุดการอัปเกรด EVM บนเลเยอร์ 1 -> zkEVM นอกจากนี้ เรายังจะได้เห็นนวัตกรรมแบบสะสมที่เรียนรู้ในเลเยอร์ 1 ซึ่งช่วยให้ Ethereum ดีขึ้น (ไม่ใช่แค่ธุรกรรม Gas ที่ลดลง)

ลิงค์ต้นฉบับ