zkEVM ห้าประเภททั่วไปและความคืบหน้าของโครงการ

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

อย่างไรก็ตาม ในปัจจุบัน การสร้าง Zero-knowledge Proof ต้องใช้พลังการประมวลผลจำนวนมากและความยากทางเทคนิคก็สูงขึ้นเช่นกัน ขณะเดียวกัน เนื่องจาก Ethereum Virtual Machine (EVM) ไม่ได้ออกแบบมาเพื่อรองรับวงจร ZK ไม่สามารถดำเนินการตามสัญญาอัจฉริยะได้โดยตรง เพื่อแก้ปัญหานี้ นักพัฒนาหลายคนพยายามพัฒนา zkEVM ซึ่งสามารถเรียกใช้สัญญาอัจฉริยะในลักษณะที่เข้ากันได้กับการคำนวณที่ปราศจากความรู้ สำหรับ ZK Rollups จำนวนมาก การบรรลุความเท่าเทียมกันของ EVM หมายถึงการบรรลุความเข้ากันได้ในระดับไบต์อย่างสมบูรณ์ ในปัจจุบัน zkEVM เป็นกุญแจสำคัญในการขยาย Ethereum

บทความนี้จะศึกษาประเภท zkEVM ทั่วไปห้าประเภทและความคืบหน้าของโครงการแต่ละประเภท และชี้ให้เห็นถึงความท้าทายในการออกแบบของ zkEVM แต่ละประเภท

zkEVM คืออะไร

zkEVM เป็นเครื่องเสมือนที่เข้ากันได้กับ EVM ซึ่งสนับสนุนการคำนวณแบบ Zero-knowledge Proof และเป็นแพลตฟอร์มการพัฒนาแอปพลิเคชันที่ใช้เทคโนโลยี Ethereum blockchain สัญญา EVM สามารถปรับใช้และรันได้โดยตรงโดยไม่ต้องแก้ไข และการทำงานของโปรแกรมสามารถพิสูจน์ความถูกต้องของการคำนวณผ่านความรู้ที่เป็นศูนย์

ข้อดีของ zkEVM

1. zkEVM ปรับปรุงความเข้ากันได้ zkEVM เข้ากันได้อย่างสูงกับสัญญาอัจฉริยะที่เขียนขึ้นเพื่อทำงานใน EVM และสามารถรวมเข้ากับโครงสร้างพื้นฐาน EVM ได้อย่างราบรื่น นักพัฒนาสามารถย้ายแอปพลิเคชัน Ethereum ที่มีอยู่ไปยัง L2 โดยไม่ต้องพัฒนาแอปพลิเคชันใหม่ ในขณะเดียวกัน zk proof จะสืบทอดความปลอดภัยเครือข่าย Ethereum

2. zkEVM ปรับปรุงความสามารถในการปรับขนาด zkEVM ใช้การพิสูจน์แบบไม่โต้ตอบ ซึ่งปรับปรุงทรูพุตและลดเวลาแฝง เนื่องจากการตรวจสอบการพิสูจน์สำหรับบล็อก L2 ทำได้เร็วกว่าการดำเนินการธุรกรรมแต่ละรายการซ้ำในบล็อกที่เสนอใหม่

3. zkEVM ลดต้นทุนการจัดเก็บ zkEVM Rollup สามารถเลือกที่จะเผยแพร่เฉพาะข้อผูกพันไปยังสถานะสุดท้ายบน Ethereum L1 ซึ่งช่วยลดต้นทุนการจัดเก็บบนเครือข่าย การพิสูจน์ความถูกต้องรับประกันความถูกต้องของสถานะใหม่ของ zkEVM ดังนั้นผู้สั่งซื้อจึงไม่จำเป็นต้องเผยแพร่ข้อมูลทั้งหมดที่จำเป็นในการดำเนินการเปลี่ยนแปลงการเปลี่ยนสถานะอีกครั้ง

ด้วยการปรับปรุงอย่างต่อเนื่องของ zkEVM ทำให้ข้อจำกัดของ ZK Rollup ได้รับการแก้ไข การใช้ความปลอดภัยและประสิทธิภาพของ ZK Rollup ร่วมกับความเข้ากันได้ของ EVM แอปพลิเคชันสามารถโต้ตอบกับสัญญาอัจฉริยะเพื่อปรับปรุงประสบการณ์การใช้งานแอปพลิเคชัน

ห้าประเภทที่แตกต่างกันของ zkEVM และโครงการที่เกี่ยวข้อง

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

