การเผชิญหน้าและการถกเถียงระหว่าง ZKR และ OR: EVM เทียบเท่าคือขีดจำกัดล่าง ไม่ใช่ขีดจำกัดบนใช่ห

ผู้เขียนต้นฉบับ: Nian Qing, ChainCatcher

ผู้เขียนต้นฉบับ: Nian Qing, ChainCatcher

ตั้งแต่ช่วงครึ่งหลังของปีที่แล้ว โครงการขยาย zk-Rollup ได้เริ่มมุ่งมั่นและติดตามความคืบหน้าเรื่อย ๆ โครงการและโครงการที่เกี่ยวข้องก็เริ่มปรากฏขึ้นและพวกเขายังได้รับเงินทุนและความสนใจมากขึ้นด้วย เมื่อทุกคนยกย่องว่า zk มีอนาคตที่สดใส Optimistic Rollup ในฐานะคู่แข่งจึงไม่สามารถอยู่เฉยได้ ดังนั้น ZKR (zk-Rollup) และ OR (Optimistic Rollup) จึงเริ่ม (ในแง่ของความคิดเห็นสาธารณะ) เมื่อต้นปี 2023 หัวหน้าคนแรก - การเผชิญหน้าแบบตัวต่อตัวเมื่อสองวันก่อน Steven Goldfeder ผู้ร่วมก่อตั้ง Offchain Labs ซึ่งเป็นทีมพัฒนา Arbitrum อีกครั้งทวีต

เทน้ำเย็นลงบน ZK Rollup และ zkEVM

Steven Goldfeder กล่าวว่าเขาไม่เห็นด้วยกับคำพูดที่ว่า "ZK Rollup สามารถแทนที่ Optimistic Rollup ได้ดีกว่า" ในปัจจุบัน zkEVM ยังห่างไกลจากการใช้งานในสภาพแวดล้อมการผลิต และ zk-Rollup มีราคาแพงกว่าและเข้ากันได้มากกว่า op-Rollup ในขั้นตอนนี้ ความแตกต่าง.

นอกจากนี้ Goldfeder กล่าวว่า "ความเท่าเทียมกันของ EVM เป็นขอบเขตล่าง ไม่ใช่ขอบเขตบน" และในมุมมองนี้ Arbitrum มีข้อได้เปรียบในระยะยาวในฐานะชุดรวมชุดแรกที่บรรลุความเท่าเทียม EVM อย่างสมบูรณ์ในการผลิต จากขั้นตอนนี้ Arbitrum ได้เริ่มพัฒนา EVM+ ในระดับที่สูงขึ้น ซึ่งมีเป้าหมายที่จะเปิดกว้างสำหรับนักพัฒนาและผู้ใช้ในวงกว้าง (เช่น การสนับสนุน Rust หรือ Move) การออกแบบที่ใช้ WASM ของ Nitro มีข้อได้เปรียบเชิงโครงสร้างอย่างมากในนวัตกรรม EVM+ และทีม zk นั้น "แทบเป็นไปไม่ได้เลย" ที่จะบรรลุ EVM+ ในระยะสั้น

ในที่สุด Goldfeder ก็ทำนายอย่างกล้าหาญ: ก่อนที่ zkEVM ที่ทำงานได้อย่างสมบูรณ์จะออกมา Arbitrum รองรับสัญญา Solidity และ Rust แล้ว!

การยิงที่เย่อหยิ่งและไม่เลือกปฏิบัติของ Steven Goldfeder ในโครงการ zk-Rollup ทำให้เกิด "การอภิปราย (การสบถ) การอภิปราย (สงคราม) ที่ยอดเยี่ยม"เบรนแดน วิศวกรของ Polygon zkEVM และอดีตบริษัทพัฒนาความรู้ที่ไม่มีความรู้อย่าง Mir ยอมรับในมุมมองของ Goldfederตอบกลับทีละรายการ

: Goldfeder ไม่ค่อยเข้าใจสถาปัตยกรรม Polygon zkEVM ประการแรก ในแง่ของเวลา Polygon ได้เปิดตัวเครือข่ายทดสอบ zkEVM ที่พร้อมสำหรับการผลิตและสร้างการพิสูจน์บล็อกมากกว่า 80,000 รายการ และเครือข่ายหลักจะเปิดตัวในอีกประมาณ 3 เดือน ในแง่ของต้นทุน ค่าพิสูจน์ของ Polygon zkEVM นั้นไม่สูงนัก ตัวอย่างเช่น ต้นทุนของธุรกรรม Uniswap คือ 0.0019 ดอลลาร์ และต้นทุนนี้จะลดลงเหลือ 1/100 ของต้นทุนปัจจุบันในอนาคต ยิ่งไปกว่านั้น การถ่ายการประมวลผลที่มีราคาแพงไปยัง ZKP นั้นดีกว่าโมเดลที่บังคับให้ทุกโหนดทำงานใหม่ทั้งหมด

