สอนคุณใช้ชั้นเรียนคณิตศาสตร์ระดับมัธยมต้นเพื่อทำความเข้าใจ Rollup

ผู้เขียนบทความนี้:Benjamin Simonชื่อเรื่องรอง

จากคณิตศาสตร์ระดับมัธยมศึกษาตอนปลาย

เริ่มต้นด้วยคำอุปมา

ข้อความ

เรื่องราว Kafkaesque นี้เกี่ยวข้องกับ Rollup อย่างไร

ในการเปรียบเทียบ แผ่นกระดาษคือบล็อก Ethereum และโจทย์คณิตศาสตร์คือธุรกรรมสัญญาอัจฉริยะ Ethereum แออัดมากในขณะนี้ มีธุรกรรมมากเกินไปที่ต้องรวมในแต่ละบล็อก ที่แย่ไปกว่านั้น ธุรกรรมเหล่านี้ส่วนใหญ่ต้องใช้การคำนวณสูง เช่น สินเชื่อแฟลช หรือธุรกรรมที่ส่งผ่านผู้รวบรวม เราบอกลาการโอนเงินและการชำระเงินแบบเดิมๆ ในยุคก่อน DeFi ไปแล้ว

นั่นคือปมของเรื่อง เช่นเดียวกับที่ครูคณิตศาสตร์ในคำอุปมาขอให้เรายัดเยียดการหารยาวทุกบรรทัดลงบนกระดาษ Ethereum จะต้องประมวลผลและบันทึกการคำนวณทุกบรรทัดสำหรับทุกธุรกรรม

จนกว่าจะมีการยกเลิก

Rollups ย้ายการคำนวณออกไปนอกเครือข่ายในขณะที่จัดเก็บข้อมูลการทำธุรกรรมเพียงเล็กน้อยบนเครือข่าย ในแง่พื้นฐานนี้ พวกเขาเป็นเหมือนกระดาษขูดของ Ethereum Rollup จัดการการประมวลผลข้อมูลที่ยุ่งเหยิงทั้งหมด ช่วยให้การทำธุรกรรมแบบ exponential smart contract ถูกแบทช์ ("roll up") ภายในบล็อก Ethereum เดียว

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

โรลอัพคืออะไร?

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

ในระดับเทคนิค ความแตกต่างที่สำคัญระหว่าง Rollup chains และ blockchains แบบดั้งเดิมอื่น ๆ คือวิธีการผลิตบล็อกใหม่

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

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

รอสักครู่... การรวมศูนย์เป็นแบบรวมศูนย์หรือไม่

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

การรวมศูนย์นี้สร้างความสับสนให้กับผู้ใช้ crypto ที่คุ้นเคยกับ blockchains ที่อิงตามฉันทามติ อันที่จริง หากเรื่องราวจบลงที่นี่ เราอาจสรุป (อย่างผิดๆ) ว่า Rollups เป็นเพียง “ฐานข้อมูลที่จำลองโดยฝ่ายเดียว” ดังที่ Kevin Seqniqi ผู้ร่วมก่อตั้ง Avalanche ได้ทวีตเมื่อเร็วๆ นี้

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

ความสำคัญของความพร้อมใช้งานของข้อมูล

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

ในความเป็นจริง ส่วนสุดท้าย — การจัดเก็บข้อมูลธุรกรรมบนเครือข่าย — มีความสำคัญอย่างยิ่งต่อวิธีการทำงานของ Rollup ใน Rollup เฉพาะการคำนวณและการประมวลผลข้อมูลเท่านั้นที่เป็นแบบออฟไลน์ ทุกธุรกรรมที่ประมวลผลโดย Rollup ยังคงมีข้อมูลอินพุต (เรียกอย่างเป็นทางการว่า "ข้อมูลการโทร") เก็บไว้ใน Ethereum

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

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

“ความจำกัด” คือจุดแข็ง

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

ด้วยลักษณะที่จำกัดของค่าสะสม เราสามารถกลับไปสู่ค่าส่วนกลางที่ยังไม่ได้แก้ไข ผู้ผลิตบล็อกรายบุคคลของ Rollup อาจพยายามประมวลผลธุรกรรมโดยมุ่งร้าย แต่ถ้าเป็นเช่นนั้น Ethereum จะปฏิเสธแบทช์หลังจากกระบวนการตรวจสอบเสร็จสิ้น และผู้ผลิตบล็อกจะถูกลงโทษ [7]

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

สรุป

สรุป

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

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

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

ข้อความ

ข้อความ

ข้อความ

ข้อความ

ข้อความ

ข้อความ

ข้อความ

6. ในความเป็นจริง ตัวสร้างบล็อกใน ZK Rollups ห้ามการทำธุรกรรมแบบเข้ารหัสลับไม่ให้ถูกดำเนินการอย่างฉ้อฉล เนื่องจากการพิสูจน์ธุรกรรมที่ไม่มีความรู้เป็นศูนย์นั้นไม่ถูกต้อง