Tác giả gốc:Jaleel，BlockBeats

Trong cơ sở mã Bitcoin, một opcode OP_CAT từng bị Satoshi Nakamoto xóa và bị phủ bụi trong lịch sử có thể được hồi sinh.

Tập trung vào mã hoạt động OP_CAT, dự án Taproot Wizards của Bitcoin NFT đã tung ra một loạt Mèo lượng tử NFT mới, gây ra các cuộc thảo luận sôi nổi trong cộng đồng. Mặc dù cái tên OP_CAT không ám chỉ đến “con mèo” mà chúng ta quen thuộc nhưng Taproot Wizard đã sử dụng hình ảnh những chú mèo để bán một NFT mới mang tên Quantum Cats, sử dụng văn hóa meme để giúp OP_CAT tạo đà phát triển. Bài đọc liên quan:Bitcoin “Mèo lượng tử”: Không có hợp đồng thông minh, làm sao các dòng chữ có thể thay đổi linh hoạt?》

OP_CAT, opcode này từng bị Satoshi Nakamoto loại bỏ khỏi ngôn ngữ kịch bản Bitcoin, hiện đã được đưa trở lại bàn thảo luận. Một số nhà phát triển Bitcoin muốn hồi sinh opcode này và sử dụng phần mềm mã 13 dòng Fork đã mở đường cho cách để Bitcoin thực hiện hợp đồng thông minh. Được thúc đẩy bởi các nhà phát triển Bitcoin và hình ảnh meme mèo, mức độ phổ biến và thảo luận về OP_CAT đã đạt đến một tầm cao mới.

Opcode Resurrection bị xóa bởi Satoshi Nakamoto

Opcode, còn được gọi là hướng dẫn hoặc chức năng, là các yếu tố cơ bản tạo nên ngôn ngữ kịch bản Bitcoin. Trong lịch sử, một số opcode đã bị xóa khỏi các phiên bản Bitcoin trước đó do lo ngại về các lỗ hổng có thể xảy ra trong quá trình triển khai ứng dụng khách và opcode OP_CAT là một trong số đó.

OP_CAT ban đầu là một phần của bộ lệnh Bitcoin chính thức và cho phép thực hiện các thao tác nối chuỗi, ghép hai phần tử thành một. Nhưng vì các lỗ hổng nghiêm trọng được tìm thấy trong các opcode như OP_LSHIFT có thể khiến bất kỳ nút Bitcoin nào gặp sự cố và có lo ngại rằng opcode OP_CAT có thể khiến các phần tử ngăn xếp tăng theo cấp số nhân, điều này có thể khiến mức sử dụng bộ nhớ tăng theo cấp số nhân với kích thước tập lệnh.

Do đó, vì thận trọng, Satoshi Nakamoto đã loại bỏ OP_CAT vào ngày 15 tháng 8 năm 2010. Các opcode bị loại bỏ này thường được gọi là bị cấm, nhưng điều này không chính xác vì chúng bị xóa hoàn toàn khỏi giao thức, khiến bất kỳ ai sử dụng Bitcoin đều không thể sử dụng được chúng.

Vào tháng 10 năm 2023, nhà phát triển Bitcoin Core Ethan Heilman và kỹ sư phần mềm trưởng Armin Sabouri của Botanix Labs đã cùng nhau đưa ra bản dự thảo Đề xuất cải tiến Bitcoin (BIP) có tên là “OP_CAT”, đưa cuộc thảo luận này lên một tầm cao mới.

Bản dự thảo này chỉ chứa 13 dòng mã ngắn gọn nhưng mang các thuộc tính chức năng rõ ràng và trực quan, xác định một mã opscript tapscript mới cho phép ghép hai giá trị trên ngăn xếp. Việc triển khai mã này rõ ràng được lấy cảm hứng từ OP_CAT đã bị xóa ban đầu.

Điều kiện để “hồi sinh” đã được đáp ứng

Về lý do tại sao một opcode đã bị Satoshi Nakamoto xóa hiện được các nhà phát triển hy vọng sẽ được khôi phục, phần động lực của bản dự thảo BIP này cung cấp một số giải thích chi tiết: Điều này chủ yếu dựa trên những cân nhắc về việc sử dụng bộ nhớ. với kích thước của chính tập lệnh. Cụ thể, một tập lệnh đơn giản chỉ cần đẩy một giá trị 1 byte lên ngăn xếp, sao chép nó bằng opcode OP_DUP và ghép nó 40 lần với opcode OP_CAT có thể khiến giá trị ngăn xếp tăng vọt lên hơn 1 TB trên quy mô lớn.

Tuy nhiên, theo thời gian và công nghệ phát triển, vấn đề này không còn là trở ngại nữa. Theo kiến ​​trúc tapscript, một quy tắc rõ ràng được đưa ra là kích thước phần tử ngăn xếp tối đa bị giới hạn nghiêm ngặt ở 520 byte. Thay đổi này giải quyết một cách hiệu quả các vấn đề sử dụng bộ nhớ mà OP_CAT có thể gây ra, mang lại khả năng hồi sinh và tích hợp.

Có thể thấy, OP_CAT một lần nữa đang được thảo luận và cân nhắc để nối lại, chủ yếu là do giá trị tiềm năng của nó trong việc xây dựng các tập lệnh phức tạp và mạnh mẽ hơn. Ngoài ra, một số nguyên nhân, biến đổi đã đáp ứng đủ điều kiện để “hồi sinh” gồm:

1. Nhu cầu về các hợp đồng và giao thức thông minh tiên tiến: Khi hệ sinh thái Bitcoin phát triển, nhu cầu về các hợp đồng và giao thức thông minh phức tạp và tiên tiến hơn cũng tăng lên. OP_CAT tăng tính biểu cảm và sức mạnh của tapscript bằng cách cho phép kết hợp các đối tượng trên ngăn xếp. Ví dụ: nó có thể được sử dụng để xây dựng và đánh giá cây Merkle và các cấu trúc dữ liệu băm khác, các chức năng hỗ trợ như chữ ký cây, chữ ký Lamport sau lượng tử, hợp đồng không thoái thác và kho tiền.

