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

เอกสารไวท์เปเปอร์ชื่อ BitVM: Compute Anything On Bitcoin ได้จุดประกายให้เกิดการถกเถียงกันอย่างดุเดือดในหมู่นักพัฒนา ดูเหมือนว่าจะหมายความว่าเครือข่าย Bitcoin ได้นำสัญญา Turing ที่สมบูรณ์มาใช้และสามารถดำเนินการฟังก์ชันการคำนวณใดๆ ได้หรือไม่

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

เดี๋ยวก่อน อย่าเพิ่งเริ่มฝัน เรามาพูดคุยถึงเส้นทางแนวคิดของ BitVM ก่อนพื้นที่สคริปต์ดำเนินการเขียนโปรแกรมที่ซับซ้อนอย่างไร การคิดในแง่ดี Rollup หมายถึงอะไร หลักฐานการฉ้อโกง หลักการพิสูจน์การฉ้อโกงคืออะไร? อะไรคืออุปสรรคต่อการนำ BitVM ไปใช้?ต่อไป ฉันจะแนะนำคุณเกี่ยวกับการวิเคราะห์กรอบงานเชิงตรรกะทั่วไปแบบทีละขั้นตอนเพื่อช่วยให้คุณเข้าใจได้ง่าย (แต่อย่าพูดถึงรายละเอียดการใช้งานทางเทคนิคที่เฉพาะเจาะจงกว่านี้)

จะใช้คุณสมบัติที่ตั้งโปรแกรมได้ที่ซับซ้อนได้อย่างไร?

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

โดยเฉพาะอย่างยิ่ง เราสามารถถือว่าคำสั่งแบบมีเงื่อนไขการใช้จ่าย UTXO ในแต่ละสคริปต์เป็นหน่วยที่เล็กที่สุดของโปรแกรม การเรียกใช้สคริปต์จะมีผลลัพธ์สองประการ: จริงและเท็จ หากคุณป้อนรหัสบางตัวในที่อยู่ taproot คุณจะได้รับค่ากำหนด ผลลัพธ์ 0 หรือ 1 หากที่อยู่ taproot จำนวนมากถูกสร้างเป็นเมทริกซ์ก็สามารถสร้าง taptree ที่เรียงลำดับได้และผลการดำเนินการจะมีเอฟเฟกต์ข้อความวงจรไบนารีจำนวนมากเช่น 011001 ซึ่งถือได้ว่าเป็น โปรแกรมไบนารี่ที่ปฏิบัติการได้ ความซับซ้อนของโปรแกรมขึ้นอยู่กับจำนวนที่อยู่ taproot รวมกัน ยิ่งมีที่อยู่มากเท่าใดคำสั่งที่ตั้งไว้ล่วงหน้าของแต่ละสคริปต์ภายใต้กรอบงาน Bitcoin ก็จะยิ่งสมบูรณ์มากขึ้นเท่านั้น และยิ่งซับซ้อนมากขึ้นที่โปรแกรมที่ taptree ทั้งหมดสามารถดำเนินการได้ Maker Sense ใช่ไหม?

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

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

การวิเคราะห์โดยย่อเกี่ยวกับแนวคิดที่ซับซ้อนบางประการ

จากความเข้าใจข้างต้นเกี่ยวกับกรอบงานหลัก เรามาดู Optimism Rollup, Fraud Proof และ Bit ที่กล่าวถึงในเอกสารไวท์เปเปอร์ Logic Gate คืออะไร เนื่องจากพื้นที่ taproot เดียวและตรรกะของโค้ดที่ปฏิบัติการได้นั้นมีจำกัด การรันโปรแกรมที่ซับซ้อนแบบ off-chain และการวางลิงก์การตรวจสอบคีย์ไว้บนลูกโซ่เท่านั้นจึงเป็นแนวคิดแบบภาพรวมใช่ไหม

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

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

อะไรคืออุปสรรคต่อการนำ BitVM ไปใช้?

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

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

3) BitVM รองรับสถานการณ์ที่จำกัดมากและเหมาะสำหรับการคำนวณแบบ off-chain จำนวนมาก มีเพียงฉันทามติและการโอนสินทรัพย์บางส่วนเท่านั้นที่ต้องอาศัยสถานการณ์แบบออนไลน์ตัวอย่างเช่น ลิงก์การกำจัดทรัพย์สินของเกม ฯลฯ

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