IOSG Ventures: คำอธิบายโดยละเอียดของ BitVM รุ่งอรุณแห่งความสามารถในการโปรแกรม Bitcoin

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

*กิตติกรรมประกาศ: ขอขอบคุณ Momir และ Xinshu สำหรับการแก้ไขบทความอันมีค่า

TL;DR

• การเปลี่ยนแปลงใน Bitcoin Core มักจะพบกับการต่อต้านด้วยเหตุผลต่างๆ เช่น: ก) ผู้คนชอบ Bitcoin เป็นตัวเก็บมูลค่ามากกว่าเป็นสกุลเงิน b) เสถียรภาพด้านคุณค่าและความสามารถในการคาดการณ์เหนือนวัตกรรมที่รวดเร็ว ค) การสร้างฉันทามติภายในชุมชนที่หลากหลายเป็นเรื่องยาก

• หลายโครงการอ้างว่ามีวิธีแก้ไขปัญหาความสามารถในการขยายขนาดของ Bitcoin โดยไม่ต้องเปลี่ยนแปลงห่วงโซ่ Bitcoin เอง เมื่อเร็ว ๆ นี้เราได้เห็นการเพิ่มขึ้นของ Bitcoin “L2s”

• แม้ว่าคำกล่าวอ้างหลายข้อเป็นเพียงการตลาดที่ทำให้เข้าใจผิด แต่เรายังยอมรับกระบวนทัศน์การประมวลผลแบบใหม่ที่สามารถนำความสามารถในการตั้งโปรแกรมมาสู่ Bitcoin – BitVM

• โซลูชันการปรับขนาดที่ดีที่สุดที่ BitVM สามารถรองรับได้นั้นใกล้เคียงกับสมมติฐานด้านความปลอดภัยประเภท OP-Rollup (แม้ว่าจะมีข้อควรพิจารณาเพิ่มเติมบางประการก็ตาม)

• ความสำเร็จของ BitVM และโครงการริเริ่มที่คล้ายกันนั้นขึ้นอยู่กับความเป็นไปได้ทางเทคนิค การสนับสนุนจากชุมชน และความแตกต่างจากโครงการที่ วางตลาดมากเกินไป อื่นๆ

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

ชุมชน Bitcoin แบบดั้งเดิมต่อต้านการเปลี่ยนแปลงด้วยเหตุผลดังต่อไปนี้:

เรื่องราวมุ่งเน้นไปที่การจัดเก็บมูลค่ามากกว่าสกุลเงินหมุนเวียน: ชุมชน Bitcoin ตั้งใจมุ่งเน้นไปที่การรักษาเครือข่ายในฐานะระบบการชำระเงินแบบ peer-to-peer โดยให้ความสำคัญกับความปลอดภัยและการกระจายอำนาจมากกว่าการพัฒนาที่รวดเร็ว Michael Saylor นัก Bitcoin กล่าวไว้ว่า “ไม่มีใครพยายามใช้เศษเสี้ยวของอาคารบนถนน Fifth Avenue เพื่อซื้อกาแฟสักแก้ว” คำพูดนี้สะท้อนถึงความมุ่งมั่นของชุมชนที่มีต่อ Bitcoin ในฐานะแหล่งเก็บมูลค่า เครื่องมือ มากกว่าสกุลเงินในชีวิตประจำวัน

• ความเสถียรของระบบสำคัญกว่านวัตกรรม: เพื่อให้สินทรัพย์ได้รับการพิจารณาว่าเป็นตัวจัดเก็บมูลค่าที่ดีเยี่ยม ความสามารถในการคาดการณ์เป็นสิ่งสำคัญ ตัวอย่างเช่น แม้ว่าเครือข่ายจะมีการอัพเกรดหลักเพียง 10 ครั้ง และการอัพเกรดแต่ละครั้งมีอัตราความสำเร็จ 90% ความน่าจะเป็นที่ความล้มเหลวจะเกิดขึ้นจะอยู่ที่ประมาณ 65%! ตามทฤษฎีอุบัติเหตุทั่วไป: ในระบบที่ซับซ้อน เราควรคาดหวังว่าปัจจัยเล็กๆ น้อยๆ ที่มักจะไม่สำคัญจะนำไปสู่เหตุการณ์สำคัญโดยบังเอิญในบางครั้ง ดังนั้น เป้าหมายของชุมชน Bitcoin ก็คือการลดจำนวนข้อผิดพลาดที่อาจเกิดขึ้นมาโดยตลอด .

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