2. Các trường hợp thành công trên các chuỗi khác: Một số nhánh Bitcoin, chẳng hạn như Bitcoin Cash và sidechain Liquid, đã kích hoạt lại OP_CAT và sử dụng nó để triển khai việc tạo và quản lý mã thông báo, kênh thanh toán cũng như cách nhúng và truy xuất dữ liệu trong vùng A chuỗi khối. Điều này chứng tỏ rằng OP_CAT có thể được sử dụng an toàn và hiệu quả trong những hoàn cảnh và ràng buộc thích hợp.

3. Khám phá bảo mật lượng tử: Một số nghiên cứu đã đề xuất rằng nếu có thể sử dụng các hoạt động như OP_CAT, kết hợp với các công nghệ như chữ ký Lamport, thì có thể xây dựng các giao thức và giao dịch Bitcoin an toàn lượng tử. Việc khám phá này có giá trị tiềm năng trong việc cải thiện tính bảo mật trong tương lai của hệ thống Bitcoin.

4. Phát triển cộng đồng và công nghệ: Sự phát triển không ngừng của cộng đồng và công nghệ Bitcoin khiến mọi người phải xem xét lại và đánh giá các quyết định trước đó. Khi giao thức Bitcoin được hiểu rõ hơn và các công nghệ mới xuất hiện, các tính năng trước đây được coi là có vấn đề hoặc không thể áp dụng có thể tìm thấy các ứng dụng an toàn và hữu ích trong bối cảnh mới.

Nĩa mềm, nói dễ hơn làm

Ở cấp độ kỹ thuật, rất ít đề xuất Bitcoin khác dễ giải mã và dễ hiểu như OP_CAT. Nhưng opcode OP_CAT sẽ được kích hoạt thông qua một soft fork xác định lại opcode OP_SUCCESS 126, đây rõ ràng không phải là một nhiệm vụ dễ dàng.

Nhìn lại đợt soft fork gần đây nhất của Bitcoin, diễn ra cách đây ba năm, nó đã giúp mở đường cho sự ra đời của Ordinals nhờ sự kích hoạt của Taproot.

Cộng đồng Bitcoin rất coi trọng sự đồng thuận và minh bạch, đồng thời mọi thay đổi lớn về mã sẽ được thảo luận và xem xét rộng rãi trong cộng đồng, bao gồm cả các soft fork. Để một đoạn mã được sáp nhập vào cơ sở mã Bitcoin, nó cần phải trải qua một quy trình nghiêm ngặt và chi tiết, đảm bảo chất lượng đề xuất và sự đồng thuận của cộng đồng. Dưới đây là các bước chính của quá trình này:

1. Viết đề xuất và mã: Đầu tiên, nhà phát triển cần viết một tài liệu đề xuất chi tiết. Tài liệu này cần mô tả rõ ràng động lực của đề xuất, chi tiết kỹ thuật, đánh giá tác động và mọi vấn đề hoặc thách thức tiềm ẩn.

2. Thảo luận cộng đồng: Sau khi đề xuất mã được gửi tới cộng đồng Bitcoin, các thành viên cộng đồng (bao gồm nhà phát triển, thợ mỏ, nhà đầu tư và người dùng) sẽ thảo luận và xem xét nó. Giai đoạn này là chìa khóa để đảm bảo tính khả thi của đề xuất và thu thập phản hồi.

3. Sửa đổi và cải tiến: Dựa trên phản hồi từ cộng đồng, tác giả mã có thể cần sửa đổi và cải thiện đề xuất.

4. Bỏ phiếu và đạt được sự đồng thuận: Đối với một số cải tiến quan trọng (đặc biệt là những cải tiến liên quan đến những thay đổi đối với chính giao thức Bitcoin), các thành viên cộng đồng cần đạt được một mức độ đồng thuận nhất định. Điều này thường liên quan đến sự hỗ trợ từ các thợ mỏ, những người cần thể hiện sự ủng hộ của họ đối với đề xuất bằng cách đưa tín hiệu cụ thể vào các khối mà họ khai thác.

5. Triển khai mã: Sau khi đạt được sự đồng thuận, mã sẽ được nhóm nhà phát triển Bitcoin Core xem xét. Bước này là cần thiết để đảm bảo chất lượng và tính bảo mật của mã.

6. Hợp nhất vào cơ sở mã: Sau khi vượt qua quá trình đánh giá, mã sẽ được hợp nhất vào cơ sở mã chính thức của Bitcoin.

7. Triển khai và kích hoạt: Cuối cùng, mã mới cần được các thợ mỏ và nhà khai thác nút triển khai vào hệ thống của họ. Đối với các thay đổi ở cấp độ giao thức, thường có ngưỡng kích hoạt và các cải tiến sẽ chỉ có hiệu lực khi có đủ người tham gia mạng nâng cấp lên phiên bản mới.

Rõ ràng, việc triển khai soft fork OP_CAT vẫn còn ở giai đoạn rất sớm. Chưa đầy bốn tháng trôi qua kể từ khi dự thảo BIP được viết. Số BIP vẫn chưa được xác định. Nó vẫn đang trong giai đoạn đầu viết đề xuất và mã và giai đoạn thứ 3. Giai đoạn thứ hai bao gồm các phiên thảo luận cộng đồng có sự tham gia của nhà phát triển và người dùng.

Các nhà phát triển Bitcoin nói gì

Trước tiên chúng ta hãy đặc biệt chú ý đến cuộc thảo luận về OP_CAT của các nhà phát triển Bitcoin trong những năm gần đây.

Mặc dù opcode OP_CAT đã bị xóa nhưng tiện ích tiềm năng của OP_CAT trong việc tạo điều kiện thuận lợi cho các hợp đồng nâng cao và nâng cao ngôn ngữ tập lệnh Bitcoin đã được thảo luận nhiều lần giữa các nhà phát triển. Ví dụ: khả năng ghép các giá trị ngăn xếp của nó được coi là trở ngại cho sự phát triển của một số giao thức Bitcoin, chẳng hạn như TumbleBit, giao thức có quy mô giao dịch có thể giảm đáng kể nếu OP_CAT được hỗ trợ.

