Foresight Ventures: เริ่มต้นจาก Polygon zkEVM ทำความเข้าใจกับ zkEVM Rollup

特邀专栏作者

2022-09-05 07:24

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

แกนหลักของ zkEVM Rollup ขั้นสุดท้ายอย่างแท้จริงจะไม่ใช่สถาปัตยกรรมทางเทคนิคหรือความก้าวหน้าทาง

ผู้เขียนต้นฉบับ: msfew@Foresight Ventures

ผู้เขียนต้นฉบับ: msfew@Foresight Ventures

เส้นทางในอนาคตของ Ethereum อาจกล่าวได้ว่าเป็นการสร้างแบบเฉพาะสำหรับ Rollup และปัจจุบันโซลูชันที่ได้รับการคาดหวังมากที่สุดคือ zk Rollup โดยใช้เทคโนโลยีการพิสูจน์ด้วยความรู้เป็นศูนย์โดยทั่วไปในการรับรู้ของทุกคน,zk Rollup ต้องการการพัฒนาทางวิศวกรรมเป็นเวลาหลายปีก่อนที่จะสามารถลงจอดได้จริงๆนี้เป็นเพราะความยากในการพัฒนาในการสร้าง zkEVM นั้นใหญ่มาก

เพื่อให้นักพัฒนาสามารถถ่ายโอนและใช้งาน Ethereum smart contracts ไปยัง zk Rollup ได้อย่างราบรื่น ทีมพัฒนาจำเป็นต้องพัฒนาและเพิ่มประสิทธิภาพการทำงานของ zkEVM ที่เข้ากันได้กับ EVMการใช้งาน zkEVM เป็นงานหลักของทีม zk Rollup อื่นๆ เสมอมา เช่น Ethereum Foundation และ Polygon ในมุมมองระยะยาว การใช้งาน zkEVM ไม่เพียงแต่สามารถแก้ปัญหา:

แง่มุมของคอขวดที่สอดคล้องกันของ Ethereum Mainnet
I/O: ผ่าน stateless และ zkEVMs
ที่เก็บข้อมูล: ผ่าน zkEVMs ที่ไร้สัญชาติและประดิษฐาน

การคำนวณ: ผ่าน zkEVM ที่ประดิษฐานอยู่

ในขณะเดียวกัน ด้วย zkEVM เป็นองค์ประกอบหลัก สามารถสร้างเครือข่าย Rollup อเนกประสงค์ที่สมบูรณ์แบบอย่างแท้จริงเมื่อเร็วๆ นี้ Polygon นำ zkEVM ดังกล่าวมาด้วย,เวอร์ชันอัลฟ่า zk ค่าสะสม

0. zkEVM

เมื่อเปรียบเทียบกับ Scroll, StarkNet, zkSync, Sin7Y และโซลูชันอื่น ๆ ต่างก็มีทั้งข้อดีและข้อเสีย การมีอยู่ของ zkEVM เหล่านี้เป็นการก้าวกระโดดครั้งยิ่งใหญ่สำหรับ Polygon และระบบนิเวศ Ethereum และยังหมายความว่าประสบการณ์ผู้ใช้แบบ Rollup ใหม่ที่ดีกว่าเดิมกำลังจะมา .

ก) รู้เบื้องต้นเกี่ยวกับ zkEVMก่อนที่จะเข้าใจว่า zkEVM Rollup ทำลายประสบการณ์ของผู้ใช้ Ethereum อย่างไร เราต้องเข้าใจแนวคิดของ zkEVM หากคุณต้องการทราบข้อมูลเพิ่มเติมเกี่ยวกับ zk, zkVM และ zkEVM โปรดอ่าน.

บทความวิจัยก่อนหน้าของเรา

แนวคิดของ zkEVM สามารถแบ่งออกเป็นสองส่วน:
zk: เทคโนโลยีการพิสูจน์ด้วยความรู้เป็นศูนย์ ซึ่งสามารถพิสูจน์ความถูกต้องของชุด tx ผ่านการพิสูจน์ที่ง่ายขึ้น บรรลุความน่าเชื่อถือทางคอมพิวเตอร์ และบรรลุการขยายตัวEVM: ตัวดำเนินการสัญญาอัจฉริยะของระบบนิเวศ Ethereum การมีอยู่ของ EVM ที่ทำให้ Ethereum มีความสามารถในการเรียกใช้สัญญาอัจฉริยะและกลายเป็นเครือข่ายคอมพิวเตอร์ทั่วโลก (ในทางกลับกัน ฟังก์ชันของ Bitcoin อาจเป็นเพียงเครื่องคิดเลขเท่านั้น) และ EVM คือ ยังได้มาจากรองรับ EVM, เทียบเท่า EVM, EVM superset