นอกจากนี้ เบรนแดนยังเชื่อว่าคำถามที่ใหญ่กว่าควรเป็นว่าจะรับประกันความเข้ากันได้กับ EVM หรือไม่หลังจากเปิดตัว opcodes ใหม่ และเขายังทำการคาดคะเน "ตรงเป้าหมาย": ก่อนที่ Optimistic Rollup ที่รองรับ EVM จะมีหลักฐานการฉ้อโกงที่ไม่ได้รับอนุญาต จะต้องมี zkEVM ที่ทำงานได้อย่างสมบูรณ์ในการผลิตYe Zhang ผู้ร่วมก่อตั้ง Scrollหักล้าง

, Goldfeder ประเมิน zkEVM ต่ำเกินไป ควรดูบล็อกของ Scroll เมื่อ 8 เดือนที่แล้วอีกครั้ง zkEVM ของ Scroll สร้างขึ้นในลักษณะโมดูลาร์ นอกจากนี้ การเพิ่มฟังก์ชันมากเกินไปจะเพิ่มความเสี่ยงด้านความปลอดภัย จากมุมมองของความต้องการที่แท้จริง ไม่จำเป็นต้องเพิ่มฟังก์ชันใหม่

นอกจากนี้ เขายังตั้งคำถามอีกหลายข้อที่ต้องสำรวจเพิ่มเติม: มีกี่คนที่สนใจเกี่ยวกับการเขียนสัญญา Rust กับ Solidity ต้องการการสนับสนุนเครื่องมือเพิ่มเติมเท่าใด รองรับความสามารถในการจัดองค์ประกอบหรือไม่ ข้อสันนิษฐานด้านความปลอดภัยคืออะไร?และผู้ร่วมก่อตั้ง zkSync คือ Alex G.เป็นบวกบางส่วน

ตามมุมมองของ Goldfeder เขายังเห็นด้วยกับ EVM+ > EVM อีกด้วย การเปรียบเทียบการทำงานร่วมกันแบบซิงโครนัสกับโค้ด Rust/Move นั้นแข็งแกร่งกว่า Solidity บริสุทธิ์มาก แต่การพัฒนาประเภทนี้ไม่สามารถทำได้โดย Optimistic Rollup เท่านั้น zkSync ของเรากำลังรวบรวม Solidity ผ่าน LLVM และยังเพิ่ม Rust และ Move อีกด้วย ในการเปรียบเทียบดังกล่าว zk-Rollup ชนะอย่างง่ายดาย

Starkware ไม่ได้เข้าร่วมในการโต้วาทีนี้เนื่องจากนิสัยใจคอที่เป็นเอกลักษณ์ของ CairoVM

ในความเป็นจริง ด้วยการเพิ่มขึ้นของ zk-Rollup การเผชิญหน้าและการโต้วาทีระหว่าง ZKR และ OR ยังคงดำเนินต่อไป

เมื่อ Polygon ประกาศรหัสโอเพ่นซอร์ส zkEVM อย่างยินดีในเดือนกรกฎาคมปีที่แล้ว Goldfeder ราดน้ำเย็นลงบน "zkEVM ยังห่างไกลจากการทำงานปกติ" ปัญหาเช่นโอเพ่นซอร์สนั้นเป็นเรื่องจริง

และมีชีวิตชีวามากยิ่งขึ้นในช่วงงาน Devcon ในเมืองโบโกตาเมื่อปีที่แล้ว

ด้วยการเปิดตัว zkSync 2.0 นั้น zkSync เริ่มโฆษณาตัวเองด้วยการประโคมข่าวมากมายว่าเป็น "เครือข่าย zkEVM แบบโอเพ่นซอร์สที่ทำงานได้เต็มรูปแบบแห่งแรกของโลก" และ Polygon zkEVM ยังอ้างว่าเป็น "เครือข่ายแบบกระจายอำนาจเครือข่ายแรกและเครือข่ายเดียวที่เปิดตัวอย่างเป็นทางการในช่วง Devcon" .zkEVM เทสเน็ต".