Sau khi thu thập các bản tin Optech và nhiều nội dung liên quan khác nhau, sau đây là tập hợp các cuộc thảo luận theo trình tự thời gian về opcode OP_CAT của một số nhà phát triển Bitcoin.

2019

Ethan Heilman, một trong những người khởi xướng dự thảo Đề xuất cải tiến Bitcoin (BIP) OP_CAT này, vào tháng 10 năm 2019Chỉ trong thưAnh ấy bày tỏ rằng anh ấy hiểu lý do tại sao nó bị xóa - bởi vì tình huống mà tập lệnh phải đối mặt vào thời điểm đó là cực kỳ nghiêm trọng, nhưng anh ấy nhấn mạnh rằng OP_CAT là một opcode, giá trị của nó không thể bỏ qua: Hầu hết các giao thức hiện đang cố gắng xây dựng trên Bitcoin đều gặp phải Một hạn chế: các giá trị ngăn xếp không thể được nối. Là một nhà nghiên cứu, nếu tôi gặp phải hạn chế này thì có khả năng cản trở tiến trình của những người khác. Nếu tôi có thể vẫy cây đũa phép và kích hoạt lại một trong các opcode bị vô hiệu hóa, tôi OP_CAT sẽ được chọn. Tất nhiên, điều này sẽ đi kèm với một điều kiện: kích thước của mỗi giá trị được nối phải được giới hạn ở mức 64 byte trở xuống.

Về cuộc thảo luận về OP_CAT, Andrew Poelstra là một người không bao giờ có thể bỏ qua. Ông đã viết một bài báo vào ngày 30 tháng 1 năm 2021 với tiêu đề CAT and Schnorr Tricks IBài viết đã gây ra một cuộc thảo luận về OP_CAT. Andrew Poelstra là Giám đốc nghiên cứu của Blockstream và là nhà phát triển viết kịch bản mã hóa Bitcoin cấp cao. Ảnh hưởng của ông trong ngành là hiển nhiên.

Trong bài viết, Andrew Poelstra giới thiệu: OP_CAT giúp kết hợp hai phần tử trong ngăn xếp và đẩy kết quả tổng hợp trở lại ngăn xếp. Hàm này có thể dùng để tập hợp nhiều phần tử nhỏ thành một phần tử lớn hoặc để tập hợp một phần tử lớn. Các phần tử được phân tách thành nhiều phần tử nhỏ. CHECKSIGFROMSTACK (CSFS) là một opcode chưa từng thấy trong Bitcoin. Nó cho phép người dùng thực hiện xác minh chữ ký trên dữ liệu tùy ý, không giống như opcode CHECKSIG chỉ có thể xác minh chữ ký giao dịch. ”

Quan trọng hơn, ông chỉ ra rằng việc sử dụng OP_CAT kết hợp với CHECKSIGFROMSTACK cung cấp một phương pháp xem xét nội tâm giao dịch thông minh.

Lưu ý: Việc xem xét nội tâm giao dịch đề cập đến khả năng kiểm tra và phân tích các thành phần khác nhau của chính giao dịch trong các tập lệnh Bitcoin. Nói một cách đơn giản, nó cho phép tập lệnh “hiểu” và xử lý các chi tiết của giao dịch mà nó đang xử lý, chẳng hạn như kiểm tra nội dung đầu ra, số tiền hoặc chữ ký cụ thể của giao dịch. Bằng cách này, tập lệnh có thể phản hồi thông minh và chi tiết hơn dựa trên các chi tiết cụ thể của giao dịch.

Bằng cách này, người dùng cung cấp dữ liệu cho toàn bộ giao dịch trên ngăn xếp và tập lệnh sử dụng OP_CAT để đóng gói dữ liệu này thành một mục duy nhất, băm nó và chuyển nó tới CHECKSIGFROMSTACK để xác minh chữ ký trên dữ liệu. Tiếp theo, nó chuyển chữ ký và khóa tương tự tới CHECKSIG. Nếu cả hai lần xác minh đều vượt qua, điều đó có nghĩa là dữ liệu giao dịch do người dùng cung cấp thực sự là dữ liệu giao dịch thực. Bằng cách này, tập lệnh có thể trực tiếp tận dụng dữ liệu này để thực hiện bất kỳ hoạt động kiểm tra nào theo yêu cầu của hợp đồng.

Ảnh hưởng của Andrew Poelstra và ý tưởng của bài viết này đã thu hút sự chú ý của các nhà phát triển Bitcoin và các cuộc họp trong tuần đó, một cuộc thảo luận về cách kết hợp các opcode và những thay đổi nhỏ đối với ngôn ngữ tập lệnh có thể cải thiện khi kích hoạt taproot. Đã có nhiều cuộc thảo luận về tính linh hoạt của hợp đồng.

khoảng cáchCAT and Schnorr Tricks IKhoảng hai tuần sau khi phát hành CAT and Schnorr Tricks II”, trong đó Andrew Poelstra kể lại chi tiết hơn và suy nghĩ của mình:

Vào tháng 5 năm 2019, nhà phát triển Bitcoin Jeremy Rubin đã đề xuất opcode CHECKOUTPUTSHVERIFY của Bitcoin với mục đích triển khai hợp đồng thông minh cơ bản và có giới hạn, tránh các rủi ro kỹ thuật và xã hội trong các thiết kế hợp đồng thông minh trước đây. Mã hoạt động này sau đó đã được thay thế bằng SECURETHEBAG và sau đó là CHECKTEMPLATEVERIFY, chính thức trở thành Đề xuất cải tiến Bitcoin BIP 0119 vào tháng 1 năm 2020.