จากนั้น zkEVM เป็นเครื่องเสมือน zk ที่เข้ากันได้กับ EVM อย่างน้อยในระดับภาษาการเขียนโปรแกรม หลังจากที่ smart contract ทำงานใน zkEVM แล้ว จะสร้างหลักฐาน zk ซึ่งสามารถพิสูจน์ความถูกต้องของการเปลี่ยนสถานะที่กำลังทำงานอยู่และรับประกันความน่าเชื่อถือของการคำนวณ . ผู้ตรวจสอบต้องการเพียงยืนยันการพิสูจน์ว่าการตรวจสอบเพียงพอ (ค่าใช้จ่ายต่ำ) ไม่จำเป็นต้องดำเนินการซ้ำ (ความซ้ำซ้อนมาก)

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

ข) ความหมายของ zkEVM

zkEVM มีความสำคัญในทุกระดับ:
สำหรับการขยายตัวของ Rollup: zkEVM สามารถสร้างการพิสูจน์สำหรับ batch tx เพื่อตรวจสอบอย่างรวดเร็วบนเครือข่ายหลัก และบรรลุความน่าเชื่อถือทางคอมพิวเตอร์ด้วยความช่วยเหลือของการรักษาความปลอดภัยเครือข่ายหลักในลักษณะที่เป็นเอกฉันท์ที่ซับซ้อนและน่าเชื่อถืออย่างสมบูรณ์หลายรอบ
สำหรับนักพัฒนา DApp: นักพัฒนาไม่จำเป็นต้องเรียนรู้ความรู้ฮาร์ดคอร์ที่เกี่ยวข้องกับ zk หรือภาษาใหม่ใดๆ นอกเหนือจาก Solidity และ Vyper พวกเขาสามารถใช้ zkEVM เพื่อมอบพลังพิเศษของสัญญาอัจฉริยะใดๆ ของ zk
สำหรับนักพัฒนา zkEVM: แทนที่จะเขียนวงจรต่างๆ สำหรับการทำงานของสัญญาอัจฉริยะบนเครือข่าย เพียงแค่บำรุงรักษา zkEVM
สำหรับผู้สร้าง Layer3: คุณสามารถลองสร้าง Layer3 Verifier ใน zkEVM ดังนั้นการทำธุรกรรมแบบกลุ่มของ Layer3 จึงสามารถพิสูจน์เพิ่มเติมได้ในเวลาเดียวกัน และแบทช์เป็น tx สำหรับการตรวจสอบบนเครือข่ายหลัก (L3: 1,000 tx → L2: 10 tx → L1 : 1 tx) ใช้การยกเลิกแอป

สำหรับ Ethereum: การมีอยู่ของโซลูชัน zkEVM หลายตัวจะกลายเป็นสินค้าสาธารณะที่สำคัญในที่สุด ซึ่งช่วยให้ Ethereum ตระหนักถึงขั้นตอนต่อไปของ Enshrined zkEVM และ zk ทุกอย่างที่เป็น Roadmap

c) แผน zkEVM และการเปรียบเทียบความคืบหน้า

โครงการ zk Rollup มีการใช้งานอย่างมากเมื่อเร็วๆ นี้ StarkNet ประกาศว่าจะออกเหรียญในอนาคต, Aztec เปิดตัว DeFi ส่วนตัว, zkSync เปิดตัวการนับถอยหลังสู่การเปิดตัว mainnet, Scroll เปิดตัว zkEVM รุ่น Pre-Alpha, Polygon โอเพ่นซอร์สครบชุด ของรหัสของโครงการ zkEVM...ระบบนิเวศ Ethereum สามารถอธิบายได้ว่าเป็นการแข่งขันทางอาวุธระหว่าง zk และ zkEVM และในขณะที่เราเป็นบทความ zkVM และ zkEVM ก่อนหน้า

ตามที่กล่าวไว้ใน โซลูชัน zkEVM มีข้อดีและข้อเสียในตัวเอง

ประการแรกคือความแตกต่างในทิศทางทั่วไปของเทคโนโลยี ซึ่งโดยพื้นฐานแล้วแบ่งออกเป็นสองทิศทาง:

มีผู้เล่นที่แตกต่างกันในทั้งสองทิศทาง:
อ้างอิงจากเนทีฟ: Polygon, AppliedZKP, Scroll, Taiko แน่นอนว่าสามอย่างหลังได้รับการพัฒนาทั้งหมดใน Repo เดียวกัน ซึ่งโดยพื้นฐานแล้วถือได้ว่าเป็นโซลูชันเดียวกัน

ขึ้นอยู่กับการรวบรวม: StarkNet, zkSync, OlaVM ฯลฯ แทร็กนี้มีผู้เล่นมากที่สุด แต่ความแตกต่างระหว่างโครงการต่างๆ นั้นค่อนข้างใหญ่ตามวิธีการเปรียบเทียบการจัดประเภทของ Vitalik

แบ่งออกเป็นประเภทต่างๆ ดังนี้
ประเภทที่ 1: ปรับให้เข้ากับ zkEVM ของ Ethereum L1 ได้อย่างสมบูรณ์ เช่น AppliedZKP
ประเภทที่ 2: zkEVM ที่มี EVM เดียวกัน แต่มีโครงสร้างภายในที่แตกต่างกันเล็กน้อย เช่น Scroll และ Hermez ในอนาคต
ประเภท 2.5: EVM เหมือนกัน เฉพาะค่าน้ำมันเท่านั้นที่แตกต่างกัน (อาจทำให้เกิดความเข้ากันได้เล็กน้อย) เช่น Scroll และ Hermez หลังจากเพิ่มคอมไพล์การทำงานที่ซับซ้อน
ประเภทที่ 3: zkEVM ที่เกือบจะเทียบเท่ากับ EVM เช่น Scroll และ Hermez ในขั้นตอนนี้

