Đêm qua, người đứng đầu dự án ZeroSync đã phát hành một whitepaper có tiêu đề “BitVM: Tính toán mọi thứ trên Bitcoin” gây ra cuộc thảo luận sôi nổi.
Như có thể thấy trong whitepaper do Super Testnet và Sam Parker đánh giá, BitVM là một mô hình điện toán mới được thiết kế bởi Robin Linus tại Zero Sync, tích hợp Optimistic Roll Up, Fraud Proof, Taproot Leaf và Bitcoin Script.
BitVM cho phép biểu hiện các hợp đồng Bitcoin hoàn chỉnh Turing mà không thay đổi các quy tắc đồng thuận của mạng Bitcoin và có thể thực thi bất kỳ chức năng tính toán nào để tính toán ngoại tuyến mà không để lại bất kỳ dấu vết nào trên chuỗi. Whitepaper cũng giới thiệu kiến trúc, đầu vào và đầu ra của BitVM, những hạn chế và triển vọng.
Whitepaper đạt 110.000 lượt xem chỉ trong một giờ sau khi được phát hành, tính đến thời điểm viết bài, số lượt xem đã lên tới 1,82 triệu, các cuộc thảo luận trong cộng đồng người Anh đang vô cùng sôi nổi và trở thành một trong những điểm nóng lớn nhất trong vòng tròn mã hóa trong thời gian gần đây. KOL @LeonidasNFT cho rằng đây là một sự đổi mới thú vị nên anh ấy đã khắc bài báo của BitVM lên dòng chữ Bitcoin , sử dụng một cách nguyên bản hơn để khiến nó tồn tại mãi mãi.
Các nhà phát triển Bitcoin nghĩ gì?
Hệ sinh thái Bitcoin đặc biệt sôi động trong năm nay. Thị trường Ordinals đã tạo ra nhiều câu chuyện mở rộng Bitcoin và các nhà phát triển Bitcoin cũng rất sôi động.
Hiện đang tập trung vào thị trường và bệ phóng Ordinals, Giám đốc điều hành BioniqMarket @BobBodily đã xây dựng các công cụ để giúp các nhà phát triển xây dựng trên Bitcoin. Ông nói trên phương tiện truyền thông xã hội của mình: “BitVM không phải là giải pháp một lần và mãi mãi. BitVM không tốt bằng EVM, nó chậm hơn, đắt hơn và phức tạp hơn. Ưu điểm cốt lõi của BitVM là chúng ta có thể nhận được bảo mật bổ sung trên Bitcoin ngay bây giờ . Có thể lập trình mà không cần nâng cấp. Không cần mã op_code mới. Không cần nĩa mềm. Hoạt động ngay bây giờ.”
Đồng thời, BobBodily cũng cho biết: “Các trường hợp sử dụng tiềm năng dễ triển khai với BitVM bao gồm các phần phi tập trung của nhiều ứng dụng khác nhau hiện đang dựa vào các dịch vụ tập trung, bao gồm các oracle DLC, bộ tổng hợp kiểm soát tắc nghẽn/coinjoin và đại biểu sidechain. Trong Ngoài ra, BitVM không giải quyết được vấn đề bắc cầu không đáng tin cậy của các chuỗi bên, có thể yêu cầu hợp đồng. BitVM hoàn toàn vượt trội so với ví dụ thanh toán có điều kiện ZKP 2016 của Greg Maxwell. BitVM rất phức tạp, khó hiểu và khó triển khai. Điều tương tự có thể đạt được bằng cách nâng cấp Bitcoin có mã op_code.”
Bitcoin không cần thay đổi bất cứ điều gì
Nhà nghiên cứu liên quan Sam Parker nhận thấy các ưu đãi tiềm năng của BitVM sẽ cho phép nhiều khả năng lập trình hơn mà không cần sửa đổi giao thức Bitcoin và khả năng này có thể giúp phân cấp và loại bỏ nhu cầu về các bên thứ ba đáng tin cậy như thế nào. Đồng thời, ông cũng đề cập rằng đây là một tính năng tùy chọn và cộng đồng Bitcoin cũng như người dùng có thể chọn xem có sử dụng tính năng này hay không và sử dụng như thế nào.
Trong một tweet dài, Sam Parker đã viết: “Một lần nữa, Bitcoin hiện đang hoàn thiện Turing giống như bất kỳ chuỗi nào khác và điều này không yêu cầu bất kỳ thay đổi nào đối với Bitcoin. Hiện tại, một số người theo chủ nghĩa tối đa hóa Bitcoin là” Một số quan điểm cổ điển trong “Guiding the Country” là: Turing hoàn thành = xấu.Tôi nghĩ điều này có vẻ ngu ngốc. Đầu tiên, vì định nghĩa kỹ thuật về tính hoàn chỉnh của Turing thực sự đòi hỏi thời gian chạy vô hạn, nên sẽ không có gì thực sự là Turing hoàn chỉnh trong thực tế của chúng ta bởi vì chúng ta không có không gian và thời gian vô hạn để đáp ứng điều này. “
Về nội dung của whitepaper BitVM, Sam Parker cho biết: “Trong quá trình này, một nhóm nhỏ hacker script, chẳng hạn như @robin_linus và @super_testnet, đã tìm ra cách lập trình tất cả các chức năng mà chúng tôi muốn từ một máy tính đa năng. vào Bitcoin.Một tập hợp hạn chế các cách để thao tác mã, do đó, điều duy nhất ngăn cản máy ảo (VM) của Bitcoin trở thành Turing hoàn chỉnh như Ethereum không phải là vấn đề về sức mạnh biểu đạt mà đơn giản là vấn đề thời gian chạy, hạn chế nghiêm trọng nhất trong đó là giới hạn kích thước ngăn xếp.
Tất cả những gì BitVM làm là cho phép chúng tôi trải rộng thời gian chạy của một số logic, vượt ra ngoài phạm vi của một giao dịch, trên nhiều giao dịch. đó là tất cả. Chúng tôi không thêm bất kỳ tính năng ngữ nghĩa mới nào, chúng tôi chỉ tăng theo cấp số nhân độ dài của các chương trình mà chúng tôi có thể chạy. Vì vậy, theo định nghĩa kỹ thuật, Bitcoin thực sự không hoàn thiện Turing hơn trước đây, nó chỉ được cung cấp các chương trình mà chúng ta có thể nói một cách hợp lý là “đầy đủ Turing-đầy đủ cho bất kỳ chương trình nào chúng ta thực sự muốn thực hiện”.
Điều này là tự nguyện, nếu bạn không tin tưởng tiền của mình sẽ bị khóa trong hợp đồng Turing-complete (điều này hoàn toàn hợp lý), thì đừng khóa chúng vào hợp đồng thông minh Turing-complete. Một ưu điểm của hệ thống UTXO là hộp cát bảo mật. Nếu mọi người thực sự cảm thấy rằng Bitcoin không nên có tính năng này, có thể do khuyến khích hoặc điều gì đó, thì đó sẽ là một vấn đề đáng thảo luận, nhưng về cơ bản, nó sẽ yêu cầu loại bỏ Taproot, điều này có vẻ khá ngu ngốc vào thời điểm này. ”Sam Parker viết.
“BitVM khiến tôi phấn khích một cách thận trọng”
Là một người rất ủng hộ Drivechains, một giao thức mở rộng Bitcoin khác, Eric Wall , người sáng lập Simp DAO và nhà nghiên cứu tiền điện tử cấp cao , đã được các thành viên cộng đồng mời bày tỏ quan điểm của mình về BitVM. Eric Wall cho biết: “Tôi vừa đọc xong whitepaper này và tất cả các khái niệm đều phù hợp với tôi. Đương nhiên, tôi không quan tâm đến các giải pháp yêu cầu số lượng trao đổi giao dịch được ký trước rất lớn trong giai đoạn thiết lập – Tôi không biết giải pháp như vậy có thể tạo ra những vấn đề gì. Chi phí chung) và sự cho phép (sự cho phép) là hai vấn đề lớn.”
Hiện tại, anh ấy vẫn hào hứng một cách thận trọng với BitVM, chờ xem những thử nghiệm thực tế sẽ mang lại điều gì. Có thể có một giải pháp đơn giản, tao nhã cho giới hạn hai phía của sơ đồ này, có thể không. Có lẽ đối với một số loại tính toán nhất định, chẳng hạn như bằng chứng zk, chi phí có thể quản lý được. Sẽ rất thú vị nếu BitVM hoạt động tốt trong đó để xác minh bằng chứng zk – BitVM sẽ hoạt động như lớp zkwasm mà anh ấy đã thảo luận trước đó.
“Một lưu ý phụ, tôi tò mò về điều gì sẽ xảy ra khi mọi người nhận ra rằng mô hình tấn công khá giống với Drivechains. Những kẻ khai thác có thể đánh cắp toàn bộ số dư của BitVM bằng cách thông đồng với người chứng minh và kiểm duyệt thử thách, trường hợp này có thể xảy ra tồn tại ít thời gian hơn trong xích truyền động,” Eric Wall viết.
Bằng cách cho phép các hợp đồng hoàn chỉnh Turing được thể hiện trên mạng Bitcoin mà không để lại dấu vết trên chuỗi, BitVM cung cấp một cách hoàn toàn mới để khám phá các tính toán blockchain phức tạp trong khi vẫn duy trì các nguyên tắc và bảo mật của mạng Bitcoin. Điều này cũng cho phép Bitcoin nắm bắt được phạm vi sử dụng rộng hơn và khả năng đổi mới mà không cần sửa đổi trực tiếp giao thức cốt lõi của nó.
Không thể bỏ qua việc BitVM đã khơi dậy nhiều cuộc thảo luận chuyên sâu về thiết kế và sự phát triển của Bitcoin, việc nó được triển khai và hoạt động như thế nào trong mạng Bitcoin trong tương lai sẽ là một hành trình khám phá công nghệ vô cùng hấp dẫn. Điều này cũng đặt ra một câu hỏi quan trọng: Chúng ta đã sẵn sàng mở rộng Bitcoin từ một loại tiền kỹ thuật số chủ yếu được sử dụng để lưu trữ giá trị và giao dịch sang một nền tảng toàn cầu có thể thực hiện các phép tính rộng hơn và phức tạp hơn chưa? Điều này cũng thúc đẩy chúng tôi suy nghĩ sâu hơn về hình thức tương lai mà chúng tôi mong muốn đối với Bitcoin. Bitcoin có nên bổ sung thêm khả năng lập trình “bản địa” hơn hay nó nên tiếp tục duy trì sự đơn giản, an toàn và bất biến?
