มองย้อนกลับไปที่ผลงานของ V God Rollups อธิบายรายละเอียดว่าทำไม Ethereum ถึงต้องการแผนการขยายแบบสองชั้

ผู้เขียนต้นฉบับ:Vitalik

ผู้เขียนต้นฉบับ:TinTinLand

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

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

ความเป็นมา: L1 และ L2 คืออะไร

ประการที่สอง วิธีการใช้งานบล็อกเชนสามารถเปลี่ยนแปลงได้ แทนที่จะทำกิจกรรมทั้งหมดบนบล็อกเชนโดยตรง ผู้ใช้ทำกิจกรรมส่วนใหญ่นอกเครือข่ายในโปรโตคอล "เลเยอร์ 2" มีสัญญาอัจฉริยะบนเครือข่ายที่มีงานเพียงสองอย่าง: ดำเนินการฝากและถอนเงิน และตรวจสอบหลักฐานว่าทุกสิ่งที่เกิดขึ้นนอกเครือข่ายเป็นไปตามกฎ มีหลายวิธีในการพิสูจน์เหล่านี้ แต่พวกเขาทั้งหมดแบ่งปันคุณสมบัติว่าการตรวจสอบหลักฐานบนเครือข่ายนั้นถูกกว่ามากเมื่อเทียบกับการคำนวณดิบนอกเครือข่าย

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

รูปแบบเลเยอร์ L2 มีสามประเภทหลัก: ช่องสถานะ, พลาสมาและโรลอัพ พวกเขาอยู่ในกระบวนทัศน์ที่แตกต่างกันและมีข้อดีและข้อเสียต่าง ๆ วิธีการดำเนินการของแผนต่าง ๆ ทั้งสามนี้จะอธิบายไว้ด้านล่าง

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

ช่องของรัฐทำงานอย่างไร

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

อันดับแรก Bob ใส่ $1 (ETH หรือเทียบเท่ากับ Stablecoin) ลงในสัญญาอัจฉริยะ ในการชำระเงินครั้งแรกให้กับอลิซ Bob ลงนามใน "ตั๋ว" (ข้อความนอกเครือข่าย) ที่ระบุว่า "0.001 ดอลลาร์" และส่งให้อลิซ ในการชำระเงินครั้งที่สอง Bob เซ็นตั๋วอีกใบที่ระบุว่า "0.002 ดอลลาร์" แล้วส่งไปให้อลิซ และอื่น ๆ ชำระเงินได้มากเท่าที่คุณต้องการ เมื่ออลิซและบ็อบทำธุรกรรมเสร็จสิ้น อลิซสามารถโพสต์ธนบัตรที่มีมูลค่าสูงสุดลงในห่วงโซ่และห่อด้วยลายเซ็นอื่นของเธอเอง สัญญาอัจฉริยะจะตรวจสอบลายเซ็นของทั้งอลิซและบ็อบ จ่ายเงินให้อลิซตามจำนวนตั๋วของบ็อบ และคืนส่วนที่เหลือให้บ็อบ หากอลิซไม่เต็มใจที่จะปิดช่องทาง (เนื่องจากเจตนาร้ายหรือความล้มเหลวทางเทคนิค) Bob สามารถเริ่มระยะเวลาการออกจากระบบ (เช่น 7 วัน) หาก Alice ไม่ให้ตั๋วภายในระยะเวลานี้ Bob จะได้รับเงินคืนทั้งหมด

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

ดูเพิ่มเติมที่: https://www.jeffcoleman.ca/state-channels และ statechannels.org

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

พลาสมาทำงานอย่างไร

ในการฝากสินทรัพย์ ผู้ใช้จะส่งไปยังสัญญาอัจฉริยะที่ควบคุม Plasma chain Plasma chain กำหนด ID เฉพาะใหม่ให้กับสินทรัพย์ (เช่น 537) ห่วงโซ่พลาสมาทุกเส้นมีตัวดำเนินการ (ซึ่งอาจเป็นตัวแสดงแบบรวมศูนย์ หรือหลายตัว หรือบางอย่างที่ซับซ้อนกว่า เช่น PoS หรือ DPoS) ทุกๆ ช่วงเวลา (อาจ 15 วินาที หรือหนึ่งชั่วโมง หรืออะไรก็ตามในระหว่างนั้น) ผู้ดำเนินการจะสร้าง "ชุด" ที่มีธุรกรรมใน Plasma ทั้งหมดที่พวกเขาได้รับนอกเครือข่าย พวกเขาสร้าง Merkle tree โดยที่แต่ละดัชนีในต้นไม้มีธุรกรรมที่ถ่ายโอน ID สินทรัพย์ หากมีธุรกรรมดังกล่าวอยู่ มิฉะนั้น leaf จะเป็นศูนย์