ประเภทที่ 4: zkEVM เข้ากันได้กับ EVM ในระดับภาษา ฟีเจอร์และสิ่งอำนวยความสะดวกสำหรับนักพัฒนาจะแตกต่างกันและนักพัฒนาไม่สามารถเขียน EVM Bytecode ได้โดยตรง เช่น zkSync และ StarkNet

ในการเลือกแผนมีตัวแปรมากมายจริง ๆ เช่นเดียวกับการเพิ่มคะแนนให้กับตัวละครเริ่มต้นของเกมสามารถจัดสรรแต้มความสามารถจำนวนหนึ่งให้กับตัวแปรแต่ละตัวเท่านั้นซึ่งอาจกล่าวได้ว่าเป็นไตรลักษณ์อื่น:
ประสิทธิภาพ (zk Prover, Verifier, โอเวอร์เฮด, การเร่งด้วยฮาร์ดแวร์)
ความสามารถในการปรับตัว (นักพัฒนา DApp, โครงสร้างพื้นฐาน, เครื่องมือพัฒนา, นักขุด)

ความยากในการพัฒนา (ความยากในการบำรุงรักษา ความคืบหน้าในการพัฒนา ความซับซ้อนของระบบ ความซับซ้อนของการนำวิศวกรรมไปใช้)ในบรรดาแบบแผนทั่วไปความแตกต่าง

StarkNet: ใช้ zkVM (CairoVM) ใหม่ล่าสุดโดยสมบูรณ์โดยมีประสิทธิภาพที่ดีและมีความยากในการพัฒนาต่ำแต่ปรับตัวได้ไม่เพียงพอ (Warp translater จำเป็นต้องรู้ EVM) จุดเด่นที่สุดคือมันได้ก่อตัวเป็นระบบนิเวศและมีstorage proofและfractal scalingและ
รอนวัตกรรมใหม่zkSync: zkEVM ที่ระดับ IR (ส่วน LLVM-IR) ปรับตัวได้ดี (ปรับตามระดับภาษา) ประสิทธิภาพปานกลางและความยากลำบากในการพัฒนา,มีความยืดหยุ่นมากขึ้น
จุดเด่นที่สุดคือสามารถรองรับภาษาอื่นนอกเหนือจาก Solidity ผ่าน LLVM ในระหว่างกระบวนการทำซ้ำของคอมไพเลอร์

1. Polygon zkEVM Rollup

Hermez และ Scroll: ทั้งคู่ถือเป็น zkEVM ที่ระดับ Bytecode (ไม่ได้หมายความว่า EVM Bytecode จะถูกนำกลับมาใช้ใหม่ทั้งหมดแต่ความแตกต่างระหว่างทั้งสองนั้นน้อยมาก) ความสามารถในการปรับตัวนั้นยอดเยี่ยมและเสียสละประสิทธิภาพ (the EVM ดั้งเดิมไม่เป็นมิตรกับ zk หลังจากการต่อวงจร มีความท้าทายด้านประสิทธิภาพมากมายที่ต้องเอาชนะ) การพัฒนานั้นยากมาก และจุดเด่นที่สุดคือความปลอดภัยของสถาปัตยกรรมและสิ่งที่ดั้งเดิมที่สุด

องค์ประกอบหลักของเครือข่าย zkEVM Rollup แบบโอเพ่นซอร์สของ Polygon Hermez คือ zkEVM การเปรียบเทียบโซลูชันทางเทคนิคโดยรวมกับโซลูชันอื่นโดยพื้นฐานแล้วจะเหมือนกับที่เราอธิบายไว้ข้างต้น

a) สถาปัตยกรรมการยกเลิกรูปหลายเหลี่ยม zkEVM

สถาปัตยกรรมโดยรวมของ Polygon zkEVM Rollup มีดังนี้:

แกนหลักของสถาปัตยกรรมคือ zkEVM เอง zkEVM จะดำเนินการ L2 tx และเครือข่าย off-chain proof จะสร้างการพิสูจน์ความถูกต้องสำหรับการดำเนินการ tx ใน zkEVM และการเปลี่ยนแปลงสถานะสุดท้ายและการพิสูจน์จะถูกส่งไปยัง Ethereum mainnet

ส่วนประกอบที่สำคัญของ Polygon zkEVM Rollup คือ: อัลกอริทึมฉันทามติ PoE, zkNode, zkProver, STARK และ SNARK Proof Builder, สะพานข้ามสายโซ่ Rollup:อัลกอริทึมฉันทามติ PoE

