IOSG Ventures: Giải thích chi tiết về BitVM, buổi bình minh của khả năng lập trình Bitcoin
Tác giả gốc: IOSG Ventures
*Lời cảm ơn: Cảm ơn Momir và Xinshu vì những sửa đổi có giá trị của họ cho bài viết.
TL;DR
Những thay đổi đối với Bitcoin Core thường gặp phải sự 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 yêu cầu thay đổi chính chuỗi Bitcoin. Gần đây chúng ta đã chứng kiến sự 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ợ gần với các giả định bảo mật loại OP-Rollup (mặc dù có một số cân nhắc 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ự khác biệt so với các dự án “được tiếp thị quá mức” khác.
Bitcoin được xây dựng như một chuỗi khối giao dịch và ngôn ngữ kịch bản của nó được cố tình 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 đã chống lại sự thay đổi vì những lý do sau:
Câu chuyện tập trung nhiều hơn vào một kho lưu trữ giá trị hơn là một loại tiền tệ lưu hành: cộng đồng Bitcoin cố tình tập trung vào việc duy trì mạng như một hệ thống thanh toán ngang hàng, ưu tiên bảo mật 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 sử dụng một phần nhỏ của tòa nhà trên Đại lộ số 5 để mua một tách cà phê.” 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ị công cụ thay vì tiền tệ hàng ngày.
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, 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ẽ dẫn đến các sự kiện lớn một cách tình cờ.” Do đó, mục tiêu của cộng đồng Bitcoin luôn là giảm số lượng lỗi tiềm ẩn .
Cộng đồng đa dạng: Nhiều người nắm giữ Bitcoin hiểu Bitcoin từ những quan điểm khác nhau và đánh giá nó vì những lý do khác nhau. Đạ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 hồi 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 các kế hoạch mở rộng Bitcoin
Với những điều trên, tại sao đột nhiên có rất 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 nhanh chóng của các giải pháp Bitcoin “L2” (đã có hơn 50 giải pháp theo https://l2.watch/!), tuy nhiên, cộng đồng đã khám phá các phương pháp mở rộng khác nhau trong nhiều năm:
Các sidechain như Stacks cung cấp khả năng hợp đồng thông minh và nhiều ứng dụng, nhưng mặc dù chúng có cơ chế đồng thuận độc lập nhưng các cơ chế này đã phải vật lộn để đạt được sự chấp nhận rộng rãi.
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 cho các giao dịch phức tạp hơn ngoài chuỗi, nhưng tương tác của chúng với mạng chính Bitcoin thiếu ổn định.
Các kênh trạng thái như Lightning Network, được liên kết chặt chẽ với các nhà phát triển Bitcoin cốt lõi, được coi là một phương pháp mở rộng quy mô 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 Nguyên thủy kích hoạt và truyền cảm hứng cho nó - bản nâng cấp Bitcoin Taproot.
Taproot là 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ờ các bản nâng cấp Taproot, Robin Linus đã đi tiên phong trong BitVM, một sự đổi mới mang tính đột phá trong 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 thuận lợi cho việc triển khai các hợp đồng hoàn chỉnh Turing trên Bitcoin mà không thay đổi các quy tắc đồng thuận của mạng. 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 giảm thiểu dấu chân trên chuỗi bằng cách gửi chương trình đến địa chỉ Taproot đồng thời 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 trong trường hợp có tranh chấp.
Quá 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 thực hiện 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 không làm tắc nghẽn chuỗi khối Bitcoin vì các tính toán không được thực hiện trên Bitcoin mà chỉ được xác minh bằng mạng Bitcoin trong trường hợp có tranh chấp (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 tính toán hoặc chương trình bằ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ư dịch mô phỏng phức tạp của dòng điện chạy qua các cổng logic của chip máy tính (những cấu trúc nhỏ này xác định xem tín hiệu truyền, bật hay tắt, bật hay tắt, tùy thuộc vào sự hiện diện hay vắng mặt của điện), sang ngôn ngữ của Bitcoin .
Về cơ bản, bất kỳ chương trình máy tính nào, từ trò chơi đến hệ điều hành Linux đầy đủ, đề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à tất cả những thứ kỹ thuật số về cơ bản đều 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ác cổng logic cơ bản (F tượng trưng cho 0, T tượng trưng cho 1)
Tiền đề của BitVM là sử dụng Bitcoin Script để thực hiện các tính toán ngoài chuỗi (gửi hàm băm được tính toán đến địa chỉ Taproot) bằng cách giải cấu trúc bất kỳ chương trình nào thành tổ hợp các mạch nhị phân và cho phép xác minh thực thi. bản thân tập lệnh không thực thi toàn bộ logic tính toán.
Bitcoin Script thực hiện các cam kết giá trị bit, điều này rất quan trọng để có thể chứng minh và trừng phạt sự không rõ rà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 giá trị băm để biểu thị mỗi bit đầu vào: một giá trị băm cho số 0 và một giá trị 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 nhận 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 ngoài chuỗi, với giả định lạc quan rằng người chứng minh là trung thực. Trong trường hợp có 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.
Động lực 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) trải qua quá trình xác minh thông qua việc thực thi các chương trình trên blockchain. 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 mở, nhưng là 1 khi một cổng logic khác mở.
Paul cần đảm bảo bằng chứng cho yêu cầu của mình bằng cách gửi tiền vào địa chỉ phản hồi bằng cách sử dụ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 đường tùy thuộc vào kết quả của thử thách:
Nếu Vicky dừng thử thách, thể hiện sự 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 hành quyết (xảy ra sự lập lờ), cô ấy có thể yêu cầu số tiền đó.
Nếu Vicky nghi ngờ có sai sót trong một phần khác của quá trình thực thi, 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 tranh chấp và thực hiện quy trình xác minh 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.
Phân đôi: Nâng cao hiệu quả giải quyết tranh chấp
Để 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 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 một bài toán. Câu hỏi đặt ra là tính (( 1+ 2)+( 3+ 4))+(( 5+ 6)+( 7+ 8)).
Cách đúng để hoàn thành phép tính này 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 là chính xác (( 5+ 6)+( 7+ 8) ) = 26 .
3. Sử dụng BitVM để xây dựng cầu nối tin cậy tối thiểu (Trust-Minimized Bridge)
Việc triển khai thực tế đầu tiên của BitVM có thể sẽ là một chương trình đại diện cho cầu nối 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.
Đầu tiên, cần phải 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ả ứng dụng khách nhẹ sidechain.
Sau đó, cần phải thiết lập một liên đoàn/mạng đa chữ ký để tạo điều kiện thuận lợi cho việc chuyển BTC và chạy các trò chơi phản hồi 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.
Độ phức tạp của việc thiết lập ban đầu của liên minh tăng theo hàm bậc hai với số lượng thành viên, bởi 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 đó có một giới hạn trên nhất định đối với quy mô của liên minh 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 của N, sơ đồ 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. Miễn là một trong 100 thành viên trung thực bất cứ lúc nào thì số tiền gửi vẫn 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.
Bất cứ lúc nào, liên minh đều có một nhà điều hành (Người vận hành) 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 sidechain. 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 sơ đồ này không đáp ứng đị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 sidechain mà phải yêu cầu rút tiền khỏi tập đoàn hoạt động dựa trên giả định bảo mật 1/N.
4. BitVM v2: BitVM có thể hỗ trợ xác minh không cần xin phép (Permisionless Verification) 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 các cam kết 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 của mình vượt ra ngoài các giới hạn của liên đoàn đa chữ ký và đưa BitVM đến gần hơn với các giả định bảo mật của tích chập lạc quan.
Tuy nhiên, cây cầu vẫn cần được tạo điều kiện thuận lợi bởi nhiều chữ ký của tập đoàn, có nghĩa là các thành viên của tập đoàn có thể gây ra các vấn đề về tính sống động và trong trường hợp xấu nhất, cố gắng bắt người dùng phải trả tiền chuộc để 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ể đưa ra là một giả định an toàn gần với 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ó đa số hashrate có thể đánh cắp BitVM (tương tự như vấn đề với Lightning Network) vì họ có thể thông đồng để kiểm duyệt bằng chứng của người thách thức hoặc các tác nhân độc hại có thể hối lộ họ để bỏ qua những người thách thức.
Do tính chất tương tác của các 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
Người chứng minh chọn thu phí trong khi bỏ qua thử thách 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ể làm được gì. 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. Không thể đánh giá thấp những rủi ro kỹ thuật khi triển khai BitVM.
6 Kết luận
Xem xét việc định giá các giải pháp mở rộng quy mô Ethereum, 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 mong muốn 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 gấp rút đư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 (theo Nguyên tắc có thể dự đoán). BitVM tuân theo 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ể nhanh chóng 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.
Khi hệ sinh thái đang đứng ở ngã ba đường này, câu hỏi về việc 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 xa từ động lực rộng lớn hơn của cộng đồng blockchain. 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ự.
