Tác giả: Haotian, Crypto Observer Nguồn: X (Twitter) @tmel0211
Sách trắng "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 cơ sở Bitcoin hiện tại op \ _code 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ể Turing hoàn thành tính toán 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ậnPhương pháp chứng minh 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.
Làm cách nào để triển khai các tính năng có thể 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 phí UTXO trong mỗi tập lệnh tập lệnh là đơn vị nhỏ nhất của chương trình, việc 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ị tối thiểu 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 đó, không quá lời khi nói rằng nó là một cỗ máy hoàn chỉnh Turing. Nhưng sự chồng chất không giới hạn của các địa chỉ taproot sẽ chỉ làm tăng mức tiêu thụ chi phí, về mặt lý thuyết có thể đạt được mọi thứ trong Turing, nhưng nó là 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 cam kết Optimism Rollup và Fraud Proof và Bit đượ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 Rollup để 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?
Fraud Proof có thể hiểu theo cách này, Prover và verifier đều lần đầu tiên biên dịch một mạch nhị phân khổng lồ, mạng Bitcoin 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 theo cách tương tự để kích hoạt điều kiện mở khóa UTXO của "chương trình" taptree on-chain, nếu thành công. Người xác minh có thể mất tài sản thế chấp của Prover, đây là một quy trình chống 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, tức là sơ đồ mạch tổng phải được chia sẻ trước khi thực hiện, thủ tục chứng minh 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 để tham gia vào 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 đối với việc triển khai BitVM là gì? **
BitVM hiện chỉ phù hợp cho 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 chủ thể 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.
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 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 để nhóm
Một số lượng lớn các địa chỉ đã được sử dụng để xây dựng một 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ĩ.
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 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ở não và rất sáng tạo, nhưng theo khung kỹ thuật triển khai của nó, được biết rằng nó sẽ bị giới hạn trong giai đoạn quan 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 siêu máy tính 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.
Lưu ý: Cách giải thích trên chỉ áp dụng để hiểu khung kỹ thuật chung của BitVM, để mọi người có thể hiểu logic kỹ thuật đằng sau nó, phương pháp thực hành cụ thể có thể bị sai lệch, nếu có những bậc thầy kỹ thuật có nghiên cứu chi tiết kỹ thuật chuyên sâu.
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.
Liệu BitVM có thể cách mạng hóa khả năng hợp đồng thông minh của Bitcoin không?
Tác giả: Haotian, Crypto Observer Nguồn: X (Twitter) @tmel0211
Sách trắng "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 cơ sở Bitcoin hiện tại op \ _code 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ể Turing hoàn thành tính toán 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ậnPhương pháp chứng minh 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.
Làm cách nào để triển khai các tính năng có thể 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 phí UTXO trong mỗi tập lệnh tập lệnh là đơn vị nhỏ nhất của chương trình, việc 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ị tối thiểu 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 đó, không quá lời khi nói rằng nó là một cỗ máy hoàn chỉnh Turing. Nhưng sự chồng chất không giới hạn của các địa chỉ taproot sẽ chỉ làm tăng mức tiêu thụ chi phí, về mặt lý thuyết có thể đạt được mọi thứ trong Turing, nhưng nó là 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 cam kết Optimism Rollup và Fraud Proof và Bit đượ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 Rollup để 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?
Fraud Proof có thể hiểu theo cách này, Prover và verifier đều lần đầu tiên biên dịch một mạch nhị phân khổng lồ, mạng Bitcoin 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 theo cách tương tự để kích hoạt điều kiện mở khóa UTXO của "chương trình" taptree on-chain, nếu thành công. Người xác minh có thể mất tài sản thế chấp của Prover, đây là một quy trình chống 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, tức là sơ đồ mạch tổng phải được chia sẻ trước khi thực hiện, thủ tục chứng minh 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 để tham gia vào 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 đối với việc triển khai BitVM là gì? **
BitVM hiện chỉ phù hợp cho 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 chủ thể 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.
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 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 để nhóm
Một số lượng lớn các địa chỉ đã được sử dụng để xây dựng một 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ĩ.
Nhìn chung, BitVM là một ý tưởng mở não và rất sáng tạo, nhưng theo khung kỹ thuật triển khai của nó, được biết rằng nó sẽ bị giới hạn trong giai đoạn quan 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 siêu máy tính 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.
Lưu ý: Cách giải thích trên chỉ áp dụng để hiểu khung kỹ thuật chung của BitVM, để mọi người có thể hiểu logic kỹ thuật đằng sau nó, phương pháp thực hành cụ thể có thể bị sai lệch, nếu có những bậc thầy kỹ thuật có nghiên cứu chi tiết kỹ thuật chuyên sâu.