Vitalik Buterin ผู้ก่อตั้ง Ethereum ยังได้เผยแพร่บทความที่อธิบายถึงการแลกเปลี่ยนระหว่าง zkEVM ประเภทต่างๆ V God เชื่อว่าเป้าหมายหลักของโครงการเหล่านี้เหมือนกัน: ใช้เทคโนโลยี ZK-SNARK เพื่อให้หลักฐานเข้ารหัสสำหรับการดำเนินการของ การทำธุรกรรมคล้ายกับ Ethereum เพื่อให้ง่ายต่อการตรวจสอบห่วงโซ่ Ethereum เองหรือสร้าง ZK Rollups ที่เทียบเท่ากับที่ Ethereum เสนอ แต่ปรับขนาดได้มากกว่า Ethereum

ประเภทที่ 1 (เทียบเท่าระดับฉันทามติ - เทียบเท่ากับ Ethereum อย่างสมบูรณ์)

Type 1 zkEVM มุ่งมั่นที่จะเทียบเท่ากับ Ethereum โดยสมบูรณ์ มันไม่ได้เปลี่ยนส่วนใด ๆ ของระบบ Ethereum เพื่อให้ง่ายต่อการสร้างการพิสูจน์ ไม่แทนที่ hashes, state tree, transaction tree, precompilation หรือตรรกะที่เป็นเอกฉันท์อื่น ๆ

ข้อได้เปรียบของ Type 1 zkEVM คือเข้ากันได้กับ Ethereum อย่างสมบูรณ์แบบ ในระยะยาว การแก้ไข Ethereum ที่ทดสอบใน Type 2 หรือ Type 3 ZK-EVM อาจถูกนำมาใช้ใน Ethereum เอง แต่สถาปัตยกรรมใหม่นี้มีความซับซ้อนในตัวเอง ดังนั้น Type 1 จึงเป็นสิ่งที่จำเป็นที่สุดในการสร้าง Ethereum Fang L1 สิ่งที่ปรับขนาดได้มากขึ้น ในขณะเดียวกัน Type 1 zkEVM นั้นเหมาะอย่างยิ่งสำหรับการยกเลิกเนื่องจากอนุญาตให้นำโครงสร้างพื้นฐานจำนวนมากกลับมาใช้ใหม่ได้

ข้อเสียของ Type 1 zkEVM คือปัญหาเรื่องเวลาในการตรวจสอบ เดิมที Ethereum ไม่ได้ออกแบบมาให้เป็นมิตรกับ ZK ดังนั้นหลายส่วนของโปรโตคอล Ethereum จึงต้องใช้การคำนวณจำนวนมากเพื่อทำการพิสูจน์ ZK Type 1 zkEVM ได้รับการออกแบบมาเพื่อจำลอง Ethereum ทุกประการ ดังนั้นจึงไม่สามารถลดความไร้ประสิทธิภาพเหล่านี้ได้ Type 1 zkEVM เป็น zkEVM ที่เหมาะสมที่สุด และมีหลายโครงการที่สร้างหรือสำรวจประเภทนี้

ปัจจุบันโครงการที่เกี่ยวข้องกับ Type 1 zkEVM ได้แก่ Taiko และ Kakarot

Type 1 zkEVM ที่สร้างโดย Taiko ช่วยให้นักพัฒนาและผู้ใช้สัมผัสกับ Ethereum ได้อย่างปลอดภัย ด้วยค่าธรรมเนียมการทำธุรกรรมที่ถูกกว่า และไม่ต้องคำนึงถึงการเปลี่ยนแปลงใดๆ ระดมทุนได้ 22 ล้านดอลลาร์ในสองรอบแรก รอบแรก 10 ล้านดอลลาร์นำโดย Sequoia China และรอบที่สอง 12 ล้านดอลลาร์นำโดย Generative Ventures เมื่อวันที่ 7 มิถุนายน Taiko ได้เปิดตัว Alpha-3 Incentive Testnet ตามการแนะนำอย่างเป็นทางการของ Taiko เครือข่ายทดสอบมุ่งเน้นไปที่ส่วน ZK-EVM ที่มีการกระจายอำนาจเทียบเท่ากับ Ethereum

