a16z: เกี่ยวกับความเป็นไปไม่ได้ของ “บล็อกเชนไร้สัญชาติ”

ผู้เขียนต้นฉบับ: มิแรนดา คริสต์, โจเซฟ บอนโน

การรวบรวมข้อความต้นฉบับ: Deep Tide TechFlow

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

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

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

ไม่มีสถานะ

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

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

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

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

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

ความเป็นมาของการวิจัยของเรา

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

ขั้นแรกเราสร้างแผนผัง Merkle โดยที่แต่ละคู่ (รหัสบัญชี ยอดคงเหลือ) (a, b) ถูกรวมไว้เป็นโหนดปลายสุด สถานะขนาดคงที่ V ที่ผู้ตรวจสอบความถูกต้องจัดเก็บไว้คือรากของแผนผังนี้ ซึ่งทำหน้าที่เป็นข้อผูกมัดต่อชุดคู่ยอดคงเหลือในบัญชี ผู้ใช้แต่ละรายรักษาพยานของตนไว้เพื่อเป็นหลักฐานการรวมกลุ่มของ Merkle หลักฐาน Merkle ของการรวมสำหรับใบไม้ (a,b) ประกอบด้วยโหนดคู่ (v1,...,vk) ตามเส้นทางจากใบไม้นั้นไปยังรากของต้นไม้ เมื่อพิจารณาธุรกรรมตามบัญชี a และยอดคงเหลือ b ที่อ้างสิทธิ์ ผู้ตรวจสอบสามารถตรวจสอบได้ว่า b เป็นยอดคงเหลือของบัญชี a จริง ๆ โดยการตรวจสอบการพิสูจน์ (v1,...,vk) ของ (a,b) เทียบกับสถานะปัจจุบัน V หากเป็นเช่นนั้น ผู้ตรวจสอบจะดำเนินการธุรกรรมและต้องอัปเดตยอดคงเหลือในบัญชีให้สอดคล้องกัน คุณสมบัติที่สะดวกของต้นแมร์เคิลคือ เมื่อพิจารณาจากหลักฐานการรวมใบไม้ของแมร์เคิลแล้ว จึงเป็นเรื่องง่ายที่จะคำนวณรากของผลลัพธ์เมื่อใบไม้นั้นเปลี่ยนแปลง กล่าวอีกนัยหนึ่ง ผู้ตรวจสอบสามารถคำนวณสถานะ V ที่อัปเดตได้อย่างง่ายดาย ซึ่งรวบรวมยอดดุลใหม่ของบัญชี a หลังจากดำเนินธุรกรรมแล้ว

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

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

บทสรุปของเรา: การไร้สัญชาติเป็นไปไม่ได้

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

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

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

เพื่อความง่าย เราจะอธิบายข้อพิสูจน์ของข้อความที่อ่อนแอกว่าเล็กน้อยที่นี่: ไม่มีบล็อกเชนไร้สถานะที่ผู้ใช้ไม่จำเป็นต้องอัปเดตข้อมูลพยานของตน ประเด็นก็คืออลิซใช้โครงการบล็อกเชนไร้สัญชาติเพื่อเข้ารหัสข้อความของเธอถึงบ็อบ ในตอนแรก ทั้ง Alice และ Bob รู้คู่ยอดคงเหลือในบัญชีครบชุดสำหรับผู้ใช้ทั้งหมด n ราย สมมติว่าแต่ละบัญชีมีอย่างน้อยหนึ่งเหรียญ ทั้งอลิซและบ็อบยังรู้จักสถานะ V ของบล็อกเชนไร้สัญชาติและพยานของคู่ยอดคงเหลือในบัญชีทั้งหมด (ai, bi) อลิซและบ็อบยังเห็นด้วยกับการจับคู่ระหว่างข้อความและชุดบัญชี อลิซจะเลือกชุด A ของบัญชีที่สอดคล้องกับข้อความของเธอ จากนั้นเธอก็จะใช้เหรียญจากบัญชีเหล่านั้น เธอจะใช้บล็อกเชนไร้สัญชาติเพื่อสื่อสารกับ Bob เกี่ยวกับชุดที่เธอเลือกซึ่งเขาสามารถเรียนรู้เกี่ยวกับเธอได้