: เพื่อปรับปรุงความปลอดภัย ประสิทธิภาพ และการกระจายอำนาจ อัลกอริทึม PoE แทนที่อัลกอริทึม PoD ของ Hermez 1.0 สามารถรวม PoE กับ PoS เพื่อให้แน่ใจว่าการกระจายอำนาจและประสิทธิภาพสูงของบล็อก Polygon zkEVM Rollup นักขุดที่ทำงาน zkNode สามารถกลายเป็น Sequencer และ miner ใดๆ ที่ใช้งาน zkNode และ zkProver สามารถกลายเป็น Aggregator ได้ ค่าน้ำมันของสิทธิ์ในการผลิต block ของนักขุดจะถูกซื้อขายโดยใช้ $MATIC
zkNode: zkNode เป็นซอฟต์แวร์ที่นักขุดที่ต้องการมีส่วนร่วมในเครือข่าย Polygon zkEVM Rollup จำเป็นต้องเรียกใช้ zkNode จะทำการซิงโครไนซ์ tx, เรียงลำดับ และตรวจสอบ นอกจากนี้ หากคุณต้องการเข้าใจสถานะการทำงานของเครือข่ายแทน ในการเข้าร่วม คุณต้องรันโหนดแบบอ่านอย่างเดียวเท่านั้น ไม่จำเป็นต้องรัน zkNode

zkProver: zkProver เป็นซอฟต์แวร์ที่นักขุดที่ต้องการเข้าร่วมในเครือข่าย Polygon zkEVM Rollup ในฐานะ Aggregator ต้องเรียกใช้ ตามชื่อที่บอกไว้ zkProver เป็นเครื่องพิสูจน์ที่สร้างการพิสูจน์ zk โดยพื้นฐานแล้ว zkEVM คือการเปลี่ยนสถานะภายใต้การแทนชื่อพหุนาม และ zkProver ประกอบด้วย Main SM Executor และเครื่องสถานะรองหลายเครื่องเพื่อให้ได้หลักฐานการเปลี่ยนสถานะ

STARK และ SNARK Proof Builder: ผู้สร้าง Proof ทั้งสองจะสร้าง STARK และ SNARK การพิสูจน์สองประเภทที่แตกต่างกัน STARK (PIL STARK) สร้างการพิสูจน์สำหรับข้อจำกัดพหุนามของแบทช์การเปลี่ยนสถานะ ในขณะที่ SNARK (SnarkJS) สร้างการพิสูจน์ STARK การพิสูจน์ขนาดคงที่ สามารถเผยแพร่บนเครือข่ายด้วยต้นทุนที่ถูกกว่า

สะพานข้ามโซ่ Rollup: นอกจากจะเป็นสะพานข้ามโซ่ Burn/Mint แบบดั้งเดิมแล้ว Polygon zkEVM Rollup ยังสามารถใช้เป็นสะพานข้ามโซ่กับ L2 อื่นๆ ได้อีกด้วย

b) การออกแบบรูปหลายเหลี่ยม zkEVM Rollup

แนวคิดการออกแบบหลักของ Polygon zkEVM Rollup คือ:
การกระจายอำนาจ (ทุกคนสามารถสร้างสถานะของค่าสะสมใหม่ทั้งหมดผ่าน DA โดยไม่มีการเซ็นเซอร์และการควบคุมจากส่วนกลาง)
ไม่ต้องรับสมัคร (ทุกคนสามารถเข้าร่วมในเครือข่ายในฐานะ Sequencer หรือ Aggregator)

ประสิทธิภาพและประสิทธิผล (ผ่าน PoE, การคำนวณนอกสายโซ่, การชำระบัญชีโหมด UTXO ของสัญญาสะพานข้ามสายโซ่ และแผนการเพิ่มประสิทธิภาพการเข้ารหัสต่างๆ สำหรับการปรับปรุงประสิทธิภาพ)

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

c) คุณสมบัติของ Polygon zkEVM Rollup

มีข้อดีมากมายที่ทำให้โซลูชัน Polygon โดดเด่นประการแรก การทำงานร่วมกันระหว่างทีมพัฒนา Polygon ก่อให้เกิดพลังร่วมกัน จักรวาล zk ของ Polygon ประกอบด้วย Polygon Hermez (ซึ่งเรียกว่าทีมพัฒนาหลักของ Polygon zkEVM), Polygon Zero, Polygon Miden และ Polygon Nightfall แบบโมดูลาร์ แผนนี้ยังรวมถึงทีมอื่นๆ อีกหลายทีม แม้ว่าทิศทางของ zk ทั้ง 3 ทีมจะแตกต่างกันเล็กน้อยแต่พวกเขาล้วนเป็นทีมชั้นนำในสาขา zkVM และพวกเขาสามารถทำงานร่วมกันได้โดยตรงและช่วยเหลือซึ่งกันและกันในแง่ของโซลูชันทางเทคนิคและสถาปัตยกรรม.

