TL；DR

1. ชื่อเรื่องรอง

2. ความแตกต่างระหว่าง zkEVM และ zkVM ส่วนใหญ่อยู่ที่ความเข้ากันได้ของ EVM และการรองรับการพิสูจน์ความรู้ที่ไม่มีศูนย์

3. ในแง่ของนักพัฒนาและทรัพยากรการพัฒนา Ethereum มีนักพัฒนามากที่สุด ทรัพยากรการพัฒนาและโครงสร้างพื้นฐานที่สมบูรณ์และสมบูรณ์ที่สุด และนักพัฒนาและทรัพยากรการพัฒนาของ Ethereum สะดวกกว่าในการถ่ายโอนไปยัง zkEVM ผู้พัฒนาและทรัพยากรการพัฒนาของ zkVM เช่น StarkNet และ zkSync ล้าหลังกว่า Ethereum มาก

4. ในแง่ของนิเวศวิทยาของแอปพลิเคชัน Ethereum มีจำนวน DApps มากที่สุดและส่วนแบ่ง 58% ของ DeFi แอปพลิเคชันที่มีอยู่บน Ethereum จะเป็นเงินปันผลในการพัฒนาของ zkEVM เนื่องจากความเข้ากันได้ที่ไม่ดีของ EVM จึงเป็นเรื่องยากสำหรับ zkVM ในการปลูกถ่าย แอปพลิเคชันที่มีอยู่เหล่านี้ แต่ zkVM เข้ากันได้กับการพิสูจน์ความรู้ที่ไม่มีศูนย์ ทำให้ zkVM มีแนวโน้มที่จะเกิดนวัตกรรมแอปพลิเคชันมากขึ้น

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

ชื่อเรื่องรอง

ทำไมคุณควรทราบความแตกต่างระหว่าง zkEVM และ zkVM

ชื่อเรื่องรอง

การแนะนำเบื้องต้น

การแนะนำเบื้องต้น

zkEVM ค่อนข้างเป็นไปตามข้อกำหนด EVM opcode และ bytecode และ zkVM ออกแบบเครื่องเสมือนใหม่ ดังนั้น zkEVM จึงเรียกอีกอย่างว่า Native EVM และ zkVM เรียกอีกอย่างว่า EVM แบบกำหนดเอง (คอมไพล์)

ชื่อเรื่องรอง

เปรียบเทียบ

แผนสองแบบของ zkEVM และ zkVM แสดงถึงสองทิศทางของการพัฒนา ZKRเราจะเปรียบเทียบความแตกต่างระหว่างโซลูชัน zkEVM และ zkVM ZKR ในแง่ของนักพัฒนาและทรัพยากรการพัฒนา ระบบนิเวศของแอปพลิเคชัน และโอกาสทางเทคนิค

ชื่อเรื่องรอง

นักพัฒนาและทรัพยากรการพัฒนา

ในแง่ของนักพัฒนา ข้อมูลใน "รายงานสำหรับนักพัฒนาปี 2021" ที่รวบรวมโดย Electric Capital แสดงให้เห็นว่านักพัฒนาที่ใช้งานรายเดือนของ Ethereum จะมีจำนวนถึง 4,011 คนในปี 2021 ซึ่งอยู่ในอันดับที่หนึ่งในกลุ่มบล็อกเชนทั้งหมด และนำหน้ากลุ่มบล็อกเชนอื่น ๆ

คำอธิบายภาพ

รายงาน "รายงานสำหรับนักพัฒนาซอฟต์แวร์ปี 2021"

จากข้อมูลของคลังโค้ดยอดนิยมของ Ethereum, StarkNet, zkSync และโครงการ zkVM อื่นๆ บน Github จะเห็นได้ว่า Ethereum มีกลุ่มนักพัฒนาและทรัพยากรโค้ดขนาดใหญ่มาก และ StarkNet และ zkSync ตามหลัง Ethereum มาก

แม้ว่าทรัพยากรการพัฒนาของ StarkNet จะค่อนข้างสมบูรณ์ แต่จำนวนก็ค่อนข้างน้อย และยังไม่เติบโตเท่ากับ Ethereum

โดยสรุป Ethereum มีนักพัฒนามากที่สุดและทรัพยากรการพัฒนาที่อุดมสมบูรณ์ที่สุดซึ่งจะเป็นเงินปันผลในการพัฒนาของ zkEVM ในอนาคต zkVM ZKR เช่น StarkNet และ zkSync ต้องเผชิญกับข้อเสียเปรียบอย่างมากสำหรับผู้ที่มาทีหลัง

ชื่อเรื่องรอง

นิเวศวิทยาประยุกต์ในส่วนของ Application Ecology เราจะเริ่มจากการโยกย้ายแอปพลิเคชันและนวัตกรรมแอปพลิเคชัน

คำอธิบายภาพ

แหล่งข้อมูล:https://www.stateofthedapps.com/zh/stats

คำอธิบายภาพ

แหล่งข้อมูล:https://defillama.com/chains

DApp และ DeFi ของ Ethereum มีตลาดที่ใหญ่มาก และ zkEVM มีโอกาสในการพัฒนาที่ดีมากในการพอร์ตแอปพลิเคชัน

ชื่อเรื่องรอง

นวัตกรรมประยุกต์

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

ตัวอย่างเช่น ทีม Topology ของ StarkNet อ้างว่าได้ทำเกม Issac แบบเต็มรูปแบบแล้ว

