การตีความแผนการขยาย zk ของ Polygon อย่างครอบคลุม: Hermez, Nightfall, Miden และ Zero

ผู้แต่ง: Pedro ผู้เขียน Polygon DAO

จบ: เซลแมน, Chain Catcher

เป็นเวลานานแล้วที่จุดสนใจของการต่อสู้ Ethereum L2 ถูกครอบครองโดย ZK Rollup และ Optimistic rollup เนื่องจากความเข้ากันได้ของ EVM และเทคโนโลยีที่สมบูรณ์ของ OP ผู้พัฒนาโครงการจึงนำไปใช้ได้ง่ายกว่า ดังนั้น OP จึงเป็นเรื่องทั่วไปและเป็นกระแสหลักในปัจจุบัน จากข้อมูลของ L2BAET มีเพียงสามโครงการเท่านั้นที่ใช้โซลูชัน OP ได้แก่ Arbitrum, Optimism และ Metis ซึ่งคิดเป็น 70.8% ของส่วนแบ่งตลาด L2 อย่างไรก็ตาม เนื่องจากความยากลำบากในการพัฒนาสูงและความก้าวหน้าทางเทคโนโลยีที่ช้า ในปัจจุบัน ZK rollup จึงมีอัตราการยอมรับและส่วนแบ่งการตลาดที่ค่อนข้างต่ำ

ในฐานะที่เป็นโซลูชันการขยายตัวของ Ethereum ที่มีปริมาณการล็อครวมสูงสุดในปัจจุบัน Polygon เดิมพันอนาคตของการขยายตัวด้วยเทคโนโลยี zk อย่างแน่วแน่ ปีที่แล้ว Polygon เข้าซื้อกิจการ Hermez และ Mir ครั้งใหญ่ และทำสัญญามูลค่า 1 พันล้านดอลลาร์สำหรับการขยายตัวของ zk

ตอนนี้ Polygon มี "ทั้งชุด" ของโซลูชันการขยาย zk ได้แก่ Hermez, Nightfall, Miden และ Zero แม้ว่าแผนการขยายทั้งสี่จะใช้เทคโนโลยี zk ทั้งหมด แต่แต่ละแผนก็มีจุดแข็งและกลยุทธ์ของตัวเอง ดังนั้น ลักษณะทางเทคนิคเฉพาะและความคืบหน้าในการพัฒนาของโซลูชันทั้งสี่นี้เป็นอย่างไร อันไหนมีแนวโน้มที่จะฆ่าก่อน?

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

1. รูปหลายเหลี่ยมศูนย์

Polygon Zero เป็นโซลูชัน ZK L2 ที่ขับเคลื่อนโดย Plonky2 ซึ่งเป็นระบบพิสูจน์ซ้ำที่เร็วและมีประสิทธิภาพมากที่สุด เดิมชื่อ Mir Protocol สร้างขึ้นในปี 2019 โดย Predicate Labs ซึ่งก่อตั้งโดย Brendan Farmer และ Daniel Lubarov ลักษณะของโปรโตคอล Mir คือการตรวจสอบ ZKP (zk-proof) แบบเรียกซ้ำจะถูกสร้างขึ้นระหว่างการดำเนินการของโปรแกรม กล่าวโดยย่อ การพิสูจน์ซ้ำเป็นเหมือนการพิสูจน์การพิสูจน์กำเนิด ใช้เพื่อตรวจสอบว่าหลักฐานการทำธุรกรรมชุดหนึ่งถูกต้อง

Recursive Proofs เป็นเทคโนโลยีที่ใหม่มาก ซึ่งเปิดตัวครั้งแรกในทางทฤษฎีในปี 2014 ในปี 2019 Mir สามารถสร้าง recursive proof ได้ภายใน 2 นาที เห็นได้ชัดว่าเวลานี้ไม่สั้น และขาดความสามารถในการปรับขนาด

ในปี 2020 จากการสำรวจของทีมแอซเท็ก Mir ได้สร้างความก้าวหน้าครั้งยิ่งใหญ่ โดยตระหนักถึงการสร้างการพิสูจน์ซ้ำภายใน 60 วินาที ด้วยเหตุนี้ ทีม Mir จึงพัฒนา Plonky ซึ่งช่วยให้โปรโตคอล Mir สร้างการพิสูจน์ซ้ำได้ภายใน 15 วินาที