ตัวอย่างเช่น Polygon Hermez เลือกฟิลด์ขนาดเล็ก 64 บิตเพื่อสร้างใบรับรอง STARK ซึ่งเป็นข้อเสนอของ Polygon Zeroนอกจากนี้ Polygon zkEVM Rollup ยังมีนวัตกรรมมากมายในเทคโนโลยี zk ตัวอย่างเช่น การสร้าง DSL สองตัว, zkASM และ PIL สามารถใช้เพื่ออธิบาย EVM bytecode และเข้ารหัสสัญญาพหุนาม การรวมกันของ STARK และ SNARK มีบทบาทใน ปรับขนาดได้ของ STARK และ SNARK ของ SNARK รวบรัดซึ่งทำให้การพิสูจน์โดยรวมเร็วขึ้นและใช้พื้นที่น้อยลงในห่วงโซ่สุดท้าย,การเพิ่มประสิทธิภาพเป็นลูกบุญธรรมGoldilocks ที่มีประสิทธิภาพมาก

ในฐานะที่เป็นฟิลด์ฐาน การคำนวณแบบขนานของวงจร Keccek จะถูกนำไปใช้ และแผนภูมิ Merkle โพไซดอนแฮชถูกใช้เป็นโครงสร้างข้อมูลสำหรับการจัดเก็บข้อมูลระบบทั้ง Polygon Hermez และ Scroll ได้ใช้ความพยายามอย่างมากในแบบของตนเองเพื่อพิสูจน์ความเท่าเทียมกันของการกระจายอำนาจและ EVM เพื่อให้บรรลุความเท่าเทียมกันของ EVM ต้องเขียนโค้ด opcode ของ EVM ในรูปแบบของวงจร zk , รูปหลายเหลี่ยมผ่าน (zkASM เพื่ออธิบาย จากนั้นเรียกใช้งานใน zkExecutor),Geth นั้นเหมือนกับการตีความและเลื่อนได้โดยตรงอธิบายอธิบายหรือหรือ), การแปลไม่มีผลต่อการปรับตัว,ในทางตรงกันข้ามโซลูชันของ Polygon นั้นเป็นมิตรและมีประสิทธิภาพมากกว่าสำหรับโหนดพิสูจน์ในแง่ของความเท่าเทียมกันของ EVM ในทางกลับกัน Scroll มุ่งเน้นไปที่การนำรากฐานด้านความปลอดภัยของ Geth กลับมาใช้ใหม่ทั้งหมด.

ตรวจสอบได้ง่ายกว่า

ฉันคิดว่าโซลูชัน zkEVM ของ Polygon Hermez ถึงจุดที่เหมาะสมระหว่างการรองรับ EVM ดั้งเดิมและประสิทธิภาพ ไม่เพียงอธิบาย EVM ผ่าน zkASM เท่านั้น แต่ยังหลีกเลี่ยงปัญหาของความซับซ้อนที่สูงมากในการพัฒนาพื้นฐานของ EVM แต่ยังผ่านมุมต่างๆ ของนวัตกรรม และการเพิ่มประสิทธิภาพทำให้ประสิทธิภาพการทำงานดีขึ้น ไม่ใช่ปัญหาร้ายแรงของ zkEVM อีกต่อไป

2. ข้อดีของโซลูชัน zkEVM Rollup

ก) เลเยอร์ 1 และการยกเลิกผู้ใช้ได้รับความทุกข์ทรมานจากก๊าซเลเยอร์ 1 มาเป็นเวลานาน ในการวิจัยก่อนหน้าของเราเกี่ยวกับ MEV

ใน กล่าวถึงรูปร่างของเครือข่ายในอุดมคติในเครือข่ายในอุดมคติ

ข้างใน:
ทุกคนสามารถส่งธุรกรรมได้ (ไม่มีการเซ็นเซอร์)
ไม่มีสแปม (ไม่มีสแปม)

อัตราที่ต่ำมาก (ค่าธรรมเนียมต่ำ)

low fees with no spam
decentralized with no permission and no censorship
scalable with general computation

ในขณะเดียวกัน ในบริบทของ Crypto และ blockchain เครือข่ายจะต้องมีการกระจายอำนาจและปรับขนาดได้ นี่คือ trilemma ของเครือข่าย blockchain ในอุดมคติ:

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

ข้อสรุปที่ได้มาจาก.

b) การยกเลิกในแง่ดีและการยกเลิก zkในมุมมองระยะยาวและขีดจำกัดบนของประสิทธิภาพทางทฤษฎีที่เกิดขึ้นจริง zk Rollup เทียบกับ OP Rollup, ปรับขนาดได้มากขึ้น.

สมมติฐานด้านความปลอดภัยที่แข็งแกร่งยิ่งขึ้น

ระยะเวลาท้าทายของ Optimistic Rollup ทำให้ใช้เวลานานในการสรุป tx อย่างแท้จริง และเมื่อสร้างและตรวจสอบการพิสูจน์ zk Rollup แล้ว ก็สามารถทำให้ tx เสร็จสิ้นสมบูรณ์ได้โดยตรง

OP ของ Rollup นั้นเหมือนกับ PoW ของ Layer 1 และหลักการลูกโซ่ที่ยาวที่สุด zk นั้นเหมือนกับ PoS และฉันทามติที่เกี่ยวข้อง สำหรับ Layer 1 ทั้งกลไก PoW และ PoS นั้นยอมรับได้ แต่ Rollup ซึ่งแสวงหาประสิทธิภาพจะต้องแข็งแกร่งกว่าในเกมสุดท้าย (โดยการจำนำหรือการเข้ารหัส) กลไก zk เพื่อให้บรรลุนี่คือที่ที่เราอยู่บทความบล็อกเชนแบบแยกส่วน