ธุรกรรมทรัพย์สินของ Issac ที่จัดเก็บสถานะ และการดำเนินการทางลอจิกล้วนอยู่ในสายโซ่

เชนเต็มรูปแบบยังหมายความว่าเกมสอดคล้องกับคุณลักษณะพื้นฐานของบล็อกเชน ซึ่งกระจายอำนาจ ไม่มีใบอนุญาต และรวมกันได้ ไม่มีเอนทิตีใดสามารถเปลี่ยนกฎพื้นฐานของเกมได้ ผู้เล่นและผู้เล่นสามารถมีส่วนร่วมในเกมและสร้างในเกมโดยไม่ได้รับอนุญาต นักพัฒนาสามารถสร้างส่วนหน้าของเกมและสิ่งอำนวยความสะดวกและทรัพย์สินในเกมได้ด้วยตนเองตามสัญญาทีมงานโทโพโลยีมุ่งเน้นไปที่ปรัชญาการออกแบบของ Isaac

ชื่อเรื่องรอง

โอกาสทางเทคโนโลยีในแง่ของแนวโน้มเทคโนโลยี เราจะเป็นอัลกอริทึม ภาษา สถาปัตยกรรม

เพื่อเปรียบเทียบข้อดีข้อเสียของ zkEVM และ zkVM

ในแง่ของอัลกอริทึม zkEVM ZKR ส่วนใหญ่ใช้อัลกอริทึม SNARK ในขณะที่ StarkNet ซึ่งเป็น zkVMist ที่รุนแรงที่สุดใช้อัลกอริทึม STARKS ควรสังเกตว่า SNARK เป็นคำทั่วไปสำหรับชุดของอัลกอริทึม ได้แก่ Groth16, Halo, Fractal และ โซนิค STARKs เป็นอัลกอริธึมเฉพาะของ SNARKs ที่เกิดขึ้นใหม่ เราจะเปรียบเทียบข้อดีและข้อเสียระหว่างทั้งสอง

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

ข้อความ

ในแง่หนึ่ง เนื่องจากความเข้ากันได้ที่ไม่สมบูรณ์ระหว่าง opcodes และ bytecodes ช่องโหว่ที่ไม่รู้จักจะปรากฏในกระบวนการย้ายและแปลง Solidity codes ตัวอย่างเช่น Polygon Hermez แปลง EVM bytecodes เป็น bytecodes ของเครื่องเสมือนโดยตรง

คำอธิบายภาพ

ภาพจาก: https://blog.hermez.io/introducing-hermez-zkevm/

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

และ zkVM เช่น StarkNet และ zkSync ได้รับการออกแบบให้เข้ากันได้กับภาษาที่ไม่มีความรู้เช่น Cairo และ Zinc นักพัฒนาสามารถสร้างการพิสูจน์ความรู้ที่ไม่มีความรู้โดยตรงสำหรับโปรแกรมของตนเองผ่านภาษาเหล่านี้ โดยไม่จำเป็นต้องเรียนรู้ความรู้ที่พิสูจน์ความรู้เป็นศูนย์แบบมืออาชีพเพื่อเขียนชุดสมการพหุนามและแปลงเป็นวงจร

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

ตามข้อกำหนด EVM เป็นเครื่องสถานะซีเรียลแบบสแต็ก กล่าวง่ายๆ ก็คือ EVM เข้ากันไม่ได้โดยเนื้อแท้กับการพิสูจน์ที่ไม่มีความรู้ zkVM เป็นเวอร์ชวลแมชชีนที่ได้รับการปรับแต่งมาสำหรับการพิสูจน์ที่ปราศจากความรู้ และเหมาะสมกว่าสำหรับการพิสูจน์ที่ปราศจากความรู้ในสถาปัตยกรรมพื้นฐานHardware Acceleration for Zero Knowledge Proofs》

ภาษาไคโรที่คิดค้นโดย StarkNet หัวรุนแรง zkVM เป็นภาษาระดับสูงที่เป็นมิตรกับ CPU ซึ่งปรับให้รองรับการพิสูจน์ที่ไม่มีความรู้ ทำให้ StarkNet ปรับตัวได้มากขึ้นสำหรับการพิสูจน์ที่ไม่มีความรู้ในระดับ CPU และยังสามารถปรับแต่งฮาร์ดแวร์ที่พิสูจน์ความรู้เป็นศูนย์เพื่อจุดประสงค์นี้ . Paradium ซึ่งเป็นสถาบันการลงทุนยังสังเกตเห็นโอกาสของฮาร์ดแวร์ในการพิสูจน์ความรู้เป็นศูนย์ และเขียนรายงานเพื่อจุดประสงค์นี้ "Cairo – a Turing-complete STARK-friendly CPU architecture》。

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

ชื่อเรื่องรอง

แนวโน้มในอนาคต

Ye Zhang ผู้ก่อตั้ง Scroll แนะนำบน Twitter ว่า StarkWare ตรวจสอบโปรแกรมพิสูจน์อักษรที่เขียนด้วยภาษาไคโรบน StarkNet ผ่าน zkEVM พูดง่ายๆ ก็คือการสร้าง L2 อีกอันบน L2 หนึ่งอัน ข้อเสนอดังกล่าวมีความเป็นไปได้ในทางเทคนิค และแน่นอนว่าเป็นการอธิบายถึงโลก L2 ที่เต็มไปด้วยจินตนาการมากขึ้น