Để tính toán mọi thứ trên Bitcoin, các nhà phát triển cấp cao nghĩ gì về BitVM?

Jaleel加六và2tác giả

Đọc bài viết này mất 15 phút

Nhóm ZeroSync đã phát hành sách trắng BitVM. Hệ sinh thái tường thuật mở rộng của Bitcoin đã đặc biệt sôi động trong năm nay.

Được viết bởi: Jaleel, BlockBeats

Đêm qua, người đứng đầu dự án ZeroSync đã phát hành 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 cuộc thảo luận sôi nổi.

Như có thể thấy trong sách trắng 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, Bằng chứng gian lận, Taproot Leaf và Bitcoin Script.

BitVM cho phép biểu diễ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. Nó có thể thực hiện bất kỳ chức năng tính toán nào và thực hiện các phép tính ngoại tuyến. , mà không cần để lại bất kỳ dấu vết nào trên dây chuyền. Sách trắng 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.

Chỉ một tháng sau Sách trắng được phát hành Nó đã đạt 110.000 lượt xem trong một giờ và 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 vô cùng sôi nổi và nó đã trở thành một trong những điểm nóng lớn nhất trong vòng tròn mã hóa 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 Bitcoin trên dòng chữ, hãy để nó tồn tại mãi mãi theo cách Bản địa hơn.

Các nhà phát triển Bitcoin nghĩ gì?

Hệ sinh thái Bitcoin năm nay cực kỳ sôi động. 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.

Giám đốc điều hành BioniqMarket @BobBodily, hiện đang tập trung vào thị trường và bảng khởi chạy Ordinals, đã và đang 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ó lập trình, không cần nâng cấp. Không cần mã op_code mới. Không cần fork phần mềm. Hoạt động ngay bây giờ."

Đồng thời, Bob Bodily 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 các ứ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ả DLC oracles, kiểm soát tắc nghẽn/công cụ tổng hợp coinjoin và đại biểu sidechain. 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 sidechain, vố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 để hiểu và triển khai Khó khăn. Điều tương tự có thể đạt được bằng cách nâng cấp Bitcoin bằng op_code."

Bitcoin không yêu cầu bất kỳ thay đổi nào

Nhà nghiên cứu có liên quan Sam Parker tin rằng BitVM cung cấp giải pháp mà không cần sửa đổi giao thức Bitcoin Tiềm năng cho nhiều khả năng lập trình hơn và cách 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. Đồ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 đã hoàn thiện Turing giống như bất kỳ chuỗi nào khác và đây không phải là bất kỳ thay đổi nào cần được thực hiện để Bitcoin Một trong những quan điểm kinh điển của một số người theo chủ nghĩa tối đa hóa Bitcoin hiện nay khi “chỉ đất nước” là: Turing Complete = xấu, điều mà tôi cho là 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 sách trắng BitVM, Sam Parker cho biết: “Trong quá trình này, một nhóm nhỏ hacker tập lệnh, chẳng hạn như @robin_linus và @super_testnet , đã tìm ra Cách mã hóa tất cả chức năng mà chúng ta muốn từ một máy tính đa năng thành bộ mã vận hành cực kỳ hạn chế của Bitcoin, vì vậy đ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ề khả năng diễn đạt, mà chỉ là vấn đề về thời gian chạy, trong đó nghiêm ngặt nhất 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 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 duy nhất và trải rộng trên nhiều giao dịch. Chỉ vậy thôi. 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 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" trong một thời gian chạy.

Đ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 một số hợp đồng hoàn chỉnh của Turing (điều này hoàn toàn hợp lý), thì đừng khóa chúng vào một biểu đồ Trong một hợp đồng thông minh tích hợp đầy đủ. 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 Bitcoin khác, Eric Wall, một người hỗ trợ tuyệt vời của giao thức mở rộng Drivechains, người sáng lập Simp DAO và nhà nghiên cứu mã hóa 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 sách trắng này và tất cả các khái niệm đều rất thú vị đối với tôi. là phù hợp. Tôi đương nhiên 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ể gây ra vấn đề gì. Chi phí chung và quyền Hai câu hỏi lớn."

Bây giờ anh ấy vẫn tỏ ra 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ó thể đối với một số loại tính toán nhất định, 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ụ là 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. Thợ mỏ có thể làm điều này bởi Provers thông đồng và các thách thức kiểm duyệt nhằm đánh cắp toàn bộ số dư BitVM, có thể tồn tại trong khoảng thời gian ngắn hơn so với trong chuỗi ổ đĩa”, Eric Wall viết.

Bằng cách cho phép Bitcoin Bởi thể hiện các hợp đồng hoàn chỉnh Turing trên mạng 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 rằng BitVM đã gây ra 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 cũng như cách nó sẽ được sử dụng trong mạng Bitcoin ở Hiện thực hóa và đóng vai trò 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?