พวกเขายังส่ง Merkle fork ของแต่ละดัชนีไปยังเจ้าของปัจจุบันของสินทรัพย์นั้นด้วย ในการถอนสินทรัพย์ ผู้ใช้เผยแพร่ Merkle fork ของธุรกรรมล่าสุด และสินทรัพย์จะถูกส่งไปยังพวกเขา สัญญาเริ่มต้นช่วงท้าทาย ซึ่งระหว่างนั้นทุกคนสามารถลองใช้สาขา Merkle อื่นเพื่อพิสูจน์ว่าทางออกนั้นไม่ถูกต้อง ไม่ว่าจะโดย (i) ผู้ส่งไม่ได้เป็นเจ้าของสินทรัพย์เมื่อพวกเขาส่ง (ii) พวกเขาในภายหลังคลิก เพื่อส่งทรัพย์สินให้ผู้อื่น หากไม่มีใครพิสูจน์ได้ว่าการถอนเงินเป็นการฉ้อโกงภายใน 7 วัน ผู้ใช้สามารถถอนทรัพย์สินได้

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

ดูเพิ่มเติม: http://plasma.io/plasma-deprecated.pdf

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

• Rollups ทำงานอย่างไร

เกี่ยวกับโรลอัพ

พลาสมาและแชนเนลเป็นโซลูชัน L2 "เต็มรูปแบบ" ที่พยายามย้ายทั้งข้อมูลและการคำนวณออกจากเครือข่าย อย่างไรก็ตาม ปัญหาพื้นฐานทางทฤษฎีเกมเกี่ยวกับความพร้อมใช้งานของข้อมูลหมายความว่าเป็นไปไม่ได้ที่จะทำเช่นนี้อย่างปลอดภัยสำหรับทุกแอปพลิเคชัน พลาสมาและช่องสัญญาณแก้ปัญหานี้โดยอาศัยแนวคิดของเจ้าของ แต่สิ่งนี้ส่งผลต่อขอบเขตการใช้งาน อย่างไรก็ตาม Rollups เป็นโซลูชัน L2 แบบ "ไฮบริด" Rollups ย้ายการคำนวณ (และที่เก็บข้อมูลสถานะ) ออกจากเครือข่าย แต่เก็บข้อมูลบางส่วนของงานแต่ละรายการไว้บนเครือข่าย เพื่อปรับปรุงประสิทธิภาพ พวกเขาใช้เทคนิคการบีบอัดที่ซับซ้อนจำนวนมาก โดยแทนที่ข้อมูลด้วยการคำนวณทุกครั้งที่ทำได้ ผลที่ได้คือความสามารถในการปรับขนาดในระบบยังคงถูกจำกัดโดยแบนด์วิธข้อมูลของบล็อกเชนพื้นฐาน แต่ในระดับที่น้อยกว่า: ค่าใช้จ่ายในการโอนโทเค็น ERC20 ในชั้นฐานของ Ethereum อยู่ที่ประมาณ 45,000 แก๊ส ในขณะที่โทเค็น ERC20 จะโอนเข้ามา Rollups ใช้พื้นที่มากถึง 16 ไบต์บนเชน ค่าใช้จ่ายน้อยกว่า 300 แก๊ส

เป็นที่น่าสังเกตว่าการใส่ข้อมูล "บน IPFS" จะไม่ทำงาน เนื่องจาก IPFS ไม่มีความเห็นพ้องต้องกันว่าข้อมูลส่วนใดใช้งานได้ และข้อมูลต้องอยู่ในบล็อกเชน ด้วยความเห็นพ้องต้องกันในการวางข้อมูลบนเครือข่าย Rollups ช่วยให้ทุกคนสามารถประมวลผลการดำเนินการใด ๆ ภายในเครื่องได้ตามต้องการ ช่วยให้พวกเขาสามารถตรวจจับการฉ้อโกง เริ่มต้นการถอนเงิน หรือเริ่มสร้างชุดธุรกรรมด้วยตนเอง การขาดข้อกังวลเกี่ยวกับความพร้อมใช้งานของข้อมูลหมายความว่าตัวดำเนินการที่เป็นอันตรายหรือออฟไลน์สามารถทำอันตรายได้น้อยลง (เช่น พวกเขาไม่สามารถทำให้เกิดความล่าช้า 1 สัปดาห์ได้) และ Rollups นั้นง่ายต่อการให้เหตุผล การเปิดพื้นที่มากขึ้นสำหรับการใช้งานโดยผู้ที่ได้รับอนุญาตให้ออกแบทช์ . ยิ่งไปกว่านั้นการไม่มีปัญหาความพร้อมใช้งานของข้อมูลหมายความว่าไม่จำเป็นต้องแมปสินทรัพย์กับเจ้าของอีกต่อไป ซึ่งทำให้ชุมชน Ethereum สนใจอย่างมากในโซลูชันการปรับขนาด Rollups แอปพลิเคชัน Ethereum บางตัวย้ายไปยัง Rollups โดยแทบไม่ต้องเขียนโค้ดใหม่