ข้อสรุปที่ได้มาจาก.

c) zk Rollup และ zkEVM Rollup

ตั้งแต่ zk Rollup ทำไม Optimistic Rollup ถึงได้รับความนิยมมากในตอนนี้?

เนื่องจาก zk Rollup ที่รันอยู่ในปัจจุบันไม่มีความสามารถในการประมวลผลทั่วไป เช่น Loopring เป็นต้น จึงอยู่ในขั้นตอนของการดำเนินการเพียงครั้งเดียวเท่านั้น และนักพัฒนาไม่สามารถปรับใช้และถ่ายโอนสัญญาอัจฉริยะลงใน Rollup ได้

ส่วนใหญ่จะใช้การพิสูจน์ zk เพื่อพิสูจน์ความถูกต้องของการดำเนินการ การเกิดขึ้นของ zkEVM Rollup สามารถปลูกฝังระบบนิเวศของสัญญาอัจฉริยะ เช่น Optimistic Rollup ซึ่งมีความยืดหยุ่นมากกว่าเครือข่ายการขยายการถ่ายโอน zk Rollup ทั่วไป และปลอดภัยมากกว่า Optimistic Rollup ผู้ใช้ ประสบการณ์ที่ดีกว่า

3. ประสบการณ์ผู้ใช้ zkEVM Rollup

ก) เวลา สถานที่ และบุคคลที่เหมาะสม

การเกิดขึ้นของ zkEVM Rollup อยู่ในเวลาและสถานที่ที่เหมาะสม:
เวลา: การขยายเลเยอร์ 1 พบปัญหาคอขวด และ Optimistic Rollup ได้สำรวจเส้นทางของ Rollup
ความได้เปรียบทางภูมิศาสตร์: ความปลอดภัยและความเห็นพ้องทางสังคมที่ Ethereum มอบให้ทำให้เป็นดินที่สมบูรณ์แบบสำหรับการจัดตั้ง zkEVM Rollup

Renhe: ระบบนิเวศของ EVM ครองตำแหน่งที่โดดเด่นในการพัฒนาบล็อกเชน และทีมพัฒนา zk จำนวนนับไม่ถ้วนได้มีส่วนร่วมในโซลูชัน zkEVM

ดังนั้น zkEVM Rollup จะช่วยปรับปรุงประสบการณ์แบบใดให้กับผู้ใช้

ก่อนอื่น เราต้องกำหนด Users ในความคิดของฉัน Users รวมถึงผู้พัฒนาและผู้ใช้ทั่วไป:

b) ประสบการณ์ผู้ใช้สำหรับนักพัฒนา
zkEVM ⇒ ไม่จำเป็นต้องเรียนรู้ภาษาใหม่หรือแม้แต่เขียนสัญญาใหม่เพื่อพัฒนา DApps: Solidity เป็นภาษาแรกในโลกของสัญญาบล็อกเชนมีทรัพยากรและระบบนิเวศมากมายและเป็นภาษาที่เหมาะสมที่สุดสำหรับสถานการณ์บล็อกเชน การรวมกันของ ข้อดีสองประการนี้ดีกว่า Move หรือ Rust เป็นต้น

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

c) ประสบการณ์ผู้ใช้สำหรับผู้ใช้
zk ⇒ ความปลอดภัยแข็งแกร่งกว่าเครือข่าย PoS และสิ้นสุดเร็วกว่า OP Rollup: เครือข่าย PoS บางแห่งใช้คำสัญญาโทเค็นเพื่อให้มั่นใจในความปลอดภัย และเงินทุนของพวกเขามีน้อย และการรับประกันความปลอดภัยที่สร้างขึ้นนั้นไม่รัดกุม การเข้ารหัสของ zk รับประกันความปลอดภัยสูงสุดผ่านทางคณิตศาสตร์ ระยะเวลาท้าทายของ OP Rollup ทำให้ tx ไม่สามารถยืนยันได้ภายในระยะเวลาหนึ่ง และ zk Rollup จะยืนยัน tx เมื่อมีการสร้างการพิสูจน์ tx
EVM ⇒ กระบวนการใช้งานและโครงสร้างพื้นฐานที่สอดคล้องกันอย่างสมบูรณ์: ยกเว้นความจำเป็นในการสลับเครือข่ายในกระเป๋าเงินและแอปพลิเคชัน กระบวนการใช้งานของผู้ใช้ทั้งหมดจะเหมือนกับบนเครือข่ายหลักทุกประการ โดยไม่มีค่าใช้จ่ายในการเรียนรู้เพิ่มเติม และจำเป็นต้องใช้แอปพลิเคชันเหมือนเดิมเท่านั้น .

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

d) ประสบการณ์ผู้ใช้ Polygon zkEVM Rollup

