Một sách trắng có tiêu đề "BitVM: Tính toán bất cứ điều gì trên Bitcoin" đã gây ra một cuộc thảo luận sôi nổi giữa các nhà phát triển, điều đó dường như có nghĩa là mạng Bitcoin thực hiện các hợp đồng hoàn chỉnh Turing có thể thực hiện bất kỳ chức năng tính toán nào?
Điều này có nghĩa là mạng Bitcoin có thể sao chép tất cả các câu chuyện về Ethereum và các hệ sinh thái khác? Và không cần phải thay đổi sự đồng thuận Bitcoin hiện có, hoặc thậm chí bất kỳ nâng cấp nào, chỉ cần dựa vào op \ _code cơ sở Bitcoin hiện tại có thể cung cấp cho mạng Bitcoin khả năng lập trình "phức tạp", để mạng Bitcoin có thể tính toán hoàn chỉnh mọi thứ?
Chờ đã, hãy ngừng mơ mộng và khám phá con đường ý tưởng của BitVM. Làm thế nào để không gian kịch bản thực hiện lập trình phức tạp? Ý tưởng Optimism Rollup đề cập đến điều gì? Bằng chứng gian lậnNguyên tắc chống gian lận là gì? Những trở ngại đối với việc triển khai BitVM là gì? **Tiếp theo, hãy đưa bạn phân tích khung logic chung của nó từng bước, để mọi người có thể hiểu nó nói chung. (Nhưng tôi không tập trung vào các chi tiết triển khai kỹ thuật cụ thể)
Làm cách nào để triển khai các tính năng lập trình phức tạp?
Vì khả năng lập trình của Bitcoin rất hạn chế, chỉ hỗ trợ logic đơn giản và opcodes hạn chế trên các tập lệnh kịch bản, nên không thể phát triển các hợp đồng thông minh phức tạp trên mạng Bitcoin. Điểm cốt lõi của đề xuất của BitVM là các hướng dẫn chương trình khác nhau tương tự như mạch nhị phân được thực hiện thông qua ma trận địa chỉ taproot hoặc taptree, tương đương với việc thực hiện hợp đồng hoàn chỉnh. **
Cụ thể, chúng ta có thể coi lệnh có điều kiện chi tiêu UTXO trong mỗi tập lệnh tập lệnh là đơn vị nhỏ nhất của chương trình, thực thi tập lệnh không gì khác hơn là đúng và sai hai kết quả, nếu bạn nhập một mã nhất định vào địa chỉ taproot có thể nhận được xác định 0 hoặc 1, nếu một số lượng lớn địa chỉ taproot vào ma trận có thể tạo thành một taptree có trật tự và kết quả thực thi có một số lượng lớn các hiệu ứng văn bản mạch nhị phân như 011001, Nó có thể được coi là một chương trình nhị phân thực thi. Độ phức tạp của chương trình phụ thuộc vào số lượng địa chỉ taproot kết hợp, càng nhiều địa chỉ, các hướng dẫn đặt trước cho mỗi tập lệnh càng phong phú trong phạm vi của khung Bitcoin, chương trình mà toàn bộ taptree có thể thực thi càng phức tạp. Maker Sense, phải không?
Điều đó đủ lớn. Tuy nhiên, theo logic này, lệnh đơn vị nhỏ nhất thực sự được hoàn thành bởi nút đầy đủ của Bitcoin và địa chỉ taproot được chồng lên nhau vô hạn và khả năng kết hợp vô hạn có thể chồng lên rất nhiều phép tính phức tạp. Theo một cách nào đó, sẽ không quá lời khi nói rằng nó là một cỗ máy hoàn chỉnh Turing. Nhưng lớp phủ vô hạn của các địa chỉ taproot sẽ chỉ làm tăng mức tiêu thụ chi phí và về mặt lý thuyết mọi thứ đều có thể đạt được trong Turing, nhưng nó không thực tế.
Do đó, tính đầy đủ của Turing được đề cập trong sách trắng chỉ là một tuyên bố cực kỳ lý tưởng, một chút "khái niệm ăn cắp", ngay cả cái gọi là siêu máy tính của Ethereum cũng không thể đạt được đầy đủ Turing-complete, chứ đừng nói đến mạng Bitcoin chỉ dựa vào kịch bản?
Phân tích một số khái niệm phức tạp
Dựa trên sự hiểu biết về khung cốt lõi ở trên, hãy nhìn vào Optimism Rollup và Fraud Proof và Bit Commitment được đề cập trong sách trắng, Logic Gate là gì? Vì một không gian taproot duy nhất và logic mã thực thi bị hạn chế, không phải là một ý tưởng tổng hợp để thực thi các chương trình phức tạp ngoài chuỗi và chỉ đặt các liên kết xác minh chính trên chuỗi?
Và Fraud Proof có thể hiểu theo cách này, Prover và verifier trước tiên biên dịch một mạch nhị phân khổng lồ, mạng Bitcoin khi thực thi mạch, có tiền đề là Prover phải ký trước và cầm cố một tài sản Bitcoin nào đó, nếu Verifier xác minh rằng Prover là ác, nó có thể gửi các giao dịch đến chuỗi để kích hoạt các điều kiện mở khóa UTXO của "chương trình" taptree on-chain, nếu thành công thì verifier Tài sản thế chấp của Prover có thể bị tịch thu, tương đương với quy trình chứng minh gian lận.
Theo logic này, không khó hiểu tại sao BitVM chỉ phù hợp với hai bên với sự đồng thuận đã thống nhất, nghĩa là sơ đồ mạch chung phải được chia sẻ trước khi thực hiện, thủ tục chứng nhận kẻ gian lận phải được thực hiện trong thời hạn hiệu lực và một số tài sản nhất định phải được cầm cố và ký trước. ** Nếu hai bên không hợp tác trong một tập hợp các thỏa thuận đồng thuận ngoài chuỗi, rất khó để thúc đẩy việc thực hiện "hợp đồng" thực sự bằng cách chỉ dựa vào môi trường thực thi trên chuỗi hạn chế của mạng Bitcoin. **
**Những trở ngại khi hạ cánh BitVM là gì? **
**1) BitVM hiện chỉ phù hợp để thực hiện các hoạt động on-chain giữa hai bên đồng ý về sự đồng thuận và môi trường on-chain chỉ là một quá trình thực hiện hợp đồng cởi mở và minh bạch. Hiện tại, nó chỉ có thể được thực hiện giữa hai cơ quan hợp đồng và việc thực hiện N-N đòi hỏi thiết kế logic kỹ thuật phức tạp hơn.
**2) BitVM cách áp dụng một tập lệnh địa chỉ taproot duy nhất để triển khai đơn vị lập trình tối thiểu, không thể vượt quá khung logic thực thi của Bitcoin ** chẳng hạn như hashlock, timelock, không thể vượt quá điều kiện lưu trữ hạn chế, trường hợp lạc quan Một địa chỉ taproot có thể lập trình hàng trăm cổng logic, nhiều hơn nữa phải kết hợp một số lượng lớn địa chỉ để xây dựng taptree. Vấn đề là việc thực hiện các điều kiện mở khóa đặt trước của địa chỉ taproot yêu cầu phí khai thác và càng nhiều kết hợp địa chỉ, chi phí càng lớn. Trong tương lai, công nghệ kênh hai chiều của Lightning Network có thể giảm chi phí, nhưng nhìn chung, việc dựa vào mạng Bitcoin để thực thi các mạch cổng logic không chỉ chậm mà còn tốn kém để suy nghĩ.
** 3) BitVM lý tưởng hỗ trợ các kịch bản hạn chế, phù hợp hơn cho điện toán ngoài chuỗi nặng và chỉ cần một số sự đồng thuận và chuyển giao tài sản cần dựa vào các kịch bản trên chuỗi, chẳng hạn như xử lý tài sản của trò chơi;
Nhìn chung, BitVM là một ý tưởng mở đầu và rất sáng tạo, nhưng theo khung kỹ thuật triển khai hạ cánh của nó, được biết rằng nó sẽ bị giới hạn trong giai đoạn khái niệm sách trắng trong ngắn hạn, và việc thăm dò kịch bản ứng dụng dài hạn và ứng dụng hạ cánh vẫn phải đối mặt với những thách thức lớn. Để minh họa bằng một ví dụ rất phổ biến: **BitVM giống như xây dựng một máy tính khổng lồ lớn hơn một căn phòng trong thời đại mà mọi người đều có thể sử dụng thiết bị đầu cuối di động. **
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
Mạng Bitcoin có thể đạt được Turing-complete không? Những trở ngại đối với việc triển khai BitVM là gì?
Ban đầu được viết bởi Haotian
Một sách trắng có tiêu đề "BitVM: Tính toán bất cứ điều gì trên Bitcoin" đã gây ra một cuộc thảo luận sôi nổi giữa các nhà phát triển, điều đó dường như có nghĩa là mạng Bitcoin thực hiện các hợp đồng hoàn chỉnh Turing có thể thực hiện bất kỳ chức năng tính toán nào?
Điều này có nghĩa là mạng Bitcoin có thể sao chép tất cả các câu chuyện về Ethereum và các hệ sinh thái khác? Và không cần phải thay đổi sự đồng thuận Bitcoin hiện có, hoặc thậm chí bất kỳ nâng cấp nào, chỉ cần dựa vào op \ _code cơ sở Bitcoin hiện tại có thể cung cấp cho mạng Bitcoin khả năng lập trình "phức tạp", để mạng Bitcoin có thể tính toán hoàn chỉnh mọi thứ?
Chờ đã, hãy ngừng mơ mộng và khám phá con đường ý tưởng của BitVM. Làm thế nào để không gian kịch bản thực hiện lập trình phức tạp? Ý tưởng Optimism Rollup đề cập đến điều gì? Bằng chứng gian lậnNguyên tắc chống gian lận là gì? Những trở ngại đối với việc triển khai BitVM là gì? **Tiếp theo, hãy đưa bạn phân tích khung logic chung của nó từng bước, để mọi người có thể hiểu nó nói chung. (Nhưng tôi không tập trung vào các chi tiết triển khai kỹ thuật cụ thể)
Làm cách nào để triển khai các tính năng lập trình phức tạp?
Vì khả năng lập trình của Bitcoin rất hạn chế, chỉ hỗ trợ logic đơn giản và opcodes hạn chế trên các tập lệnh kịch bản, nên không thể phát triển các hợp đồng thông minh phức tạp trên mạng Bitcoin. Điểm cốt lõi của đề xuất của BitVM là các hướng dẫn chương trình khác nhau tương tự như mạch nhị phân được thực hiện thông qua ma trận địa chỉ taproot hoặc taptree, tương đương với việc thực hiện hợp đồng hoàn chỉnh. **
Cụ thể, chúng ta có thể coi lệnh có điều kiện chi tiêu UTXO trong mỗi tập lệnh tập lệnh là đơn vị nhỏ nhất của chương trình, thực thi tập lệnh không gì khác hơn là đúng và sai hai kết quả, nếu bạn nhập một mã nhất định vào địa chỉ taproot có thể nhận được xác định 0 hoặc 1, nếu một số lượng lớn địa chỉ taproot vào ma trận có thể tạo thành một taptree có trật tự và kết quả thực thi có một số lượng lớn các hiệu ứng văn bản mạch nhị phân như 011001, Nó có thể được coi là một chương trình nhị phân thực thi. Độ phức tạp của chương trình phụ thuộc vào số lượng địa chỉ taproot kết hợp, càng nhiều địa chỉ, các hướng dẫn đặt trước cho mỗi tập lệnh càng phong phú trong phạm vi của khung Bitcoin, chương trình mà toàn bộ taptree có thể thực thi càng phức tạp. Maker Sense, phải không?
Điều đó đủ lớn. Tuy nhiên, theo logic này, lệnh đơn vị nhỏ nhất thực sự được hoàn thành bởi nút đầy đủ của Bitcoin và địa chỉ taproot được chồng lên nhau vô hạn và khả năng kết hợp vô hạn có thể chồng lên rất nhiều phép tính phức tạp. Theo một cách nào đó, sẽ không quá lời khi nói rằng nó là một cỗ máy hoàn chỉnh Turing. Nhưng lớp phủ vô hạn của các địa chỉ taproot sẽ chỉ làm tăng mức tiêu thụ chi phí và về mặt lý thuyết mọi thứ đều có thể đạt được trong Turing, nhưng nó không thực tế.
Do đó, tính đầy đủ của Turing được đề cập trong sách trắng chỉ là một tuyên bố cực kỳ lý tưởng, một chút "khái niệm ăn cắp", ngay cả cái gọi là siêu máy tính của Ethereum cũng không thể đạt được đầy đủ Turing-complete, chứ đừng nói đến mạng Bitcoin chỉ dựa vào kịch bản?
Phân tích một số khái niệm phức tạp
Dựa trên sự hiểu biết về khung cốt lõi ở trên, hãy nhìn vào Optimism Rollup và Fraud Proof và Bit Commitment được đề cập trong sách trắng, Logic Gate là gì? Vì một không gian taproot duy nhất và logic mã thực thi bị hạn chế, không phải là một ý tưởng tổng hợp để thực thi các chương trình phức tạp ngoài chuỗi và chỉ đặt các liên kết xác minh chính trên chuỗi?
Và Fraud Proof có thể hiểu theo cách này, Prover và verifier trước tiên biên dịch một mạch nhị phân khổng lồ, mạng Bitcoin khi thực thi mạch, có tiền đề là Prover phải ký trước và cầm cố một tài sản Bitcoin nào đó, nếu Verifier xác minh rằng Prover là ác, nó có thể gửi các giao dịch đến chuỗi để kích hoạt các điều kiện mở khóa UTXO của "chương trình" taptree on-chain, nếu thành công thì verifier Tài sản thế chấp của Prover có thể bị tịch thu, tương đương với quy trình chứng minh gian lận.
Theo logic này, không khó hiểu tại sao BitVM chỉ phù hợp với hai bên với sự đồng thuận đã thống nhất, nghĩa là sơ đồ mạch chung phải được chia sẻ trước khi thực hiện, thủ tục chứng nhận kẻ gian lận phải được thực hiện trong thời hạn hiệu lực và một số tài sản nhất định phải được cầm cố và ký trước. ** Nếu hai bên không hợp tác trong một tập hợp các thỏa thuận đồng thuận ngoài chuỗi, rất khó để thúc đẩy việc thực hiện "hợp đồng" thực sự bằng cách chỉ dựa vào môi trường thực thi trên chuỗi hạn chế của mạng Bitcoin. **
**Những trở ngại khi hạ cánh BitVM là gì? **
**1) BitVM hiện chỉ phù hợp để thực hiện các hoạt động on-chain giữa hai bên đồng ý về sự đồng thuận và môi trường on-chain chỉ là một quá trình thực hiện hợp đồng cởi mở và minh bạch. Hiện tại, nó chỉ có thể được thực hiện giữa hai cơ quan hợp đồng và việc thực hiện N-N đòi hỏi thiết kế logic kỹ thuật phức tạp hơn.
**2) BitVM cách áp dụng một tập lệnh địa chỉ taproot duy nhất để triển khai đơn vị lập trình tối thiểu, không thể vượt quá khung logic thực thi của Bitcoin ** chẳng hạn như hashlock, timelock, không thể vượt quá điều kiện lưu trữ hạn chế, trường hợp lạc quan Một địa chỉ taproot có thể lập trình hàng trăm cổng logic, nhiều hơn nữa phải kết hợp một số lượng lớn địa chỉ để xây dựng taptree. Vấn đề là việc thực hiện các điều kiện mở khóa đặt trước của địa chỉ taproot yêu cầu phí khai thác và càng nhiều kết hợp địa chỉ, chi phí càng lớn. Trong tương lai, công nghệ kênh hai chiều của Lightning Network có thể giảm chi phí, nhưng nhìn chung, việc dựa vào mạng Bitcoin để thực thi các mạch cổng logic không chỉ chậm mà còn tốn kém để suy nghĩ.
** 3) BitVM lý tưởng hỗ trợ các kịch bản hạn chế, phù hợp hơn cho điện toán ngoài chuỗi nặng và chỉ cần một số sự đồng thuận và chuyển giao tài sản cần dựa vào các kịch bản trên chuỗi, chẳng hạn như xử lý tài sản của trò chơi;
Nhìn chung, BitVM là một ý tưởng mở đầu và rất sáng tạo, nhưng theo khung kỹ thuật triển khai hạ cánh của nó, được biết rằng nó sẽ bị giới hạn trong giai đoạn khái niệm sách trắng trong ngắn hạn, và việc thăm dò kịch bản ứng dụng dài hạn và ứng dụng hạ cánh vẫn phải đối mặt với những thách thức lớn. Để minh họa bằng một ví dụ rất phổ biến: **BitVM giống như xây dựng một máy tính khổng lồ lớn hơn một căn phòng trong thời đại mà mọi người đều có thể sử dụng thiết bị đầu cuối di động. **