ทุกสิ่งที่คุณต้องรู้เกี่ยวกับ zkEVM (1)

Maxlion

读者

2022-07-26 13:28

บทความนี้มีประมาณ 2296 คำ การอ่านทั้งหมดใช้เวลาประมาณ 4 นาที

หลักการพื้นฐานและระดับการแบ่งย่อยของ zkEVM

เมื่อเร็ว ๆ นี้ โครงการ ZKR (zk-rollup) หลายโครงการได้ประกาศอย่างเข้มข้นถึงความคืบหน้าล่าสุดและการวางแผนเส้นทาง:

เมื่อวันที่ 19 กรกฎาคม โครงการ ZKR ที่ใช้ zkEVM ได้ประกาศเปิดตัวเครือข่ายทดสอบ

เมื่อวันที่ 20 กรกฎาคม Polygon ประกาศเปิดตัว Polygon (Hermez) - "โครงการ zkEVM ZKR ที่เทียบเท่า EVM โครงการแรก"

ในวันเดียวกัน zkSync ประกาศว่า zkSync จะเป็น ZKR ที่ใช้ zkEVM ตัวแรกที่จะเผยแพร่บน mainnet ในอีก 100 วัน

หนึ่งในคำสำคัญ zkEVM ได้จุดประกายการอภิปรายอย่างเผ็ดร้อนระหว่างผู้ใช้บน Twitter บางคนคิดว่าการพัฒนาเหล่านี้เป็นการมาถึงของ "L2 Summer"

ทำไม zkEVM ถึงได้รับความสนใจอย่างมาก? zkEVM เป็นกุญแจสำคัญในโครงการ ZKR มันสามารถปรับปรุงประสิทธิภาพในขณะที่เข้ากันได้กับ (หรือเทียบเท่ากับ) EVM ในระดับสูง เพื่อให้สามารถย้ายแอปพลิเคชันบน Ethereum L1 ไปยัง L2 ได้โดยตรงโดยไม่ต้องแก้ไข ดังนั้น zkEVM จึงถูกมองว่าเป็น "เกมจบ" ของ L2 Rollup และ "นักฆ่า Ethereum killers"

เพื่ออธิบาย zkEVM อย่างชัดเจน Odaily แบ่งบทความชุดนี้ออกเป็นสามบทความจากตื้นไปลึก:

1. บทนำเบื้องต้นและระดับการแบ่งย่อยของ zkEVM

2. สินค้าคงคลังของโครงการ zkEVM และ zkVM

3. การวิเคราะห์เปรียบเทียบโครงการ zkEVM และ zkVM

ข้อมูลพื้นฐาน

คำอธิบายภาพ

ที่มาของภาพ: https://www.cth.group/insights/page/zk/

zkEVM เป็นการผสมคำสองคำ ZK เป็นตัวย่อของ Zero Knowledge และ EVM เป็นตัวย่อของ Ethereum Virtual Machine

คำอธิบายภาพ

แหล่งที่มาของรูปภาพ: การนำเสนอ Miden ETH Amsterdam

ในแง่หนึ่ง ZKR ที่ใช้ zkEVM สามารถใช้ประโยชน์จากประสิทธิภาพสูงของเทคโนโลยี ZK และในทางกลับกัน มันสามารถสืบทอดทรัพยากรสำหรับนักพัฒนาของ Ethereum เช่น ฐานรหัสที่ได้รับการทดสอบและตรวจสอบแล้วในทางปฏิบัติ เครื่องมือ เอกสาร และนักพัฒนาจำนวนมาก แอปพลิเคชัน สินทรัพย์ และผู้ใช้ Ethereum สามารถถ่ายโอนไปยัง ZKR L2 ด้วย TPS ที่สูงขึ้นและก๊าซที่ต่ำกว่าโดยไม่สูญเสีย เรียบง่าย และเร็ว ดังนั้น ZKR จึงได้รับการพิจารณาจากผู้เชี่ยวชาญหลายคนรวมถึง V God ว่าเป็นโซลูชัน L2 ที่มีแนวโน้มมากที่สุด

ความเข้าใจผิดที่พบบ่อย