ดูเพิ่มเติมที่: https://docs.ethhub.io/ethereum-roadmap/layer-2-scaling/optimistic_rollups/

วิธีการทำงานของโรลอัพ

มีสัญญาอัจฉริยะในเครือข่ายที่รักษารูทสถานะ: รูท Merkle ของสถานะ Rollups (หมายถึงยอดคงเหลือในบัญชี รหัสสัญญา ฯลฯ "ภายใน" Rollups)

ทุกคนสามารถเผยแพร่แบทช์ซึ่งเป็นชุดธุรกรรมที่มีการบีบอัดสูงพร้อมกับรูทสถานะก่อนหน้าและรูทสถานะใหม่ (รูท Merkle หลังจากประมวลผลธุรกรรม) สัญญาจะตรวจสอบว่ารูทสถานะก่อนหน้าในแบทช์ตรงกับรูทสถานะปัจจุบันหรือไม่ หากตรงกัน จะเปลี่ยนสถานะรูทเป็นรูทสถานะใหม่

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

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

Rollups ในแง่ดีและ ZK Rollups

• Rollups สองประเภทคือ:

• Rollups ในแง่ดีโดยใช้หลักฐานการฉ้อโกง: สัญญา Rollups ติดตามประวัติทั้งหมดของสถานะรูทและแฮชสำหรับแต่ละชุด หากมีคนพบแบทช์ที่มีราก post-state ที่ไม่ถูกต้อง พวกเขาสามารถโพสต์หลักฐานเพื่อเชื่อมโยงว่าแบทช์นั้นคำนวณไม่ถูกต้อง สัญญาจะตรวจสอบหลักฐานและกู้คืนชุดงานนั้นและชุดงานถัดไปทั้งหมด

ZKRollups (Zero-Knowledge Rollups) ใช้การพิสูจน์ความถูกต้อง: แต่ละแบตช์ประกอบด้วยการพิสูจน์การเข้ารหัสที่เรียกว่า ZK-SNARK (เช่น การใช้โปรโตคอล PLONK) ซึ่งพิสูจน์ว่ารากหลังสถานะเป็นผลลัพธ์ที่ถูกต้องของการดำเนินการแบทช์ สามารถตรวจสอบหลักฐานได้อย่างรวดเร็วบนเครือข่าย ไม่ว่าจะใช้คอมพิวเตอร์มากเพียงใด

โดยรวมแล้ว ในระยะสั้น Optimistic Rollups มีแนวโน้มที่จะชนะในการคำนวณ EVM ทั่วไป ในขณะที่ ZK Rollups มีแนวโน้มที่จะชนะในการชำระเงินง่ายๆ การแลกเปลี่ยน และกรณีการใช้งานเฉพาะแอปพลิเคชันอื่นๆ

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

กายวิภาคของหลักฐานการฉ้อโกง

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

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

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

หลักการบีบอัดข้อมูล

ธุรกรรม Ethereum อย่างง่าย (การส่ง ETH) ใช้เวลาประมาณ 110 ไบต์ อย่างไรก็ตาม การถ่ายโอน ETH ใน Rollups ใช้เวลาประมาณ 12 ไบต์เท่านั้น:

• ส่วนหนึ่งเป็นเพียงการเข้ารหัสระดับสูง: RLP ของ Ethereum เสีย 1 ไบต์สำหรับความยาวของแต่ละค่า แต่ยังมีเทคนิคการบีบอัดบางอย่าง:

