ที่มา: Bitcoin Magazine; รวบรวม: Five Baht, Golden Finance

เมื่อเร็ว ๆ นี้โรลอัพได้กลายเป็นจุดสนใจของการปรับขนาด BTC กลายเป็นสิ่งแรกที่ "ขโมยการแสดง" จาก Lighting Network ในแง่ของความสนใจที่กว้างขึ้น Rollups ได้รับการออกแบบให้เป็นเลเยอร์นอกสายโซ่ 2 ที่ไม่ถูก จํากัด หรือ จํากัด โดยข้อ จํากัด สภาพคล่องหลักของ Lighting Network กล่าวคือผู้ใช้ปลายทางต้องการใครสักคนในการจัดสรร (หรือ "ให้ยืม") เงินล่วงหน้าเพื่อรับเงินหรือ โหนดเส้นทางกลางต้องใช้ยอดคงเหลือของช่องทางเพื่ออํานวยความสะดวกในการไหลของจํานวนเงินที่ชําระจากผู้ส่งไปยังผู้รับ

ระบบเหล่านี้เริ่มต้นจากการทำงานบนเครือข่ายที่เสร็จสมบูรณ์และอื่น ๆ บนพื้นฐานของ UTXO อย่างไทยบิทคอยน์ แต่เร็ว ๆ นี้ มีการเปลี่ยนโฉมให้เป็นการพกพาไปยังเครือข่ายบล็อกเชนที่ใช้ UTXO (เช่น BTC) บทความนี้ไม่ได้ตั้งใจที่จะพูดถึงสถานการณ์ปัจจุบันของการใช้งานใน BTC แต่มีวัตถุประสงค์ที่จะพูดถึงความสามารถที่สำคัญสำหรับการทำงานของ Rollup ที่เป็นไอเดียที่มนุษย์ตามหามานาน นั่นคือ ความสามารถในการยืนยัน Zero-Knowledge Proof (ZKP) โดยตรงบน BTC

โครงสร้างพื้นฐานของ Roll คือดังนี้: บัญชีเดียว (ใน BTC เรียกว่า UTXO) บันทึกยอดเงินคงเหลือของผู้ใช้ทั้งหมดใน Rollup บนนั้น UTXO นี้ประกอบด้วยสัญญาที่มีราก Merkle tree ในรูปแบบของ Merkle root ซึ่งสัญญานี้บอกถึงยอดเงินคงเหลือปัจจุบันของบัญชีทั้งหมดใน Rollup ทั้งหมดบัญชีเหล่านี้ใช้กุญแจสาธารณะ/รหัสส่วนตัวเพื่อให้สิทธิในการทำธุรกรรม ดังนั้น หากต้องการทำการจ่ายออกจาก off-chain ผู้ใช้จะต้องลงลายมือชื่อด้วยกุญแจลับ ส่วนของโครงสร้างนี้ช่วยให้ผู้ใช้สามารถออกไปโดยไม่ต้องขออนุญาต ในทุกเวลา โดยการทำธุรกรรมเพื่อพิสูจน์ว่าบัญชีของเขาเป็นส่วนหนึ่งของ Merkle tree เขาสามารถออกจาก Rollup ได้ด้วยตนเองโดยไม่ต้องขออนุญาตจากผู้ให้บริการ

ผู้ดำเนินการ Rollup ต้องรวม ZKP ในธุรกรรมเพื่ออัปเดตรากบัญชีในขณะที่ทำธุรกรรม off-chain เพื่อปรับปรุงรากบัญชี on-chain หากไม่มี ZKP นี้ธุรกรรมจะเป็นโมฆะ จึงไม่สามารถรวมอยู่ในบล็อกเชนได้ การพิสูจน์นี้ช่วยให้ผู้คนสามารถตรวจสอบว่าการเปลี่ยนแปลงทั้งหมดของบัญชี off-chain ได้รับอนุญาตจากเจ้าของบัญชีอย่างเหมาะสมและผู้ดำเนินการไม่ได้ทำการอัปเดตยอดเงินอย่างชั่วร้ายเพื่อขโมยเงินของผู้ใช้หรือแจกจ่ายใหม่ให้กับผู้ใช้อื่นๆ อย่างไม่ซื่อสัตย์

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

Rollup ที่เหมาะสม

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

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

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

วันหมดอายุ

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

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

นี่ต้องการการยืนยันว่าข้อมูลอยู่บน on-chain อื่นๆ และนี่เป็นปัญหาของเครื่อง Oracle สำหรับ BTC บล็อกเชนไม่สามารถยืนยันได้ว่ามีอะไรเกิดขึ้นนอกจากสิ่งที่เกิดขึ้นบนบล็อก on-chain ของตัวเอง สิ่งที่ BTC บล็อกเชนทำได้ดีที่สุดคือการยืนยัน ZKP อย่างไรก็ตาม ZKP ไม่สามารถยืนยันว่าบล็อกที่มีข้อมูล rollup ได้รับการส่งต่อและเผยแพร่แก่สาธารณะจริงๆหลังจากถูกสร้างขึ้น มันไม่สามารถยืนยันได้ว่าข้อมูลภายนอกถูกเปิดเผยแก่สาธารณะทุกคนจริงๆ

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

01928374656574839201

สิ่งนี้ก่อให้เกิดภาวะที่กลืนไม่เข้าคายไม่ออกสําหรับ rollups เมื่อพูดถึงความพร้อมใช้งานของข้อมูลโดยทั่วไปจะมีตัวเลือกไบนารีระหว่างการเผยแพร่ข้อมูลไปยังบล็อกเชน BTC หรือที่อื่น ๆ ตัวเลือกนี้มีผลกระทบอย่างมีนัยสําคัญต่อความมั่นคงและอธิปไตยของ rollups เช่นเดียวกับความสามารถในการปรับขนาดของพวกเขา

ใช้ BTC บล็อกเชนเป็นชั้นข้อมูลสามารถกำหนดขีดจำกัดการขยายของ rollup ได้หนึ่งด้าน พื้นที่บล็อกจำกัด สำหรับจำนวน rollup ที่อาจมีอยู่ในครั้งเดียวและจำนวนธุรกรรมทั้งหมดที่ rollup สามารถประมวลผลได้ใน off-chain รวมถึงการอัปเดต rollup ทุกครั้งจำเป็นต้องใช้พื้นที่บล็อกที่เท่าๆ กันกับจำนวนบัญชีที่มีจำนวนเงินคงเหลือเปลี่ยนแปลงตั้งแต่การอัปเดตครั้งก่อน ทฤษฎีสารสนเทศอนุญาตให้ข้อมูลถูกบีบอัดได้เหลือจำนวนจำกัด ดังนั้นจึงไม่มีโอกาสขยายต่อไป

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

ขณะนี้ผู้ผลิตบล็อกบนระบบความพร้อมใช้ข้อมูลภายนอกสามารถรับผลิตบล็อกโดยไม่ต้องส่งออกบล็อกจริงเพื่อยึดเงินของผู้ใช้BTCRollup เพื่อทำให้ข้อมูลพร้อมใช้

ดังนั้น หากเราสามารถทำ Rollup บน BTC ให้สำเร็จตามที่เราคาดหวัง และทำให้ผู้ใช้สามารถถอนเงินได้ทั้งด้าน