Trong khi đó, Russell OConnor đề xuất bổ sung trực tiếp các mã CHECKSIGFROMSTACK và OP_CAT vào Bitcoin để hỗ trợ các hợp đồng thông minh không tuân theo đề xuất của Rubin. Mặc dù đề xuất này đã gặp phải một số phản đối và cuộc thảo luận cuối cùng đã suy yếu, chủ yếu là do sự kém hiệu quả của hợp đồng thông minh loại CAT+CHECKSIG và nhận thức tiêu cực lâu nay về hợp đồng thông minh phổ quát toàn diện.

Andrew Poelstra ban đầu cũng miễn cưỡng hỗ trợ cái gọi là chức năng hợp đồng thông minh trong Bitcoin. Tuy nhiên, vào mùa thu năm 2019, cuộc trò chuyện cá nhân với Ethan Heilman đã khiến anh thay đổi quyết định. Ethan Heilman đã chỉ ra rằng bất chấp những lo ngại, các hợp đồng thông minh được coi là có hại thực sự có thể được thực hiện thông qua CHECKMULTISIG và những hợp đồng như vậy không thực sự được ví và người dùng chấp nhận do thiếu sự công nhận và khả năng sử dụng. Để chứng minh điều này, Ethan Heilman đã đưa ra một thử thách trên mạng xã hội nhằm khuyến khích mọi người nghĩ ra những hợp đồng thông minh “đen tối” khả thi, nhưng cho đến nay vẫn chưa có ai thành công.

Vì vậy, Andrew Poelstra chuyển sang nghĩ rằng nỗi sợ hãi của mọi người về hợp đồng thông minh có thể đã bị phóng đại. Bài báo cũng đề xuất rằng, ngay cả khi có những lo ngại, hợp đồng thông minh là không thể tránh khỏi trong quá trình phát triển Bitcoin và khuyến khích tiếp tục khám phá khả năng tạo hợp đồng thông minh bằng cách sử dụng opcode không cụ thể OP_CAT.

2021

Tiếp theo là bài viết của Jeremy Rubin vào ngày 6 tháng 7 năm 2021, giải thích OP_CAT từ góc độ bảo mật lượng tử Bitcoin. Jeremy Rubin không chỉ là nhà phát triển Bitcoin mà còn là người sáng lập Judica, một tổ chức RD Bitcoin tập trung phát triển Sapio, ngôn ngữ lập trình hợp đồng thông minh của Bitcoin.

hiện hữuthưVàbài viết trên blog, Jeremy Rubin thảo luận cách tận dụng opcode OP_CAT và chữ ký Lamport để xác minh lượng tử Bitcoin. Lần đầu tiên tác giả xem lại một bài đăng trên blog trước đó mô tả cách đăng ký giá trị 5 byte bằng cách sử dụng số học tập lệnh Bitcoin và chữ ký Lamport. Mặc dù phương pháp này gọn gàng nhưng nó có những hạn chế. Jeremy Rubin nảy ra một ý tưởng: Điều gì sẽ xảy ra nếu chúng ta có thể ký những tin nhắn dài hơn? Đặc biệt nếu chúng tôi có thể đăng ký tối đa 20 byte, chúng tôi có thể ký thông báo HASH 160 có thể an toàn lượng tử.

Bài viết của Jeremy Rubin khám phá thêm ý nghĩa của chữ ký tóm tắt HASH 160 và giải thích khả năng máy tính lượng tử phá vỡ ECDSA chỉ để tiết lộ khóa riêng mà không thay đổi nội dung chữ ký thực tế. Để đạt được mục tiêu này, tác giả đã tham khảo ý kiến ​​​​của nhà mật mã học Madars Virza và nhận được câu trả lời tích cực.

Jeremy Rubin chỉ ra rằng nếu chúng ta yêu cầu chữ ký ECDSA được ký bằng thuật toán chữ ký chứng minh lượng tử, chúng ta có thể có Bitcoin chứng minh lượng tử. Sơ đồ chữ ký 5 byte được thảo luận trước đây thực sự là chữ ký Lamport an toàn lượng tử. Thật không may, phương pháp này yêu cầu ít nhất 20 byte liên tiếp.

Do đó, Jeremy Rubin đề xuất rằng cần có thứ gì đó tương tự như OP_CAT. Bài viết giải thích rằng OP_CAT không thể soft-fork trực tiếp sang Segwit v 0 vì nó sẽ sửa đổi ngăn xếp. Vì vậy, để đơn giản hóa, tác giả chỉ ra cách sử dụng opcode mới, OP_SUBTRINGEQUALVERIFY, để kiểm tra xem một phần của chuỗi có bằng nhau thông qua ngữ nghĩa xác thực hay không.

Ngày 5 tháng 11 năm 2021 lúcHội nghị Bitcoin AtlantaCác diễn giả Jeremy Rubin và Andrew Poelstra đã thảo luận về đề xuất kích hoạt lại opcode OP_CAT, cho rằng OP_CAT rất quan trọng trong bối cảnh Bitcoin và nêu bật tiềm năng của nó, đặc biệt là trong bảo mật lượng tử và sản xuất các hợp đồng thông minh phức tạp. Ví dụ: kết hợp các mã xác minh chữ ký CAT và Schnorr, về mặt lý thuyết, các hợp đồng thông minh không đệ quy có thể được triển khai. Hợp đồng thông minh này có thể đặt hàm băm SHA 2 của dữ liệu giao dịch trực tiếp vào ngăn xếp. Bằng cách đó, các hạn chế có thể được áp dụng ở một mức độ nào đó đối với các phần khác nhau của giao dịch.

Cuộc thảo luận cũng đề cập rằng nếu CAT được giới thiệu lại, nó có thể khiến Bitcoin trở nên phức tạp hơn ở một số khía cạnh và giới thiệu các tính năng cũng như khả năng mới. Việc khởi động lại OP_CAT yêu cầu phải cân nhắc cẩn thận để tránh các sự cố đã xảy ra trong quá khứ, chẳng hạn như sự cố nổ bộ nhớ.

2022