• Nonce: จุดประสงค์ของพารามิเตอร์นี้คือเพื่อป้องกันการโจมตีซ้ำ หาก Nonce ของบัญชีปัจจุบันคือ 5 การทำธุรกรรมครั้งต่อไปสำหรับบัญชีนั้นจะต้องมี Nonce 5 และเมื่อดำเนินการธุรกรรมแล้ว Nonce ในบัญชีจะเพิ่มขึ้นเป็น 6 ดังนั้นธุรกรรมนั้นจะไม่สามารถดำเนินการได้อีก ใน Rollups เราสามารถละเว้น nonce ได้ทั้งหมด เนื่องจากเราเพิ่งกู้คืน nonce จากสถานะก่อนหน้า ถ้ามีคนพยายามเล่นธุรกรรมซ้ำด้วย nonce ก่อนหน้า ลายเซ็นจะไม่สามารถตรวจสอบได้ เนื่องจากลายเซ็นจะขัดแย้งกับข้อมูลที่มี nonce สูงกว่า ตรวจสอบ.

• Gasprice: เราอนุญาตให้ผู้ใช้จ่ายในช่วง Gasprice คงที่ เช่น 2 ยกกำลัง 16 หรือเป็นไปได้ที่จะมีค่าธรรมเนียมคงที่ต่อแบทช์ หรือแม้แต่ย้ายการจ่ายก๊าซออกจากโปรโตคอล Rollups ทั้งหมด และให้ผู้เข้าร่วมธุรกรรมชำระค่าธรรมเนียมให้กับผู้สร้างแบทช์ผ่านช่องทางของรัฐ

• แก๊ส: เรายังสามารถจำกัดจำนวนแก๊สทั้งหมดไว้ที่ 2 กำลังหลายเท่า หรือตั้งค่าขีดจำกัดของก๊าซที่ระดับแบทช์

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

• ค่า: เราสามารถจัดเก็บค่าในรูปแบบสัญกรณ์วิทยาศาสตร์ ในกรณีส่วนใหญ่ การโอนต้องใช้ตัวเลขนัยสำคัญเพียง 1-3 หลักเท่านั้น

ลายเซ็น: เราสามารถใช้ลายเซ็นรวม BLS ซึ่งอนุญาตให้รวมลายเซ็นจำนวนมากเป็นลายเซ็นเดียวประมาณ 32-96 ไบต์ (ขึ้นอยู่กับโปรโตคอล) ลายเซ็นนี้สามารถตรวจสอบกับชุดข้อความและผู้ส่งทั้งชุดได้ "ประมาณ 0.5" ในตารางระบุว่ามีการจำกัดจำนวนของลายเซ็นที่สามารถรวมเข้าด้วยกันซึ่งสามารถตรวจสอบได้ในบล็อกเดียว ชุดงานขนาดใหญ่จึงต้องการลายเซ็นประมาณหนึ่งรายการทุกๆ 100 ธุรกรรม

เทคนิคการบีบอัดเหล่านี้เป็นกุญแจสำคัญในการปรับขนาดของ Rollups หากไม่มีสิ่งเหล่านี้ Rollups อาจมีความสามารถในการปรับขนาดของห่วงโซ่ฐานเพียงประมาณ 10 เท่า (แม้ว่าจะมีแอปพลิเคชันที่ต้องใช้การคำนวณสูงบางตัวที่แม้แต่ Rollups แบบธรรมดาก็ยังมีประสิทธิภาพ) และด้วยการบีบอัดข้อมูล ความสามารถในการปรับขนาดของแอปพลิเคชันเกือบทั้งหมดทั้งสองสามารถทำได้มากกว่า 100 ครั้งปรับปรุง.

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

ใครสามารถส่งแบทช์ได้บ้าง

• มีข้อโต้แย้งมากมายว่าใครสามารถส่งแบทช์ใน Optimistic หรือ ZKRollups ได้ โดยทั่วไป ทุกคนยอมรับว่าเพื่อให้สามารถส่งแบทช์ได้ ผู้ใช้จะต้องจ่ายเงินมัดจำจำนวนมาก หากผู้ใช้นั้นเคยส่งแบทช์ที่ฉ้อฉล (เช่น มีรูทสถานะที่ไม่ถูกต้อง) เงินฝากนี้จะถูกทำลายบางส่วนและมอบให้บางส่วน เป็นรางวัล Fraud Prover แต่นอกเหนือจากนั้น ยังมีความเป็นไปได้อีกมากมาย:

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

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

• การประมูลผู้คัดแยก: การประมูลจะจัดขึ้น (เช่น ทุกวัน) เพื่อตัดสินว่าใครมีสิทธิ์เป็นผู้คัดแยกของวันถัดไป ข้อได้เปรียบของเทคโนโลยีนี้คือสามารถระดมทุนเพื่อแจกจ่ายเพิ่มเติมผ่าน DAO ที่ควบคุมโดย Rollups (ดู: การประมูล MEV)

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

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