Kakarot zkEVM เป็น EVM ที่ใช้งานโดยใช้ภาษา Cario ขยายความน่าเชื่อถือของระบบนิเวศของ Starknet โดยปรับปรุงความเข้ากันได้ของ EVM Kakarot zkEVM สามารถมีอยู่ในรูปแบบต่างๆ ในขั้นตอนแรกเพื่อนำ EVM มาสู่ Starknet ในขั้นตอนที่สอง Kakarot และ Madara จะถูกรวมเป็นสแต็คแบบครบวงจรเพื่อรองรับ L3 zkEVM ในขั้นตอนที่สาม Kakarot และ Madara สามารถรวมเข้าด้วยกันได้ , เปิดใช้งานประเภท 1 zkEVM เมื่อวันที่ 2 มิถุนายน Kakarot zkEVM เสร็จสิ้นรอบการจัดหาเงินทุนล่วงหน้า StarkWare, LambdaClass และสถาบันอื่น ๆ และนักลงทุนรายย่อยเช่น Vitalik Buterin, Nicolas Bacca, Rand Hindi ได้เข้าร่วมในการลงทุน

ประเภท 2 (การเทียบเท่าระดับไบต์โค้ด - เทียบเท่ากับ EVM อย่างสมบูรณ์)

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

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

ข้อเสียของ Type 2 zkEVM คือเวลาในการตรวจสอบยังช้าอยู่ zkEVM ประเภท 2 ให้เวลาในการตรวจสอบที่เร็วกว่าประเภท 1 zkEVM โดยหลักแล้วจะเป็นการลบการเข้ารหัสที่อาศัยส่วนที่ซับซ้อนโดยไม่จำเป็นและไม่เป็นมิตรกับ ZK ของ Ethereum stack ตัวอย่างเช่น พวกเขาอาจเปลี่ยน Keccak ของ Ethereum และ Merkle-Patricia ที่ใช้ RLP และอาจเปลี่ยนโครงสร้างบล็อกและการรับ การแก้ไขเหล่านี้ช่วยปรับปรุงเวลาพิสูจน์ได้อย่างมาก แต่ไม่สามารถแก้ปัญหาทั้งหมดได้ ด้วยความไร้ประสิทธิภาพและการไม่เป็นมิตรกับ ZK ที่มีอยู่ใน EVM พิสูจน์ให้เห็นว่า EVM ยังคงทำงานช้า

ปัจจุบัน โครงการที่เกี่ยวข้องกับ Type 2 zkEVM ได้แก่ Linea และ Polygon

Linea เป็น Type-2 zkEVM ที่ขับเคลื่อนโดย Consensys ด้วยการรวม ZKP เข้ากับความเข้ากันได้ของ EVM อย่างสมบูรณ์ นักพัฒนาสามารถสร้าง DApps ที่ปรับขนาดได้หรือถ่ายโอน DApps ที่มีอยู่ไปยังแพลตฟอร์มใหม่โดยไม่ต้องเปลี่ยนรหัสหรือเขียนสัญญาอัจฉริยะใหม่ เทสเน็ตสาธารณะเปิดตัวเมื่อวันที่ 28 มีนาคมปีนี้ และได้รับการเพิ่มในตัวเลือกเครือข่ายเริ่มต้นของส่วนขยาย Metamask Linea เปิดตัว Alpha v0.2 เมื่อเวลา 12:00 น. ของวันที่ 13 มิถุนายน เวอร์ชันนี้มุ่งเน้นไปที่การทดสอบการอัปเกรดสถาปัตยกรรมที่สำคัญ และเตรียมพร้อมสำหรับการเปิดตัวเครือข่ายหลัก

Polygon zkEVM เป็นโอเพ่นซอร์สและใช้ Type 2 zkEVM ใช้การพิสูจน์ ZK เพื่อลดค่าธรรมเนียมการทำธุรกรรมและเพิ่มปริมาณงานในขณะที่รักษาความปลอดภัยของ Ethereum L1 Polygon ระบุเมื่อวันที่ 14 กุมภาพันธ์ปีนี้ว่า Polygon zkEVM ผ่านการทดสอบเวกเตอร์ Ethereum ที่เหมาะสำหรับ zkEVM แล้ว 100% นักพัฒนาไม่จำเป็นต้องแก้ไขหรือเขียนโค้ดใหม่ใดๆ และเครื่องมือ Ethereum ทั้งหมดสามารถทำงานร่วมกับ Polygon zkEVM ได้อย่างราบรื่น หมายความว่า EVM ความเข้ากันได้ของ ZK Rollup ได้ก้าวไปอีกขั้น และมาถึงระดับ Type 2 ซึ่งเทียบเท่ากับ EVM อย่างสมบูรณ์ Polygon zkEVM mainnet beta เปิดตัวอย่างเป็นทางการเมื่อวันที่ 27 มีนาคม 2566

ประเภท 2.5 (เทียบเท่า EVM ยกเว้นค่าน้ำมัน)

