Bitcoin BitVM: Chính xác thì nó là gì?

Những đột phá của Bitcoin không thường xuyên xuất hiện. Nhưng khi chúng xuất hiện, chúng thường phức tạp và khó hiểu lúc ban đầu. BitVM cũng không ngoại lệ.

Sự phát triển mới xuất hiện vào tháng 10 năm 2023 đã mở khóa khả năng của Bitcoin để xác minh các phép tính phức tạp theo cách không liên quan đến bất kỳ sửa đổi nào đối với mạng lưới. 

Cụ thể hơn, BitVM làm cho Bitcoin trở nên Turing-complete bằng cách sử dụng các thành phần có sẵn của ngôn ngữ lập trình Script của nó.

Bằng cách trở thành Turing-complete, blockchain Bitcoin về lý thuyết có thể được sử dụng để mở rộng chức năng của Bitcoin vượt xa tầm nhìn “hệ thống tiền điện tử ngang hàng” được trình bày lần đầu trong sách trắng Bitcoin.

Mặc dù tính Turing-complete nghe có vẻ giống như một thứ gì đó trong cẩm nang Ikigai, nhưng nó được dùng để mô tả các ngôn ngữ lập trình có thể tính toán các hàm tùy ý/giải quyết bất kỳ vấn đề nào.

Nhà toán học người Mỹ Alonzo Church lần đầu tiên đặt ra thuật ngữ này vào những năm 1930, tham chiếu công trình của học trò ông, và nhà khoa học máy tính nổi tiếng người Anh, Alan Turing.

Trước BitVM, ngôn ngữ lập trình Script của Bitcoin không được coi là Turing-complete. Mặc dù đã có nhiều nỗ lực, nhưng không ai có thể tìm ra cách để Bitcoin làm được tất cả những điều mà một máy tính hiện đại có thể làm.

Nhưng điều quan trọng cần lưu ý là nhiều người coi sự đơn giản của Bitcoin là một đặc điểm nổi bật hơn là một thiếu sót hay lỗi.

Người tạo ra Bitcoin ẩn danh, Satoshi Nakamoto, đã giới hạn chức năng lập trình của Bitcoin một năm sau khi ra mắt giao thức.

Bạn có thể tự hỏi tại sao? Tất cả là do bảo mật. Một hệ thống càng đơn giản thì càng ít có khả năng xảy ra lỗi.

Ví dụ, hãy so sánh một chiếc xe hơi sang trọng với tất cả các tính năng cao cấp nhất với một chiếc xe đạp thông thường.

Chắc chắn, chiếc xe hơi sang trọng cung cấp nhiều chức năng mà bạn không thể tìm thấy trên xe đạp, nhưng bạn có nhiều khả năng gặp phải các vấn đề kỹ thuật hơn. Mặt khác, một chiếc xe đạp truyền thống có rất ít bộ phận chuyển động và do đó, có ít thứ có thể bị hỏng hơn. Bạn khó có thể gặp phải các vấn đề về đèn báo trên bảng điều khiển, hệ thống treo khí nén bị lỗi hoặc các vấn đề thay đổi làn đường tự động trên xe đạp — vì nó không có những tính năng đó ngay từ đầu.

Trong ví dụ này, Bitcoin giống như một chiếc xe đạp. Sự đơn giản của nó cuối cùng làm giảm số cách mà một tác nhân độc hại có thể phá vỡ mạng lưới của nó. Ví dụ, các cuộc tấn công từ chối dịch vụ phân tán (DDoS) không ảnh hưởng đến mạng Bitcoin hiện tại, nhưng chúng là một vấn đề lớn đối với các dự án khác cung cấp chức năng phức tạp hơn.

BitVM giới thiệu một hệ thống giúp mọi phép tính có thể xác minh được trên blockchain của Bitcoin, theo cách không ảnh hưởng đến bảo mật hoặc thay đổi mạng lưới. Sự phát triển này mở ra cánh cửa cho các phép tính phức tạp như hợp đồng thông minh Turing-complete, tất cả đều được xử lý ngoài chuỗi để giảm tắc nghẽn trên blockchain của Bitcoin.

Nói tóm lại, nó giống như việc phát hiện ra máy tính bỏ túi của bạn có thể hỗ trợ các trò chơi video MMORPG bằng cách sử dụng các thành phần hiện có theo cách không ảnh hưởng tiêu cực đến hiệu suất của nó.

Để hiểu BitVM đạt được tất cả những điều này như thế nào, hãy bắt đầu từ đầu. 

Máy tính sử dụng những thứ gọi là cổng logic để thực thi các chương trình.

Nghe có vẻ phức tạp, nhưng các cổng logic chỉ đơn giản là nhận một hoặc nhiều đầu vào nhị phân (0 và 1), chạy một phép tính nhỏ dựa trên loại cổng logic mà chúng là và đưa ra một đầu ra duy nhất.

Điện thoại thông minh, máy tính bảng hoặc máy tính xách tay của bạn có thể chứa hàng trăm nghìn, nếu không phải hàng triệu, các loại cổng logic khác nhau.

Bây giờ, có một loại cổng logic đặc biệt được gọi là cổng "NAND". Cổng NAND được biết đến là một cổng logic phổ quát vì nó có thể được sử dụng để tạo ra bất kỳ chức năng cổng logic nào khác. Nó giống như Ditto Pokémon trong thế giới cổng logic.

Bây giờ, đây là nơi tất cả những điều này liên quan đến BitVM. Những người đứng sau BitVM đã khám phá ra một cách để biểu diễn các cổng logic NAND trên Bitcoin bằng cách sử dụng ngôn ngữ Script hiện có của nó.