ในเดือนธันวาคม พ.ศ. 2564 Polygon ได้ซื้อกิจการ Mir ด้วยมูลค่า 400 ล้านดอลลาร์ และข้อตกลงดังกล่าวได้เปลี่ยนชื่อเป็น Polygon Zero แนวคิดของโซ่ L1 อิสระที่เปิดใช้งานเทคโนโลยี zk ที่เมียร์สร้างขึ้นในตอนแรกกลายเป็น zk-rollup แบบกระจายที่สร้างขึ้นบนรูปหลายเหลี่ยม

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

1、Plonky2

Plonky2 เป็นการทำซ้ำของ Plonky1 ซึ่งกล่าวถึงก่อนหน้านี้ว่าสร้างขึ้นบนระบบการตรวจสอบที่สร้างขึ้นโดย Aztec ในปี 2020

หนึ่งเธรดทั่วไประหว่างทั้งสามคือ Plonk ดังนั้นเราต้องหาว่า Plonk คืออะไรก่อน

ZKP หมายถึงการสร้างหลักฐานความถูกต้องของการคำนวณโดยไม่เปิดเผยข้อมูลที่เกี่ยวข้อง ดังนั้นจึงไม่มีข้อมูลใดที่ไม่รั่วไหล มีเพียงหลักฐานเท่านั้นที่ถูกสร้างขึ้น

ZKP หลักสองรายการคือSNARK และ STARKคำอธิบายภาพ

การเปรียบเทียบ SNARK และ STARK ที่มา: เว็บไซต์ทางการของ Consensys

SNARK มีข้อพิสูจน์ที่น้อยกว่า ซึ่งหมายถึงการจัดเก็บข้อมูลบนเครือข่ายที่น้อยลงและค่าใช้จ่ายที่จ่ายโดยผู้ใช้ปลายทางน้อยลง แม้ว่า SNARK จะเป็นมิตรกับนักพัฒนาซอฟต์แวร์มากกว่า แต่ STARK ก็มีข้อดีที่ไม่เหมือนใคร เช่น มีความโปร่งใสมากกว่า ไม่ต้องการการตั้งค่าที่เชื่อถือได้ และ "ปลอดภัยด้วยควอนตัม" ซึ่งมีศักยภาพมากขึ้นในอนาคต ข้อดีเหล่านี้ทำให้ Vitalik กล่าวว่า STARK เป็นเทคโนโลยีที่ "ใหม่กว่าและน่าทึ่งกว่า"

แต่เนื่องจาก SNARK ได้รับการเสนอและนำไปใช้ในปี 2012 และ STARK ได้รับการเสนอในปี 2018 เท่านั้น ดังนั้น SNARK จึงได้เปรียบผู้เสนอญัตติรายแรกในแง่ของการนำไปใช้ ในปัจจุบัน Z-Cash, Loopring Protocol และ JPMorgan Chase ได้นำเทคโนโลยี SNARK มาใช้ทั้งหมด และเนื่องจากการนำไปใช้อย่างกว้างขวาง SNARK จึงมีโค้ดที่เผยแพร่มากขึ้น โครงการและนักพัฒนา อย่างไรก็ตาม ในฐานะดาวดวงใหม่ STARK ยังได้รับการนำไปใช้ในโครงการต่างๆ มากขึ้น เนื่องจากข้อได้เปรียบที่ไม่เหมือนใคร

Plonk เป็นชื่อของระบบพิสูจน์อักษรซึ่งเป็นระบบพิสูจน์อักษรชนิดหนึ่งของ SNARK

ต่อไป ฉันจะวิเคราะห์โซลูชันประเภทต่างๆ ร่วมกับ Plonk:

เวลาพิสูจน์ซ้ำของ Aztec โดยใช้ Plonk + KZG คือ 60 วินาที

Plonky1 ใช้ Plonk + Halo และเวลาในการพิสูจน์ซ้ำคือ 15 วินาที เปิดตัวครั้งแรกโดย Zcash ในปี 2019 Halo เป็นรูปแบบการพิสูจน์ซ้ำแบบแรกที่ไม่ต้องการการตั้งค่าที่เชื่อถือได้ แต่ข้อเสียของ Halo คือมันไม่รองรับ Ethereum ซึ่งเป็นเหตุผลว่าทำไม Mir จึงต้องการสร้างห่วงโซ่ L1 ที่เป็นอิสระ

