การวิเคราะห์เปรียบเทียบโซลูชัน ZK หลักทั้งสี่ของ Polygon: คุณสมบัติและข้อดีคืออะไร

ใครสามารถทำลายแผน "สี่ชิ้น" ของ Polygon ได้

เขียนโดย: s นักวิเคราะห์ Venture Capital

เรียบเรียงโดย: Felix

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

รูปหลายเหลี่ยม Hermez | zkEVM

Hermez เป็น ZK Rollup แบบกระจายศูนย์ตัวแรกบน Ethereum mainnet โดยให้บริการชำระเงินเร็วที่สุดในเดือนมีนาคม 2021 Polygon Hermez ใช้สถาปัตยกรรม ZK-SNARK และมีเป้าหมายเพื่อแก้ปัญหาความสามารถในการปรับขนาดของ Ethereum blockchain โดยใช้การพิสูจน์ความรู้แบบไม่มีศูนย์เพื่อเปิดใช้งานธุรกรรมที่รวดเร็วและถูกกว่าบนเครือข่าย Ethereum เนื่องจาก EVM ไม่ได้ถูกสร้างขึ้นเพื่อสร้าง ZK Proofs (ZKPs) Polygon Hermez จึงสร้าง zkEVM เป็นหลักโดยสร้างรหัสการทำงานของ EVM ใหม่ทั้งหมด

ทำไมต้องเป็น zkEVM

การสร้าง zkEVM ทำให้ EVM opcode ที่จำลองโดย Polygon Hermez สามารถนำมาซึ่งข้อดีดังต่อไปนี้:

1. สืบทอดความปลอดภัยที่แข็งแกร่งของ Ethereum

2. ง่ายต่อการนำไปใช้ เนื่องจากชุมชนนักพัฒนา Ethereum สามารถโยกย้ายงาน EVM ไปยัง zkEVM และใช้เครื่องมือที่มีอยู่ได้อย่างง่ายดาย (ประสบการณ์การพัฒนาที่ดี)

ผลงาน

สถาปัตยกรรมที่ใช้ ZK-SNARK สามารถให้ได้ถึง 2,000 TPS และรักษาต้นทุนให้ต่ำกว่า 300,000 Gas

รูปหลายเหลี่ยมศูนย์ | สแนร์ก + สตาร์ค

Polygon Zero เดิมชื่อ Mir Protocol เมื่อ Polygon Zero เดิมพัฒนา Plonky2 ขึ้นมา ใช้เวลา 2 นาทีในการสร้างการพิสูจน์ซ้ำ ตอนนี้ Plonky2 ใช้เวลาเพียง 170 มิลลิวินาทีในการสร้างการพิสูจน์ซ้ำบนแล็ปท็อป

ในที่สุด Polygon Zero กำลังสร้าง zkEVM ที่ปรับขนาดได้มากที่สุดซึ่งขับเคลื่อนโดย Plonky2 Plonky2 เป็น SNARK แบบเรียกซ้ำที่เร็วกว่าโครงร่างมาตราส่วน ZK อื่น ๆ บน Ethereum ถึง 100 เท่า สิ่งนี้ทำได้โดยการรวมข้อดีของ STARK (การพิสูจน์ที่รวดเร็วและการตั้งค่าที่ไม่น่าเชื่อถือ) เข้ากับข้อดีของ SNARK (การเรียกซ้ำ ต้นทุนการตรวจสอบต่ำ)

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

Plonky2 เข้ากันได้กับ Ethereum ดั้งเดิม รองรับรหัส Solidity และแปลงเป็น ZK bytecode ดังนั้น Polygon Zero จึงสามารถใช้ประโยชน์จากระบบนิเวศ Ethereum dApp ที่มีอยู่ได้

รูปหลายเหลี่ยม Miden | สตาร์ค

การยกเลิกตาม STARK มีฟังก์ชันต่อไปนี้:

• โปร่งใสและปรับขนาดได้: ไม่จำเป็นต้องตั้งค่า/ประมวลผลล่วงหน้าที่เชื่อถือได้
• การเข้ารหัสแบบลีน: การโจมตีคอมพิวเตอร์ควอนตัมในอนาคตนั้นเป็นไปไม่ได้
• ประสิทธิภาพสูง: ชั้นนำในการสร้างหลักฐานและเวลาในการตรวจสอบ

Polygon Miden มีศูนย์กลางอยู่ที่ Miden VM (Virtual Machine) และสนับสนุนโปรแกรมตามอำเภอใจ เป็นมิตรกับนักพัฒนามากขึ้นโดยการซ่อนความซับซ้อนในการเข้ารหัสทั้งหมดของ ZKP และทำตามรูปแบบสถาปัตยกรรมที่นักพัฒนาคุ้นเคย (เครื่องสแต็ก หน่วยความจำการอ่านและเขียน ฯลฯ)

ความปลอดภัย

คุณสมบัติหลักประการหนึ่งของ Polygon Miden คือความปลอดภัย โปรโตคอลจะลบคุณสมบัติที่ไม่ปลอดภัยบางอย่าง (มีอยู่ใน EVM) ซึ่งทำให้ง่ายต่อการวิเคราะห์สัญญาอัจฉริยะแบบคงที่และป้องกันข้อบกพร่องบางอย่างในระดับเครื่องเสมือน (VM)

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

Miden เข้ากันได้กับ Ethereum ที่ระดับ Solidity นักพัฒนาสามารถปรับใช้สัญญาสมาร์ท Solidity ส่วนใหญ่บน Miden โดยไม่ต้องแก้ไข ความแปลกใหม่อีกอย่างคือความเข้ากันได้กับภาษาอื่น ๆ เช่น Move และ Sway

ผลงาน

เมื่อเปิดตัว TPS จะอยู่ระหว่าง 1,000 ถึง 2,000 เมื่อเศษชิ้นส่วนถูกนำไปใช้งานบน Ethereum แล้ว TPS จะสูงถึงประมาณ 20,000 TPS

รูปหลายเหลี่ยมราตรี| มองโลกในแง่ดี + ZK

ตรงกันข้ามกับโซลูชัน ZK ข้างต้น Nightfall มุ่งเน้นไปที่การโอนและการชำระเงินส่วนตัว โดยรองรับโทเค็น ERC20, ERC721 และ ERC1155

ข้อมูลใด ๆ ที่ไม่จำเป็นต้องเก็บไว้ในสัญญาอัจฉริยะจะถูกเก็บไว้นอกเครือข่าย เพื่อเพิ่มประสิทธิภาพสัญญาอัจฉริยะ ทีมงานกำลังดำเนินการเกี่ยวกับกลไกการถอนเงินทันทีซึ่งจะช่วยให้ผู้ใช้ข้ามเส้นตาย 1 สัปดาห์ในการส่งหลักฐานการฉ้อโกง โปรโตคอลนี้ช้ากว่ามาก มากถึง 105TPS อย่างไรก็ตาม มีการประเมินว่าค่าน้ำมันของการถ่ายโอนสามารถลดลงได้มากถึง 86% โดยคงที่ที่ประมาณ 9000 แก๊ส

เปรียบเทียบ

ภาพด้านล่างคือบทสรุปของผู้เขียนเกี่ยวกับโครงร่างทั้งสี่:

สรุปแล้ว

เห็นได้ชัดว่า Polygon กำลังลงทุนเวลาและเงินจำนวนมากในการเป็นผู้นำการพัฒนาโซลูชันการปรับสเกล ZK มารอดูประสิทธิภาพของ mainnet และวิธีการทำงานร่วมกับโปรโตคอล ZK อื่นๆ