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

การรวบรวมต้นฉบับ: Deep Chao TechFlow

Bitcoin กำลังจะได้รับ Zero Knowledge (ZK) Rollups เมื่อเร็ว ๆ นี้ สองโครงการที่แตกต่างกันได้นำการพัฒนานี้มาสู่ชีวิต ซึ่งเป็นการพัฒนาที่ไม่เพียงแต่ช่วยให้ Bitcoin ขยายขนาดได้มากขึ้นเท่านั้น แต่ยังให้การรับประกันความเป็นส่วนตัวเพิ่มเติมแก่ผู้ใช้ที่ตัดสินใจใช้งานอีกด้วย

เมื่อสัปดาห์ที่แล้ว Chainway ได้ประกาศเปิดตัว Data Availability (DA) Adapter แบบโอเพ่นซอร์ส ซึ่งเป็นเทคโนโลยีที่ช่วยให้นักพัฒนาใช้ประโยชน์จากความปลอดภัยและขั้นสุดท้ายของ Bitcoin เพื่อพัฒนา Rollups โดยใช้ Sovereign Software Development Kit (SDK) Sovereign ให้บริการแบบรวมกลุ่มแก่นักพัฒนาสำหรับการสร้าง Rollup ประเภทต่างๆ ในขณะที่การเปิดตัวของ Chainway มีเป้าหมายเพื่อเปิดใช้งาน ZK Rollup แรกของ Bitcoin

Kasar Labs ร่วมมือกับ Taproot Wizards ได้เปิดตัวอะแดปเตอร์ DA สำหรับ Bitcoin ในเวลาเดียวกันโดยบังเอิญ อะแดปเตอร์ช่วยให้นักพัฒนาสามารถเสียบ Madara stack เข้ากับ Bitcoin เพื่อรัน Starknet Rollups ตามภาษาโปรแกรมไคโรที่สร้างโดย StarkWare

ZK Rollup คืออะไร?

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

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

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

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

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

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

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

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

ตอนนี้เรามีความเข้าใจในการพิสูจน์ ZK แล้ว เรากลับมาที่สองโปรเจ็กต์ที่กล่าวถึงก่อนหน้านี้และสำรวจแง่มุมที่เป็นเอกลักษณ์ของการออกแบบกัน

SOVEREIGN

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

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

เพื่อให้ธุรกรรม Sovereign Rollup ถูกรวมไว้ในบล็อก Bitcoin ผู้ใช้จะส่งธุรกรรมไปยังสิ่งที่เรียกว่าซีเควนเซอร์ ซีเควนเซอร์ดำเนินการโดยรากฐานในการออกแบบอะแดปเตอร์ DA ของ Chainway และมีหน้าที่รับผิดชอบในการสร้างการเชื่อมต่อนี้ระหว่าง side chain และ Bitcoin เพื่อให้มั่นใจว่าธุรกรรมทั้งหมดที่ผู้ใช้ส่งผ่านจะถูกเผยแพร่ไปยัง Bitcoin ในรูปแบบของ ZK proofs

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

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

STARKNET

เช่นเดียวกับ Sovereign Starknet ยังได้รับการออกแบบเพื่อให้สามารถสร้าง Rollups ได้ อย่างไรก็ตาม Starknet เป็นระบบนิเวศที่มีความเห็นมากกว่า ซึ่งรวมถึงส่วนประกอบที่ชัดเจน เช่น Cairo, CairoVM และ Madara ที่นักพัฒนาสามารถสร้างได้

Starknet คือ ZK Rollup ที่ทำงานบน Ethereum ซึ่งหมายความว่า Rollup อาศัยบล็อกเชนที่สร้างโดย Vitalik Buterin เป็นเลเยอร์ DA มันใช้ประโยชน์จากการพิสูจน์ STARK เพื่อให้ผู้ใช้ได้รับสมมติฐานด้านความเป็นส่วนตัวและความปลอดภัยที่จำเป็น ตลอดจนปรับปรุงความสามารถในการปรับขนาดและลดต้นทุนการทำธุรกรรมด้วยการรวมธุรกรรมเป็นชุดก่อนที่จะเผยแพร่การพิสูจน์และสถานะใหม่ไปยังเลเยอร์-1 ไคโรเป็นภาษาโปรแกรมทัวริงที่สมบูรณ์สำหรับการเขียนโปรแกรมที่พิสูจน์ได้ ซึ่งฝ่ายหนึ่งสามารถพิสูจน์ให้อีกฝ่ายหนึ่งได้ว่าการคำนวณบางอย่างนั้นดำเนินการอย่างถูกต้องโดยไม่ต้องให้ฝ่ายนั้นรันโปรแกรมเดิมซ้ำ เป็นแพลตฟอร์มระดับการผลิตแพลตฟอร์มแรกสำหรับการสร้าง STARK proofs สำหรับการประมวลผลทั่วไป

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

Madara คือซีเควนเซอร์สำหรับสแต็ก Starknet ซึ่งช่วยให้นักพัฒนาสนับสนุน ZK Rollup ที่ใช้ Starknet

จนกระทั่งเมื่อไม่นานมานี้ กลุ่มซอฟต์แวร์เหล่านี้ทั้งหมดมีเฉพาะบน Ethereum เท่านั้น ขณะนี้ Kasar Labs และ Taproot Wizards ได้เปิดตัวอะแดปเตอร์ DA สำหรับ Bitcoin ซึ่งได้รับการออกแบบมาเพื่อให้นักพัฒนาสามารถยึด Rollups ที่สร้างขึ้นโดยใช้ Starknet เวอร์ชันโอเพ่นซอร์สเข้ากับเครือข่ายสกุลเงินดิจิทัลดั้งเดิมและปลอดภัยที่สุด

Bitcoin จำเป็นต้องมี ZK Rollup หรือไม่?

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

ZK Rollup มอบวิธีการดู Bitcoin จากมุมมองที่ต่างออกไป ทั้งสองโครงการที่กล่าวถึงข้างต้นไม่ต้องการการเปลี่ยนแปลง Bitcoin จริง ๆ แต่จำเป็นต้องมีการเปลี่ยนแปลงที่เป็นเอกฉันท์ผ่านการแนะนำ opcode ใหม่หากจะต้องตระหนักถึงฟังก์ชันการทำงานเต็มรูปแบบของเทคโนโลยีนี้ ในปัจจุบัน ดูเหมือนว่าการวิจัยเทคโนโลยี Rollup ที่เน้นความรู้เป็นศูนย์กำลังพยายามผลักดันขอบเขตที่เป็นไปได้ของ Bitcoin ซึ่งเป็นสิ่งที่ดีสำหรับการขยายฐานผู้ใช้ Bitcoin เช่นเดียวกับ Lightning Network

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

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

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

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