Tác giả gốc:Haotian

Một sách trắng có tiêu đề BitVM: Tính toán mọi thứ trên Bitcoin đã làm dấy lên các cuộc thảo luận sôi nổi giữa các nhà phát triển. Điều đó có nghĩa là mạng Bitcoin đã triển khai hợp đồng Turing-complete và 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ể tái tạo tất cả các câu chuyện về các hệ sinh thái như Ethereum? Và không cần phải thay đổi sự đồng thuận Bitcoin hiện có hay thậm chí là bất kỳ nâng cấp nào, chỉ cần dựa vào op_code cơ bản hiện tại của Bitcoin có thể mang lại cho mạng Bitcoin khả năng lập trình phức tạp, để mạng Bitcoin có thể tính toán mọi thứ với sự hoàn chỉnh của Turing?

Đợi đã, đừng mơ mộng nữa, trước tiên hãy thảo luận về con đường ý tưởng của BitVM.Không gian Script thực hiện lập trình phức tạp như thế nào? Tư duy tổng hợp lạc quan có nghĩa là gì? Bằng chứng gian lận Nguyên tắc của bằng 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, tôi sẽ hướng dẫn bạn phân tích từng bước về khuôn khổ logic chung của nó để giúp bạn dễ hiểu. (Nhưng đừng thảo luận chi tiết triển khai kỹ thuật cụ thể hơn)

Làm thế nào để thực hiện 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ế và chỉ hỗ trợ logic đơn giản cũng như mã hoạt động hạn chế trên các tập lệnh nên các hợp đồng thông minh phức tạp không thể được phát triển trên mạng Bitcoin. Điểm cốt lõi trong tư duy giàu trí tưởng tượng của đề xuất BitVM là,Thông qua ma trận địa chỉ taproot hoặc taptree, nhiều hướng dẫn chương trình khác nhau tương tự như mạch nhị phân được triển khai và sự kết hợp 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 là đơn vị nhỏ nhất của chương trình. Việc thực thi tập lệnh có hai kết quả: đúng và sai. Nếu bạn nhập một mã nhất định vào địa chỉ taproot, bạn có thể nhận được một kết quả xác định kết quả. 0 hoặc 1, nếu một số lượng lớn địa chỉ taproot được tạo thành một ma trận, thì một cây taproot có thứ tự có thể được hình thành và kết quả thực thi sẽ có một số lượng lớn các hiệu ứng văn bản mạch nhị phân như 011001, có thể được coi là một chương trình nhị phân có thể thực thi được. Độ 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 có nhiều địa chỉ, các hướng dẫn cài sẵn của mỗi Tập lệnh trong khung Bitcoin càng phong phú và chương trình mà toàn bộ taproot có thể thực thi càng phức tạp hơn. Maker Sense, phải không?

Ý tưởng này thực sự đủ lớn. Nhưng theo logic này,Đơn vị hướng dẫn nhỏ nhất thực sự được hoàn thành bởi nút đầy đủ Bitcoin và các địa chỉ taproot được chồng lên nhau vô hạn. Khả năng kết hợp vô hạn có thể chồng lên nhiều phép tính phức tạp.Ở một mức độ nào đó, không quá lời khi nói rằng nó là một cỗ máy hoàn chỉnh Turing. Tuy nhiên, việc xếp chồng vô hạn các địa chỉ taproot sẽ chỉ làm tăng chi phí tiêu thụ. Về lý thuyết, mọi thứ đều có thể được thực hiện với sự hoàn chỉnh của Turing, nhưng điều đó là không thực tế.

Do đó, tính hoàn thiện của Turing được đề cập trong sách trắng chỉ là một tình huống cực kỳ lý tưởng, hơi ăn cắp khái niệm, ngay cả cái gọi là siêu máy tính của Ethereum cũng không thể thực hiện đầy đủ tính hoàn thiện của Turing chứ đừng nói đến mạng Bitcoin chỉ dựa vào các tập lệnh. ?

Phân tích ngắn gọn một số khái niệm phức tạp

Dựa trên sự hiểu biết ở trên về khung cốt lõi, chúng ta hãy xem cam kết của Optimism Rollup, Fraud Proof và Bit được đề cập trong sách trắng. Vì không gian taproot duy nhất và logic mã thực thi bị hạn chế nên việc 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 là một loại ý tưởng tổng hợp, phải không?

Bằng chứng gian lận có thể được hiểu theo cách này. Người chứng minh và người xác minh trước tiên biên soạn một mạch nhị phân khổng lồ. Khi mạng Bitcoin thực thi mạch, có một tiền đề là Prover phải ký trước và cam kết một số lượng tài sản Bitcoin nhất định. Nếu Người xác minh xác minh rằng Prover có Nếu bạn bị nghi ngờ làm điều xấu, bạn có thể gửi một giao dịch đến chuỗi để kích hoạt điều kiện mở khóa UTXO của chương trình taptree trên chuỗi. Nếu thành công, người xác minh có thể tịch thu tài sản thế chấp của người chứng minh, tương đương với một quá trình chứng minh gian lận.

Theo logic này, chúng ta không khó hiểu tại sao BitVM chỉ áp dụng cho hai bên có sự đồng thuận đã thống nhất, tức là sơ đồ mạch tổng thể phải được chia sẻ trước khi thực hiện, chương trình chứng nhận kẻ lừa đảo 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 cả hai bên không hợp tác trong việc thiết lập sự đồng thuận ngoài chuỗi đã được thống nhất, sẽ khó đạt được việc thực thi “hợp đồng” thực sự chỉ bằng cá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ì?

1) BitVM hiện chỉ phù hợp cho các hoạt động trên chuỗi giữa hai Bên đã đồng thuận.Môi trường trực tuyến chỉ là một quá trình thực hiện hợp đồng công khai và minh bạch. Hiện tại, nó chỉ có thể được thực hiện giữa hai đối tượng đã thống nhất, nếu NN được thực hiện thì cần phải thiết kế logic kỹ thuật phức tạp hơn.

2) Cách BitVM áp dụng tập lệnh của một địa chỉ taproot duy nhất để triển khai đơn vị lập trình nhỏ nhất, không thể vượt quá khung logic thực thi của BitcoinVí dụ: hashlock và timelock không thể vượt quá điều kiện lưu trữ giới hạn.Một cách lạc quan, một địa chỉ taproot có thể lập trình hàng trăm cổng logic.Để biết thêm, một số lượng lớn địa chỉ phải được kết hợp để 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 thanh toán phí khai thác. Càng nhiều kết hợp địa chỉ thì 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, mạng Bitcoin phải dựa vào để thực thi các mạch cổng logic, điều này không chỉ chậm mà còn tốn kém nếu bạn nghĩ về nó.

3) BitVM hỗ trợ lý tưởng cho các kịch bản rất hạn chế và phù hợp hơn cho các tính toán nặng ngoài chuỗi. Chỉ 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.Ví dụ: liên kết xử lý tài sản của trò chơi, v.v.;

Nhìn chung, BitVM là một ý tưởng cởi mở và rất sáng tạo, tuy nhiên, theo khung kỹ thuật triển khai của nó, người ta biết rằng rất có thể nó sẽ bị giới hạn ở giai đoạn hình thành sách trắng trong thời gian ngắn. việc thăm dò và triển khai vẫn còn gặp nhiều thách thức. Hãy sử dụng một ví dụ rất đơn giản để minh họa:BitVM giống như việc xây dựng một chiếc 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.