อย่างไรก็ตาม เมื่อทั้งสองโต้เถียงกันเกี่ยวกับ "zkEVM ตัวแรก" พวกเขาก็เกิดข้อสงสัยมากมาย แน่นอนว่า Steven Goldfeder เป็นสิ่งที่ขาดไม่ได้ เขาเชื่อว่า เครือข่ายทดสอบ zkEVM ของ zkSync ไม่ได้เปิดใช้ zk-proofs และไม่ผ่านการตรวจสอบความปลอดภัย . Polygon ถูกตั้งคำถามว่าแม้ว่าซอร์สโค้ดของ zkEVMprover (zkprover) จะมีอยู่บน Github แต่ก็ไม่มีใบอนุญาตโอเพนซอร์ส แม้ว่ามันจะระบุว่า "เทียบเท่าอย่างสมบูรณ์" แต่ฐานรหัส Github ของมันแสดงให้เห็นว่ามันมีเพียง ทดสอบการครอบคลุมความเข้ากันได้ 97% ในการตอบสนอง ทีมงานของ Polygon ตอบกลับว่า "ไม่มีการปกปิดโดยเจตนา และเนื้อหาบางส่วนกำลังถูกเขียนขึ้นเพื่อการจัดทำเอกสารที่ดีขึ้น"

Steven Goldfeder มีประโยคที่ตรงประเด็นกว่า: "แม้ว่าหลายทีมจะพัฒนา zkEVM อย่างต่อเนื่อง แต่ก็ยังห่างไกลจาก 'ยุคทอง' ทีมใดก็ตามที่ส่งเสริมการเล่าเรื่องนี้กำลังทำร้ายชุมชน"การโต้วาทีระหว่าง ZKR และ OPR สามารถย้อนกลับไปได้ถึงสิ้นปี 2564 Offchain Labs เผยแพร่บทความพิเศษเรื่อง "เหตุใด Optimistic Rollup จึงเป็นตัวแทนของอนาคตของการขยายตัวของ Ethereum มากกว่า ZK Rollup

》บทความเปรียบเทียบสองเทคโนโลยีการขยายของ ZK Rollups และ Optimistic Rollup ตั้งแต่นั้นมา Offchain Labs ได้เน้นย้ำถึงความสามารถในการปรับขนาดและข้อดีด้านต้นทุนของระบบ Optimistic Rollup ซึ่งเข้ากันได้กับ EVM และเครื่องมือที่มีอยู่อย่างสมบูรณ์จากนั้น Brendan Farmer วิศวกรที่พิสูจน์ความรู้เป็นศูนย์ของ Polygon (คนเดียวกันกับที่กล่าวถึงข้างต้น) ตีพิมพ์ "รูปหลายเหลี่ยมหักล้าง Offchain Labs: ZK Rollup คืออนาคตของการปรับขนาด Ethereum

"ในการตอบสนอง เมื่อเทียบกับ Optimistic rollup แล้ว zk สามารถให้ความปลอดภัยที่เท่ากันและประสิทธิภาพด้านเงินทุนที่สูงกว่า และ OR ถูกจำกัดโดย L1 เนื่องจากการพิสูจน์การฉ้อโกงต้องดำเนินการได้บน Ethereum ZK จึงไม่มีข้อจำกัดนี้

คุณจะพบว่าการโต้วาทีระหว่างสองฝ่ายนี้ไม่ได้เปลี่ยนไปมากนักในปีนี้ แต่การอภิปรายเหล่านี้มีความหมายหากสามารถขยายเพิ่มเติมในหัวข้อได้

แม้ว่า Optimistic Rollup จะมีข้อได้เปรียบของผู้เสนอญัตติรายแรกและยังคงผูกขาดส่วนแบ่งตลาดมากกว่า 80% ในปัจจุบัน แต่ผู้นำทางความคิดเห็น ซึ่งรวมถึง Vitalik มักจะมอง ZKR ในแง่ดีมากกว่าในระยะยาว ตั้งแต่ช่วงครึ่งหลังของปีที่แล้ว เงินทุนและนักพัฒนาจำนวนมากได้หลั่งไหลเข้าสู่เขตข้อมูล zk โครงการที่เกี่ยวข้องได้เกิดขึ้นอย่างต่อเนื่อง และความคืบหน้าในการพัฒนาของ zk-Rollup ได้เร่งตัวขึ้นอย่างค่อยเป็นค่อยไป ระบบ OR มีเมืองหลวงของความเย่อหยิ่งในขณะนี้ แต่เมื่อเผชิญกับความแข็งแกร่งที่เพิ่มขึ้นของคู่แข่ง Arbitrum ผู้ซึ่งนั่งอยู่บนบัลลังก์อย่างมั่นคงจะกระสับกระส่ายเล็กน้อย ดังนั้นจึงมีเหตุผลที่จะพูดแสดงความไม่เห็นด้วยบ่อยครั้ง และยังเป็นแรงกระตุ้นที่ดีสำหรับ zk-Rollup