Plonky2 ใช้ Plonk + FRI โดยมีเวลาพิสูจน์ซ้ำ 170 มิลลิวินาที ในปี 2021 Daniel Lubarov หัวหน้า Polygon Zero เสนอให้รวม FRI เข้ากับ Plonk

FRI เป็นโซลูชันสำหรับ STARK ซึ่งหมายความว่าการใช้ FRI ทำให้ Plonk กลายเป็น STARK (แต่เดิม Plonk เป็นประเภทของ SNARK) ซึ่งหมายถึงการเพิ่มความโปร่งใสของระบบด้วย ในขณะนั้น มีเพียงโปรเจ็กต์เดียว (แฟร็กทัล) ที่ใช้การพิสูจน์ FRI แบบเรียกซ้ำ และโปรโตคอลมีเวลาพิสูจน์ประมาณ 10 นาทีและไม่สามารถปรับขนาดได้

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

2. อาคาร Plonky2 คืออะไร?

ดังที่ได้กล่าวไว้ก่อนหน้านี้ ในที่สุด Polygon Zero กำลังสร้าง zkEVM ที่ปรับขนาดได้มากที่สุดซึ่งขับเคลื่อนโดย Plonky2

นั่นคือ แต่ละ zk-rollup ต้องการ zkEVM เพื่อจัดการกับการคำนวณ zkEVM สำหรับ zk-rollup ของ Polygon Zero จะขับเคลื่อนโดย Plonky2 ซึ่งเป็นระบบพิสูจน์ zk ที่มีประสิทธิภาพและเร็วที่สุดในปัจจุบัน

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

3. ความแตกต่างระหว่าง Polygon Zero และ Starkware

การเลิกใช้ส่วนใหญ่ รวมถึง Starkware จะทำธุรกรรมแบบบันเดิลและสร้างหลักฐานว่าธุรกรรมแต่ละรายการในบันเดิลนั้นถูกต้อง

Polygon Zero ใช้การพิสูจน์แบบเรียกซ้ำ ดังนั้นทุกธุรกรรมพร้อมกันจึงสร้างการพิสูจน์ที่รวดเร็วมาก หลักฐานการทำธุรกรรมแต่ละรายการเหล่านี้จะถูกรวมเข้าด้วยกันเพื่อสร้างหลักฐานที่ใหญ่ขึ้น หลักฐานที่ตรวจสอบความถูกต้องของหลักฐานอื่นๆ

คำอธิบายภาพ

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

2. รูปหลายเหลี่ยมเฮอร์เมซ

เมื่อห้าปีก่อน Jordi Baylina, David Schwartz และ Antoni Martin ซึ่งเป็นเพื่อนร่วมงานร่วม MBA สามคนได้ก่อตั้งบริษัทชื่อ Iden3 และโครงการแรกของพวกเขาคือการแก้ปัญหาเอกลักษณ์ของตนเอง ซึ่งขณะนั้นเรียกว่า Self-Sovereign Identity "(Self Sovereign ID เรียกสั้นๆ ว่า SSI) เป็นแนวคิดเดียวกับ DID แบบกระจายอำนาจยอดนิยมของเรา

แต่ทั้งสามคนนี้ค่อย ๆ ตระหนักในกระบวนการพัฒนาโครงการ SSI ว่าเพื่อทำให้ SSI เป็นกระแสหลักต่อไป จำเป็นต้องทำให้บล็อกเชนที่มีอยู่สามารถปรับขนาดได้อย่างเต็มที่ หลังจากนั้นทั้งสามคนก็ตัดสินใจเดินหน้าโครงการใหม่ Hermez

Hermez เป็นโซลูชันการยกเลิกการรวมศูนย์ L2 ที่ใช้เทคโนโลยี zk Hermez 1.0 เป็นแพลตฟอร์มการชำระเงินที่ใช้งานอยู่ในปัจจุบันซึ่งช่วยให้ผู้ใช้สามารถโอนโทเค็น ERC-20 ที่ลงทะเบียนแล้วจากบัญชี Hermez หนึ่งไปยังอีกบัญชีหนึ่งผ่านเว็บหรืออินเทอร์เฟซมือถือที่ใช้งานง่าย เมื่อเดือนกรกฎาคมที่ผ่านมา ทีมงานได้ประกาศการพัฒนา zkEVM, Hermez 2.0 ซึ่งจะนำ zkEVM ที่เข้ากันได้อย่างสมบูรณ์มาสู่ Ethereum เมื่อเสร็จสิ้น

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