ในอนาคต ประสบการณ์ของผู้ใช้และนักพัฒนาบน zkEVM Rollup จะใกล้เคียงกับประสบการณ์ของ Ethereum mainnet อย่างไม่สิ้นสุด และประสบการณ์จะเร็วขึ้นและราบรื่นขึ้นด้วยข้อได้เปรียบของก๊าซน้อยและการยืนยันที่รวดเร็วในแผนของ Polygon zkEVM Rollup,ETH จะถูกใช้เป็นหน่วยกำหนดราคาของค่าธรรมเนียมน้ำมันของ Rollup เสมอ และ MATIC จะถูกใช้เป็นโทเค็นที่จำเป็นสำหรับการจำนำ

นี่เป็นการตัดสินใจที่ดีมาก:
การบันทึกมูลค่าที่ดีกว่า: ประสบการณ์ของ Polygon ในการดำเนินงานเครือข่าย PoS ได้ข้อสรุปว่าการบันทึกมูลค่าที่เกิดจากการเดิมพันนั้นดีกว่าการใช้โทเค็นแทนก๊าซโดยตรง
ประสบการณ์การใช้งานที่ดีขึ้น: ETH เป็นโทเค็น Rollup สามารถช่วยผู้ใช้ L1 หรือโครงการสะพานข้ามโซ่จากขั้นตอน Swap พิเศษในกระบวนการ (คนส่วนใหญ่จะข้าม ETH โดยตรง) ในขณะเดียวกัน ETH เป็นแบบออร์โธดอกซ์มากกว่าก๊าซ

ความแตกต่างที่สำคัญมากขึ้น: Polygon zkEVM Rollup จะมีความแตกต่างที่ชัดเจนกว่าจาก Polygon PoS และความแตกต่างในกลไกก็ต้องการความแตกต่างดังกล่าวเพื่อให้ผู้ใช้เลือกโซลูชันที่เหมาะสมกว่า

ในขณะเดียวกัน สิ่งที่ Polygon นำมาสู่ zkEVM Rollup คือ:

"สภาพแวดล้อม" ที่คุ้นเคย: ผู้ใช้ไม่จำเป็นต้องสนใจเกี่ยวกับการเปลี่ยนแปลงของเทคโนโลยีพื้นฐาน ทุกอย่างจะคล้ายกับ Polygon PoS มาก แต่ zkEVM Rollup จะเร็วกว่า ปลอดภัยกว่า และใช้งานได้มากกว่าในทุกด้าน นักพัฒนายังสามารถมีส่วนร่วมในแฮ็กกาธอนที่คุ้นเคย เพลิดเพลินกับนิเวศวิทยาการพัฒนาที่อุดมสมบูรณ์และชุมชนที่สะสมโดย Polygon

4. อนาคตของ zkEVM Rollup

เกี่ยวกับอนาคตของโครงร่าง zkEVM Rollup เราจะวิเคราะห์อนาคตทางเทคนิคและรูปแบบสุดท้ายของโครงร่างนี้คืออะไร

ก) เทคโนโลยี zkEVM

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

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

อนาคตที่ดีที่สุดคือเรามี zkEVM หลากหลายรสชาติเพื่อให้นักพัฒนาสามารถเลือกสิ่งที่พวกเขาชอบได้ และ Ethereum mainnet ยังสามารถปรับปรุงตัวเองผ่านนวัตกรรมของพวกเขา ยิ่งมีนวัตกรรมมากเท่าไหร่ อนาคตก็จะยิ่งดีขึ้นเท่านั้น

ข) เทคโนโลยีการสะสม

จุดสิ้นสุดของเทคโนโลยี Rollup จะเป็น zkEVM Rollup และ Optimistic Rollup จะยังคงมีที่ของตัวเองต่อไป และจะมี Rollup ที่รวม zkEVM และ Optimistic เข้าด้วยกัน (ส่วนตัวคิดว่ากลไกเดียวก็เพียงพอแล้ว)

zkEVM Rollup ดีกว่า Optimistic Rollup ในหลาย ๆ ด้าน แต่ข้อได้เปรียบที่ใหญ่ที่สุดของ Optimistic Rollup คือสร้างได้ง่ายกว่า ข้อแตกต่างระหว่าง Optimism Bedrock และ Geth คือโค้ดเพียง 500 บรรทัด วิศวกรที่รู้จัก Geth สามารถสร้าง Optimistic ได้อย่างง่ายดาย Rollup หรือใช้ Optimint และเครื่องมืออื่นๆ บน Celestia ในอนาคต เส้นทางของ OP Rollup ได้รับการสำรวจอย่างครบถ้วนแล้ว อย่างไรก็ตาม zkEVM Rollup นั้นซับซ้อนกว่า มีเกณฑ์การเรียนรู้ที่สูงกว่า และไม่มีประสบการณ์จริงและวิธีแก้ปัญหาที่ถูกนำมาใช้อย่างสมบูรณ์ .

ค) เทคโนโลยี...ไม่ใช่สิ่งที่สำคัญที่สุด

เราคุยกันมากมายเกี่ยวกับเทคโนโลยี แต่แน่นอนว่า เทคโนโลยีไม่ได้สำคัญที่สุด คอขวดของ zkEVM Rollup, Rollup, Ethereum และแม้แต่ blockchain ไม่เคยเป็นคอขวดทางเทคนิคของการดำเนินโครงการหรือ DA หรือฉันทามติ แต่เป็นผู้ใช้