วิธีหนึ่งในการปรับปรุงเวลาในการตรวจสอบคือการเพิ่มต้นทุนก๊าซของการดำเนินการบางอย่างใน EVM ที่ยากต่อการพิสูจน์ ZK สิ่งนี้อาจเกี่ยวข้องกับการคอมไพล์ล่วงหน้า keccak opcodes และรูปแบบเฉพาะของการเรียกใช้สัญญาหรือการเข้าถึงหน่วยความจำหรือที่เก็บข้อมูลหรือการกู้คืน

การเปลี่ยนแปลงค่าแก๊สอาจลดความเข้ากันได้ของเครื่องมือสำหรับนักพัฒนาและทำให้แอปพลิเคชันบางตัวเสียหาย แต่โดยทั่วไปถือว่ามีความเสี่ยงน้อยกว่าการเปลี่ยนแปลง EVM ที่ "ลึกกว่า" นักพัฒนาควรระมัดระวังที่จะไม่ขอก๊าซมากกว่าหนึ่งบล็อกในการทำธุรกรรม และอย่าโทรออกด้วยจำนวนก๊าซที่กำหนดค่าตายตัว

ในปัจจุบัน ยังไม่มีโครงการเฉพาะที่จะทำ Type 2.5 EVM แต่เพิ่งเข้าสู่ระยะของ Type 2

ประเภท 3 (เทียบเท่าระดับไบต์โค้ด - เกือบเทียบเท่ากับ EVM)

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

ข้อดีของ Type 3 zkEVM คือสร้างได้ง่ายกว่าและใช้เวลาตรวจสอบได้เร็วกว่า ประเภทที่ 3 zkEVM อาจลบคุณสมบัติบางอย่างที่ยากเป็นพิเศษในการปรับใช้ zkEVM นอกจากนี้ บางครั้ง zkEVM ประเภท 3 ยังมีความแตกต่างเล็กน้อยในวิธีจัดการกับรหัสสัญญา หน่วยความจำ หรือสแต็ก

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

ปัจจุบันโครงการที่เกี่ยวข้องกับ Type 3 zkEVM ได้แก่ Scroll

Scroll เป็น zk-rollup ที่เทียบเท่ากับ EVM ที่พัฒนาโดยทีม Scroll โดยร่วมมือกับกลุ่ม PSE (Privacy and Scaling Explorations) ของ Ethereum Foundation ขณะนี้อยู่ในขั้นตอน Pre-Alpha testnet และมีเป้าหมายเพื่อให้เข้ากันได้กับ EVM อย่างเต็มรูปแบบที่ ระดับไบต์โค้ด ซึ่งหมายความว่านักพัฒนาสามารถใช้ภาษาที่เข้ากันได้กับ EVM เพื่อสร้างสัญญาอัจฉริยะและปรับใช้บน Scroll ในขณะที่ Scroll กำลังสร้าง Type 2 EVM การคอมไพล์ล่วงหน้าที่ซับซ้อนกว่านี้จำนวนมากยังไม่ได้ใช้งาน ดังนั้นจึงถือว่าเป็น Type 3 EVM จากข้อมูลของ Scroll คาดว่าจะเปิดตัว mainnet ในเดือนกรกฎาคมและสิงหาคมปีนี้ และกล่าวว่าอาจเปิดตัวโปรแกรมพันธมิตรเพื่อกระตุ้นการพัฒนาระบบนิเวศ

ปัจจุบัน Type 3 EVM เป็นเพียงระยะเปลี่ยนผ่านจนกว่างานที่ซับซ้อนในการเพิ่มการคอมไพล์ล่วงหน้าจะเสร็จสมบูรณ์ จากนั้นโปรเจ็กต์จะสามารถย้ายไปยัง Type 2.5 zkEVM ได้ แต่ในอนาคต EVM ประเภทที่ 1 และประเภทที่ 3 อาจเพิ่มการคอมไพล์ล่วงหน้าที่เป็นมิตรกับ ZK-SNARK ใหม่ ช่วยให้นักพัฒนามีเวลาตรวจสอบต่ำและฟังก์ชันต้นทุนก๊าซต่ำ

แบบที่ 4 (เทียบเท่าภาษาระดับพัฒนา - ภาษาระดับสูงเทียบเท่ากับ EVM)

Type 4 EVM ทำงานโดยการรวบรวมซอร์สโค้ดสัญญาอัจฉริยะที่เขียนด้วยภาษาระดับสูง (เช่น Solidity, Vyper หรือภาษาระดับกลาง) เป็นภาษาบางภาษาที่ออกแบบมาอย่างชัดเจนเพื่อให้เป็นมิตรกับ ZK-SNARK

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