1、Hermez 1.0

Hermez เริ่มต้นจากการเป็น zk-rollup โดยมุ่งเน้นไปที่การปรับขนาดการชำระเงินและการโอนโทเค็นบน Ethereum

Rollup หมายถึงการบรรจุธุรกรรมเป็นโหล (พันรายการ) และดำเนินการนอกเครือข่ายพร้อมกัน เมื่อธุรกรรมหลายพันรายการเหล่านี้ดำเนินการนอกเครือข่าย ในกรณีของ Hermez จะเกิด zk-SNARK แทนที่จะเป็นธุรกรรมแต่ละรายการ SNARK จะพิสูจน์ความถูกต้องของธุรกรรมแต่ละรายการในชุด ซึ่งต่อมาจะได้รับการยืนยันโดย Ethereum (SNARKs)

เมื่อเปรียบเทียบกับการทบยอดในแง่ดี การสั่งสม zk สามารถมีผลทันทีและรับรู้การถอนทันที ในขณะที่การสั่งสมในแง่ดีต้องรอเป็นเวลา 7 วัน ความสามารถในการตรวจสอบการพิสูจน์อย่างมีประสิทธิภาพในเวลาคงที่นี้เป็นหัวใจสำคัญของการเปิดเผย zk ทั้งหมด

Hermez มีความเร็วในการประมวลผล 2,000 TPS จากข้อมูลของทีม Hermez ความเร็วในการประมวลผลจะดีขึ้นอย่างมากในอนาคต

มีธุรกรรมที่แตกต่างกันสามรายการใน Hermez:

เงินฝาก:ส่งโทเค็น ERC-20 ที่ลงทะเบียนจาก L1 Ethereum ไปยัง L2 Hermez การฝากต้องมีค่าธรรมเนียมก๊าซ Ethereum

โอนย้าย:ส่งโทเค็น ERC-20 ที่ลงทะเบียนแล้วจากบัญชี Hermez หนึ่งไปยังอีกบัญชีหนึ่ง ราคาถูกและทันที

การถอน:ส่งโทเค็น ERC-20 จาก L2 Hermez กลับไปที่ L1 Ethereum การถอนจะต้องเสียค่าธรรมเนียม Ethereum Gas

สิ่งหนึ่งที่ควรทราบเมื่อทำการถอนคือ Hermez มีกลไกการป้องกัน "การถอนแบบบังคับ" ซึ่งช่วยให้ผู้ใช้สามารถโอนเงินจาก L2 Hermez กลับไปที่ L1 Ethereum ได้ตลอดเวลา แม้ว่าผู้ประสานงานจะพยายามทำชั่วก็ตาม

ผู้ประสานงานและหลักฐานการบริจาค

ผู้ประสานงานเป็นผู้ผลิตบล็อกรุ่น Hermez คนเหล่านี้พิสูจน์ความถูกต้องของธุรกรรมนอกเครือข่ายด้วยการสร้าง zk-proofs

ผู้ประสานงานคือบุคคลที่รวมธุรกรรมเข้าด้วยกัน พวกเขาจะรวมคำขอธุรกรรมทั้งหมดเป็นหน่วยเดียว การยกเลิกแต่ละครั้งจะดำเนินการธุรกรรมหลายพันรายการ จากนั้นสร้าง zk-proof แล้วตรวจสอบสิ่งนี้ผ่านสัญญาอัจฉริยะบน Ethereum หลักฐาน zk

Hermez มีการกระจายอำนาจเพราะทุกคนสามารถเป็นผู้ประสานงานและรับรางวัลสำหรับบริการของตนได้ สามารถมีผู้ประสานงานจำนวนเท่าใดก็ได้บนเครือข่ายในเวลาเดียวกัน แต่มีเพียงผู้เดียวเท่านั้นที่สามารถประมวลผลธุรกรรมและรับรางวัลในช่วงเวลาที่กำหนด (ความยาว 10 นาที)

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

หากผู้ประสานงานล้มเหลวในการประมูล โทเค็น MATIC จะถูกส่งกลับไปยังกระเป๋าเงินเดิม และเงินที่ชนะการประมูลจะถูกนำไปใช้เพื่อวัตถุประสงค์สามประการต่อไปนี้:

• 30% ถูกทำลายอย่างถาวร

• 40% ไปที่บัญชีบริจาคที่จัดการโดย Ethereum Foundation

• 30% ไปที่สิ่งจูงใจเครือข่ายเพื่อช่วยผลักดันการยอมรับเครือข่าย Hermez ต่อไป

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

2、Hermez2.0

เมื่อเดือนกรกฎาคมที่ผ่านมา ระหว่างการประชุม EthCC 4 ทีมงาน Hermez ได้ประกาศว่ากำลังพัฒนา zkEVM, Hermez 2.0

เราทุกคนทราบดีว่าประเด็นสำคัญที่ว่าทำไม L2 เลือกใช้การมองโลกในแง่ดีเป็นส่วนใหญ่ และ ZK ยังไม่ได้เลิกใช้จริง ๆ ก็คือ ZK ยังไม่รองรับ EVM ดังนั้น zkEVM จึงแก้ปัญหานี้และเรียกใช้สัญญาอัจฉริยะบน zk-rollup

ในปัจจุบัน หลายโครงการกำลังพัฒนา zkEVM เช่นกัน ในระบบนิเวศของ Polygon เพียงอย่างเดียว มีสองโซลูชัน ได้แก่ Polygon Zero และ Polygon Hermez อย่างไรก็ตาม แต่ละโครงการกำลังแก้ไขปัญหานี้ด้วยวิธีที่แตกต่างกัน และแต่ละโครงการก็มีจุดเปลี่ยนของตัวเอง

ลักษณะเฉพาะของ Hermez คือเข้ากันได้กับ Ethereum ในแง่ของเครื่องมือ ระบบนิเวศ และความปลอดภัย ซึ่งหมายความว่า ตามอุดมคติแล้ว สัญญาอัจฉริยะที่ทำงานบน Ethereum สามารถทำงานบน L2 Hermez ได้ มอบประสบการณ์ที่ลื่นไหลให้กับนักพัฒนา ทันทีที่ Optimism และ Arbitrum เปิดตัว พวกเขาดึงดูดโครงการและผู้ใช้จำนวนมากให้ย้ายเข้ามา ไม่ยากที่จะจินตนาการว่าเมื่อ zk-rollup เติบโตเต็มที่ มันจะมีเอฟเฟกต์เครือข่ายที่แข็งแกร่งยิ่งขึ้นไปอีก

Antoni Martin ผู้ก่อตั้ง Hermez บรรยายถึง zkEVM ว่า: "หากคุณใช้ประโยชน์จากส่วนที่ดีที่สุดของแต่ละโซลูชัน คุณจะสามารถสร้างรถยนต์ที่ดีที่สุดได้..."ดังนั้น Hermez จึงใช้ทั้ง SNARKS และ STARKS ZKP เมื่อพัฒนา zkEVM โดยมุ่งมั่นเพื่อสิ่งที่ดีที่สุดของทั้งสองโลก

โดยเฉพาะอย่างยิ่ง เมื่อ Hermez ประมวลผลธุรกรรมและสร้างบล็อกใหม่นอกเครือข่าย ระบบจะสร้างหลักฐาน STARK เพื่อพิสูจน์ว่าธุรกรรมเหล่านี้ถูกต้องทั้งหมด ปัญหาของการพิสูจน์ STARK คือค่าใช้จ่ายในการตรวจสอบเชน (Ethereum) นั้นสูงมาก และ SNARK ก็เข้ามามีบทบาทในเวลานี้ สิ่งที่ต้องทำคือตรวจสอบความถูกต้องของการพิสูจน์ STARK บน Ethereum

หากคุณต้องการเรียนรู้เพิ่มเติมเกี่ยวกับสถาปัตยกรรมของ zkEVM นี้ คุณสามารถทำได้คลิกที่นี่เพื่อดูคำอธิบายภาพ

คุณสมบัติ Hermez 2.0 (zkEVM)

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

3. รูปหลายเหลี่ยมราตรี

ในเดือนกันยายนปีที่แล้ว Polygon ได้สร้างความร่วมมือกับบริษัทบริการระดับมืออาชีพและเทคโนโลยีระดับโลก Ernest & Young (EY, Ernest & Young) จากนั้นจึงเปิดตัว Polygon Nightfall