zkEVM บางครั้งสับสนกับ "รองรับ EVM" ในการอภิปรายของมืออาชีพ zkEVM มักจะอ้างถึงโครงการ ZKR ที่ตระหนักถึงความเข้ากันได้ของ EVM ที่ระดับ bytecode หรือ opcode และความเข้ากันได้ของ EVM ไม่เพียงแต่ความเข้ากันได้ที่ระดับภาษา Solidity เท่านั้น แต่ยังรวมถึงความเข้ากันได้ที่ระดับ bytecode, opcode และฉันทามติ

ตัวอย่างเช่น StarkNet บรรลุความเข้ากันได้ของ EVM ในระดับภาษา แต่มันคือ zkVM ไม่ใช่ zkEVM และโครงการ ZKR เช่น Polygon Hermez, Scroll และ zkSync ไม่เพียงเข้ากันได้กับภาษา Solidity เท่านั้น แต่ยังเข้ากันได้กับเครื่องมือการพัฒนามาตรฐานโปรโตคอลส่วนใหญ่ รหัสไบต์ ซึ่งเป็น ZKR ที่ใช้ zkEVM

กล่าวโดยสรุป โครงการที่เข้ากันได้กับ EVM ไม่จำเป็นต้องเป็น zkEVM เนื่องจากมี EVM ที่เข้ากันได้หลายระดับ โครงการที่ใช้ zkEVM จะต้องเข้ากันได้กับ EVM เนื่องจาก zkEVM จริงเป็น EVM ที่เทียบเท่า (เข้ากันได้ระดับสูง) เราจะอธิบายรายละเอียดความแตกต่างระหว่างความเข้ากันได้ของ zkEVM และ EVM ด้านล่าง

ความต่างที่เข้ากันได้

Suning Yao กล่าวถึงคำจำกัดความของความเข้ากันได้ของ EVM ใน "Foresight Ventures: Interpreting the Current Status and Future of zk, zkVM, and zkEVM"

ความเข้ากันได้ของ EVM: การปรับในระดับภาษา เช่น Solidity
EVM Equivalence: การปรับที่ระดับ EVM bytecode
การปรับข้อกำหนด EVM: สิ่งที่เรียกว่า zkEVM ที่แท้จริง ในกรณีส่วนใหญ่ แม้แต่ชุดที่ปรับให้เหมาะสมที่สุดสำหรับความเข้ากันได้แบบย้อนหลัง ก็สามารถจัดเตรียมการแยกบัญชี (นั่นคือ แต่ละบัญชีเป็นสัญญาอัจฉริยะ) และสิ่งอื่นๆ ที่ EVM ไม่ได้ระบุลักษณะเฉพาะ

Fundamental Labs ยังกล่าวถึงใน "FL Research | Incomplete Guide to ZK: Why ZK Matters?" ว่ามีความเข้ากันได้ของ EVM สามระดับ (จากต่ำไปสูง):

ระดับภาษา: ไม่มี zkEVM จริงในสถานะนี้ Transpiler แปลง Solidity เป็น VM ที่เป็นมิตรกับ ZK ซึ่งแตกต่างจาก EVM อย่างสิ้นเชิง StarkNet (zkVM) ใช้วิธีนี้ และตัวแปลภาษา Warp ได้รับการพัฒนาเพื่อแปล Solidity เป็นภาษาแม่ของ StarkNet
ระดับรหัสไบต์: ระบบพิสูจน์ ZK มีบทบาทสำคัญใน zkEVM นี้ ในขั้นตอนนี้ รูทสถานะที่สร้างโดย zkEVM ไม่สามารถทำงานร่วมกับ Ethereum EVM ได้ แต่แอปพลิเคชันบน Ethereum สามารถย้ายไปยัง zkEVM ได้เหมือนเดิม รวมทั้งรูปหลายเหลี่ยม Hermez, Scroll ใช้วิธีนี้ ทิศทางเดิมของ zkSync คือ zkVM แต่ตอนนี้เปลี่ยนเป็น zkEVM แล้ว ตามประกาศล่าสุด สนับสนุน opcodes ส่วนใหญ่ของ Ethereum แต่ปัจจุบันอยู่ในสถานะปิดและไม่สามารถตรวจสอบรายละเอียดได้
ระดับฉันทามติ: zkEVM เทียบเท่ากับ EVM บน Ethereum ซึ่งสร้างการพิสูจน์สำหรับรากสถานะบน Ethereum Vitalik ประกาศว่าในแผนงาน Ethereum Ethereum จะรวม zkEVM ระดับฉันทามติในอนาคต

คำอธิบายภาพ