ชื่อเดิม: "การเปรียบเทียบ zkEVM"

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

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

ในขณะที่ "สงคราม zkEVM" ดุเดือดขึ้น มีการถกเถียงกันมากมายเกี่ยวกับข้อดีของ zkEVM ที่แตกต่างกัน แต่ก็มีข้อมูลที่ผิดด้วยเช่นกัน ดังนั้นเราจึงต้องการชี้แจงข้อเท็จจริงบางประการเกี่ยวกับ Polygon zkEVM และวิธีเปรียบเทียบกับโครงการอื่นๆ

ในฐานะพนักงานของ Polygon ฉันมีอคติ แต่ฉันจะพยายามไม่ลำเอียง ฉันเน้นไปที่ zkEVM และ zkSync Era ของ Polygon เป็นส่วนใหญ่ เนื่องจากพวกเขาใช้งานจริงแล้ว และฉันก็ไม่ค่อยรู้เกี่ยวกับโปรเจ็กต์ zkEVM อื่นๆ มากนัก

ความเข้ากันได้ของ EVM

ความเข้ากันได้ของ EVM

รูปหลายเหลี่ยม zkEVM ดำเนินการ EVM bytecode โดยตรง ตามการจัดประเภทของ Vitalik เป็นประเภท 3 zkEVM เร็ว ๆ นี้จะเป็นประเภท 2; ขณะนี้เราขาดคอมไพล์สี่ตัว Scroll ยังทำงานกับ Type 2 zkEVM

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

ผลงาน

ผลงาน

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

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

การเลือกโดเมน

หลังจากตรวจสอบทางเลือกหลายทางแล้ว เราก็ตกลงบนฟิลด์ที่เรียกว่าโกลดิล็อคส์ ซึ่งเป็นฟิลด์ที่มีช่วงเวลาจำนวนมหาศาลของลำดับที่ 2 2^64 - 2^32 + 1 ขนาดที่เล็กและโครงสร้างไบนารีที่สวยงามทำให้การดำเนินการภาคสนามรวดเร็วมาก โดยใช้เวลาน้อยกว่าสองรอบใน CPU สมัยใหม่

zkSync ใช้แนวทางแบบดั้งเดิมมากขึ้น โดยใช้ SNARK ตามเส้นโค้ง alt-bn 128 ขนาดของฟิลด์พื้นฐานประมาณ 254 บิต และการคูณฟิลด์ใช้เวลาประมาณ 80 รอบบน CPU

เพื่อให้เข้าใจถึงผลกระทบของความแตกต่างอย่างมากนี้ เราสามารถดูเกณฑ์มาตรฐาน SHA 2 ของ Celer ได้ ที่นั่น เครื่องพิสูจน์ STARK ของเราเร็วกว่าเครื่องพิสูจน์เส้นโค้งวงรี 5-50 เท่า

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

เลขคณิต

ความแตกต่างไม่ได้หยุดเพียงแค่นั้น zkEVM ของเราสร้างขึ้นจาก STARK แต่ด้วยการเปลี่ยนแปลงที่ทันสมัย เรามี STARK หลักสำหรับ CPU (หนึ่งแถวต่อรอบ) และ STARK อื่นๆ สำหรับเลขคณิต การแฮช ฯลฯ สามารถรวมตารางเหล่านี้ได้ตามที่เราอธิบายไว้ใน RapidUp ลักษณะนี้คล้ายกับ CPU จริง ซึ่งมักมีตัวประมวลผลร่วมเพื่อเพิ่มความเร็วในการดำเนินการอย่างเข้มข้น เช่น การเรนเดอร์ การเข้ารหัสลับ หรือการอนุมาน ML

ยกตัวอย่าง Keccak เนื่องจากมีการใช้อย่างแพร่หลายในแอปพลิเคชัน EVM เราจึงออกแบบ STARK ขึ้นมาโดยเฉพาะ โดยใช้เทคนิคใหม่ๆ ที่เราบันทึกไว้ที่นี่ การออกแบบการคำนวณเลขคณิตแบบกำหนดเองนั้นต้องการการทำงานจำนวนมาก แต่ได้ผลดี ทำให้เราสามารถพิสูจน์การเรียงสับเปลี่ยนของ Keccak ได้หลายร้อยครั้งต่อวินาที

zkSync ใช้สิ่งที่ฉันเรียกว่าแนวทางดั้งเดิมมากกว่า พวกเขาใช้ Prover ที่ใช้ PLONK และในขณะที่รองรับเกทแบบกำหนดเอง zkEVM ของพวกเขาก็ไม่ได้ถูกใช้งานมากนัก การคำนวณส่วนใหญ่ดำเนินการโดยใช้เกททั่วไปที่เรียกว่า SelectorOptimizedWidth 4 MainGateWithDNext ดูเหมือนว่าจะมีประสิทธิภาพมากกว่าประตูวานิลลา PLONK เล็กน้อย แต่ก็ยังจำกัดการใช้งานง่ายๆ เช่น การเพิ่มมัล

ความปลอดภัย

ความปลอดภัย

Polygon ให้ความสำคัญกับความปลอดภัยเป็นอย่างมาก และ zkEVM ของเราผ่านการตรวจสอบอิสระสองครั้ง: หนึ่งครั้งโดย Spearbit และอีกครั้งโดย Hexens รายงานทั้งสองฉบับสามารถดูได้แบบสาธารณะที่นี่ นอกจากนี้ เรายังเผยแพร่คำแนะนำสำหรับการตรวจสอบการปรับใช้

เราไม่ทราบว่า zkEVM ของ zkSync ผ่านการตรวจสอบจากสาธารณะหรือไม่ เว็บไซต์ของ zkSync แสดงรายการการตรวจสอบสำหรับสัญญาเชื่อมโยง แต่ไม่ใช่ zkEVM เอง

ชื่อระดับแรก

ข้อมูล L1

Polygon zkEVM เผยแพร่ข้อมูลธุรกรรมทั้งหมดไปยัง L1 มีความสับสนเกี่ยวกับเรื่องนี้บน Twitter โปรดดูบทความของ Edu เกี่ยวกับค่าธรรมเนียมน้ำมันสำหรับเรื่องนี้ ปัจจุบัน ขนาดธุรกรรมเฉลี่ยประมาณ 120 ไบต์ ดังนั้นค่าธรรมเนียมแก๊สต่อธุรกรรมจึงประมาณ 120*16 = 1920 แก๊ส

zkSync เผยแพร่ความแตกต่างของสถานะ ตัวสร้างซีเรียลที่เป็นอันตรายอาจปกปิดข้อมูลธุรกรรม แต่ zkSync เชื่อว่าการมีสถานะปัจจุบันของ trie นั้นเพียงพอสำหรับการรักษาความปลอดภัย สิ่งนี้ดูเหมือนจะขัดแย้งกันเนื่องจากโดยทั่วไปคาดว่าจะมีข้อมูลการทำธุรกรรมและบางแอปพลิเคชันขึ้นอยู่กับข้อมูลดังกล่าว

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

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

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