Ernst & Young ได้ประกาศเวอร์ชันเริ่มต้นของ Nightfall ในปี 2019 จุดที่แตกต่างจากโซลูชัน zk อื่นๆ มากที่สุดก็คือNightfall เป็นการยกเลิกที่เน้นความเป็นส่วนตัวซึ่ง EY ได้วางตำแหน่งเป็น “หนึ่งในโซลูชันความเป็นส่วนตัวที่โดดเด่นที่สุดบน Ethereum” โดยเฉพาะอย่างยิ่ง ธุรกรรมทุกรายการใน Nightfall มีความเป็นส่วนตัว หมายความว่าหากอลิซส่งทรัพย์สินให้ Bob จะไม่มีใครเห็นว่าทรัพย์สินนั้นคืออะไร มูลค่าเท่าไหร่ หรือมันไปอยู่ที่ไหน

เหตุผลที่เราให้ความสำคัญกับความเป็นส่วนตัวในการทำธุรกรรมก็เพราะว่าลูกค้าเป้าหมายของ Ernst & Young คือองค์กรต่างๆ. ในตอนแรก Nightfall พยายามสร้างบล็อกเชนระดับองค์กรตัวแรกบน Ethereum โดยตรง แต่สุดท้ายก็พบว่าการมีความเป็นส่วนตัวบน Ethereum mainnet นั้นแพงเกินไป ดังนั้นพวกเขาจึงเปลี่ยนไปใช้ L2 และเลือกที่จะร่วมมือกับ Polygon ในที่สุด

Polygon Nightfall ที่ออกร่วมกันโดยทั้งสองคือเวอร์ชัน Nightfall 3.0 หลังจากการทำซ้ำหลายครั้งคุณสมบัติที่โดดเด่นที่สุดของมันคือการผสมผสานแนวคิดหลักของ Optimistic Rollup เข้ากับการเข้ารหัสแบบ zero-knowledge (ZK) ที่ใช้กันทั่วไปใน ZK-Rollups ได้อย่างมีประสิทธิภาพ ดังนั้นจึงทำให้เกิดการผสมผสานระหว่างความสามารถในการปรับขนาดและความเป็นส่วนตัว

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

1. Nightfall ทำงานอย่างไร?

Polygon Nightfall นั้นเป็นภาพรวมในแง่ดีที่ใช้การเข้ารหัส zk เพื่อปกป้องความเป็นส่วนตัว ความร่วมมือระหว่าง Polygon และ Ernst & Young มุ่งเน้นไปที่การใช้เทคโนโลยี Nightfall เพื่อสร้างห่วงโซ่อุตสาหกรรม ซึ่งช่วยให้องค์กรต่างๆ เชื่อมโยงกับ L1 ด้วยต้นทุนที่ต่ำที่คาดการณ์ได้และอยู่ภายใต้คำแนะนำด้านกฎระเบียบ

รูปต่อไปนี้แสดงกลไกการทำงานเฉพาะของ Nightfall:

ขณะนี้เราสามารถกำหนดลักษณะคอขวดของความสามารถในการขยายขนาดเป็น "สถานะ" ได้ เนื่องจากค่าใช้จ่ายสูงในการจัดเก็บข้อมูลบนเครือข่าย ดังนั้น เป้าหมายของโซลูชันการปรับขนาดคือการลดจำนวนข้อมูลที่จัดเก็บบนเครือข่ายอย่างต่อเนื่อง Nightfall ใช้ Optimistic Rollup ที่มีต้นทุนต่ำกว่าในการลดพื้นที่จัดเก็บ

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

Nightfall ต้องการให้ธุรกรรมเป็นส่วนตัวในเวลาเดียวกัน ดังนั้น ใน Optiistic RollupNightfall เพิ่มความเป็นส่วนตัว zk อีกชั้นหนึ่งเพื่อให้การทำธุรกรรมเป็นส่วนตัว

Nightfall VS Aztec

ภาพด้านบนแสดงสองวิธีในการเปิดใช้งานความเป็นส่วนตัว Polygon Nightfall ทางด้านซ้ายใช้การรวมค่าของการเข้ารหัส zk ในแง่ดี และแอซเท็กทางด้านขวาใช้การรวบรวม zk และการเข้ารหัส zk ฉันเชื่อว่าโซลูชันในอุดมคติคือแนวทาง zk/zk เช่น Aztec แต่ในขณะนี้ โซลูชันนี้มีราคาแพงเกินไป ดังนั้นในระดับหนึ่งNightfall เป็นเหมือนโซลูชันการประนีประนอมที่สามารถใช้งานได้ทันที. ในที่สุดทีม Nightall จะเปลี่ยนไปใช้รูปแบบ zk/zk เมื่อค่า zk ได้รับการแก้ไข

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