Vào ngày 18 tháng 5 năm 2022Danh sách gửi thư của nhà phát triển bitcoin, trong cuộc thảo luận về việc giới thiệu lại opcode OP_CAT đã bị xóa khỏi Bitcoin vào năm 2010, nhà phát triển ZmnSCPxj đã đề xuất rằng để triển khai các hợp đồng thông minh đệ quy không thể tránh khỏi, OP_CAT cần được kết hợp với các opcode được đề xuất như OP_TX, OP_CHECKSIGFROMSTACK (CSFS), v.v. Hợp đồng thông minh đệ quy sử dụng các quy tắc đồng thuận Bitcoin để đảm bảo rằng tất cả Bitcoin nhận được trong hợp đồng chỉ có thể được chi tiêu cho cùng một hợp đồng.

Hợp đồng thông minh đệ quy dựa trên công nghệ xem xét nội tâm giao dịch, trong đó opcode có thể phân tích phần giao dịch đã thực thi opcode đó. Các mã hoạt động hiện tại cung cấp khả năng xem xét nội tâm hạn chế. Để tạo hợp đồng thông minh đệ quy, bạn cần đảm bảo rằng đầu ra trước đó và đầu ra tiếp theo giống nhau. Do đó, đầu ra trước đó hoặc đầu ra tiếp theo hoặc cả hai phải được xây dựng linh hoạt từ các thành phần cấu thành của chúng, đó là lý do tại sao CAT hoặc các cấu trúc tương tự là cần thiết để triển khai hợp đồng thông minh đệ quy.

Nadav Ivgi chỉ ra rằng CAT vẫn cần thiết để giải quyết vấn đề băm khi tạo hợp đồng thông minh đệ quy, nhưng điều này có nghĩa là các tính năng như CTV và APO tập trung vào nội quan đầu ra cũng có thể được kết hợp với CAT để tạo hợp đồng thông minh đệ quy. Ivgi tin rằng khi kết hợp với chức năng của taproot, việc xác thực đầu ra trước đó với đầu ra tiếp theo có thể giúp viết tập lệnh hợp đồng thông minh dễ dàng hơn và cung cấp liên kết đến hai ví dụ hợp đồng thông minh đệ quy.

ZmnSCPxj đồng ý với phân tích của Ivgi và nhắc lại mối lo ngại của ông về rủi ro khi kích hoạt hợp đồng thông minh đệ quy trên Bitcoin, mặc dù ông cũng chỉ ra trong một bài đăng tiếp theo rằng hợp đồng thông minh đệ quy có thể an toàn vì chúng chưa thực sự hoàn thiện Turing. Russell OConnor đã trích dẫn bài viết của Andrew Poelstra, mô tả cách CAT, kết hợp với chức năng Bitcoin hiện có, đủ để tạo ra các hợp đồng thông minh không đệ quy và về mặt lý thuyết, nếu được thêm lại vào Bitcoin, nó cũng có thể tạo đệ quy trên nó. hợp đồng thông minh của riêng mình.

2023

Vào tháng 1, Anthony Towns đã ra mắt Bitcoin Inquisition, một phần mềm phân nhánh của Bitcoin Core được thiết kế để chạy trên signet mặc định và được sử dụng để kiểm tra các soft fork được đề xuất cũng như các thay đổi lớn về giao thức khác. Tính đến cuối năm 2023, Bitcoin Inquisition đã hỗ trợ nhiều đề xuất. Ngoài ra, các PR (yêu cầu kéo) nhằm vào OP_CAT, OP_VAULT và giới hạn giao dịch 64 byte đã được gửi tới cơ sở mã của nó, dự kiến ​​sẽ mở rộng hơn nữa nền tảng thử nghiệm này. Chức năng.

Ngày 23 tháng 8 năm 2023, lúcTrên danh sách gửi thư của Lightning-Dev, Thomas Voegtlin đã đề xuất một ý tưởng về bằng chứng gian lận về các trạng thái sao lưu đã hết hạn. Voegtlin đã chỉ ra rằng nếu các opcode OP_CHECKSIGFROMSTACK (CSFS) và OP_CAT được thêm vào Bitcoin dưới dạng soft fork, thì có thể sử dụng bằng chứng gian lận này trên chuỗi. Đề xuất này đã gây ra nhiều cuộc thảo luận và Peter Todd đã chỉ ra rằng cơ chế cơ bản là phổ biến và không giới hạn ở LN, đồng thời có thể hữu ích trong nhiều giao thức khác nhau, nhưng ông cũng đề xuất một cơ chế đơn giản hơn sẽ không được thảo luận ở đây.

Đến tháng 10, Rusty Russell đang nghiên cứu một hợp đồng thông minh có mục đích chung với những thay đổi tối thiểu đối với ngôn ngữ kịch bản Bitcoin. Đồng thời và rất quan trọng, Ethan Heilman và Armin Sabouri đã cùng nhau phát hành mộtBIP dự thảo, đề xuất thêm opcode OP_CAT, được sử dụng để nối hai phần tử trên ngăn xếp. Các cuộc thảo luận về hai vấn đề này tiếp tục diễn ra vào tháng 11.

2024

Đến tháng 1 năm 2024, Quantum Cats thực sự đã thành công trong việc đưa cuộc thảo luận về tiến trình BIP và Bitcoin của OP_CAT lên một tầm cao mới.

Khi tương tác với cộng đồng, các nhà phát triển Bitcoin CoreAva ChowZeng nói: Tôi không nghĩ CTV là một sự đồng thuận sơ bộ. Tôi nghĩ các đề xuất hợp đồng thông minh tổng quát khác thực sự gần gũi hơn, chẳng hạn như txhash hoặc CAT. Tuy nhiên, tôi chưa theo dõi chặt chẽ cuộc thảo luận.

Sắp xếp theo số lượng bài nộp, tính đến thời điểm hiện tại,Ava Chow（@achow 101 )hiện hữuXếp hạng người đóng góp mã Bitcoin CoreĐứng thứ 5 với 1292 lượt gửi code, anh cũng là một trong số ít người có quyền hợp nhất code Bitcoin. Vì vậy, tầm ảnh hưởng của cô trong cộng đồng phát triển cũng rất lớn.

