Bitcoin BitVM: มันคืออะไรแน่นอน?

การค้นพบ Bitcoin ไม่ได้เกิดขึ้นบ่อยนัก แต่เมื่อมันเกิดขึ้น มักจะซับซ้อนและเข้าใจยากในตอนแรก BitVM ก็ไม่ใช่ข้อยกเว้น

การพัฒนาใหม่ที่เกิดขึ้นในเดือนตุลาคม 2023 เปิดโอกาสให้ Bitcoin สามารถตรวจสอบการคำนวณที่ซับซ้อนได้ในลักษณะที่ไม่เกี่ยวข้องกับการปรับเปลี่ยนเครือข่าย 

โดยเฉพาะอย่างยิ่ง BitVM ทำให้ Bitcoin เป็น Turing-complete โดยใช้ส่วนประกอบที่มีอยู่ของภาษาโปรแกรม Script

โดยการเป็น Turing-complete บล็อกเชน Bitcoin อาจถูกใช้ในทางทฤษฎีเพื่อขยายฟังก์ชันการทำงานของ Bitcoin ไปไกลกว่าระบบเงินสดอิเล็กทรอนิกส์แบบเพียร์ทูเพียร์ที่ได้วางไว้ใน เอกสารไวท์เปเปอร์ Bitcoin

แม้ว่า Turing completeness อาจฟังดูเหมือนสิ่งที่มาจากคู่มือ Ikigai แต่ใช้เพื่ออธิบายภาษาการเขียนโปรแกรมที่สามารถคำนวณฟังก์ชันใดๆ/แก้ปัญหาใดๆ

นักคณิตศาสตร์ชาวอเมริกัน Alonzo Church เป็นคนแรกที่สร้างคำนี้ในปี 1930 โดยอ้างอิงถึงผลงานของนักเรียนของเขาและนักวิทยาศาสตร์คอมพิวเตอร์ชาวอังกฤษที่มีชื่อเสียง Alan Turing

ก่อน BitVM ภาษาโปรแกรม Script ของ Bitcoin ไม่ถือว่าเป็น Turing-complete แม้จะมีความพยายามหลายครั้ง แต่ไม่มีใครสามารถหาวิธีทำให้ Bitcoin ทำทุกอย่างที่คอมพิวเตอร์สมัยใหม่สามารถทำได้

แต่สิ่งสำคัญคือต้องสังเกตว่าหลายคนมองว่าความเรียบง่ายของ Bitcoin เป็นคุณลักษณะที่กำหนดมากกว่าข้อบกพร่องหรือข้อบกพร่อง

ผู้สร้าง Bitcoin ที่ไม่มีตัวตน Satoshi Nakamoto ได้จำกัดฟังก์ชันการเขียนโปรแกรมของ Bitcoin หนึ่งปีหลังจากการเปิดตัวโปรโตคอล

คุณอาจสงสัยว่าทำไม? ทั้งหมดนี้เกี่ยวกับความปลอดภัย ระบบที่เรียบง่ายมากขึ้น ยิ่งมีสิ่งที่สามารถผิดพลาดน้อยลง

เป็นตัวอย่าง ให้เรามาเปรียบเทียบรถหรูที่มีฟังก์ชันและอุปกรณ์ครบครันกับจักรยานธรรมดา

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

ในตัวอย่างนี้ Bitcoin ก็เหมือนกับจักรยาน ความเรียบง่ายของมันทำให้จำนวนวิธีที่ตัวแทนที่เป็นอันตรายสามารถรบกวนเครือข่ายของมันลดลงในที่สุด การโจมตีแบบ Distributed Denial of Service (DDoS) เช่น มีผลกระทบต่อเครือข่าย Bitcoin ในปัจจุบัน แต่เป็นปัญหาใหญ่สำหรับโครงการอื่นๆที่มีฟังก์ชันการทำงานที่ซับซ้อนกว่า

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

โดยสรุป มันเหมือนกับการค้นพบว่าคุณสามารถใช้เครื่องคิดเลขในกระเป๋าของคุณเล่นเกม MMORPG ได้โดยใช้ส่วนประกอบที่มีอยู่ในลักษณะที่ไม่ส่งผลกระทบต่อประสิทธิภาพของมัน

เพื่อที่จะเข้าใจว่า BitVM ทำสิ่งนี้ได้อย่างไร เรามาเริ่มต้นจากจุดเริ่มต้นกัน 

คอมพิวเตอร์ใช้สิ่งที่เรียกว่าเกตตรรกะในการดำเนินการโปรแกรม

