Viết bởi Bob Bodily; Giám đốc điều hành thị trường Bioniq; Dịch: Golden Finance Cryptonaitive
BitVM là một mô hình điện toán optimistic rollup + fraud rollup + Taproot Leaf + Bitcoin Script mới được thiết kế bởi Robin Linus của ZeroSync. Vào sáng ngày 9 tháng 10, họ đã xuất bản một sách trắng xuất sắc được Super Testnet và Sam Parker đánh giá ngang hàng (bài báo hiện đã được xem 1,5 triệu lần).
Quá dài để đọc:
BitVM không phải là thuốc chữa bách bệnh để giải quyết vấn đề
BitVM không tốt bằng EVM, BitVM chậm hơn, đắt hơn và phức tạp hơn
Lợi ích cốt lõi của BitVM là chúng tôi ngay lập tức nhận được khả năng lập trình bổ sung trên Bitcoin mà không cần nâng cấp. Không có opcodes mới được yêu cầu. Không cần phuộc mềm. Nó đã sẵn sàng để sử dụng ngay bây giờ.
Các trường hợp sử dụng tiềm năng đơn giản bao gồm các phần của các ứng dụng phi tập trung hiện đang dựa vào các dịch vụ tập trung (oracles cho DLC, kiểm soát tắc nghẽn / tổng hợp coinjoin, xếp hạng sidechain)
5, BitVM không giải quyết được vấn đề bắc cầu không tin cậy của sidechains (hợp đồng có thể được yêu cầu — Giao ước)
Có, BitVM chắc chắn tốt hơn ví dụ thanh toán có điều kiện ZKP 2016 của Greg Maxwell
BitVM rất phức tạp và khó hiểu và thực hiện. Nâng cấp Bitcoin với một opcode có thể đạt được hiệu quả tương tự.
Đào kỹ thuật
Bây giờ chúng ta hãy đi sâu vào khía cạnh kỹ thuật của mọi thứ. Trong các cuộc thảo luận của tôi, tôi chủ yếu trích dẫn những người khác bởi vì đó là cách an toàn nhất để trung thành với những gì họ nói và tránh trích dẫn sai.
Mục đích của BitVM là "bất kỳ chức năng tính toán nào cũng có thể được xác minh trên Bitcoin." —Sách trắng BitVM
Điều này có nghĩa là "Bitcoin hiện là Turing-complete 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." " ——Sam Parker
Có một số hạn chế (mà chúng ta sẽ thảo luận sau), nhưng về cơ bản điều này có nghĩa là miễn là bạn:
(1) Có đủ tiền để thanh toán các tính toán / bằng chứng ngoài chuỗi,
(2) Có đủ băng thông để nhận và gửi dữ liệu cần thiết (có thể hàng trăm megabyte)
(3) có thể thực hiện số lượng giao dịch bitcoin cần thiết,
Sau đó, bạn có thể tính toán bất cứ điều gì bạn muốn.
"Điều duy nhất BitVM làm là cho phép chúng tôi chia thời gian chạy logic nhất định từ phạm vi của một giao dịch thành nhiều giao dịch. Đó là tất cả. " ——Sam Parker
Vì vậy, nó có thể mất một thời gian dài. Nó có thể rất tốn kém. Nó có thể mất hàng trăm giao dịch. Nhưng bạn có thể làm bất cứ điều gì bạn muốn.
Bản thân Sam đã nhắc lại: "Do đó, ** về mặt kỹ thuật Bitcoin đã không trở nên hoàn chỉnh hơn Turing so với trước đây, chúng tôi chỉ có thể nói một cách hợp lý rằng nó đủ 'Turing-complete' cho bất kỳ chương trình nào chúng tôi thực sự muốn thực hiện." **"
Một trong những lợi ích chính là không cần nâng cấp. Bạn có thể làm tất cả những điều này ngay bây giờ.
Và nếu bạn không muốn sử dụng nó, bạn cũng có thể chọn không: "**Đây là tùy chọn **. Nếu bạn không tin tưởng việc khóa bitcoin vào một số hợp đồng thông minh Turing-complete (hoàn toàn hợp lý), đừng khóa chúng vào hợp đồng thông minh Turing-complete. "——Sam Parker
Vì bạn có thể phải chịu một số hạn chế về tính toán, tôi nghĩ kết quả tối thiểu cho BitVM có khả năng thay thế dịch vụ "Bitcoin Edge" tập trung mà nhiều người hiện đang sử dụng.
Ví dụ: chúng tôi có thể "loại bỏ tất cả các dịch vụ lưu trữ đáng tin cậy hoặc bán tin cậy mà chúng tôi cần vào lúc này." Kiểm soát tắc nghẽn / tổng hợp coinjoin, đại biểu sidechain và một số loại oracle DLC nhất định có thể đi từ đáng tin cậy / bán tin cậy đến 100% không tin cậy. Sự không tin cậy của Bitcoin chỉ mạnh khi liên kết yếu nhất trong liên kết bạn tương tác. " - Sam Parker
Bây giờ hãy xem Eric Wall nói gì về điều này:
"Tôi vừa đọc sách trắng và tất cả các khái niệm đều đúng với tôi. Tôi có ác cảm tự nhiên với các kịch bản yêu cầu giao dịch ký trước rất lớn trong giai đoạn thành lập. Tôi không biết những vấn đề nào có thể phát sinh với những kịch bản như vậy. Chi phí và quyền là hai vấn đề quan trọng.
Hiện tại, tôi đang thận trọng chờ xem thí nghiệm trong thế giới thực sẽ mang lại kết quả gì. Có lẽ có những giải pháp thanh lịch, tinh tế giải quyết cả hai hạn chế của sơ đồ này, hoặc không. Có lẽ chi phí chung có thể quản lý được đối với một loại tính toán cụ thể, chẳng hạn như bằng chứng không có kiến thức.
Sẽ rất thú vị nếu BitVM xác minh rằng lớp zkwasm hoạt động tốt trong đó — BitVM sẽ hoàn thành vai trò của lớp zkwasm mà tôi đã thảo luận trước đó. "
Sau đó, ông tiếp tục nói những gì có lẽ là bản tóm tắt ngắn gọn nhất của BitVM:
"BitVM chỉ mô tả cách thức mà trình xác thực có thể đánh cắp ký quỹ từ người chứng minh dựa trên kết quả tính toán hoàn chỉnh của Turing, nhưng không thực sự mô tả kiến trúc chốt vào / ra cho những người tham gia bên ngoài, điều này có thể đúng."
Vâng, BitVM chỉ có vậy.
Adam Back tham gia với một bình luận quan trọng hơn (với nhiều điểm): "Thật tuyệt vời cho những người trở nên (quá mức) phấn khích, nhưng nó thực sự chỉ là một khái quát của một trò chơi hai chiều - được đề cập rõ ràng trong bản tóm tắt - vì vậy nó hơi giống với ví dụ năm 2016 của Greg Maxwell về việc thực hiện thanh toán có điều kiện ZKP. " "
Bên cạnh thực tế là Adam không nhận thấy một phần của sách trắng, BitVM này thực sự tốt hơn ví dụ ZKP 2016 của Greg Maxwell. Để trích dẫn Robin: "Nó hoàn toàn vượt trội trong ZKCP [so với ví dụ ZKP 2016 của Greg Maxwell], bởi vì trong ZKCP, người chứng minh phải biết trước giải pháp." "
Super Testnet, một trong những nhà phê bình cho bài báo, đã đưa ra ý kiến của mình: "Đây có lẽ là khám phá thú vị nhất trong lịch sử của Bitcoin Script. Nó dường như giải quyết hầu hết tất cả các vấn đề và cho phép chúng tôi truy cập vào Giao ước, chuỗi bên và các tính năng như Liquid hoặc EVM mà không cần bất kỳ nhánh nào. Tôi không thể chờ đợi để phát hành bản demo của tôi. "
Trả lời câu hỏi của Eric Wall về thiết lập sơ đồ 1-N, Super Testnet đã đăng như sau: "Nó cũng hỗ trợ sơ đồ 1-N, tương tự như rollups. Bạn có thể yêu cầu một bên trung tâm nhận phí để thực hiện tính toán cho một nhóm. Mọi người trong nhóm đều biết rằng đảng trung ương không thể nói dối, nếu không nhóm có thể nhận được một khoản lợi nhuận rất lớn và chia nó cho các thành viên của họ. "
Một nhược điểm lớn của BitVM là sự phức tạp. ** Để BitVM hoạt động, cần phải ký trước rất nhiều.
Rijndael nhận xét: "Có vẻ như CTV sẽ giảm chữ ký trước. Nó sẽ là một giải pháp tuyệt vời để xây dựng với Bitcoin hiện tại, và sau đó tìm ra mức độ tương tác có thể được giảm với CTV, và liệu đây là một điều tốt hay cần thiết. "
Nếu bạn chưa biết, CTV = BIP-119 = Giao ước đơn giản. Do đó, nếu chúng ta nâng cấp Bitcoin để kích hoạt CTV, BitVM sẽ tốt hơn và hiệu quả hơn nhiều. **
Post Capone đã thêm quan điểm của riêng mình khi thảo luận về sự tích cực hiện tại trong hệ sinh thái Bitcoin: "BitVM đã tạo ra những bình luận tích cực từ 8 phe phái khác nhau trong Bitcoin, thường phỉ báng lẫn nhau đến mức hủy diệt. Chuyện lớn, anh bạn. Rất nhiều phân tích / phản hồi được truyền đi trong một khoảng thời gian ngắn, điều này rất tuyệt. Ordinals là một khoảnh khắc kỳ diệu. Cảm giác như nó có đủ động lực để đi xa hơn. Tất cả chúng tôi túm tụm lại với nhau để làm cho nó hoạt động. "
BitVM rất giống với Lightning Network, với ít nhất một yêu cầu đa chữ ký 2: 2 trong bài báo.
Dylan LeClair nhận xét: "Hãy sửa tôi nếu tôi sai: mặc dù về mặt kỹ thuật rất khác nhau, nó giống như LN ở chỗ nó là đa chữ ký 2: 2, nơi TX / ứng dụng / hợp đồng có thể được xây dựng trên Bitcoin, nhưng việc xác minh và thanh toán diễn ra trên chuỗi. Theo tôi hiểu, điều này sẽ cho phép chốt BTC không cần tin cậy (?) ）"。
Sam trả lời, "Nó có thể làm bất cứ điều gì bạn muốn, bao gồm cả chốt không tin cậy." Về mặt này, nó rất giống với Lightning Network. Tôi nghĩ rằng chạy giao thức này bên trong Lightning Channel sẽ là một động thái chiến lược thực sự. Tôi nghi ngờ có một cách để thực hiện các giao dịch Công lý của Lightning một cách rất hiệp đồng. "
Có những nghi ngờ rằng BitVM sẽ có thể hỗ trợ nhà nước toàn cầu, vì mô tả trong bài viết tương tự như một kênh trạng thái, nhưng Super Testnet đã trả lời: "Nó hỗ trợ nhà nước toàn cầu." Bên A có thể chứng minh cho Bên B các tuyên bố về sổ cái toàn cầu (chẳng hạn như Bitcoin hoặc sidechains hoặc thậm chí các chuỗi khác). "
Nhìn chung, BitVM "làm cho các hợp đồng Bitcoin trở nên biểu cảm hơn". Đặc biệt, nó làm cho các tính năng có thể mà ban đầu chúng tôi nghĩ rằng cần một soft fork. Nó có thể thực hiện các sidechain không tin cậy, nhưng điều đó vẫn chưa hoàn toàn được giải quyết. "——Siêu thử nghiệm
Rijndale trả lời rằng chúng ta vẫn có thể cần các giao ước để thực hiện các sidechain không tin cậy: "BitVM cho phép bạn chi tiêu tất cả số lượng UTXOs có chứa các hợp đồng thông minh. Đối với sidechains không tin cậy, chúng ta cần có khả năng chi tiêu phần UTXO có chứa hợp đồng thông minh. "
Ý kiến của tôi
Một sách trắng khác, một vòng podcast khác. BitVM rất thú vị, nhưng nó vẫn đang trong giai đoạn nghiên cứu và vẫn còn nhiều câu hỏi cần được khám phá, vì vậy BitVM sẽ có thể giải quyết bao nhiêu vấn đề vẫn còn phải được xác định.
Có thể có một số trường hợp sử dụng chính đơn giản để bắt đầu tận dụng BitVM ngay lập tức để giảm các giả định tin cậy (ví dụ: các nhà tiên tri DLC).
Chúng tôi cần nhiều cách khác nhau để cung cấp nhiều khả năng lập trình hơn cho Bitcoin, vì vậy tôi hoan nghênh bất kỳ ai làm việc trong không gian này (bao gồm cả BitVM). Tôi hy vọng có rất nhiều nhà phát triển sử dụng nó để xây dựng các bản demo thực sự thú vị nhằm giải quyết các vấn đề quan trọng của mọi người.
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.
Mọi thứ bạn cần biết về BitVM
Viết bởi Bob Bodily; Giám đốc điều hành thị trường Bioniq; Dịch: Golden Finance Cryptonaitive
BitVM là một mô hình điện toán optimistic rollup + fraud rollup + Taproot Leaf + Bitcoin Script mới được thiết kế bởi Robin Linus của ZeroSync. Vào sáng ngày 9 tháng 10, họ đã xuất bản một sách trắng xuất sắc được Super Testnet và Sam Parker đánh giá ngang hàng (bài báo hiện đã được xem 1,5 triệu lần).
Quá dài để đọc:
BitVM không phải là thuốc chữa bách bệnh để giải quyết vấn đề
BitVM không tốt bằng EVM, BitVM chậm hơn, đắt hơn và phức tạp hơn
Lợi ích cốt lõi của BitVM là chúng tôi ngay lập tức nhận được khả năng lập trình bổ sung trên Bitcoin mà không cần nâng cấp. Không có opcodes mới được yêu cầu. Không cần phuộc mềm. Nó đã sẵn sàng để sử dụng ngay bây giờ.
Các trường hợp sử dụng tiềm năng đơn giản bao gồm các phần của các ứng dụng phi tập trung hiện đang dựa vào các dịch vụ tập trung (oracles cho DLC, kiểm soát tắc nghẽn / tổng hợp coinjoin, xếp hạng sidechain)
5, BitVM không giải quyết được vấn đề bắc cầu không tin cậy của sidechains (hợp đồng có thể được yêu cầu — Giao ước)
Đào kỹ thuật
Bây giờ chúng ta hãy đi sâu vào khía cạnh kỹ thuật của mọi thứ. Trong các cuộc thảo luận của tôi, tôi chủ yếu trích dẫn những người khác bởi vì đó là cách an toàn nhất để trung thành với những gì họ nói và tránh trích dẫn sai.
Mục đích của BitVM là "bất kỳ chức năng tính toán nào cũng có thể được xác minh trên Bitcoin." —Sách trắng BitVM
Điều này có nghĩa là "Bitcoin hiện là Turing-complete 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." " ——Sam Parker
Có một số hạn chế (mà chúng ta sẽ thảo luận sau), nhưng về cơ bản điều này có nghĩa là miễn là bạn:
(1) Có đủ tiền để thanh toán các tính toán / bằng chứng ngoài chuỗi,
(2) Có đủ băng thông để nhận và gửi dữ liệu cần thiết (có thể hàng trăm megabyte)
(3) có thể thực hiện số lượng giao dịch bitcoin cần thiết,
Sau đó, bạn có thể tính toán bất cứ điều gì bạn muốn.
"Điều duy nhất BitVM làm là cho phép chúng tôi chia thời gian chạy logic nhất định từ phạm vi của một giao dịch thành nhiều giao dịch. Đó là tất cả. " ——Sam Parker
Vì vậy, nó có thể mất một thời gian dài. Nó có thể rất tốn kém. Nó có thể mất hàng trăm giao dịch. Nhưng bạn có thể làm bất cứ điều gì bạn muốn.
Bản thân Sam đã nhắc lại: "Do đó, ** về mặt kỹ thuật Bitcoin đã không trở nên hoàn chỉnh hơn Turing so với trước đây, chúng tôi chỉ có thể nói một cách hợp lý rằng nó đủ 'Turing-complete' cho bất kỳ chương trình nào chúng tôi thực sự muốn thực hiện." **"
Một trong những lợi ích chính là không cần nâng cấp. Bạn có thể làm tất cả những điều này ngay bây giờ.
Và nếu bạn không muốn sử dụng nó, bạn cũng có thể chọn không: "**Đây là tùy chọn **. Nếu bạn không tin tưởng việc khóa bitcoin vào một số hợp đồng thông minh Turing-complete (hoàn toàn hợp lý), đừng khóa chúng vào hợp đồng thông minh Turing-complete. "——Sam Parker
Vì bạn có thể phải chịu một số hạn chế về tính toán, tôi nghĩ kết quả tối thiểu cho BitVM có khả năng thay thế dịch vụ "Bitcoin Edge" tập trung mà nhiều người hiện đang sử dụng.
Ví dụ: chúng tôi có thể "loại bỏ tất cả các dịch vụ lưu trữ đáng tin cậy hoặc bán tin cậy mà chúng tôi cần vào lúc này." Kiểm soát tắc nghẽn / tổng hợp coinjoin, đại biểu sidechain và một số loại oracle DLC nhất định có thể đi từ đáng tin cậy / bán tin cậy đến 100% không tin cậy. Sự không tin cậy của Bitcoin chỉ mạnh khi liên kết yếu nhất trong liên kết bạn tương tác. " - Sam Parker
Bây giờ hãy xem Eric Wall nói gì về điều này:
Sau đó, ông tiếp tục nói những gì có lẽ là bản tóm tắt ngắn gọn nhất của BitVM:
"BitVM chỉ mô tả cách thức mà trình xác thực có thể đánh cắp ký quỹ từ người chứng minh dựa trên kết quả tính toán hoàn chỉnh của Turing, nhưng không thực sự mô tả kiến trúc chốt vào / ra cho những người tham gia bên ngoài, điều này có thể đúng."
Vâng, BitVM chỉ có vậy.
Adam Back tham gia với một bình luận quan trọng hơn (với nhiều điểm): "Thật tuyệt vời cho những người trở nên (quá mức) phấn khích, nhưng nó thực sự chỉ là một khái quát của một trò chơi hai chiều - được đề cập rõ ràng trong bản tóm tắt - vì vậy nó hơi giống với ví dụ năm 2016 của Greg Maxwell về việc thực hiện thanh toán có điều kiện ZKP. " "
Bên cạnh thực tế là Adam không nhận thấy một phần của sách trắng, BitVM này thực sự tốt hơn ví dụ ZKP 2016 của Greg Maxwell. Để trích dẫn Robin: "Nó hoàn toàn vượt trội trong ZKCP [so với ví dụ ZKP 2016 của Greg Maxwell], bởi vì trong ZKCP, người chứng minh phải biết trước giải pháp." "
Super Testnet, một trong những nhà phê bình cho bài báo, đã đưa ra ý kiến của mình: "Đây có lẽ là khám phá thú vị nhất trong lịch sử của Bitcoin Script. Nó dường như giải quyết hầu hết tất cả các vấn đề và cho phép chúng tôi truy cập vào Giao ước, chuỗi bên và các tính năng như Liquid hoặc EVM mà không cần bất kỳ nhánh nào. Tôi không thể chờ đợi để phát hành bản demo của tôi. "
Trả lời câu hỏi của Eric Wall về thiết lập sơ đồ 1-N, Super Testnet đã đăng như sau: "Nó cũng hỗ trợ sơ đồ 1-N, tương tự như rollups. Bạn có thể yêu cầu một bên trung tâm nhận phí để thực hiện tính toán cho một nhóm. Mọi người trong nhóm đều biết rằng đảng trung ương không thể nói dối, nếu không nhóm có thể nhận được một khoản lợi nhuận rất lớn và chia nó cho các thành viên của họ. "
Một nhược điểm lớn của BitVM là sự phức tạp. ** Để BitVM hoạt động, cần phải ký trước rất nhiều.
Rijndael nhận xét: "Có vẻ như CTV sẽ giảm chữ ký trước. Nó sẽ là một giải pháp tuyệt vời để xây dựng với Bitcoin hiện tại, và sau đó tìm ra mức độ tương tác có thể được giảm với CTV, và liệu đây là một điều tốt hay cần thiết. "
Nếu bạn chưa biết, CTV = BIP-119 = Giao ước đơn giản. Do đó, nếu chúng ta nâng cấp Bitcoin để kích hoạt CTV, BitVM sẽ tốt hơn và hiệu quả hơn nhiều. **
Post Capone đã thêm quan điểm của riêng mình khi thảo luận về sự tích cực hiện tại trong hệ sinh thái Bitcoin: "BitVM đã tạo ra những bình luận tích cực từ 8 phe phái khác nhau trong Bitcoin, thường phỉ báng lẫn nhau đến mức hủy diệt. Chuyện lớn, anh bạn. Rất nhiều phân tích / phản hồi được truyền đi trong một khoảng thời gian ngắn, điều này rất tuyệt. Ordinals là một khoảnh khắc kỳ diệu. Cảm giác như nó có đủ động lực để đi xa hơn. Tất cả chúng tôi túm tụm lại với nhau để làm cho nó hoạt động. "
BitVM rất giống với Lightning Network, với ít nhất một yêu cầu đa chữ ký 2: 2 trong bài báo.
Dylan LeClair nhận xét: "Hãy sửa tôi nếu tôi sai: mặc dù về mặt kỹ thuật rất khác nhau, nó giống như LN ở chỗ nó là đa chữ ký 2: 2, nơi TX / ứng dụng / hợp đồng có thể được xây dựng trên Bitcoin, nhưng việc xác minh và thanh toán diễn ra trên chuỗi. Theo tôi hiểu, điều này sẽ cho phép chốt BTC không cần tin cậy (?) ）"。
Sam trả lời, "Nó có thể làm bất cứ điều gì bạn muốn, bao gồm cả chốt không tin cậy." Về mặt này, nó rất giống với Lightning Network. Tôi nghĩ rằng chạy giao thức này bên trong Lightning Channel sẽ là một động thái chiến lược thực sự. Tôi nghi ngờ có một cách để thực hiện các giao dịch Công lý của Lightning một cách rất hiệp đồng. "
Có những nghi ngờ rằng BitVM sẽ có thể hỗ trợ nhà nước toàn cầu, vì mô tả trong bài viết tương tự như một kênh trạng thái, nhưng Super Testnet đã trả lời: "Nó hỗ trợ nhà nước toàn cầu." Bên A có thể chứng minh cho Bên B các tuyên bố về sổ cái toàn cầu (chẳng hạn như Bitcoin hoặc sidechains hoặc thậm chí các chuỗi khác). "
Nhìn chung, BitVM "làm cho các hợp đồng Bitcoin trở nên biểu cảm hơn". Đặc biệt, nó làm cho các tính năng có thể mà ban đầu chúng tôi nghĩ rằng cần một soft fork. Nó có thể thực hiện các sidechain không tin cậy, nhưng điều đó vẫn chưa hoàn toàn được giải quyết. "——Siêu thử nghiệm
Rijndale trả lời rằng chúng ta vẫn có thể cần các giao ước để thực hiện các sidechain không tin cậy: "BitVM cho phép bạn chi tiêu tất cả số lượng UTXOs có chứa các hợp đồng thông minh. Đối với sidechains không tin cậy, chúng ta cần có khả năng chi tiêu phần UTXO có chứa hợp đồng thông minh. "
Ý kiến của tôi
Một sách trắng khác, một vòng podcast khác. BitVM rất thú vị, nhưng nó vẫn đang trong giai đoạn nghiên cứu và vẫn còn nhiều câu hỏi cần được khám phá, vì vậy BitVM sẽ có thể giải quyết bao nhiêu vấn đề vẫn còn phải được xác định.
Có thể có một số trường hợp sử dụng chính đơn giản để bắt đầu tận dụng BitVM ngay lập tức để giảm các giả định tin cậy (ví dụ: các nhà tiên tri DLC).