Tôi không gợi ý rằng chúng tôi kích hoạt OP_CAT. Tôi ủng hộ OP_CAT vì đây là opcode có nhiều khả năng đạt được sự đồng thuận nhất. Nếu bạn không biết chuyện gì đang xảy ra với OP_CAT, tôi đã tóm tắt tình huống trong bức ảnh này. Liên Trang của pháp sưEric Wall （@ercwl) nói như vậy.

Nhưng,Ava ChowDường như không có sự chấp thuận tuyệt đối nào đối với việc triển khai OP_CAT: Như tôi đã nói, tôi không nghĩ bất kỳ đề xuất hợp đồng thông minh nào gần đạt được hoặc đạt được sự đồng thuận sơ bộ. Tôi không nghĩ chúng ta nên cố gắng kích hoạt bất kỳ đề xuất nào trong số đó.

Mười dòng mã cho phép Bitcoin thực hiện hợp đồng thông minh

Giống như việc tạo chung Taproot WizardEric Wall （@ercwl) cho biết: “Mọi người không nhận ra điều này, nhưng OP_CAT thực sự là một trong những nền tảng của zkrollup trên Bitcoin.”

Việc giới thiệu lại OP_CAT cung cấp cho Bitcoin một công cụ mạnh mẽ có thể hỗ trợ các dự án như BitVM. Khái niệm được BitVM đưa ra gần đây - việc xác minh các phép tính tùy ý trên Bitcoin sẽ trở nên đơn giản và hiệu quả hơn nhờ OP_CAT. Hệ sinh thái Bitcoin có khả năng tạo ra các hợp đồng thông minh linh hoạt và mang tính biểu cảm hơn.

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

Thông qua OP_CAT, có thể triển khai cái gọi là hợp đồng thông minh, đặt ra các điều kiện được chỉ định trước cho các đầu ra Bitcoin cụ thể. Điều này không chỉ mở ra cơ hội cho các phương pháp mở rộng quy mô mới, chẳng hạn như Blockstream’s Ark, mà còn hỗ trợ nhiều phương pháp cải tiến khác dựa trên hợp đồng thông minh. Hơn nữa, điều này báo hiệu rằng Bitcoin không chỉ là một mạng thanh toán mà còn là một nền tảng điện toán linh hoạt và có thể mở rộng.

Mặc dù người đồng sáng lập Taproot Wizard, Eric Wall, rất hào hứng với khái niệm đằng sau BitVM, nhưng ông tin rằng đề xuất này có thể là “ngõ cụt kỹ thuật” đối với Bitcoin do chi phí khổng lồ và chu kỳ triển khai kéo dài. Anh lo lắng rằng BitVM có thể khiến cộng đồng mất tập trung và cản trở sự phát triển thực sự. Tuy nhiên, sự ra đời của BitVM vẫn thể hiện tinh thần tích cực tìm tòi, đổi mới trong lĩnh vực công nghệ blockchain và hợp đồng thông minh.

Trên thực tế, bản thân nhóm dự án Taproot Wizard cũng đang nghiên cứu triển khai giải pháp lớp thứ hai trên Bitcoin. Trong Space trước đó, họ cũng tuyên bố rằng khoản tài trợ 7,5 triệu USD đã hoàn thành sẽ được sử dụng để nghiên cứu các giải pháp mở rộng Bitcoin. .

Vì vậy, soft fork của OP_CAT cũng sẽ là một bước tiến quan trọng đối với họ. Eric Wall, cựu thành viên hội đồng quản trị của StarkNet Foundation, rất quan tâm đến việc xây dựng nền tài chính phi tập trung trên lớp thanh toán không cần cấp phép, vì vậy khi Ethereum bắt đầu xuất hiện vào năm 2019, anh ấy đã bị thu hút một cách tự nhiên bởi Ethereum và bị lĩnh vực DeFi thu hút.

Khi rõ ràng vào năm 2019 rằng Ethereum và các blockchain khác có thể mở rộng quy mô thông qua việc sử dụng zk-Rollups hoặc bằng chứng gian lận tích cực, việc khám phá DeFi của Bitcoin gần như đã bị bỏ rơi hoàn toàn. Với nghiên cứu về các vấn đề như “tính khả thi của việc mở rộng zk-Rollup được áp dụng cho Bitcoin”, Wall đã chuyển sang hỗ trợ DeFi trên Ethereum. Nhưng cuối cùng, anh ấy đang cố gắng mang hệ thống này và những lợi thế kỹ thuật này vào Bitcoin.

Ngoài ra, trongTrong chủ đề thảo luận về OP_CAT trên diễn đàn bitcointalk, Carter Feldman (@cmpeq), người sáng lập dự án QED, đã được hỏi về cách anh ấy dự định sử dụng opcode này trong các tập lệnh Bitcoin và liệu anh ấy đã tính toán số byte trung bình của ngăn xếp nhân chứng cũng như các khoản phí mà nó có thể phải chịu hay chưa.

Carter Feldman thừa nhận rằng điều này có thể hơi tốn kém, nhưng giải thích rằng bằng chứng của Merkel chủ yếu được sử dụng trong dự án của ông để xây dựng một tập lệnh khóa hoặc hệ thống chốt không đáng tin cậy như một phần của lớp zk thứ hai trên Bitcoin. . Hệ thống này được thiết kế để chứng minh rằng một lượng Bitcoin nhất định có thể được rút đến một địa chỉ cụ thể dựa trên gốc của cây rút tiền (đầu vào công khai dưới dạng bằng chứng không có kiến ​​thức).