มันฟังดูซับซ้อน แต่เกตตรรกะจะรับข้อมูลไบนารีหนึ่งชุดหรือมากกว่า (0 และ 1) ทำการคำนวณเล็กน้อยตามประเภทของเกตตรรกะที่พวกเขาเป็นและส่งออกผลลัพธ์เดียว

สมาร์ทโฟน แท็บเล็ต หรือแล็ปท็อปของคุณอาจมีเกตตรรกะประเภทต่างๆ หลายแสนหรืออาจถึงล้าน

ตอนนี้ มีเกตตรรกะประเภทพิเศษที่เรียกว่า "NAND" เกต NAND เป็นที่รู้จักในฐานะเกตตรรกะสากลเพราะสามารถใช้สร้างฟังก์ชันเกตตรรกะประเภทอื่นๆ ได้ทุกประเภท มันก็เหมือนกับโปเกมอน Ditto ของโลกเกตตรรกะ

ตอนนี้ นี่คือจุดที่ทั้งหมดนี้เชื่อมโยงกับ BitVM ผู้คนที่อยู่เบื้องหลัง BitVM ค้นพบวิธีการแทนที่เกตตรรกะ NAND บน Bitcoin โดยใช้ภาษาสคริปต์ที่มีอยู่

ผลกระทบของสิ่งนี้มีความลึกซึ้งสองประการ

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

นอกจากนี้ บล็อกเชนของ Bitcoin จะตรวจสอบการคำนวณที่ซับซ้อนเหล่านี้เฉพาะในเครือข่ายเท่านั้น การดำเนินการเกิดขึ้นนอกเครือข่าย 

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

BitVM ขณะนี้จำกัดเฉพาะสองฝ่าย: "ผู้พิสูจน์" และ "ผู้ตรวจสอบ"

สมมติว่าทั้งสองฝ่ายต้องการทำธุรกรรมร่วมกันผ่านสัญญาอัจฉริยะโดยใช้บล็อกเชนของ Bitcoin

ฝ่ายหนึ่ง (ผู้พิสูจน์) ยืนยันว่าสัญญาอัจฉริยะทำงานตามที่โฆษณาโดยไม่ต้องรันมันโดยตรงบนบล็อกเชนของ Bitcoin

ฝ่ายที่สอง (ผู้ตรวจสอบ) ต้องมีการรับประกันบางประการว่าสัญญาอัจฉริยะทำงานตามที่กล่าวอ้าง ทั้งสองฝ่ายร่วมลงนามในธุรกรรมจำนวนหนึ่งที่มอบสิทธิ์ให้ผู้ตรวจสอบท้าทายส่วนต่าง ๆ ของสัญญาอัจฉริยะ และผู้พิสูจน์ตอบสนอง

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

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

Robin Linus ผู้มีส่วนร่วมหลักของ ZeroSync ได้เผยแพร่เอกสารไวท์เปเปอร์ BitVM เมื่อวันที่ 9 ตุลาคม 2023

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

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

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

Rollups เช่นนี้สามารถปรับปรุงความสามารถในการทำธุรกรรมของ Bitcoin ได้อย่างมากในลักษณะเดียวกับที่ Optimistic rollups ที่ใช้โดยโปรโตคอลเช่น Optimism (OP) ปรับปรุงความสามารถในการประมวลผลของ Ethereum.

BitVM แสดงถึงการพัฒนาที่สำคัญสำหรับ Bitcoin ด้วยเหตุผลหลายประการ.

จากมุมมองทางเทคนิค มันปลดล็อกศักยภาพของเครือข่ายในการตรวจสอบการคำนวณที่ซับซ้อนทุกประเภท แม้ว่าจะอยู่ในสภาพแวดล้อมที่มีสองฝ่ายที่จำกัดในขณะนี้.

ความก้าวหน้านี้อาจนำไปสู่แอปพลิเคชันใหม่ ๆ และประโยชน์ด้านการขยายตัวสำหรับ Bitcoin ในอนาคต.

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

สิ่งสำคัญคือต้องทราบว่าในขณะที่ BitVM เสนอประโยชน์ที่น่าพอใจมากมาย แต่มันก็ไม่ปราศจากข้อเสีย.

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

ต่อไปนี้คือข้อจำกัดบางประการของ BitVM ที่ทีมงานยังคงทำงานเพื่อเอาชนะ:

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

รู้สึกว่า BitVM จะเปลี่ยนอนาคตของโปรโตคอล Bitcoin หรือไม่?

ตรวจสอบคู่มือศูนย์การเรียนรู้ Kraken ของเราเพื่อข้อมูลเพิ่มเติมเกี่ยวกับ วิธีการซื้อ Bitcoin (BTC) และ ลงทะเบียนบัญชีกับ Kraken วันนี้.