iOSG | BitVM: Buổi bình minh của khả năng lập trình Bitcoin

Lời cảm ơn: Cảm ơn Momir và Xinshu vì những sửa đổi có giá trị cho bài viết

TL;DR :< /p>

• Các thay đổi đối với Bitcoin Core thường bị phản đối vì những lý do bao gồm: a ) Mọi người thích Bitcoin như một kho lưu trữ giá trị hơn là một loại tiền tệ. b) Sự ổn định về giá trị và khả năng dự đoán trước sự đổi mới nhanh chóng. c) Xây dựng sự đồng thuận trong một cộng đồng đa dạng là điều khó khăn.

• Nhiều dự án tuyên bố có cách giải quyết các vấn đề về khả năng mở rộng của Bitcoin mà không cần phải thỏa hiệp với chính chuỗi Bitcoin Thực hiện thay đổi . Gần đây chúng ta đã chứng kiến ​​​​siêu lạm phát của Bitcoin “L2s”.

• Mặc dù nhiều tuyên bố chỉ đơn giản là tiếp thị gây hiểu lầm, nhưng chúng tôi cũng nhận ra một mô hình điện toán mới có thể mang lại khả năng lập trình cho Bitcoin – BitVM.

• Giải pháp mở rộng quy mô tốt nhất mà BitVM có thể hỗ trợ là gần với bảo mật kiểu OP-Rollup (mặc dù có một số cảnh báo bổ sung).

• Sự thành công của BitVM và các sáng kiến ​​tương tự phụ thuộc vào tính khả thi về mặt kỹ thuật, sự hỗ trợ của cộng đồng và sự hợp tác với các " Tiếp thị quá mức khác ” sự khác biệt của dự án.

Bitcoin được xây dựng như một khu vực giao dịch Blockchain , ngôn ngữ kịch bản của nó được cố tình hạn chế ở trạng thái không trạng thái để giảm thiểu bề mặt tấn công và đảm bảo an ninh mạng. Do thiếu tính đầy đủ của Turing, không thể trực tiếp giới thiệu các hợp đồng thông minh trên blockchain, ngoại trừ việc phân tách và nâng cấp Bitcoin Core.

Cộng đồng Bitcoin truyền thống không muốn thay đổi vì những lý do sau:

• Câu chuyện tập trung nhiều vào việc lưu trữ giá trị hơn là tiền tệ: cộng đồng Bitcoin cố tình tập trung vào việc duy trì mạng như một phương thức thanh toán ngang hàng hệ thống, tích hợp an ninh Ưu tiên giới tính và phân cấp hơn là phát triển nhanh chóng. Như Bitcoiner Michael Saylor đã lưu ý, “Không ai cố gắng mua một tách cà phê bằng một phần nhỏ tòa nhà mà họ sở hữu trên Đại lộ số 5.” Câu trích dẫn này phản ánh cam kết của cộng đồng đối với Bitcoin như một kho lưu trữ giá trị. .

• Sự ổn định của hệ thống vượt trội so với sự đổi mới: Để một tài sản được coi là phương tiện lưu trữ giá trị tuyệt vời thì khả năng dự đoán là rất quan trọng. Ví dụ: ngay cả khi mạng chỉ có 10 bản nâng cấp lớn và mỗi bản nâng cấp có tỷ lệ thành công là 90% thì xác suất xảy ra lỗi là khoảng 65%! Theo lý thuyết tai nạn thông thường: “Trong các hệ thống phức tạp, chúng ta nên kỳ vọng rằng các yếu tố nhỏ thường không đáng kể đôi khi sẽ ngẫu nhiên dẫn đến các sự kiện lớn.” Do đó, mục tiêu của cộng đồng Bitcoin luôn là giảm thiểu con đường dẫn đến các lỗi tiềm ẩn .

• Cộng đồng đa dạng: Nhiều người nắm giữ Bitcoin hiểu Bitcoin từ các quan điểm khác nhau và định giá nó theo những cách khác nhau lý do. Đạt được sự đồng thuận trong một cộng đồng đa dạng và phi tập trung vốn là một thách thức, càng làm chậm tốc độ đổi mới. Để minh họa sự đa dạng của cộng đồng Bitcoin, hãy xem phản ứng của cộng đồng đối với Chữ khắc và Lệnh. Trong khi một bộ phận cộng đồng Bitcoin ăn mừng sự thành công của các số thứ tự như khoảnh khắc CryptoKitties của Bitcoin, thì một bộ phận khác trong cộng đồng lại tin rằng đó là một lỗ hổng cần được vá.