Ý nghĩa của điều này rất sâu sắc vì hai lý do:

• Nó cho phép các hợp đồng thông minh Turing-complete của Bitcoin.
• Không cần phải triển khai các thay đổi phần mềm có thể làm gián đoạn mạng Bitcoin. Mọi người có thể bắt đầu sử dụng mô hình BitVM ngay lập tức.

Ngoài ra, blockchain của Bitcoin chỉ xác minh các loại phép tính phức tạp này trên chuỗi. Việc thực thi diễn ra ngoài chuỗi. 

Nói cách khác, phần lớn công việc được thực hiện ở nơi khác, không phải trên chính blockchain Bitcoin. Điều này tránh gây căng thẳng không cần thiết cho mạng Bitcoin có thể dẫn đến phí cao hoặc thời gian xử lý chậm hơn.

BitVM hiện chỉ giới hạn ở hai bên: một "người chứng minh" và một "người xác minh."

Giả sử hai bên muốn giao dịch cùng nhau thông qua một hợp đồng thông minh bằng cách sử dụng blockchain Bitcoin.

Một bên (người chứng minh) khẳng định rằng hợp đồng thông minh hoạt động như đã quảng cáo mà không cần phải chạy trực tiếp trên blockchain của Bitcoin.

Bên thứ hai (người xác minh) cần có những đảm bảo nhất định rằng hợp đồng thông minh hoạt động như đã tuyên bố. Cả hai đều đồng ký một số giao dịch cấp cho người xác minh quyền thách thức các phần của hợp đồng thông minh, và người chứng minh có quyền phản hồi.

Nếu một trong hai bên cố gắng lừa dối bên kia, hoặc không hợp tác, bên trung thực sẽ nhận được bất kỳ khoản tiền nào được gửi vào hợp đồng thông minh sau khi nó được kích hoạt.

Trong trường hợp có tranh chấp, các điều kiện cụ thể của chương trình hợp đồng thông minh có thể được thực thi trên chuỗi để chứng minh liệu hoạt động gian lận có diễn ra hay không.

Robin Linus, một cộng tác viên cốt lõi của ZeroSync, đã xuất bản sách trắng BitVM vào ngày 9 tháng 10 năm 2023.

ZeroSync là một tổ chức phi lợi nhuận có trụ sở tại Zug, Thụy Sĩ. Nó chủ yếu tập trung vào việc cải thiện khả năng mở rộng và quyền riêng tư của Bitcoin bằng cách phát triển các giải pháp bằng chứng không kiến thức (ZKP).

BitVM giới thiệu một hệ thống để thực hiện các phép tính phức tạp ngoài chuỗi, cung cấp một hệ thống trách nhiệm mạnh mẽ cho cả hai bên liên quan và có thể triển khai mà không yêu cầu nâng cấp phần mềm.

Sự phát triển này cũng đặt nền móng cho các bản tổng hợp kiểu Optimistic trên Bitcoin. Quá trình này sẽ liên quan đến việc đóng gói và xử lý các giao dịch BTC ngoài chuỗi và gửi bằng chứng trên chuỗi. Tất cả các giao dịch ngoài chuỗi sẽ được coi là hợp lệ, như một phần của phương pháp lạc quan. Chỉ khi có tranh chấp, các giao dịch mới được thực thi trên chuỗi để xác nhận tính hợp lệ của chúng.

Các bản tổng hợp như thế này có thể cải thiện đáng kể thông lượng giao dịch của Bitcoin, theo cách tương tự như các bản tổng hợp Optimistic được sử dụng bởi các giao thức như Optimism (OP),  cải thiện khả năng xử lý của Ethereum.

BitVM đại diện cho một bước đột phá quan trọng đối với Bitcoin vì nhiều lý do.

Từ góc độ kỹ thuật, nó mở khóa tiềm năng của mạng lưới để xác minh bất kỳ loại phép tính phức tạp nào, mặc dù hiện tại chỉ trong một thiết lập hai bên hạn chế.

Sự tiến bộ này cũng có thể dẫn đến các ứng dụng mới và lợi ích về khả năng mở rộng cho Bitcoin trong tương lai.

Nhưng có lẽ quan trọng nhất, BitVM nhấn mạnh rằng chức năng của Bitcoin chưa bao giờ bị giới hạn bởi giao thức của nó, mà bởi trí tưởng tượng của người dùng.

Điều quan trọng cần lưu ý là mặc dù BitVM mang lại nhiều lợi ích đầy hứa hẹn, nhưng nó cũng không phải không có nhược điểm.

Cả Linus và các cộng tác viên khác đều chấp nhận rằng mô hình này đang ở giai đoạn đầu và còn xa mới là một giải pháp hoàn chỉnh. 

Sau đây là một số hạn chế của BitVM mà nhóm vẫn đang nỗ lực khắc phục:

• Ở trạng thái hiện tại, BitVM chỉ là một mô hình hai người. Hạn chế này có nghĩa là nó không thể hỗ trợ các ứng dụng phi tập trung quy mô lớn với nhiều bên giao dịch.
• Xác minh trên chuỗi vẫn có thể làm tắc nghẽn blockchain của Bitcoin.
• Các phép tính ngoài chuỗi có thể sẽ liên quan đến lượng dữ liệu khổng lồ.

Bạn có cảm thấy BitVM sẽ thay đổi tương lai của giao thức Bitcoin không?

Hãy xem hướng dẫn của chúng tôi tại Trung tâm học tập Kraken để biết thêm thông tin về Cách mua Bitcoin (BTC) và đăng ký tài khoản với Kraken ngay hôm nay.