2. กรณีการใช้งานเฉพาะ

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

• จัดให้มีการตรวจสอบย้อนกลับของห่วงโซ่อุปทานสำหรับองค์กรต่างๆ: องค์กรต่างๆ สามารถดำเนินการเกี่ยวกับวัสดุสิ้นเปลือง ดำเนินการตามใบสั่งขาย การชำระเงินส่วนตัว ฯลฯ ผ่านทาง Nightfall ในปัจจุบัน โรงเบียร์แห่งหนึ่งใช้ห่วงโซ่อุปทาน Nightfall ของ Ernst & Young อยู่แล้วสำหรับธุรกรรมการตรวจสอบย้อนกลับ และองค์กรต่างๆ สามารถติดตามได้อย่างง่ายดายว่ามีเบียร์อยู่เท่าไร อยู่ที่ไหน ขนส่งไปเท่าไร ฯลฯ นอกจากนี้ บริษัทยาแห่งหนึ่งใช้ Nightfall เพื่อผลิตผลิตภัณฑ์ทุกอย่างในสายการผลิตให้เป็น NFT ซึ่งสร้าง NFT ได้ประมาณ 60,000 รายการต่อวัน

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

4. รูปหลายเหลี่ยม Miden

ในเดือนพฤศจิกายนปีที่แล้ว Polygon ได้ประกาศเปิดตัว Miden ซึ่งเป็นโซลูชันการปรับขนาดที่ใช้ zk-STARKs โครงการนี้นำโดยอดีตนักวิจัยด้านเทคโนโลยีที่ปราศจากความรู้หลักที่เป็นศูนย์ของ Facebook ซึ่งครั้งหนึ่งเคยเป็นผู้นำการพัฒนาเทคโนโลยี Winterfell

Polygon Miden เป็นการรวบรวม zk ตาม STARKคุณลักษณะของ Polygon Miden คือมีเป้าหมายเพื่อแก้ปัญหาที่การยกเลิกการสนับสนุนตรรกะและธุรกรรมตามอำเภอใจทำได้ยากRollup ลดการจัดเก็บข้อมูลบนเครือข่ายด้วยธุรกรรมการบรรจุ ซึ่งสามารถลดความแออัดและลดต้นทุนการทำธุรกรรม แต่เป็นการยากที่จะสนับสนุนการตรวจสอบธุรกรรมโดยพลการในแพ็คเกจธุรกรรม ซึ่งส่งผลต่อความสามารถในการตรวจสอบธุรกรรมนอกเครือข่ายทั้งหมด Polygon Miden แก้ปัญหาความท้าทายที่ใหญ่ที่สุดอย่างหนึ่งของ zk rollup ในวันนี้โดยใช้ Miden VM (Virtual Machine)

มีสององค์ประกอบหลักของเฟรมเวิร์ก Polygon Miden ได้แก่ Distaff VM และ Winterfell

Distaff VM เป็น zk-EVM เมื่อใดก็ตามที่โปรแกรมถูกเรียกใช้งานใน zk-VM จะมีการสร้าง zk-proof of operation เพื่อตรวจสอบว่าโปรแกรมทำงานได้อย่างถูกต้องโดยไม่ต้องรันโปรแกรมจริง Distaff เป็นเครื่องเสมือนที่ใช้ STARK

สำหรับโปรแกรมใดๆ ที่ดำเนินการบน Distaff VM ระบบจะสร้างหลักฐานการดำเนินการตาม STARK โดยอัตโนมัติ จากนั้นทุกคนสามารถใช้หลักฐานนี้เพื่อตรวจสอบว่าโปรแกรมทำงานได้อย่างถูกต้องโดยไม่ต้องรันโปรแกรมใหม่หรือแม้แต่รู้ว่าโปรแกรมคืออะไร