1. Mở rộng nhanh chóng kế hoạch mở rộng Bitcoin

Với những điều trên, tại sao đột nhiên lại có quá nhiều giải pháp Bitcoin “L2” mới?

Gần đây, chúng tôi đã quan sát thấy sự gia tăng đột biến các giải pháp Bitcoin “L2” (theo https://l2.watch/, đã có hơn 50!), tuy nhiên, cộng đồng đã khám phá các phương pháp tiếp cận khả năng mở rộng khác nhau trong nhiều năm:

1. Sidechains như Stacks cung cấp khả năng hợp đồng thông minh và nhiều ứng dụng. Mặc dù có cơ chế đồng thuận độc lập nhưng các cơ chế này đã gặp khó khăn để được chấp nhận rộng rãi.

2. Các dự án xác minh phía khách hàng như RGB sử dụng mô hình UTXO của mạng chính để thực hiện các giao dịch phức tạp hơn ngoài chuỗi, nhưng sự tương tác của họ với mạng chính Bitcoin thiếu ổn định.

3. Các kênh trạng thái như Lightning Network có liên quan chặt chẽ với các nhà phát triển cốt lõi của Bitcoin. Được coi là một phương pháp mở rộng chính thống hơn.

Giải pháp mở rộng BTC thế hệ đầu tiên

Các phương pháp mở rộng quy mô gần đây mang lại những điểm mới nào so với các giải pháp hiện có? Theo quan điểm của chúng tôi, những đổi mới thú vị nhất đến từ các chương trình mã hóa trên Bitcoin (thông qua BitVM) và đặt cược BTC một cách đáng tin cậy (ví dụ: Babylon). Bài viết này sẽ tập trung chủ yếu vào cái trước.

2. BitVM - Tổng quan

Để giải thích BitVM là gì, trước tiên chúng ta nên giới thiệu những gì đã cho phép và truyền cảm hứng cho BitVM Nguyên thủy - Nâng cấp Bitcoin Taproot.

Taproot là một bản nâng cấp lớn cho giao thức Bitcoin, được kích hoạt vào tháng 11 năm 2021. Với Taproot, hàm băm của tập lệnh cần được cam kết trên chuỗi theo mặc định. Khi một đường dẫn nhất định của tập lệnh được thực thi, chỉ tập lệnh trên đường dẫn đó mới được gửi tới chuỗi. Điều này không chỉ cải thiện hiệu quả (kích thước của giao dịch không tăng theo kích thước của tập lệnh) mà còn tăng cường quyền riêng tư (chỉ đường dẫn giao dịch được hiển thị chứ không phải toàn bộ tập lệnh).

Nhận thấy cơ hội to lớn được mở ra nhờ nâng cấp Taproot, Robin Linus đã đi tiên phong trong BitVM, một bước đột phá trong Đổi mới hệ sinh thái Bitcoin.

BitVM là một mô hình điện toán tận dụng các nâng cấp Taproot để tạo điều kiện triển khai biểu đồ trên Bitcoin mà không thay đổi các quy tắc đồng thuận của mạng. Hợp đồng hoàn chỉnh về mặt tinh thần. Nó cho phép xác minh (thay vì thực hiện) các phép tính, tương tự như Optimistic Rollups.

BitVM thực hiện điều này bằng cách gửi chương trình tới địa chỉ Taproot và bằng cách cho phép các tính toán phức tạp ngoài chuỗi (chỉ yêu cầu thực thi trên chuỗi khi xảy ra tranh chấp) để giảm thiểu dấu chân trên chuỗi.

Quy trình này bao gồm việc gửi mạch nhị phân của chương trình tại địa chỉ Taproot và xác minh nó bằng cơ chế phản hồi thử thách. Tóm lại, BitVM triển khai hợp đồng Bitcoin hoàn chỉnh Turing, quan trọng nhất là:

• BitVM không yêu cầu phân nhánh hoặc bất kỳ thay đổi nào đối với giao thức Bitcoin.

• BitVM sẽ không làm tắc nghẽn chuỗi khối Bitcoin vì các phép tính không được thực hiện trên Bitcoin, thay vào đó là mạng Bitcoin chỉ được sử dụng để xác minh khi xảy ra tranh chấp.

• 

Xây dựng mạch nhị phân trên Bitcoin

Xây dựng mạch nhị phân là một phương pháp biểu diễn các phép tính hoặc chương trình dưới dạng các cổng logic nhị phân (chẳng hạn như AND, OR, NOT), có khả năng thực hiện bất kỳ chức năng tính toán nào.

BitVM giống như một cổng logic truyền dòng điện qua chip máy tính (những cấu trúc nhỏ bé này xác định liệu tín hiệu có đi qua hay không dựa trên sự hiện diện hay vắng mặt của hiện tại, tức là bật hoặc tắt, bật hoặc tắt), được dịch sang ngôn ngữ Bitcoin.

Về cơ bản, bất kỳ chương trình máy tính nào, từ trò chơi cho đến hệ điều hành Linux hoàn chỉnh, đều là kết quả của sự sắp xếp phức tạp của các cổng logic này và về cơ bản tất cả những thứ kỹ thuật số đều là dựa trên số nhị phân - 0 và 1. Bằng cách kết hợp các số nhị phân này với các cổng logic như cổng AND và NOT, chúng ta tạo ra nhiều loại mạch khác nhau, bao gồm các đơn vị logic số học (ALU) và hệ thống bộ nhớ. Công nghệ cơ bản này cho phép chúng ta viết và thực thi các chương trình để thực hiện nhiều nhiệm vụ khác nhau.

 Nguồn: Bước qua cổng logic; Cổng logic cơ bản (F đại diện cho 0, T đại diện cho 1)

Tiền đề của BitVM là sử dụng Bitcoin Script để thực hiện cam kết tính toán ngoài chuỗi (gửi hàm băm được tính toán đến địa chỉ Taproot), thông qua Giải cấu trúc bất kỳ chương trình nào thành một tổ hợp các mạch nhị phân và cho phép xác minh thực thi bao gồm các tập lệnh Bitcoin, nhưng bản thân các tập lệnh không thực hiện toàn bộ logic tính toán.

Tập lệnh Bitcoin có thể thực hiện các cam kết giá trị bit, điều này rất hữu ích trong việc chứng minh và trừng phạt sự mập mờ >Hành vi này rất quan trọng. Nó thực hiện tính bất biến vì nó cho phép các cá nhân gửi các giá trị mà người khác không thể sửa đổi.

Phương pháp này liên quan đến việc sử dụng hai hàm băm để biểu thị mỗi bit đầu vào: một hàm băm cho số 0 và một hàm băm khác cho số 1. Khi ai đó muốn thực thi một chương trình, họ sẽ hiển thị một hình ảnh trước để cho biết đầu vào. Việc giá trị sẽ được chuyển đổi thành 0 hay 1 được xác định bằng cách so sánh giá trị băm của tiền ảnh với hai giá trị băm đại diện cho 0 và 1.

Nếu đầu vào và đầu ra không khớp nhau, người xác minh có quyền trừng phạt nhà cung cấp bằng cách tịch thu tiền của nhà cung cấp.

Cơ chế phản hồi thách thức

Việc xác minh thường được thực hiện< mạnh> >Ngoài chuỗiTiếp tục, lạc quan cho rằng người chứng minh là trung thực. Trong trường hợp xảy ra tranh chấp, quy trình sẽ chuyển sang chuỗi và vòng thử thách-phản hồi sẽ được bắt đầu. Cơ chế này đảm bảo rằng các tính toán và xác minh có thể được thực hiện hiệu quả và tiết kiệm chi phí trong hầu hết các trường hợp, với phán quyết cuối cùng chỉ tận dụng tính bất biến và minh bạch của chuỗi khối khi có bất đồng.

Tính năng động của cơ chế phản hồi-thách thức trong BitVM liên quan đến một hệ thống trong đó những người tham gia (như Vicky và Paul) tiến hành quy trình xác minh thông qua việc thực hiện các chương trình trên chuỗi khối. Khi tranh cãi nổ ra, Vicky thách thức Paul chứng minh việc thực hiện chương trình của anh là đúng đắn.

Vicky chọn một cổng logic từ mạch nhị phân và Paul mở cổng bằng cách tiết lộ đầu vào và đầu ra. Quá trình này lặp lại cho đến khi sự mơ hồ được xác nhận hoặc Vicky không còn khả năng gặp những thử thách tiếp theo. Sự mơ hồ có nghĩa là Paul tuyên bố rằng một đầu vào X nhất định là 0 khi một cổng logic được mở, nhưng là 1 khi một cổng logic khác được mở.

Paul cần bảo đảm bằng chứngvề khiếu nại của mình bằng cách gửi tiền đến địa chỉ phản hồi bằng giao dịch được ký trước. Các giao dịch này tạo ra một chuỗi cho phép tiền luân chuyển giữa các địa chỉ thách thức và phản hồi dựa trên các tương tác đang diễn ra.

Tiền từ địa chỉ phản hồi có thể chảy theo nhiều con đường tùy thuộc vào kết quả của thử thách:

• Nếu Vicky dừng thử thách, cho biết rằng cô ấy chấp nhận bằng chứng của Paul, thì cuối cùng Paul sẽ lấy lại được số tiền sau một khoảng thời gian nhất định.

• Nếu Vicky chứng minh được rằng Paul không nhất quán trong việc thi hành án (xảy ra sự mập mờ), cô ấy có thể yêu cầu số tiền này.

• Nếu Vicky nghi ngờ rằng một phần khác của quá trình thực thi là sai, cô ấy có thể thực hiện một thử thách khác để chuyển tiền đến địa chỉ phản hồi tiếp theo . Để làm được điều này, cô ấy phải tiết lộ hình ảnh sơ bộ của một tấm tapleaf cụ thể mà sau đó Paul cần sử dụng để mở khóa tiền và chứng minh tính đúng đắn của mình trong một thời gian giới hạn.

Hệ thống này cung cấp một khuôn khổ vững chắc và minh bạch để giải quyết các tranh chấp và xác minh việc thực hiện chương trình trên blockchain. Bằng cách kết hợp các ưu đãi tài chính, nó thúc đẩy tính đầy đủ và chính xác trong việc thực hiện và ghi lại kết quả của chương trình. Ban đầu, thiết kế hỗ trợ cơ chế đáp ứng thách thức hai bên. Tuy nhiên, như chúng tôi sẽ trình bày sau, những người đóng góp cho BitVM đã tìm ra giải pháp cho phép nhiều tác nhân tham gia với tư cách là người thách đấu.

Chia đôi: Nâng cao hiệu quả giải quyết tranh chấp

To nâng cao hiệu quả của việc xác minh trên chuỗi, người xác minh có thể tận dụng phép chia đôi, một phương pháp tìm kiếm hiệu quả trên các cổng logic được gửi trước để tìm các cổng logic cần được thử thách. Bằng cách chia đôi không gian vấn đề, việc phân vùng cho phép người xác thực nhanh chóng thu hẹp phạm vi lỗi tiềm ẩn, từ đó giảm các bước và thời gian cần thiết để giải quyết tranh chấp. Phương pháp này cung cấp một đường dẫn trực tiếp và hiệu quả hơn khi xử lý các quy trình xác minh phức tạp, đặc biệt khi vị trí lỗi cần được xác định chính xác.

Dưới đây, chúng tôi sử dụng một ví dụ đơn giản để minh họa cách hoạt động của phương pháp phân đoạn:

Paul và Vicky đang làm bài toán. Câu hỏi đặt ra là tính ((1+2)+(3+4))+((5+6)+(7+8)).

Quá trình hoàn thành phép tính này một cách chính xác là ((1+2)+(3+4))+((5+6)+(7+8 ) ) = (3+7)+(11+15) = 10+26 = 36.

Câu trả lời mà Paul đưa ra là 35, vì phương pháp tính toán của anh ấy là ((1+2)+(3+4))+((5+ 6)+ (7+8)) = (2+7)+(11+15) = 9+26 = 35.

Khi Vicky thách thức Paul, cô ấy chỉ phải thách thức phép tính liên quan đến phần đầu tiên của phép tính (tức là mở cổng logic) vì họ đồng ý rằng phần thứ hai của phép tính Chính xác là ((5+6)+(7+8)) = 26.

3. Sử dụng BitVM để xây dựng mức tối thiểu Trust Bridge (Cầu giảm thiểu độ tin cậy)

Triển khai thực tế đầu tiên của BitVM có thể là một chương trình đại diện cho Cầu Bitcoin có độ tin cậy tối thiểu. Bằng cách phân tích chi tiết triển khai của cây cầu, chúng ta có thể hiểu rõ hơn mức độ phức tạp bổ sung của việc triển khai chương trình BitVM. Dưới đây, chúng tôi tóm tắt đề xuất của người đồng sáng lập BoB Alexei Zamyatin.

Trước tiên, chúng ta cần tạo một phương thức cho phép các nút đầy đủ của Bitcoin vận hành chương trình cầu nối sidechain chỉ bằng cách sử dụng các tập lệnh Bitcoin, bao gồm cả phần cuối client nhẹ của sidechain.

Sau đó, một mạng liên kết/đa chữ ký (multi-sig) cần được thiết lập để tạo điều kiện thuận lợi cho việc chuyển giao và vận hành BTC Trò chơi phản ứng thử thách. Các liên minh phải cam kết chạy chương trình cầu nối như một phần của quá trình thiết lập BitVM.

Sự phức tạp của việc thiết lập ban đầu của liên minh tăng theo bậc hai theo số lượng thành viên, vì mỗi thành viên của liên minh phải tương tác với mọi thành viên khác , do đó quy mô của liên minh có một giới hạn trên nhất định và các nhà nghiên cứu suy đoán rằng N=100 là khả thi.

Không giống như OP Rollup, không có giới hạn về kích thước N, lược đồ này cung cấp các đảm bảo bảo mật yếu hơn. Tuy nhiên, giải pháp làm việc được đề xuất này rất có thể sẽ bao gồm việc luân chuyển các thành viên liên minh sao cho N sẽ lớn hơn 100 trong một khoảng thời gian dài hơn. Chỉ cần một trong 100 thành viên trung thực vào bất kỳ lúc nào thì số tiền gửi sẽ được giữ an toàn. Giả sử có những tác nhân độc hại, họ có thể bị thách thức bất cứ lúc nào trong chuỗi và nếu bị chứng minh là gian lận, họ có thể bị cấm tham gia liên minh.

Liên minh có một nhà điều hành (Người vận hành) bất cứ lúc nào chịu trách nhiệm quản lý tiền gửi và rút tiền cũng như xác minh trạng thái của chuỗi bên. Cả người điều hành và tháp canh đều được yêu cầu nộp tài sản thế chấp để khuyến khích hành vi đúng đắn và ngăn chặn những thách thức sai lầm.

Một lý do khác khiến giải pháp này không đáp ứng được định nghĩa chặt chẽ nhất về tích chập là người dùng không thể đơn phương thoát khỏi chuỗi bên mà phải gửi đến chuỗi bên dựa trên Giả định bảo mật 1/N. Liên minh điều hành yêu cầu rút tiền.

4. BitVM v2: BitVM có thể hỗ trợ xác minh không cần cấp phép (Xác minh không cần cấp phép) không?

Vào ngày 25 tháng 3, Robin Linus đã giới thiệu BitVM v2. Thay đổi quan trọng trong đề xuất BitVM v2 là người chứng minh cần gửi trạng thái đầu ra và tất cả các kết quả trung gian cùng một lúc, thay vì mở từng cổng logic trong quá trình xác minh thử thách như v1. Với thay đổi này, BitVM đảm bảo rằng mọi thách thức đối với những lời hứa này đều phải được hỗ trợ bằng bằng chứng mật mã. Cơ chế này lọc ra các thách thức spam không chính đáng vì người thách thức phải cung cấp bằng chứng mật mã cụ thể để tranh chấp người chứng minh.

Bằng cách cho phép tham gia không hạn chế vào quá trình xác minh và thử thách, BitVM 2 mở rộng các đảm bảo bảo mật vượt quá giới hạn của liên đoàn đa chữ ký và đưa BitVM đến gần hơn với sự lạc quan cho tích chập.

Tuy nhiên, việc xây dựng cây cầu vẫn cần được hỗ trợ bởi nhiều chữ ký của tập đoàn, điều đó có nghĩa là các thành viên của tập đoàn có thể gây ra vấn đề về sự sống, trong trường hợp xấu nhất, họ cố gắng đòi tiền chuộc của người dùng để giải phóng tiền của họ. Đây là một giả định an toàn bổ sung không tồn tại đối với các tích chập lạc quan, vì trong các tích chập lạc quan, người dùng có thể thoát ra L1 mà không cần bất kỳ sự chấp thuận trung gian nào.

Các giả định bảo mật bổ sung trên chuỗi cơ sở

5. Hạn chế của BitVM

Như chúng ta đã thảo luận ở trên, điều tốt nhất mà BitVM có thể cung cấp là gần với giả định an toàn về tích chập lạc quan. Ngoài sự phức tạp trong việc quản lý tập đoàn chịu trách nhiệm bảo hiểm tiền gửi và các vấn đề tồn tại của nó, một số vấn đề phức tạp khác chỉ có ở BitVM bao gồm:

• Mặc dù về mặt lý thuyết, BitVM có khả năng thực hiện các chương trình ngoài chuỗi phức tạp, nhưng trên thực tế, khi độ phức tạp của các chương trình ngoài chuỗi này tăng lên, phí liên quan đến việc thực hiện các bằng chứng gian lận trên Bitcoin sẽ tăng lên nhanh chóng. Các chương trình quá lớn có thể yêu cầu nhiều khối để thực thi, làm phức tạp thêm quy trình.

• Các nhóm khai thác có phần lớn sức mạnh tính toán có thể đánh cắp BitVM (tương tự như sự cố Lightning Network) vì chúng có thể thông đồng để kiểm duyệt Bằng chứng về người thách đấu hoặc những kẻ ác ý có thể mua chuộc họ để bỏ qua người thách thức.

• Do tính chất tương tác của bằng chứng BitVM, những kẻ chứng minh độc hại có thể thao túng hệ thống và đánh cắp từ những người xác thực. Cuộc tấn công có thể được xây dựng dựa trên các giả định sau:

• Người chứng minh bắt đầu trình tự xác minh bằng cách bắt đầu một giao dịch

• Người xác minh nghi ngờ tính hợp lệ của hành động của người chứng minh sẽ bắt đầu một thử thách bao gồm phí phản hồi được trả cho người chứng minh

• Lựa chọn nhà cung cấp Thu phí trong khi bỏ qua các thách thức và không hoàn thành vai trò của mình trong quá trình xác minh

• Cuối cùng , BitVM hiện là một khung khái niệm và một khái niệm máy tính ảo hầu như không thể thực hiện bất kỳ hoạt động nào. Sự "tích chập" của BitVM vẫn còn cách xa mức ứng dụng. Ước tính lạc quan là chúng ta có thể thấy một số chương trình BitVM được đưa vào sử dụng sớm nhất là vào năm 2025. Những rủi ro kỹ thuật khi triển khai BitVM cũng không thể được đánh giá thấp.

6. Kết luận

Xem xét việc mở rộng quy mô Ethereum Định giá của giải pháp hiện chiếm khoảng 15-20% vốn hóa thị trường của Ethereum – vốn hóa thị trường tiềm năng của các giải pháp lớp thứ hai của Bitcoin có thể rất lớn.

Mặc dù BitVM vẫn còn ở giai đoạn sơ khai—về cơ bản là một khái niệm máy tính ảo chưa hoàn thiện—nhưng nó đã thu hút rất nhiều sự quan tâm và thông báo từ nhiều dự án khác nhau, nhưng những dự án này rất háo hức để khai thác tiềm năng của nó. Nhiều dự án không liên kết với nhóm BitVM đang cố gắng đưa ra những thông báo lớn với hy vọng tạo ra một vị trí thích hợp trong những gì họ coi là biên giới mới đầy hứa hẹn cho Bitcoin. Tuy nhiên, xem xét kỹ hơn cho thấy một thực tế nghiêm túc hơn: Tài khoản GitHub của BitVM chỉ có một số ít người đóng góp và chỉ một số dự án Bitcoin ‘L2’ thực sự tham gia vào nhóm Telegram của BitVM Builders.

Một nguyên tắc quan trọng mà bất kỳ giải pháp mở rộng quy mô nào cho Bitcoin đều phải tuân thủ là kiến ​​trúc cốt lõi của Bitcoin phải không thay đổi (xét về nguyên tắc tình dục có thể dự đoán được). BitVM tuân thủ nguyên tắc này và trở thành giải pháp tiên phong đầu tiên cung cấp lớp lập trình trên Bitcoin mà không thay đổi lõi của nó.

Bài viết này được viết trong giai đoạn đầu phát triển của BitVM và do sự phát triển nhanh chóng của nó nên thông tin ở đây có thể sớm trở nên lỗi thời. Ví dụ: cho đến gần đây, ý tưởng triển khai các phép tích chập ZK trên Bitcoin dường như giống như một lâu đài trên không vì các khả năng cơ bản cần thiết—chẳng hạn như khả năng xác minh bằng chứng ZK của Bitcoin—không tồn tại. Tuy nhiên, gần đây các nhà nghiên cứu BitVM đã chia sẻ những tiến bộ trong tập lệnh Bitcoin có thể dẫn đến việc triển khai trình xác thực STARK trên Bitcoin.

Việc triển khai giải pháp mở rộng quy mô Bitcoin vượt xa những thách thức thuần túy về mặt kỹ thuật; nó bao gồm các yếu tố như hỗ trợ cộng đồng, trải nghiệm người dùng và thời gian. Mặc dù thời điểm hiện tại mang đến cơ hội duy nhất cho những đổi mới này, nhưng tình trạng lạm phát nhanh chóng về số lượng dự án và những rủi ro đáng kể do các tuyên bố và hoạt động tiếp thị sai lệch gây ra có thể làm suy yếu triển vọng của các dự án hợp pháp hơn.

Với hệ sinh thái đang đứng ở ngã ba đường này, câu hỏi liệu các giải pháp mở rộng quy mô Bitcoin có thể tái tạo thành công của Ethereum không chỉ mang tính kỹ thuật mà còn bắt nguồn sâu sắc từ động lực rộng lớn hơn của chuỗi khối cộng đồng. Rốt cuộc, cộng đồng Ethereum cốt lõi đã chọn L2 làm một phần quan trọng trong lộ trình mở rộng quy mô của Ethereum, trong khi cộng đồng Bitcoin vẫn chưa thể nói điều tương tự.

Tham khảo

• "Bitcoin Audible." Truy cập ngày 26 tháng 2 năm 2024.https://pod.link/1359544516/episode/413027f0bdb982a8593d50f4466930f5.

• "BitVM." Truy cập ngày 26 tháng 2 năm 2024.https://www.bitcoinrollups.io/bitvm.

• "BitVM: Uma Ferramente Para Contratos Ainda Mais Inteligentes - Super Testnet - Satsconf 2023 - YouTube." Truy cập ngày 26 tháng 2 năm 2024. https://www.youtube.com/watch?v=iEM_txmJYxA.

• Linus, Robin. “BitVM: Tính toán mọi thứ trên Bitcoin,” n.d.

• "BitVM là gì? Với Robin Linus và Super Testnet (SLP520) - YouTube." Truy cập ngày 26 tháng 2 năm 2024. https://www.youtube.com/watch?v=XxqQU6j6jI8.

• Đi sâu vào BitVM -Mô hình điện toán để thể hiện các hợp đồng Bitcoin hoàn chỉnh Turing. https://medium.com/crypto -garage/deep-dive-into-bitvm-computing-paradigm-to-express-turing-complete-bitcoin-contracts-1c6cb05edfca

• Tổ chức CoinEx: BitVM, Tiềm năng của Hợp đồng thông minh trên Mainnet Bitcoin https://www.business-standard.com/content/press-releases-ani/coinex-institution-bitvm-the-potential-of-smart- hợp đồng trên bitcoin-mainnet-123122500619_1.html