Để giải quyết vấn đề chi phí, ông đề cập đây sẽ là biện pháp cuối cùng. Ông hình dung rằng người dùng thông thường có thể mua BTC được bọc ở lớp thứ hai bằng cách cho phép người bán BTC được bọc khóa mã thông báo của họ trên L2 trong một khoảng thời gian, trong thời gian đó người mua sẽ phải chứng minh rằng họ đã cam kết với Bitcoin L1. . Họ biết rằng họ luôn có thể trao đổi Bitcoin của mình một cách đáng tin cậy nếu họ muốn. Đồng thời, một số nhà cung cấp thanh khoản lớn sẽ trở thành cơ quan chính thực sự trao đổi giữa wBTC và BTC và có thể tính các khoản phí nhỏ đối với những người dùng nhỏ hơn muốn mua wBTC từ họ hoặc kết nối nó trở lại Bitcoin.

Như vậy nhìn chung đề xuất BIP của OP_CAT có thể giúp xây dựng hợp đồng thông minh trên Bitcoin chỉ với 13 dòng mã, nhưng về chi tiết cụ thể của từng dự án thì vẫn sẽ còn rất nhiều thảo luận và nỗ lực.

Văn hóa Meme đà xây dựng tiến bộ công nghệ

Thành viên nhóm TaprootWizards Rijndael (@rot 13 maxi) đã chia sẻ trên mạng xã hội về các cơ chế phức tạp khác nhau mà họ sử dụng để tạo ra tác phẩm nghệ thuật của mình. Để đạt được điều này, họ dựa vào nhiều kỹ thuật khác nhau, bao gồm đệ quy thứ tự, giao dịch được chỉ định, mật mã đối xứng và quản lý tải khách hàng. Trong quá trình sáng tạo nghệ thuật, họ đặc biệt chọn sử dụng các giao dịch được ký trước để thực hiện thao tác, hướng dẫn cách gửi trước hàm băm của giao dịch bằng các hợp đồng thông minh như OP_CAT hoặc CTV.

Nhưng Armin Sabouri đã đưa ra một nhận xét mỉa mai về điều này: “Mã và nỗ lực kỹ thuật được đầu tư vào việc tạo ra một bộ sưu tập NFT đang phát triển có thể gấp 100 lần khối lượng công việc cần thiết để kích hoạt lại opcode.”

OP_CAT được coi là một opcode đơn giản và dễ hiểu, và một số người tin rằng nó có thể khiến Bitcoin trở nên “an toàn lượng tử” bằng cách ký chữ ký ECDSA. Quan điểm này được một số người ủng hộ và truyền cảm hứng cho Taproot Wizard triển khai các chương trình khuyến mãi NFT của Quantum Cats nhằm nâng cao nhận thức về OP_CAT thông qua các hoạt động này.

Tuy nhiên, OP_CAT không phải là người duy nhất sử dụng văn hóa meme để tạo động lực cho tiến bộ công nghệ.

Lấy cảm hứng từ Mèo lượng tử và giá bán 0,1 BTC của nó, và có lẽ một phần không hài lòng với giá bán cao của nó, cộng đồng OP_CTV cũng tung ra meme bánh sandwich có tên #rubinsreubens để quảng bá công nghệ của OP_CTV.

Meme bánh sandwich này bắt đầu như một phản ứng hài hước đối với Quantum Cat và các meme của nó. Tuy nhiên, nó thực sự rất hiệu quả vì, giống như CTV, nó bổ sung thêm hệ thống phân cấp và bạn có thể tạo bao nhiêu lớp trên sammich tùy thích.

Meme bánh sandwich này đã thu hút sự chú ý của nhiều người. Meme rất thú vị và có thể được sử dụng để thể hiện sự ủng hộ cho điều gì đó, nhưng điều quan trọng là phải hiểu ý nghĩa đằng sau chúng. Mục đích của #rubinsreubens là nâng cao hiểu biết về op_ctv, lnhance cũng như các opcode BTC mới và các đề xuất soft fork hỗ trợ hợp đồng thông minh.

Lý do tiềm ẩn dẫn đến lỗi OP_CAT

Quay lại với OP_CAT, người ta có thể phản đối việc giới thiệu một tính năng như OP_CAT vì một số lý do. Đầu tiên, việc thêm các mã hoặc tính năng mới như OP_CAT có thể làm tăng độ phức tạp của Bitcoin, khiến nó khó hiểu và sử dụng an toàn hơn, đồng thời tăng rủi ro. Thứ hai, không thể bỏ qua vấn đề bảo mật khi giới thiệu các tính năng mới, các tính năng chưa được kiểm tra đầy đủ có thể chứa lỗ hổng và gây tổn hại đến tính bảo mật chung của Bitcoin. Ngoài ra, nếu việc nâng cấp soft fork không được tất cả các nút chấp nhận, nó có thể khiến mạng bị chia tách, khiến các phiên bản khác nhau của mạng Bitcoin cùng tồn tại, khiến việc đồng thuận trở nên phức tạp hơn.

Các tính năng mới có thể gây ra các vấn đề về khả năng tương thích, đặc biệt nếu chúng không hỗ trợ các nút cũ hơn, điều này có thể loại trừ một số nút khỏi mạng và có tác động tiêu cực đến hệ sinh thái Bitcoin. Đặc biệt đối với những người dùng không nâng cấp, họ có thể không thể tiếp tục tham gia mạng. Ngoài ra, một số người có thể coi việc giới thiệu các tính năng mới là một quyết định vội vàng, không ưu tiên giải quyết các vấn đề cấp bách trong giao thức Bitcoin Core. Những thay đổi vội vàng có thể gây ra rủi ro và bất ổn không cần thiết.

Ngoài các cân nhắc về bảo mật và rủi ro, hai lý do lớn nhất khiến OP_CAT sẽ thất bại là: cộng đồng Bitcoin lo sợ về hợp đồng thông minh và sự thiếu “tính hợp pháp” của hợp đồng thông minh Bitcoin.

Sợ hợp đồng thông minh

Nỗi sợ hãi về hợp đồng thông minh Bitcoin có thể là một trở ngại đáng kể khác để đạt được OP_CAT. Là thành phần cốt lõi của công nghệ blockchain, hợp đồng thông minh đóng vai trò quan trọng trong nhiều dự án blockchain, đặc biệt là trên các nền tảng như Ethereum.

