Đối với các hợp đồng thông minh hoàn chỉnh của Turing trên Bitcoin, người dùng Twitter @robin _linus đã đề xuất một đề xuất mới - BitVM.
Ông tuyên bố rằng điều này có thể đạt được mà không cần bất kỳ thay đổi nào đối với mã của Bitcoin.
Vì ngôn ngữ kịch bản gốc của Bitcoin khá hạn chế, đây là lý do tại sao chúng ta cần mở rộng Bitcoin với nhiều lớp khác nhau.
Các lớp khác nhau này hoạt động như các khối xây dựng khác nhau, cuối cùng mang lại nhiều chức năng hơn cho Bitcoin. Và hôm nay chúng ta có một bước đột phá quan trọng: hợp đồng thông minh.
Năm nay, chúng ta đã thấy sự gia tăng đáng kể trong các cuộc thảo luận về Rollups trên Bitcoin, với các chủ đề phổ biến nhất là chủ quyền, bằng chứng không có kiến thức và Optimistic Rollups.
Các giải pháp mở rộng quy mô này chạy trên L2, nhưng cuối cùng quay trở lại chuỗi chính bằng mật mã.
**BitVM là gì **
BitVM sử dụng công nghệ tương tự như Optimistic Rollups.
Optimistic Rollups thường giả định rằng giao dịch là hợp lệ, nhưng phân bổ một khoảng thời gian nhất định để giải quyết tranh chấp.
Trong trường hợp có tranh chấp, Rollup sẽ trở về trạng thái trước đó.
Tính toán hợp đồng thông minh thực tế của BitVM diễn ra trên một lớp riêng biệt và trong trường hợp có tranh chấp, các tranh chấp này được "lưu" trên chuỗi chính của Bitcoin. Do đó, tất cả các hoạt động BitVM xảy ra ngoài chuỗi.
** (Ghi chú của người dịch: Một bản ghi công khai, bất biến được lưu giữ trên chuỗi chính có thể được sử dụng để giải quyết tranh chấp.) Nếu không có tranh chấp, tất cả hoạt động của BitVM sẽ diễn ra ngoài chuỗi, nghĩa là bên ngoài chuỗi Bitcoin chính. Hoạt động ngoài chuỗi này có thể được thực hiện nhanh hơn và tính hợp lệ của các giao dịch được đảm bảo bằng cách sử dụng chuỗi chính của Bitcoin làm cơ sở cho tính bảo mật và đáng tin cậy. ）**
BitVM chủ yếu phụ thuộc vào bốn thành phần **
Khóa băm
Khóa thời gian
Cây Merkle
Đa chữ ký
Khóa băm
Khóa băm là một khóa ẩn mật mã được tạo bởi người bắt đầu giao dịch, đảm bảo rằng giao dịch chỉ có thể được hoàn tất sau khi được người khởi tạo chấp thuận.
Khóa thời gian
Một giao dịch theo khóa thời gian phải được thực hiện sau một ngày, thời gian hoặc chiều cao khối nhất định.
Cây Merkle
Nhánh cây Merkle sử dụng mật mã để ghi lại kết quả thực thi một tập lệnh vào blockchain, thay vì ghi lại tất cả các lần thực thi có thể có của một tập lệnh.
Điều này làm giảm đáng kể không gian được chiếm bởi các giao dịch, đặc biệt là đối với các giao dịch phức tạp hơn!
** Trước đây, để xác minh tính hợp lệ của giao dịch, cần phải ghi lại tất cả các đường dẫn và kết quả thực hiện có thể, chiếm rất nhiều dung lượng lưu trữ. Với Merkle tree branching, chúng tôi chỉ ghi lại kết quả thực hiện thực tế và việc tối ưu hóa này giúp xử lý giao dịch hiệu quả hơn đồng thời giảm yêu cầu lưu trữ của blockchain. ）**
Đa năng
Multisig thường cho phép nhiều bên chia sẻ quyền kiểm soát trên một ví duy nhất. Theo thiết kế của BitVM, bạn sẽ có một đa chữ ký gồm hai phần bao gồm một người chứng minh và một người xác minh.
**Vậy BitVM hoạt động như thế nào? **
Người chứng minh và người xác thực trước tiên biên dịch hợp đồng thông minh thành bản đồ câu lệnh nếu-thì chứa tất cả các kết quả có thể xảy ra.
Để tiết kiệm dung lượng, chúng tôi sử dụng định dạng Merkle để lưu trên chuỗi.
Cả hai bên cũng phải ký trước một loạt các giao dịch thách thức và trả lời có thể được sử dụng trong trường hợp tranh chấp!
Sau khi hoàn thành các điều kiện tiên quyết này, họ có thể gửi Bitcoin vào địa chỉ Taproot, địa chỉ này kích hoạt hợp đồng thông minh và cho phép cả hai bên bắt đầu trao đổi dữ liệu ngoài chuỗi hoặc trên một lớp riêng biệt.
Người xác thực có thể sử dụng khóa thời gian để buộc người chứng minh đưa ra quyết định trong một khoảng thời gian xác định.
Nếu người chứng minh đưa ra tuyên bố sai, người xác minh có thể tranh chấp điều này và lấy lại tiền đặt cọc của mình.
Điều này đảm bảo rằng bất kỳ kẻ tấn công nào cũng mất tiền gửi và khuyến khích hành vi tốt.
** Công dụng của BitVM **
Bây giờ chúng ta đã hiểu cơ bản về cấu trúc của hợp đồng BitVM, chúng ta có thể đi sâu hơn một chút vào việc nó được sử dụng để làm gì.
Hiện tại có ba "Cam kết" :
Cam kết giá trị bit
Cam kết Logic Gate
Cam kết mạch nhị phân
**Cam kết giá trị bit **
Điều này cho phép người phê duyệt đặt giá trị bit thành "0" hoặc "1" trong các tập lệnh khác nhau và đầu ra giao dịch không sử dụng (UTXO), cho phép một tập lệnh chạy trên nhiều giao dịch và các số 0 và 1 nhị phân này là cơ sở cho tất cả các phép tính
** (Lưu ý của người dịch: Bằng cách kiểm soát giá trị bit, các hoạt động tính toán khác nhau như phán đoán có điều kiện và các phép toán logic có thể được thực hiện.) Tính linh hoạt này cho phép BitVM hỗ trợ các chức năng hợp đồng thông minh phức tạp mạnh mẽ hơn. ）**
** Hứa cổng logic **
Điều này cho phép sử dụng các cổng NAND và thực hiện chức năng của các câu lệnh như AND, NOT và OR.
Cổng AND AND tạo ra đầu ra dựa trên trạng thái của hai đầu vào (chẳng hạn như hai giá trị bit).
** Cơ chế cam kết cổng logic cung cấp cho BitVM các chức năng linh hoạt và mạnh mẽ hơn bằng cách giới thiệu cổng AND NOT, cho phép các hợp đồng thông minh hỗ trợ các tính toán phức tạp có chứa các hoạt động logic. ）**
** Hứa hẹn mạch nhị phân **
Khi các cổng logic khác nhau được xác định, bạn có thể sử dụng các mạch nhị phân để xây dựng các hệ thống kỹ thuật số phức tạp hơn.
Hãy nghĩ về nó như một cấu trúc hợp đồng thông minh hoàn chỉnh được hình thành bởi nhiều khối xây dựng NAND.
Trong BitVM, tương tự, chúng ta có thể kết hợp nhiều cổng logic để tạo thành một cấu trúc hợp đồng thông minh hoàn chỉnh, giống như nhiều cổng AND NOT tạo thành một triển khai mô-đun cụ thể. Cách tiếp cận mô-đun này để xây dựng làm cho việc thiết kế các hợp đồng thông minh linh hoạt hơn và có thể mở rộng. ）**
Tài nguyên tham khảo bổ sung
Đó là tất cả các chi tiết kỹ thuật mà chúng tôi có thể đề cập cho đến nay và có rất nhiều tài nguyên bổ sung để kiểm tra nếu bạn muốn tìm hiểu sâu hơn hoặc tìm hiểu thêm về BitVM.
Dưới đây là một số tài nguyên đáng xem xét:**
Thay đổi thái độ
Bằng cách quan sát, chúng tôi đã tìm thấy một hiện tượng thú vị: **
Đã có một sự thay đổi lớn trong thái độ đối với việc xây dựng các ứng dụng trên Bitcoin thông qua BitVM.
Nhiều người đã phản ứng lạnh lùng hoặc thậm chí công khai phản đối việc giới thiệu các hợp đồng thông minh vào Bitcoin, nhưng bây giờ họ đã bắt đầu bày tỏ sự ủng hộ, điều này thật đáng khích lệ!
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.
BitVM: Mở ra kỷ nguyên hợp đồng thông minh của Bitcoin
Đối với các hợp đồng thông minh hoàn chỉnh của Turing trên Bitcoin, người dùng Twitter @robin _linus đã đề xuất một đề xuất mới - BitVM.
Ông tuyên bố rằng điều này có thể đạt được mà không cần bất kỳ thay đổi nào đối với mã của Bitcoin.
Vì ngôn ngữ kịch bản gốc của Bitcoin khá hạn chế, đây là lý do tại sao chúng ta cần mở rộng Bitcoin với nhiều lớp khác nhau.
Các lớp khác nhau này hoạt động như các khối xây dựng khác nhau, cuối cùng mang lại nhiều chức năng hơn cho Bitcoin. Và hôm nay chúng ta có một bước đột phá quan trọng: hợp đồng thông minh.
Năm nay, chúng ta đã thấy sự gia tăng đáng kể trong các cuộc thảo luận về Rollups trên Bitcoin, với các chủ đề phổ biến nhất là chủ quyền, bằng chứng không có kiến thức và Optimistic Rollups.
Các giải pháp mở rộng quy mô này chạy trên L2, nhưng cuối cùng quay trở lại chuỗi chính bằng mật mã.
**BitVM là gì **
BitVM sử dụng công nghệ tương tự như Optimistic Rollups.
Optimistic Rollups thường giả định rằng giao dịch là hợp lệ, nhưng phân bổ một khoảng thời gian nhất định để giải quyết tranh chấp.
Trong trường hợp có tranh chấp, Rollup sẽ trở về trạng thái trước đó.
Tính toán hợp đồng thông minh thực tế của BitVM diễn ra trên một lớp riêng biệt và trong trường hợp có tranh chấp, các tranh chấp này được "lưu" trên chuỗi chính của Bitcoin. Do đó, tất cả các hoạt động BitVM xảy ra ngoài chuỗi.
** (Ghi chú của người dịch: Một bản ghi công khai, bất biến được lưu giữ trên chuỗi chính có thể được sử dụng để giải quyết tranh chấp.) Nếu không có tranh chấp, tất cả hoạt động của BitVM sẽ diễn ra ngoài chuỗi, nghĩa là bên ngoài chuỗi Bitcoin chính. Hoạt động ngoài chuỗi này có thể được thực hiện nhanh hơn và tính hợp lệ của các giao dịch được đảm bảo bằng cách sử dụng chuỗi chính của Bitcoin làm cơ sở cho tính bảo mật và đáng tin cậy. ）**
BitVM chủ yếu phụ thuộc vào bốn thành phần **
Khóa băm
Khóa băm là một khóa ẩn mật mã được tạo bởi người bắt đầu giao dịch, đảm bảo rằng giao dịch chỉ có thể được hoàn tất sau khi được người khởi tạo chấp thuận.
Khóa thời gian
Một giao dịch theo khóa thời gian phải được thực hiện sau một ngày, thời gian hoặc chiều cao khối nhất định.
Cây Merkle
Nhánh cây Merkle sử dụng mật mã để ghi lại kết quả thực thi một tập lệnh vào blockchain, thay vì ghi lại tất cả các lần thực thi có thể có của một tập lệnh.
Điều này làm giảm đáng kể không gian được chiếm bởi các giao dịch, đặc biệt là đối với các giao dịch phức tạp hơn!
** Trước đây, để xác minh tính hợp lệ của giao dịch, cần phải ghi lại tất cả các đường dẫn và kết quả thực hiện có thể, chiếm rất nhiều dung lượng lưu trữ. Với Merkle tree branching, chúng tôi chỉ ghi lại kết quả thực hiện thực tế và việc tối ưu hóa này giúp xử lý giao dịch hiệu quả hơn đồng thời giảm yêu cầu lưu trữ của blockchain. ）**
Đa năng
Multisig thường cho phép nhiều bên chia sẻ quyền kiểm soát trên một ví duy nhất. Theo thiết kế của BitVM, bạn sẽ có một đa chữ ký gồm hai phần bao gồm một người chứng minh và một người xác minh.
**Vậy BitVM hoạt động như thế nào? **
Người chứng minh và người xác thực trước tiên biên dịch hợp đồng thông minh thành bản đồ câu lệnh nếu-thì chứa tất cả các kết quả có thể xảy ra.
Để tiết kiệm dung lượng, chúng tôi sử dụng định dạng Merkle để lưu trên chuỗi.
Cả hai bên cũng phải ký trước một loạt các giao dịch thách thức và trả lời có thể được sử dụng trong trường hợp tranh chấp!
Sau khi hoàn thành các điều kiện tiên quyết này, họ có thể gửi Bitcoin vào địa chỉ Taproot, địa chỉ này kích hoạt hợp đồng thông minh và cho phép cả hai bên bắt đầu trao đổi dữ liệu ngoài chuỗi hoặc trên một lớp riêng biệt.
Người xác thực có thể sử dụng khóa thời gian để buộc người chứng minh đưa ra quyết định trong một khoảng thời gian xác định.
Nếu người chứng minh đưa ra tuyên bố sai, người xác minh có thể tranh chấp điều này và lấy lại tiền đặt cọc của mình.
Điều này đảm bảo rằng bất kỳ kẻ tấn công nào cũng mất tiền gửi và khuyến khích hành vi tốt.
** Công dụng của BitVM **
Bây giờ chúng ta đã hiểu cơ bản về cấu trúc của hợp đồng BitVM, chúng ta có thể đi sâu hơn một chút vào việc nó được sử dụng để làm gì.
Hiện tại có ba "Cam kết" :
**Cam kết giá trị bit **
Điều này cho phép người phê duyệt đặt giá trị bit thành "0" hoặc "1" trong các tập lệnh khác nhau và đầu ra giao dịch không sử dụng (UTXO), cho phép một tập lệnh chạy trên nhiều giao dịch và các số 0 và 1 nhị phân này là cơ sở cho tất cả các phép tính
** (Lưu ý của người dịch: Bằng cách kiểm soát giá trị bit, các hoạt động tính toán khác nhau như phán đoán có điều kiện và các phép toán logic có thể được thực hiện.) Tính linh hoạt này cho phép BitVM hỗ trợ các chức năng hợp đồng thông minh phức tạp mạnh mẽ hơn. ）**
** Hứa cổng logic **
Điều này cho phép sử dụng các cổng NAND và thực hiện chức năng của các câu lệnh như AND, NOT và OR.
Cổng AND AND tạo ra đầu ra dựa trên trạng thái của hai đầu vào (chẳng hạn như hai giá trị bit).
** Cơ chế cam kết cổng logic cung cấp cho BitVM các chức năng linh hoạt và mạnh mẽ hơn bằng cách giới thiệu cổng AND NOT, cho phép các hợp đồng thông minh hỗ trợ các tính toán phức tạp có chứa các hoạt động logic. ）**
** Hứa hẹn mạch nhị phân **
Khi các cổng logic khác nhau được xác định, bạn có thể sử dụng các mạch nhị phân để xây dựng các hệ thống kỹ thuật số phức tạp hơn.
Hãy nghĩ về nó như một cấu trúc hợp đồng thông minh hoàn chỉnh được hình thành bởi nhiều khối xây dựng NAND.
Trong BitVM, tương tự, chúng ta có thể kết hợp nhiều cổng logic để tạo thành một cấu trúc hợp đồng thông minh hoàn chỉnh, giống như nhiều cổng AND NOT tạo thành một triển khai mô-đun cụ thể. Cách tiếp cận mô-đun này để xây dựng làm cho việc thiết kế các hợp đồng thông minh linh hoạt hơn và có thể mở rộng. ）**
Tài nguyên tham khảo bổ sung
Đó là tất cả các chi tiết kỹ thuật mà chúng tôi có thể đề cập cho đến nay và có rất nhiều tài nguyên bổ sung để kiểm tra nếu bạn muốn tìm hiểu sâu hơn hoặc tìm hiểu thêm về BitVM.
Dưới đây là một số tài nguyên đáng xem xét:**
Thay đổi thái độ
Bằng cách quan sát, chúng tôi đã tìm thấy một hiện tượng thú vị: **
Đã có một sự thay đổi lớn trong thái độ đối với việc xây dựng các ứng dụng trên Bitcoin thông qua BitVM.
Nhiều người đã phản ứng lạnh lùng hoặc thậm chí công khai phản đối việc giới thiệu các hợp đồng thông minh vào Bitcoin, nhưng bây giờ họ đã bắt đầu bày tỏ sự ủng hộ, điều này thật đáng khích lệ!