การเข้ารหัส: อลิซใช้หนึ่งเหรียญจากแต่ละบัญชีใน A อลิซคำนวณสถานะ V ที่อัปเดตแล้วส่งไปให้ Bob โดยใช้รูปแบบบล็อกเชนไร้สัญชาติ

การถอดรหัส: สำหรับแต่ละ i นั้น Bob จะตรวจสอบว่า Verify(wi, (ai, bi)) เป็นจริงหรือไม่ Bob ส่งออกชุดบัญชี B เพื่อให้ Verify(wi, (ai, bi)) = false

Bob ส่งออกชุดเดียวกับที่ Alice เลือกได้สำเร็จ: B = A ขั้นแรก สังเกตว่าหากอลิซใช้เหรียญจากบัญชี ai พยานถึงยอดคงเหลือเก่าของมันไม่ควรได้รับการยอมรับอีกต่อไป ไม่เช่นนั้น อลิซก็จะสามารถใช้จ่ายสองเท่าได้ ดังนั้น สำหรับแต่ละบัญชี ai ใน A ให้ Verify(wi, (ai, bi)) = false และ Bob จะรวมบัญชีนี้ไว้ใน B ในทางกลับกัน Bob จะไม่รวมไว้ในบัญชี B ที่อลิซไม่ได้ใช้เหรียญ เนื่องจากยอดคงเหลือของบัญชีเหล่านี้ยังคงเท่าเดิม และ (จำข้อความผ่อนคลายที่เราต้องการพิสูจน์) พยานของพวกเขาจะไม่มีวันเปลี่ยนแปลง ดังนั้น B จึงเท่ากับ A พอดี

สุดท้ายนี้ เราแก้ไขข้อขัดแย้งของเราด้วยการคำนวณจำนวนบิตที่อลิซควรส่งให้กับ Bob เธอสามารถเลือกเซตย่อยได้ 2^n ดังนั้นตามกฎของแชนนอน เธอควรส่งบิตอย่างน้อย n บิตไปให้ Bob อย่างไรก็ตาม เธอส่งเฉพาะสถานะ V ที่มีขนาดคงที่เท่านั้น ซึ่งสั้นกว่า n บิตมาก

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

ผลกระทบของผลลัพธ์

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

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

แม้ว่าการสนทนาของเราจนถึงตอนนี้จะมุ่งเน้นไปที่บล็อคเชน L1 แต่ผลลัพธ์ของเรายังมีผลกระทบต่อระบบ L2 เช่น เซิร์ฟเวอร์ Rollup โดยทั่วไป Rollups (ไม่ว่าจะเป็น Optimistic หรือ ZK) จะจัดเก็บความมุ่งมั่นในสถานะขนาดใหญ่บน L1 โดยมีค่าน้อย สถานะนี้รวมบัญชีผู้ใช้ทุกคนใน L2 เราต้องการให้ผู้ใช้เหล่านี้สามารถถอนเงินได้โดยตรงบน L1 (โดยไม่ต้องอาศัยความร่วมมือจากเซิร์ฟเวอร์ L2) โดยการเผยแพร่พยานถึงยอดคงเหลือในบัญชีปัจจุบันของพวกเขา การตั้งค่านี้ยังเป็นตัวอย่างของระบบพิสูจน์แบบพลิกกลับได้ในแบบจำลองของเราอีกด้วย ในความเป็นจริง อาจเป็นที่ถกเถียงกันอยู่ว่าบล็อกเชนไร้สัญชาติได้ถูกนำไปใช้ในทางปฏิบัติแล้ว ในรูปแบบของ L2 Rollups

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