แยกแบทช์และสถานะรูทซัพพลาย

• การยกเลิกที่กำลังอยู่ในระหว่างการพัฒนาใช้วิธี "แยกชุด" นั่นคือ การส่งชุดการดำเนินการ L2 และการส่งสถานะรากจะทำแยกกัน สิ่งนี้มีข้อได้เปรียบที่สำคัญบางประการ:

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

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

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

Rollups สามารถปรับขนาดได้มากแค่ไหน?

นี่คือไดอะแกรมสำหรับกรณีการใช้งานตัวอย่างอื่นๆ:

คำอธิบายภาพ

การเพิ่มความสามารถในการปรับขนาดสูงสุดคำนวณเป็น (ต้นทุนก๊าซ L1) / (ไบต์ใน Rollups * 16) * 12 ล้าน / 12.5 ล้าน

ทีนี้ถ้าเราต้องการให้เกิน ~1,000-4,000 TPS ล่ะ? นี่คือที่มาของการแบ่งกลุ่มข้อมูล Eth2 ข้อเสนอการแบ่งส่วนให้พื้นที่ 16 MB ทุก ๆ 12 วินาที ซึ่งสามารถรองรับข้อมูลใด ๆ และรับประกันความพร้อมใช้งานของข้อมูลนั้น หาก Rollups ใช้พื้นที่ข้อมูลนี้ พื้นที่ประมาณ 1398kb ต่อวินาทีจะสูงกว่าพื้นที่ Ethereum chain ที่มีอยู่ถึง 23 เท่า ในระยะยาว ความจุข้อมูลคาดว่าจะเพิ่มขึ้นอีก ดังนั้น Rollups ที่ใช้ Eth2 shard data สามารถประมวลผลธุรกรรมร่วมกันได้สูงสุดประมาณ 100,000 รายการ และมากกว่านั้นในอนาคต

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

Rollups มีความท้าทายอะไรบ้างที่ยังไม่ได้รับการแก้ไขอย่างสมบูรณ์

• ในขณะที่แนวคิดพื้นฐานของ Rollups เป็นที่เข้าใจกันดีอยู่แล้ว แต่ก็มีความเป็นไปได้และปลอดภัย และมีการใช้ Rollups หลายรายการบน mainnet แต่ก็ยังมีอีกหลายส่วนของการออกแบบ Rollups ที่ยังไม่ได้รับการสำรวจอย่างเต็มที่ ทำให้เหลือระบบนิเวศ Ethereum อยู่มาก ความท้าทายมากมายในการนำเนื้อหาเข้าสู่ Rollups อย่างเต็มรูปแบบ คำถามสำคัญบางข้อ ได้แก่ :

• รายการผู้ใช้และระบบนิเวศ - มีโครงการไม่มากที่ใช้ Rollups ผู้ใช้ไม่คุ้นเคย และมีกระเป๋าเงินไม่กี่แห่งที่ผสานรวม Rollups ร้านค้าและองค์กรการกุศลยังไม่รองรับวิธีการชำระเงินนี้

• การทำธุรกรรมแบบ Cross-Rollups - ย้ายสินทรัพย์และข้อมูลอย่างมีประสิทธิภาพจาก Rollups หนึ่งไปยังอีกที่หนึ่งโดยไม่เสียค่าธรรมเนียม L1

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

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

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

• ZK-VM ที่มีประสิทธิภาพ - สร้าง ZK-SNARK ที่พิสูจน์ว่ารหัส EVM ทั่วไป (หรือ VM อื่นที่สัญญาอัจฉริยะที่มีอยู่สามารถคอมไพล์ได้) ได้ดำเนินการอย่างถูกต้องด้วยผลลัพธ์ที่กำหนด

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

สรุปแล้ว

จากมุมมองของการออกแบบทางเทคนิค มี Rollups หลายประเภท เช่น Optimistic Rollups โดยใช้หลักฐานการฉ้อโกง และ ZK Rollups (ZK-SNARK) โดยใช้หลักฐานความถูกต้อง Rollups ยังคงเป็นเทคโนโลยีที่พัฒนาอย่างรวดเร็วและคาดว่าจะได้เห็นโครงการที่น่าตื่นเต้นอีกมากมายในพื้นที่ Rollups ในอีกไม่กี่ปีข้างหน้า

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