Tuy nhiên, mức độ chấp nhận hợp đồng thông minh trong cộng đồng Bitcoin tương đối thấp, một phần do lo ngại về những rủi ro và thách thức mà chúng có thể đặt ra. Hợp đồng thông minh có thể tác động đến các giá trị cốt lõi của Bitcoin như ngang hàng, phân cấp và bảo mật. Cộng đồng Bitcoin rất coi trọng việc duy trì các giá trị cốt lõi này và bất kỳ thay đổi nào được coi là đe dọa đến các giá trị này đều có thể gặp phải sự phản đối.

Mối quan tâm lớn với hợp đồng thông minh là chúng có thể gây thêm rủi ro về độ phức tạp và bảo mật cho toàn bộ mạng. Hợp đồng thông minh thường liên quan đến logic và mã phức tạp, bất kỳ lỗi hoặc sơ hở nhỏ nào cũng có thể dẫn đến các vấn đề bảo mật nghiêm trọng và thậm chí là tổn thất tài chính quy mô lớn, như đã từng xảy ra trong một số dự án blockchain trước đây. Ngoài ra, việc giới thiệu hợp đồng thông minh có thể khiến toàn bộ hệ thống khó hiểu và khó kiểm toán hơn, do đó làm tăng khả năng xảy ra lỗi.

Ngoài ra, cộng đồng Bitcoin luôn chú trọng duy trì sự ổn định và bảo mật của mạng. Triết lý thiết kế của Bitcoin có xu hướng đơn giản và bảo thủ, ưu tiên tính bảo mật và phân cấp của mạng. Do đó, bất kỳ thay đổi quan trọng nào có thể gây ra mối đe dọa cho sự ổn định của mạng sẽ phải được xem xét kỹ lưỡng và tranh luận rộng rãi. Việc giới thiệu OP_CAT và hợp đồng thông minh, đồng thời mang lại chức năng và khả năng mới cho Bitcoin, cũng có thể được coi là đi ngược lại với triết lý thiết kế và tầm nhìn ban đầu của Bitcoin.

Satoshi Nakamoto có “sai” không?

Việc khôi phục opcode OP_CAT đã làm dấy lên cuộc thảo luận sâu sắc trong cộng đồng, một phần vì nó đề cập đến một chủ đề nhạy cảm: Điều này có nghĩa là Satoshi Nakamoto đã sai?

Với tư cách là người sáng lập Bitcoin, các quyết định và thiết kế ban đầu của Satoshi Nakamoto được nhiều người coi là kinh thánh và tầm nhìn ban đầu của ông được coi là kim chỉ nam cốt lõi cho sự phát triển của Bitcoin. Do đó, bất kỳ loại thách thức hoặc sửa đổi nào đối với việc ra quyết định của Satoshi Nakamoto đều có thể bị coi là thiếu tôn trọng di sản của ông hoặc đi chệch khỏi các nguyên tắc cốt lõi của Bitcoin. Suy cho cùng, trong ngành blockchain, tính hợp pháp luôn là chủ đề không thể tránh khỏi.

Do đó, đề xuất khôi phục OP_CAT cũng chạm đến một câu hỏi rộng hơn: Bitcoin có nên là một thực thể tĩnh hay nó nên thích ứng với những thay đổi của môi trường công nghệ và nhu cầu của người dùng?

Tuy nhiên, lĩnh vực công nghệ luôn phát triển và thay đổi, và Bitcoin, với tư cách là một đổi mới công nghệ, không thể hoàn toàn thoát khỏi quy luật này, rõ ràng nhóm Taproot Wizard hỗ trợ khôi phục OP_CAT cũng nghĩ như vậy. Rốt cuộc, họ đã cố tình thiết kế khối Bitcoin lớn nhất từ ​​trước đến nay, chỉ dưới giới hạn 4 MB của Bitcoin, để phát hành NFT Taproot Wizards.

Người sáng lập Taproot Wizard, Udi Wertheimer nói rằng ông hiểu rằng nhiều người tin rằng Bitcoin không nên thay đổi. Ông tin rằng những thay đổi về Bitcoin nên diễn ra chậm rãi, thận trọng và chu đáo. Ông tin rằng Bitcoin còn quá non trẻ để được củng cố hoàn toàn, đồng thời lưu ý rằng quy trình quản trị đã bị phá vỡ ở một mức độ nào đó. Mặc dù cộng đồng công nghệ thường đồng ý rằng sẽ có nhiều nâng cấp hơn cho Bitcoin nhưng thật khó để xác định chính xác sẽ có những nâng cấp nào. Tuy nhiên, Wertheimer nhấn mạnh rằng sự thay đổi là cần thiết vì Bitcoin hiện tại không thể phục vụ hàng tỷ người.

Tất nhiên, những thay đổi đó cũng đi kèm với những rủi ro và thách thức, chẳng hạn như vấn đề bảo mật, rủi ro phân mảnh mạng, vấn đề tương thích, v.v., cần được xem xét và giải quyết cẩn thận.

Có thể thấy trước rằng, để đảm bảo các cải tiến được đề xuất là an toàn và hiệu quả, việc triển khai OP_CAT trong môi trường mạng thử nghiệm là một bước quan trọng, cho phép các nhà phát triển khám phá và giải quyết vấn đề mà không ảnh hưởng đến mạng chính.

Đồng thời, nếu chúng ta muốn thực sự hiện thực hóa việc khởi động lại OP_CAT, toàn bộ quá trình sẽ kéo dài trong một thời gian dài, thậm chí tính bằng năm, vì nó liên quan đến nhiều cân nhắc và cân bằng, bao gồm các chi tiết kỹ thuật, sự đồng thuận của cộng đồng và so sánh Các cân nhắc về tính ổn định và an ninh của mạng Bitcoin và quan trọng nhất là sự hỗ trợ và công nhận rộng rãi của cộng đồng.