Miden VM ใช้ Distaff VM และเพิ่มระบบพิสูจน์ที่มีประสิทธิภาพมากขึ้น - Winterfell เข้าไป Winterfell เป็นเครื่องพิสูจน์และตรวจสอบ STARK แบบมัลติเธรดที่มีคุณสมบัติครบถ้วนสำหรับการคำนวณโดยพลการ. โดยพื้นฐานแล้วการพิสูจน์ STARK เวอร์ชันล่าสุดพร้อมประสิทธิภาพที่สูงขึ้น

เมื่อพัฒนาแล้ว โปรเจกต์ใดๆ ก็สามารถปรับใช้สัญญาอัจฉริยะที่ด้านบนของ zk-rollup นี้ได้

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

1. สถาปัตยกรรมของไมเดน

• การทำธุรกรรมจะถูกแจกจ่ายไปยังโหนดการดำเนินการของ Miden ก่อน

• โหนดการดำเนินการเหล่านี้รวมธุรกรรม 5,000 รายการเป็นบล็อกในแต่ละครั้งและสร้างหลักฐาน STARK

• ใบรับรอง STARK ถูกสร้างขึ้นสำหรับทุก ๆ 200 บล็อกการทำธุรกรรมเพื่อพิสูจน์ความถูกต้องของการทำธุรกรรม

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

2. จุดเด่นของ Miden VM:

• นักพัฒนาที่เป็นมิตร:เป้าหมายของ Miden คือการอนุญาตให้นักพัฒนาเรียกใช้สัญญาอัจฉริยะบน zkVM นี้โดยไม่ต้องเรียนรู้อะไรเกี่ยวกับการเข้ารหัสหรือการพิสูจน์ zk

• รองรับภาษาโปรแกรมหลายภาษา:ทีมงานกำลังทำงานเพื่อเพิ่มการรองรับสำหรับภาษาการเขียนโปรแกรมหลายภาษา แต่ในขณะเดียวกันก็ให้ความสำคัญกับ Solidity

• เน้นความปลอดภัย:ด้วยเทคโนโลยี zk ทำให้ Miden VM มีความปลอดภัยมากกว่า EVM เอง

• เน้นความเป็นส่วนตัว:แม้ว่าจะไม่ใช่จุดสนใจในปัจจุบัน แต่ทีม Miden ได้ปรับใช้แผนการพัฒนาที่เกี่ยวข้องในแผนงาน

สรุป:

สรุป:

สุดท้าย เรามาเปรียบเทียบโซลูชันการขยาย zk ทั้งสี่ของ Polygon กันอย่างรวดเร็ว:

Polygon Zero ได้พัฒนาระบบการพิสูจน์ซ้ำแบบ SNARK ซึ่งมีชื่อว่า Plonky2 ซึ่งสามารถสร้างการพิสูจน์ซ้ำได้ในเวลาน้อยกว่า 170 มิลลิวินาทีบน Mac-Book Pro บนระบบพิสูจน์ Plonky2 ที่มีประสิทธิภาพและรวดเร็ว ในที่สุด Polygon Zero จะพัฒนา zkEVM ที่ปรับขนาดได้มากที่สุด

ลักษณะเฉพาะของ zk rollup ที่พัฒนาโดย Hermez คือผู้ประสานงานจะถูกเลือกผ่านการประมูลในระหว่างขั้นตอนการทำธุรกรรม ผู้ประสานงานที่ประสบความสำเร็จจะทำธุรกรรมให้ได้มากที่สุดภายในหน่วยเวลาเพื่อทำกำไร ดังนั้นกลไกการแข่งขันนี้จะ นำประสิทธิภาพการทำธุรกรรมสูง นอกจากนี้ Hermez ยังพัฒนา zkEVM และนำโครงร่าง ZKP สองแบบมาใช้ ได้แก่ SNARK และ STARK เพื่อมุ่งสู่สิ่งที่ดีที่สุดของทั้งสองโลก

Nightfall นั้นพิเศษกว่า จุดที่แตกต่างที่สุดจากโซลูชัน zk อื่นๆ คือ Nightfall เป็นการยกเลิกที่เน้นความเป็นส่วนตัว และลูกค้าคือองค์กร นอกจากนี้ Nightfall ยังรวมแนวคิดหลักของ Optimistic Rollups เข้ากับการเข้ารหัสแบบ zero-knowledge (ZK) ที่ใช้กันทั่วไปใน ZK-Rollups ได้อย่างมีประสิทธิภาพ ส่งผลให้เกิดการผสมผสานระหว่างความสามารถในการปรับขนาดและความเป็นส่วนตัว

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

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