ข้อเสียของ Type 4 zkEVM คือเข้ากันได้น้อยกว่า หนึ่งคือที่อยู่ของสัญญาในระบบ Type 4 อาจแตกต่างจากที่อยู่ใน EVM อีกอันคือแอปพลิเคชันจำนวนมากใช้รหัสไบต์ EVM ที่เขียนด้วยลายมือในบางส่วนเพื่อปรับปรุงประสิทธิภาพ ซึ่งระบบ Type 4 อาจไม่รองรับ สิ่งอำนวยความสะดวกไม่สามารถสืบทอดได้เช่นกัน

ปัจจุบันโครงการที่เกี่ยวข้องกับ Type 4 zkEVM ได้แก่ zkSync Era และ StarkNet

zkSync Era สร้างขึ้นโดย Matters Lab zkSync Era เป็น EVM ตัวแรกที่เปิดตัวบน mainnet และสามารถเข้าถึงสาธารณะได้อย่างเต็มที่เพื่อเชื่อมเงินทุนเข้ากับระบบหรือปรับใช้โค้ดบนเครือข่าย zkSync Era ใช้รูปแบบ bytecode อื่นเพื่อรองรับ Solidity โดยจัดเตรียมคอมไพเลอร์ รองรับ Solidity แต่ไม่ใช่ EVM bytecode เอง ไม่สามารถใช้เครื่องมือต่างๆ เช่น หมวกนิรภัยได้โดยตรง แม้ว่าจะมีปลั๊กอินสำหรับ zkSync ให้ใช้งานก็ตาม

StarkNet สร้างขึ้นโดย StarkWare เป็น zk-rollup L2 ที่ใช้การพิสูจน์ความรู้เป็นศูนย์เพื่อสร้างเลเยอร์การดำเนินการแบบออฟไลน์สำหรับ Ethereum อันที่จริง EVM ไม่ใช่คุณสมบัติดั้งเดิมของ Starknet Starknet ใช้ตัวแปลง Warp (ให้บริการโดย Nethermind) เพื่อแปลงรหัส Solidity เป็น Cairo เพื่อรองรับการปรับใช้สัญญาอัจฉริยะ

ความท้าทายและอนาคตของ zkEVM

** **

เนื่องจาก EVM ไม่ได้สร้างขึ้นโดยคำนึงถึงการคำนวณแบบ zk-proof เป็นหลัก จึงมีคุณสมบัติที่ไม่เป็นมิตรกับวงจรการพิสูจน์ โดยเฉพาะอย่างยิ่งในแง่ของ opcodes พิเศษ ค่าใช้จ่ายในการจัดเก็บสถาปัตยกรรมตามสแต็ก และค่าใช้จ่ายในการพิสูจน์ แต่ความก้าวหน้าหลายอย่างในเทคโนโลยีที่ไม่มีความรู้ทำให้สามารถบรรเทาปัญหาเหล่านี้ได้

zkEVM ทั้งห้าประเภทไม่ชัดเจนว่าใครดีและใครไม่ดี ประเภทที่มีเลขต่ำกว่าจะเข้ากันได้กับโครงสร้างพื้นฐานที่มีอยู่มากกว่า แต่ช้ากว่า ในขณะที่ประเภทที่มีเลขสูงจะเข้ากันได้กับโครงสร้างพื้นฐานที่มีอยู่น้อยกว่า แต่ช้ากว่า เร็วกว่า โดยทั่วไปแล้ว โครงการต่างๆ ที่สำรวจประเภทต่างๆ จะเป็นประโยชน์ต่อการพัฒนา zkEVM และ Ethereum

ในอนาคต จะมีการใช้งาน zkEVM หลายแบบที่สามารถใช้ได้ทั้งกับ ZK Rollup และสำหรับตรวจสอบเชน Ethereum เอง ตามทฤษฎีแล้ว Ethereum ไม่จำเป็นต้องใช้ zkEVM มาตรฐานเดียวสำหรับ L1 และไคลเอ็นต์ที่แตกต่างกันสามารถใช้หลักฐานที่แตกต่างกันได้ อย่างไรก็ตาม มันจะใช้เวลาค่อนข้างนานก่อนที่อนาคตดังกล่าวจะถูกรับรู้ ในขณะเดียวกัน เราจะเห็นนวัตกรรมเพิ่มเติมในเส้นทางต่างๆ ของการปรับขนาด Ethereum และ ZK-rollup ที่ใช้ Ethereum