1. การขยายแผนการขยาย Bitcoin อย่างรวดเร็ว

จากที่กล่าวมาข้างต้น เหตุใดจึงมีโซลูชั่น Bitcoin “L2” ใหม่มากมายในทันที?

เมื่อเร็ว ๆ นี้ เราได้สังเกตเห็นการแพร่กระจายของโซลูชัน Bitcoin “L2” (มากกว่า 50 โซลูชันแล้วตาม https://l2.watch/!) อย่างไรก็ตาม ชุมชนได้สำรวจวิธีการปรับขนาดที่แตกต่างกันมานานหลายปี:

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

• โปรเจ็กต์การตรวจสอบฝั่งไคลเอ็นต์ เช่น RGB ใช้โมเดล UTXO ของเมนเน็ตสำหรับธุรกรรมนอกเชนที่ซับซ้อนมากขึ้น แต่การโต้ตอบกับเมนเน็ต Bitcoin ขาดความเสถียร

• ช่องทางของรัฐ เช่น Lightning Network ซึ่งมีความเกี่ยวข้องอย่างใกล้ชิดกับนักพัฒนา Bitcoin หลัก ถูกมองว่าเป็นวิธีการปรับขนาดแบบออร์โธดอกซ์มากกว่า

โซลูชันการขยาย BTC รุ่นแรก

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

2. BitVM - ภาพรวม

เพื่ออธิบายว่า BitVM คืออะไร เราควรแนะนำ Primitive ที่เปิดใช้งานและเป็นแรงบันดาลใจ นั่นก็คือการอัพเกรด Bitcoin Taproot

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

Robin Linus ตระหนักถึงโอกาสอันยิ่งใหญ่ที่ได้รับการปลดล็อคจากการอัพเกรด Taproot โดยเป็นผู้บุกเบิก BitVM ซึ่งเป็นนวัตกรรมที่ก้าวล้ำในระบบนิเวศ Bitcoin

BitVM เป็นกระบวนทัศน์การประมวลผลที่ใช้ประโยชน์จากการอัพเกรด Taproot เพื่ออำนวยความสะดวกในการใช้งานสัญญา Turing ที่สมบูรณ์บน Bitcoin โดยไม่ต้องเปลี่ยนกฎฉันทามติของเครือข่าย ช่วยให้สามารถตรวจสอบ (แทนที่จะดำเนินการ) ของการคำนวณ คล้ายกับ Optimistic Rollups

BitVM ลดรอยเท้าบนลูกโซ่ให้เหลือน้อยที่สุดโดยการส่งโปรแกรมไปยังที่อยู่ Taproot ในขณะเดียวกันก็เปิดใช้งานการคำนวณนอกลูกโซ่ที่ซับซ้อนซึ่งต้องใช้การดำเนินการบนลูกโซ่เท่านั้นในกรณีที่เกิดข้อพิพาท

กระบวนการนี้เกี่ยวข้องกับการส่งวงจรไบนารี่ของโปรแกรมไปยังที่อยู่ Taproot และตรวจสอบโดยใช้กลไกการตอบสนองต่อความท้าทาย โดยสรุป BitVM ดำเนินสัญญา Bitcoin ที่สมบูรณ์ของทัวริง ที่สำคัญที่สุด:

• BitVM ไม่ต้องการทางแยกหรือการเปลี่ยนแปลงใด ๆ กับโปรโตคอล Bitcoin

• BitVM ไม่ทำให้ Bitcoin blockchain แออัด เนื่องจากการคำนวณไม่ได้ดำเนินการกับ Bitcoin แต่จะมีการตรวจสอบโดยใช้เครือข่าย Bitcoin เท่านั้นในกรณีที่มีข้อพิพาท (ข้อพิพาท)

การสร้างวงจรไบนารี่บน Bitcoin

การสร้างวงจรไบนารี่เป็นวิธีการแทนการคำนวณหรือโปรแกรมที่ใช้ไบนารีลอจิกเกต (เช่น AND, OR, NOT) ที่สามารถทำหน้าที่คำนวณใดๆ ได้

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

โดยพื้นฐานแล้ว โปรแกรมคอมพิวเตอร์ใดๆ ตั้งแต่เกมไปจนถึงระบบปฏิบัติการ Linux เต็มรูปแบบ เป็นผลมาจากการจัดเรียงที่ซับซ้อนของลอจิกเกตเหล่านี้ และโดยพื้นฐานแล้วสิ่งดิจิทัลทั้งหมดจะขึ้นอยู่กับเลขฐานสอง - 0 และ 1 ด้วยการรวมเลขฐานสองเหล่านี้เข้ากับลอจิกเกต เช่น เกต AND และ NOT เราจึงสร้างวงจรได้หลากหลาย รวมถึงหน่วยลอจิกทางคณิตศาสตร์ (ALU) และระบบหน่วยความจำ เทคโนโลยีพื้นฐานนี้ช่วยให้เราสามารถเขียนและรันโปรแกรมเพื่อทำงานที่หลากหลายได้

ที่มา: การก้าวผ่านลอจิกเกต ลอจิกเกตพื้นฐาน (F แทน 0, T แทน 1)

สถานที่ตั้งของ BitVM คือการใช้ Bitcoin Script เพื่อกระทำการคำนวณแบบ off-chain (การส่งแฮชที่คำนวณได้ไปยังที่อยู่ Taproot) โดยการถอดรหัสโปรแกรมใด ๆ ให้เป็นวงจรไบนารี่และเปิดใช้งานการตรวจสอบการดำเนินการ กระบวนการนี้รวมถึงสคริปต์ Bitcoin แต่ สคริปต์เองไม่ได้ดำเนินการตรรกะการคำนวณทั้งหมด

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

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

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

กลไกการตอบสนองต่อความท้าทาย

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

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

วิกกี้เลือกลอจิกเกตจากวงจรไบนารี่ และพอลเปิดประตูโดยเปิดเผยอินพุตและเอาต์พุต กระบวนการนี้จะเกิดขึ้นซ้ำจนกว่าความคลุมเครือจะได้รับการยืนยัน หรือวิกกี้หมดโอกาสที่จะท้าทายต่อไป ความคลุมเครือหมายความว่า Paul อ้างว่าอินพุต X บางตัวเป็น 0 เมื่อประตูลอจิกหนึ่งเปิดอยู่ แต่เป็น 1 เมื่อประตูลอจิกอื่นเปิดอยู่

Paul จำเป็นต้องรักษาความปลอดภัยหลักฐานการเรียกร้องของเขาโดยการฝากเงินไปยังที่อยู่ตอบกลับโดยใช้ธุรกรรมที่ลงนามล่วงหน้า ธุรกรรมเหล่านี้สร้างห่วงโซ่ที่ช่วยให้เงินทุนสามารถแกว่งไปมาระหว่างที่อยู่ความท้าทายและที่อยู่ตอบสนองตามการโต้ตอบที่กำลังดำเนินอยู่

เงินทุนจากที่อยู่ตอบกลับสามารถไหลไปตามหลายเส้นทาง ขึ้นอยู่กับผลลัพธ์ของความท้าทาย:

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

• หากวิกกี้พิสูจน์ได้ว่าพอลไม่สอดคล้องกับการประหารชีวิต (เกิดความคลุมเครือ) เธอก็สามารถเรียกร้องเงินเหล่านั้นได้

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

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

การแบ่งส่วน: การปรับปรุงประสิทธิภาพการระงับข้อพิพาท

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

ด้านล่างนี้ เราใช้ตัวอย่างง่ายๆ เพื่อแสดงให้เห็นว่าวิธีการแบ่งส่วนทำงานอย่างไร:

พอลและวิกกี้กำลังทำโจทย์คณิตศาสตร์ คำถามคือการคำนวณ (( 1+ 2)+( 3+ 4))+(( 5+ 6)+( 7+ 8))

วิธีที่ถูกต้องในการคำนวณนี้คือ (( 1+ 2)+( 3+ 4))+(( 5+ 6)+( 7+ 8)) = ( 3+ 7)+( 11+ 15) = 10+ 26 = 36.

คำตอบที่พอลให้ไว้คือ 35 เพราะวิธีการคำนวณของเขาคือ (( 1+ 2)+( 3+ 4))+(( 5+ 6)+( 7+ 8)) = ( 2+ 7)+( 11+ 15) = 9+ 26 = 35

เมื่อวิกกี้ท้าทายพอล เธอเพียงแต่ท้าทายการคำนวณที่เกี่ยวข้องกับส่วนแรกของการคำนวณ (เช่น การเปิดประตูลอจิก) เพราะพวกเขายอมรับว่าส่วนที่สองของการคำนวณนั้นแม่นยำ (( 5+ 6)+( 7+ 8) ) = 26 .

3. ใช้ BitVM เพื่อสร้างบริดจ์ความน่าเชื่อถือขั้นต่ำ (Trust-Minimized Bridge)

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

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

จากนั้น จะต้องจัดตั้งเครือข่ายสหพันธ์/หลาย sig เพื่ออำนวยความสะดวกในการโอน BTC และรันเกมที่ตอบสนองต่อความท้าทาย พันธมิตรต้องมุ่งมั่นที่จะรันโปรแกรมบริดจ์โดยเป็นส่วนหนึ่งของการตั้งค่า BitVM

ความซับซ้อนของการตั้งค่าเริ่มต้นของกลุ่มพันธมิตรจะเพิ่มขึ้นเป็นกำลังสองตามจำนวนสมาชิก เนื่องจากสมาชิกแต่ละคนของกลุ่มพันธมิตรจะต้องมีปฏิสัมพันธ์กับสมาชิกคนอื่นๆ ทุกคน ดังนั้นจึงมีขีดจำกัดบนที่แน่นอนสำหรับขนาดของกลุ่มพันธมิตร และนักวิจัยคาดการณ์ว่า N = 100 เป็นไปได้

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

ตลอดเวลา พันธมิตรจะมีผู้ดำเนินการ (ผู้ดำเนินการ) ที่รับผิดชอบในการจัดการการฝากและการถอนเงิน และตรวจสอบสถานะของ sidechain ทั้งผู้ปฏิบัติงานและหอสังเกตการณ์จะต้องยื่นหลักประกันเพื่อจูงใจให้เกิดพฤติกรรมที่ถูกต้องและยับยั้งความท้าทายที่ผิดพลาด

อีกเหตุผลหนึ่งว่าทำไมโครงการนี้ไม่ตรงตามคำจำกัดความที่เข้มงวดที่สุดของ Convolution ก็คือผู้ใช้ไม่สามารถออกจาก Sidechain ฝ่ายเดียวได้ แต่ต้องขอถอนออกจากกลุ่ม ซึ่งดำเนินการบนสมมติฐานความปลอดภัย 1/N

4. BitVM v2: BitVM สามารถรองรับการตรวจสอบแบบไม่ได้รับอนุญาต (Permisionless Verification) ได้หรือไม่

เมื่อวันที่ 25 มีนาคม Robin Linus ได้เปิดตัว BitVM v2. การเปลี่ยนแปลงที่สำคัญในข้อเสนอ BitVM v2 คือผู้พิสูจน์จะต้องส่งสถานะเอาต์พุตและผลลัพธ์ระดับกลางทั้งหมดพร้อมกัน แทนที่จะเปิดลอจิกเกตทีละตัวในระหว่างกระบวนการตรวจสอบความท้าทายเช่น v1 ด้วยการเปลี่ยนแปลงนี้ BitVM ช่วยให้มั่นใจได้ว่าความท้าทายใด ๆ ต่อข้อผูกพันเหล่านี้จะต้องได้รับการสนับสนุนจากหลักฐานการเข้ารหัส กลไกนี้จะกรองการท้าทายเกี่ยวกับสแปมที่ไม่สมควรออก เนื่องจากผู้ท้าชิงจะต้องจัดเตรียมหลักฐานการเข้ารหัสเฉพาะเพื่อโต้แย้งผู้พิสูจน์

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

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

สมมติฐานด้านความปลอดภัยเพิ่มเติมบนห่วงโซ่ฐาน

5. ข้อจำกัดของ BitVM

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

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

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

เนื่องจากลักษณะการโต้ตอบของการพิสูจน์ BitVM ผู้พิสูจน์ที่เป็นอันตรายอาจจัดการระบบและขโมยจากเครื่องมือตรวจสอบความถูกต้อง การโจมตีสามารถสร้างขึ้นได้ตามสมมติฐานต่อไปนี้:

• ผู้พิสูจน์จะเริ่มลำดับการตรวจสอบโดยเริ่มการทำธุรกรรม

• ผู้ตรวจสอบที่สงสัยในความถูกต้องของการกระทำของผู้พิสูจน์จะเริ่มต้นการท้าทายซึ่งรวมถึงค่าธรรมเนียมการตอบกลับที่ชำระให้กับผู้พิสูจน์อักษร

• ผู้พิสูจน์ตัวตนเลือกที่จะเก็บค่าธรรมเนียมโดยไม่สนใจความท้าทายและไม่ปฏิบัติตามขั้นตอนในกระบวนการตรวจสอบ

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

6 บทสรุป

เมื่อพิจารณาการประเมินมูลค่าโซลูชันการปรับขนาด Ethereum ซึ่งปัจจุบันคิดเป็นประมาณ 15-20% ของมูลค่าตลาดของ Ethereum มูลค่าตลาดที่เป็นไปได้ของโซลูชันเลเยอร์ที่สองของ Bitcoin อาจมีขนาดใหญ่มาก

แม้ว่า BitVM ยังอยู่ในช่วงเริ่มต้น ซึ่งเป็นแนวคิดคอมพิวเตอร์เสมือนที่ยังสร้างไม่เสร็จ แต่ก็ได้จุดประกายความสนใจและประกาศมากมายจากโครงการต่างๆ ที่กระตือรือร้นที่จะใช้ประโยชน์จากศักยภาพของมัน หลายโครงการที่ไม่เกี่ยวข้องกับทีม BitVM กำลังเร่งรีบที่จะประกาศครั้งใหญ่โดยหวังว่าจะเจาะกลุ่มเฉพาะในสิ่งที่พวกเขามองว่าเป็นขอบเขตใหม่ที่มีแนวโน้มสำหรับ Bitcoin อย่างไรก็ตาม การตรวจสอบอย่างละเอียดยิ่งขึ้นเผยให้เห็นความเป็นจริงที่น่ากังวลยิ่งขึ้น: บัญชี GitHub ของ BitVM มีผู้มีส่วนร่วมเพียงไม่กี่คน และมีโครงการ Bitcoin “L2” เพียงไม่กี่โครงการเท่านั้นที่เข้าร่วมในกลุ่ม BitVM Builders Telegram

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

บทความนี้เขียนขึ้นในช่วงเริ่มต้นของการพัฒนา BitVM และเนื่องจากการพัฒนาที่รวดเร็ว ข้อมูลที่นี่อาจล้าสมัยอย่างรวดเร็ว ตัวอย่างเช่น จนกระทั่งเมื่อไม่นานมานี้ แนวคิดในการใช้ ZK Convolution กับ Bitcoin ดูเหมือนปราสาทลอยอยู่ในอากาศ เนื่องจากไม่มีความสามารถพื้นฐานที่จำเป็น เช่น ความสามารถของ Bitcoin ในการตรวจสอบการพิสูจน์ ZK อย่างไรก็ตามเมื่อเร็ว ๆ นี้ นักวิจัยของ BitVM ได้แบ่งปันความก้าวหน้าในสคริปต์ Bitcoin ที่อาจนำไปสู่การใช้ตัวตรวจสอบความถูกต้องของ STARK บน Bitcoin

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

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