ที่มา: Bitcoin Magazine; การแปล: วูจู, โกลด์เซอร์ทรี

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

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

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

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

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

Rollup ที่เหมาะสม

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

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

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

วันหมดอายุ

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

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

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

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

วิกฤตการเคลื่อนไหว

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

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

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

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

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