ยกตัวอย่าง Web2 (ขอบคุณเนลสัน): App Store ของ Apple นักพัฒนาทุกคนจะให้ความสำคัญกับการเผยแพร่แอปพลิเคชันบน App Store แต่การตรวจสอบของ App Store นั้นไม่เสถียรมากและมักจะปฏิเสธการอัปโหลดแอปพลิเคชันแบบสุ่ม ตรงกันข้าม ของ Android ตลาดแอปพลิเคชันหรือการตรวจสอบตลาดแอปพลิเคชันของ Amazon นั้นเป็นมิตรกว่ามาก แต่ทำไมทุกคนถึงต้องการเผยแพร่ไปยัง App Store เพราะ App Store มีกลุ่มผู้ใช้ที่เป็นผู้ใหญ่และมั่นคง ไม่ว่านักพัฒนาซอฟต์แวร์ของ Android หรือตลาดแอปพลิเคชันของ Amazon จะมีประสบการณ์อย่างไร โฆษณาเกินจริงเพียงใดนักพัฒนาจะยังคงแห่กันไปที่แพลตฟอร์มพร้อมกับผู้ใช้

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

ง) แบบฟอร์มสุดท้าย

ดังนั้นในจินตนาการของเรา zkEVM Rollup สุดท้ายจริงๆ จะเป็นอย่างไร
พื้นฐานของ Endgame: เทคโนโลยีproving overheadระดับ zkEVM: โซลูชันทั้งหมดนั้นดีตราบเท่าที่สามารถใช้งานได้แต่ไม่จำเป็นต้องเป็นแบบพื้นฐานมากเกินไป EVM ของ Ethereum เป็นระบบดั้งเดิมมาก ปรับปรุงนวัตกรรม zkEVM นอกจากนี้ zkEVM ยังต้องการการปรับให้เหมาะสมมากขึ้น ลดลง
มาติดตามวิธีแก้ปัญหาในแง่ดี
ระดับการสะสม: ตรวจสอบให้แน่ใจว่าค่านิยมหลักของ blockchain (การกระจายอำนาจ, ความปลอดภัย) เป็นที่น่าพอใจก่อน แทนที่จะทำการแข่งขันทางอาวุธบน TPS
Heart of Endgame: ฉันทามติทางสังคม
ระดับระบบนิเวศ: ตามหลักการแล้ว แอปพลิเคชัน Ethereum mainnet ทั้งหมดจะถูกย้ายไปยัง Rollup หาก zkEVM Rollup นี้มีรากฐานทางนิเวศวิทยาที่ดีก็จะมีโซลูชันอื่นๆ อีกมากมายในการเปิดตัว ในทางกลับกัน ต้องบอกว่า รูปหลายเหลี่ยมนั้นมีข้อได้เปรียบอย่างมาก
ระดับนักพัฒนา: ความเข้ากันได้ของ EVM ไม่ใช่ปัจจัยชี้ขาด แต่ zkEVM Rollup ใดที่สามารถเข้าถึงนักพัฒนาได้เร็วที่สุด ทำให้นักพัฒนาสามารถใช้เป็นเครือข่ายสำหรับการพัฒนาได้ ไม่เคยเป็นเครือข่ายที่ปรับให้เหมาะกับนักพัฒนา แต่นักพัฒนาจะเลือกโดยรวม เครือข่ายที่เร็วที่สุดหรือดีที่สุด แล้วค่อยๆ ปรับให้เข้ากับการพัฒนาของเครือข่ายนี้

เกี่ยวกับ Foresight Ventures

Foresight Ventures เดิมพันกับนวัตกรรมของสกุลเงินดิจิทัลในอีกไม่กี่ทศวรรษข้างหน้า บริษัทจัดการกองทุนหลายแห่ง: กองทุน VC, กองทุนการจัดการรองที่ใช้งานอยู่, FOF หลายกลยุทธ์, กองทุน S วัตถุประสงค์พิเศษ "Foresight Secondary Fund l" โดยมีขนาดการจัดการสินทรัพย์รวมเท่ากับ มากกว่า 4 หนึ่งร้อยล้านเหรียญสหรัฐ Foresight Ventures ยึดมั่นในแนวคิด "ไม่ซ้ำใคร เป็นอิสระ ก้าวร้าว ระยะยาว" และให้การสนับสนุนอย่างกว้างขวางสำหรับโครงการผ่านพลังทางนิเวศวิทยาที่แข็งแกร่ง ทีมงานมาจากบุคลากรอาวุโสจากบริษัทการเงินและเทคโนโลยีชั้นนำ เช่น Sequoia China, CICC, Google, Bitmain เป็นต้น

Website: https://www.foresightventures.com/

Twitter: https://twitter.com/ForesightVen

Medium: https://medium.com/@foresightventures-zh

Substack: https://foresightventures.substack.com

Discord: https://discord.com/invite/jYtyfxfB

Linktree: https://linktr.ee/foresightventures