Bài viết "Resurrection" đã bị xóa bởi Mã hoạt động Satoshi Nakamoto?, đọc OP_CATSoft Fork

Bài viết gốc của Jaleel, BlockBeats

Trong cơ sở mã Bitcoin, Mã hoạt động “OP _CAT” đã bị xóa bởi Satoshi Nakamoto và đã bị lịch sử niêm phong trong một thời gian dài có thể được “hồi sinh”.

Xung quanh Mã hoạt động OP_CAT, dự án Bitcoin Non-fungible Token Taproot Wizards đã tung ra một loạt mã thông báo không thể thay thế mới Quantum Cats. Mặc dù thuật ngữ OP_CAT không đề cập đến “con mèo” quen thuộc, nhưng Taproot Wizard đã sử dụng hình ảnh của một con mèo để phát hành một Non-fungible Token mới có tên là Quantum Cats, sử dụng văn hóa meme để giúp OP_CAT tạo đà. Đọc liên quan: "Bitcoin “Quantum Cat”: Không có hợp đồng thông minh, làm thế nào để đạt được sự thay đổi động của chữ khắc?

OP_CAT, Mã hoạt động đã từng bị Satoshi Nakamoto xóa khỏi ngôn ngữ kịch bản Bitcoin, hiện đã được đưa trở lại bàn thảo luận và một số nhà phát triển Bitcoin muốn “hồi sinh” Mã hoạt động này và mở đường cho Bitcoin thực hiện Hợp đồng thông minh thông qua một soft fork gồm 13 dòng mã. Được thúc đẩy bởi các nhà phát triển Bitcoin và tạo ra động lực trong hình ảnh của một meme mèo, sức nóng và cuộc thảo luận về OP CAT đã đạt đến một tầm cao mới.

Mã hoạt động của “Resurrection” bị xóa bởi Satoshi Nakamoto

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

OP__CAT ban đầu là một phần của bộ lệnh chính thức của Bitcoin, cho phép nối chuỗi, nối hai phần tử thành một. Tuy nhiên, vì một lỗ hổng nghiêm trọng được tìm thấy trong Operation Code như OP_LSHIFT có thể khiến bất kỳ BitcoinNode nào bị sập, có một lo ngại rằng OP_ CAT Operation Code có thể khiến các phần tử ngăn xếp phát triển theo cấp số nhân, điều này có thể dẫn đến sự gia tăng theo cấp số nhân trong việc sử dụng bộ nhớ và kích thước tập lệnh.

Do đó, hết sức thận trọng, Satoshi Nakamoto đã gỡ bỏ OP__CAT vào ngày 15 tháng 8 năm 2010. Những Mã hoạt động bị xóa này thường được gọi là “vô hiệu hóa”, 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 Mã hoạt động không khả dụng cho bất kỳ ai sử dụng Bitcoin.

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

Dự thảo này, chỉ bao gồm 13 dòng mã, mang tính chất chức năng rõ ràng và trực quan, xác định Mã hoạt động vòi mới cho phép nối 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.

Các điều kiện để “phục sinh” đã được đáp ứng

Về lý do tại sao Mã hoạt động đã bị xóa bởi Satoshi Nakamoto hiện đang được các nhà phát triển khôi phục, phần động lực của dự thảo BIP này giải thích một số chi tiết: điều này chủ yếu dựa trên các cân nhắc sử dụng bộ nhớ và OP__CAT làm cho việc sử dụng bộ nhớ của các cấu trúc tập lệnh tăng theo cấp số nhân từ 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 giá trị 1 byte vào ngăn xếp, sau đó sao chép nó bằng Mã hoạt động OP_DUP và nối nó 40 lần với Mã hoạt động OP_CAT có thể khiến giá trị ngăn xếp phình to lên kích thước lớn hơn 1 TB.

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

Theo đó, OP_CAT một lần nữa được đưa ra thảo luận và xem xét để tái sử dụng, chủ yếu là do giá trị tiềm năng của nó trong việc xây dựng các kịch bản phức tạp và mạnh mẽ hơn. Ngoài ra, một số lý do và thay đổi đã đáp ứng các điều kiện để “phục sinh”, bao 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 tiên tiến và phức tạp hơn đã tăng lên. OP_CAT làm tăng tính biểu cảm và chức năng của các vòi bằng cách cho phép các đối tượng được kết hợp trên ngăn xếp. Ví dụ: nó có thể được sử dụng để xây dựng và đánh giá Merkle Tree và các cấu trúc dữ liệu băm khác, hỗ trợ chữ ký cây, chữ ký Lamport hậu lượng tử, hợp đồng không thoái thác, kho tiền, v.v.

2. Các câu chuyện thành công khác trên chuỗi: Một số fork Bitcoin, chẳng hạn như Bitcoin Cash và Sidechain Liquid, đã kích hoạt lại OP_CAT và sử dụng nó để thực hiện việc tạo và quản lý Token, các kênh thanh toán và cách nhúng và truy xuất dữ liệu trên Blockchain. Điều này chỉ ra rằng OP_CAT có thể được sử dụng một cách an toàn và hiệu quả trong môi trường và hạn chế thích hợp.

3. Khám phá an ninh lượng tử: Một số nghiên cứu đã đề xuất rằng nếu các hoạt động như OP CAT có thể được sử dụng, kết hợp với các công nghệ như chữ ký Lamport, các giao dịch và giao thức Bitcoin an toàn lượng tử có thể được xây dựng. Việc thăm dò 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 liên tục của cộng đồng và công nghệ Bitcoin đã thúc đẩy mọi người xem xét lại và đánh giá các quyết định trước đó. Khi hiểu biết sâu hơn về giao thức Bitcoin 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 trường hợp sử dụng an toàn và hữu ích trong bối cảnh mới.

Soft fork, dễ nói về

Ở cấp độ kỹ thuật, rất ít đề xuất Bitcoin khác dễ hiểu và dễ hiểu như OP CAT. Nhưng OP_CAT Operation Code sẽ được kích hoạt bằng cách xác định lại Soft Fork of Operation Code OP_SUCCESS 126, đây rõ ràng không phải là một nhiệm vụ dễ dàng.

Hãy nhớ lại rằng Soft Fork gần đây nhất của Bitcoin đã xảy ra ba năm trước khi Taproot được kích hoạt, do đó giúp mở đường cho sự ra đời của Ordinals.

Sự đồng thuận và minh bạch được cộng đồng Bitcoin đánh giá cao và bất kỳ thay đổi mã quan trọng nào cũng được thảo luận và xem xét rộng rãi trong cộng đồng, bao gồm cả soft fork. Để một đoạn mã được hợp nhất vào cơ sở mã của 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 của đề xuất và sự đồng thuận của cộng đồng. Dưới đây là các bước chính trong quy trình này:

1. Viết đề xuất và code: Đầ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õ động lực, chi tiết kỹ thuật, đánh giá tác động và bất kỳ vấn đề hoặc thách thức tiềm ẩn nào của đề xuất.

2. Thảo luận cộng đồng: Khi một đề xuất mã được gửi đến cộng đồng Bitcoin, nó sẽ được thảo luận và xem xét bởi các thành viên cộng đồng (bao gồm các nhà phát triển, thợ mỏ, nhà đầu tư và người dùng). 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ả của mã có thể cần phải sửa đổi và cải tiến đề xuất.

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

5. Triển khai mã: 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 đòi hỏi phải đảm bảo chất lượng và bảo mật của mã.

6. Hợp nhất thành codebase: Sau khi được phê duyệt, 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 triển khai vào hệ thống của họ bởi các thợ mỏ và nhà khai thác nút. Đối với các thay đổi ở cấp độ giao thức, thường có ngưỡng kích hoạt 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 OP _ CAT Soft Fork vẫn còn trong giai đoạn rất sớm, chưa đầy bốn tháng sau khi dự thảo BIP được viết, số BIP vẫn chưa được xác định và nó vẫn đang trong giai đoạn đầu tiên viết đề xuất và mã và giai đoạn thứ hai của các cuộc thảo luận cộng đồng liên quan đến các nhà phát triển và người dùng.

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

Chúng ta hãy đặc biệt chú ý đến cuộc thảo luận về OP CAT giữa các nhà phát triển Bitcoin trong những năm gần đây.

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

Bây giờ chúng ta đã thu thập được bản tin Optech và nhiều nội dung liên quan, hãy sắp xếp một số cuộc thảo luận của các nhà phát triển Bitcoin về Mã hoạt động OP CAT theo thứ tự thời gian.

2019

Ethan Heilman, một trong những nhà tài trợ của dự thảo Đề xuất cải tiến Bitcoin (BIP) OP_CAT, cho biết trong một email vào tháng 10 năm 2019 rằng ông hiểu lý do tại sao nó bị xóa vì tình hình thảm khốc mà các kịch bản phải đối mặt vào thời điểm đó, nhưng ông nhấn mạnh giá trị của OP CAT như một Mã hoạt động: "Hầu hết các giao thức muốn xây dựng trên Bitcoin ngày nay đều có một hạn chế: các giá trị ngăn xếp không thể được kết nối. Là một nhà nghiên cứu, nếu tôi gặp phải hạn chế này, có khả năng nó cũng cản trở sự tiến bộ của người khác. Nếu tôi có thể vẫy đũa phép để bật lại một trong các Mã hoạt động bị vô hiệu hóa, tôi sẽ chọn OP_CAT. 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 ghép nối phải được giới hạn ở 64 byte trở xuống. 」

Khi nói đến cuộc thảo luận về OP CAT, Andrew Poelstra là một người không bao giờ có thể đi lại. Ông đã viết một bài báo có tiêu đề “CAT và Schnorr Tricks I” vào ngày 30 tháng 1 năm 2021, gây ra một làn sóng thảo luận về OP ___CAT. Andrew Poelstra là Giám đốc Nghiên cứu tại Blockstream và là một nhà phát triển kịch bản BitcoinCryptography kỳ cựu với sự hiện diện mạnh mẽ trong ngành.

Trong bài viết, Andrew Poelstra giải thích, "OP_CAT giúp kết hợp hai phần tử trong ngăn xếp và đẩy kết quả đã hợp nhất trở lại ngăn xếp. Chức năng này có thể được sử dụng để lắp ráp nhiều phần tử nhỏ thành một phần tử lớn hoặc để phân hủy một phần tử lớn thành nhiều phần tử nhỏ hơn. CHECKSIGFROMSTACK (CSFS) là Mã hoạt động chưa từng thấy trong Bitcoin 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ư Mã hoạt động CHECKSIG, chỉ xác minh chữ ký giao dịch. 」

Hơn nữa, ông chỉ ra rằng việc sử dụng OP_CAT kết hợp với CHECKSIGFROMSTACK có thể cung cấp một cách tiếp cận khéo léo để xem xét nội tâm giao dịch.

Lưu ý: Nội quan 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 Bitcoin Script. 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 đầu ra của giao dịch, số tiền hoặc chữ ký cụ thể. Bằng cách này, các tập lệnh có thể phản hồi thông minh và sắc thái hơn đối với nội dung cụ thể của giao dịch.

ĐIỀU NÀY CHO PHÉP 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 VÀO MỘT SINGLE ITEM, BĂM NÓ VÀ SAU ĐÓ CHUYỂN NÓ ĐẾN CHECKSIGFROMSTACK ĐỂ XÁC MINH CHỮ KÝ TRÊN DỮ LIỆU. Sau đó, nó chuyển cùng một chữ ký và khóa bí mật đến CHECKSIG. Nếu cả hai xác minh đều vượt qua, nó chỉ ra rằng 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 sử dụng dữ liệu này để thực hiện bất kỳ 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, đã thu hút sự chú ý của các nhà phát triển Bitcoin, và tại hội nghị tuần đó, đã có nhiều cuộc thảo luận về sự kết hợp của Mã hoạt động này và cách thực hiện các thay đổi nhỏ đối với ngôn ngữ kịch bản sau khi kích hoạt taproot có thể cải thiện tính linh hoạt của hợp đồng.

Khoảng hai tuần sau khi phát hành CAT và Schnorr Tricks I, Andrew Poelstra đã xuất bản một bài báo thứ hai, CAT và Schnorr Tricks II, trong đó Andrew Poelstra kể lại nhiều chi tiết 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 Mã hoạt động CHECKOUTPUTSHASHVERIFY của Bitcoin, với mục đích triển khai Hợp đồng thông minh cơ bản và hạn chế nhằm tránh rủi ro kỹ thuật và xã hội của các thiết kế Hợp đồng thông minh trước đó. 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 O’Connor đề nghị thêm CHECKSIGFROMSTACK và OP_CAT Operation Code trực tiếp vào Bitcoin để hỗ trợ Hợp đồng thông minh không bị ràng buộc bởi đề xuất của Rubin. Mặc dù đề xuất đã gặp phải một số phản đối và thảo luận cuối cùng đã giảm, chủ yếu là do sự thiếu hiệu quả của các hợp đồng thông minh loại CAT + CHECKSIG và ấn tượng tiêu cực lâu dài về việc nắm giữ hợp đồng thông minh phổ quát đầy đủ.

Andrew Poelstra cũng miễn cưỡng hỗ trợ cái gọi là tính năng Hợp đồng thông minh Bitcoin. Tuy nhiên, vào mùa thu năm 2019, một cuộc trao đổi riêng với Ethan Heilman đã thay đổi suy nghĩ của anh. Ethan Heilman chỉ ra rằng bất chấp những lo ngại, thực sự có thể thực hiện các hợp đồng thông minh được coi là có hại thông qua CHECKMULTISIG và không thực sự được chấp nhận bởi ví và người dùng do thiếu sự công nhận và tính khả dụng của chúng. Để chứng minh điều đó, Ethan Heilman đã thách thức mọi người trên phương tiện truyền thông xã hội đưa ra các hợp đồng thông minh “tối” khả thi, nhưng cho đến nay vẫn chưa ai thành công.

Vì vậy, Andrew Poelstra đã chuyển sang suy 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 lập luận rằng Hợp đồng thông minh là không thể tránh khỏi trong sự phát triển của Bitcoin, ngay cả khi có những lo ngại 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 Mã hoạt động không chuyên dụng OP_CAT.

Năm 2021

Tiếp theo là một bài báo 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ử của Bitcoin. Jeremy Rubin không chỉ là một nhà phát triển Bitcoin, mà còn là người sáng lập Judica, một tổ chức R &D Bitcoin tập trung vào phát triển ngôn ngữ lập trình Hợp đồng thông minh của Bitcoin, Sapio.

Trong email và bài đăng trên blog, Jeremy Rubin thảo luận về cách xác minh lượng tử Bitcoin bằng Mã hoạt động OP CAT và chữ ký Lamport. Tác giả bắt đầu bằng cách xem xét một bài đăng trên blog trước đó về cách đăng ký các 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ế của nó. Jeremy Rubin đã nảy ra một ý tưởng: điều gì sẽ xảy ra nếu chúng ta có thể ký các tin nhắn dài hơn, đặc biệt nếu chúng ta có thể đăng ký tối đa 20 byte, chúng ta có thể ký một bản tóm tắt HASH 160 có khả năng an toàn lượng tử.

Jeremy Rubin tiếp tục khám phá ý nghĩa của việc ký một bản tóm tắt HASH 160 trong bài viết và giải thích khả năng chỉ tiết lộ Khóa riêng mà không thay đổi nội dung đã ký thực tế ngay cả khi Máy tính lượng tử bẻ khóa ECDSA. Để làm điều này, các tác giả đã tham khảo ý kiến của nhà khoa học Mật mã Madars Virza và nhận được câu trả lời khẳng định.

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ý lượng tử, chúng ta có thể có bằng chứng lượng tử về Bitcoin. Sơ đồ chữ ký 5 byte được thảo luận trước đó thực sự là một 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 một số loại hoạt động giống như OP CAT là cần thiết. Bài báo giải thích rằng OP_CAT không thể được soft fork trực tiếp đến Segwit v 0 vì nó 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 Mã hoạt động mới OP_SUBSTRINGEQUALVERIFY Mã hoạt động kiểm tra xem một số phần của chuỗi có bằng nhau hay không bằng cách xác thực ngữ nghĩa.

Vào ngày 5 tháng 11 năm 2021, tại Hội nghị Bitcoin Atlanta, Jeremy Rubin và Andrew Poelstra nằm trong số các diễn giả thảo luận về đề xuất kích hoạt lại Mã hoạt động OP_CAT, cho rằng OP CAT rất quan trọng trong bối cảnh Bitcoin và làm nổi bật tiềm năng của nó, đặc biệt là về an toàn lượng tử và tạo ra Hợp đồng thông minh phức tạp. Ví dụ: kết hợp với Mã hoạt động xác minh chữ ký CAT và Schnorr, về mặt lý thuyết, 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ể đưa 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 cho các phần khác nhau của giao dịch ở một mức độ nào đó.

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ể làm cho Bitcoin trở nên phức tạp theo một số cách, đồng thời giới thiệu các tính năng và khả năng mới. Khởi động lại OP__CAT đòi hỏi phải xem xét cẩn thận để tránh các vấn đề đã xảy ra trong quá khứ, chẳng hạn như bùng nổ bộ nhớ.

2022

Trong một cuộc thảo luận về danh sách gửi thư của nhà phát triển Bitcoin ngày 18 tháng 5 năm 2022 về việc giới thiệu lại Mã hoạt động OP \ CAT đã bị xóa khỏi Bitcoin vào năm 2010, nhà phát triển ZmnSCPxj cho rằng để đạt được Hợp đồng thông minh đệ quy không thể tránh khỏi, OP \ CAT sẽ cần được kết hợp với Mã hoạt động đượ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 BitcoinConsensus để đảm bảo rằng tất cả Bitcoin nhận được từ 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ác kỹ thuật nội quan giao dịch, nghĩa là Mã hoạt động có thể phân tích cú pháp một phần giao dịch mà Mã hoạt động được thực thi. Bộ luật hoạt động hiện tại cung cấp 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 động từ các yếu tố cấu thành của chúng, đó là lý do tại sao các cấu trúc CAT hoặc tương tự là cần thiết để thực hiện các hợp đồng thông minh đệ quy.

Nadav Ivgi chỉ ra rằng vẫn cần CAT để giải quyết vấn đề băm khi tạo các 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 tâm đầu ra, cũng có thể được kết hợp với CAT để tạo ra các hợp đồng thông minh đệ quy. Ivgi lập luận rằng, khi được sử dụng 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 sẽ giúp viết kịch bản 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 quan tâm của ông về những rủi ro của việc kích hoạt các hợp đồng thông minh đệ quy trên Bitcoin, mặc dù ông cũng lưu ý trong một bài đăng tiếp theo rằng các hợp đồng thông minh đệ quy có thể an toàn vì chúng không thực sự là Turing Complete. Russell O’Connor trích dẫn bài viết của Andrew Poelstra mô tả cách CAT chính nó có thể được 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, cũng có thể tự tạo ra các hợp đồng thông minh đệ quy.

Năm 2023

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

Vào ngày 23 tháng 8 năm 2023, trong danh sách gửi thư Lightning-Dev, Thomas Voegtlin đã nảy ra ý tưởng về một bằng chứng gian lận về tình trạng của các bản sao lưu đã hết hạn. Voegtlin chỉ ra rằng có thể sử dụng bằng chứng gian lận này trên chuỗi nếu OP_CHECKSIGFROMSTACK (CSFS) và OP_ CAT Mã hoạt động được thêm vào Bitcoin theo cách Soft Fork. Đề xuất này đã gây ra rất nhiều cuộc thảo luận, với Peter Todd chỉ ra rằng cơ chế cơ bản là chung chung và không giới hạn ở LN và có thể hữu ích trong các 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.

Vào tháng Mười, Rusty Russell đã làm việc trên một Hợp đồng thông minh có mục đích chung cho ngôn ngữ kịch bản Bitcoin với những thay đổi tối thiểu. Đồng thời, rất quan trọng, Ethan Heilman và Armin Sabouri đã cùng nhau xuất bản một dự thảo BIP đề xuất bổ sung Mã hoạt động OP_CAT, Mã hoạt động để kết nối hai phần tử trên ngăn xếp. Các cuộc thảo luận về hai chủ đề này tiếp tục vào tháng 11.

Vào năm 2024

Đó là tháng 1 năm 2024 và Quantum Cats thực sự đã xoay sở để đưa cuộc thảo luận về BIP và quy trình Bitcoin cho OP CAT lên một tầm cao mới.

Trong một tương tác với cộng đồng, nhà phát triển Bitcoin Core Ava Chow cho biết: "Tôi không nghĩ CTV là một sự đồng thuận thô bạo. Tôi nghĩ rằng 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 đã không theo dõi chặt chẽ cuộc thảo luận. 」

Xếp hạng theo số lượng cam kết, Ava Chow (@achow 101) hiện đang đứng thứ 5 trong bảng xếp hạng người đóng góp mã Bitcoin Core với 1.292 mã cam kết và là một trong số ít người có quyền hợp nhất mã Bitcoin. Nhờ đó, cô cũng rất có ảnh hưởng trong cộng đồng phát triển.

"Tôi không gợi ý rằng chúng ta nên kích hoạt OP_CAT. Tôi ủng hộ OP_CAT vì đó là Bộ luật hoạt động có nhiều khả năng đạt được sự đồng thuận nhất. Nếu bạn không biết về OP__CAT, tôi tóm tắt tình huống trong hình ảnh này. Eric Wall (@ercwl), đồng sáng tạo của Taproot Wizard cho biết.

Tuy nhiên, Ava Chow dường như không hoàn toàn ủng hộ việc thực hiện OP CAT: "Như tôi đã nói, tôi không nghĩ rằng bất kỳ đề xuất Hợp đồng thông minh nào đến gần hoặc 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ỳ ai trong số họ. 」

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

Như Eric Wall (@ercwl), đồng tác giả của Taproot Wizard, giải thích, "Mọi người không nhận ra điều đó, nhưng OP CAT thực sự là một trong những khối xây dự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ẽ để hỗ trợ các dự án như BitVM, một khái niệm được giới thiệu gần đây về xác thực tính toán tùy ý trên Bitcoin sẽ được thực hiện dễ dàng và hiệu quả hơn nhờ OP CAT. Hệ sinh thái Bitcoin cho phép tạo ra các Hợp đồng thông minh linh hoạt và biểu cảm hơn.

Đọc liên quan: Các nhà phát triển kỳ cựu nghĩ gì về BitVM để tính toán bất cứ thứ gì trên Bitcoin?

Với OP_CAT, cái gọi là hợp đồng thông minh có thể được thực hiện, tức là các điều kiện được chỉ định trước được đặt cho một đầu ra Bitcoin cụ thể. Điều này không chỉ mở ra cánh cửa cho các phương pháp mở rộng quy mô mới, chẳng hạn như Ark của Blockstream, mà còn hỗ trợ nhiều cách tiếp cận sáng tạo khác dựa trên Hợp đồng thông minh. Ngoài ra, nó biểu thị 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, có thể mở rộng.

Trong khi người đồng sáng lập Taproot Wizard Eric Wall rất vui mừng về khái niệm đằng sau BitVM, ông tin rằng đề xuất này có thể là một “ngõ cụt kỹ thuật” cho Bitcoin do chi phí khổng lồ và chu kỳ triển khai dài. Ông lo lắng rằng BitVM có thể đánh lạc hướng cộng đồng và cản trở sự phát triển thực sự. Mặc dù vậy, đề xuất của BitVM vẫn cho thấy tinh thần tích cực khám phá và đổi mới trong lĩnh vực công nghệ Blockchain và Hợp đồng thông minh.

Trên thực tế, chính nhóm dự án Taproot Wizard đang làm việc để triển khai giải pháp lớp 2 trên Bitcoin và trong một không gian trước đó, họ cũng nói rằng vòng tài trợ 7,5 triệu đô la đã hoàn thành sẽ được sử dụng để nghiên cứu các tùy chọn mở rộng quy mô Bitcoin.

Do đó, soft fork của OP__CAT cũng sẽ là một bước quan trọng đối với họ. Eric Wall, người từng là 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 DeFi ngoài việc tạo ra một lớp thanh toán không cần sự cho phép, vì vậy khi Ethereum bắt đầu xuất hiện vào năm 2019, anh ấy đã tự nhiên bị thu hút vào không gian Tài chính phi tập trung trên Ethereum.

Việc khám phá Tài chính phi tập trung của Bitcoin gần như bị bỏ rơi hoàn toàn 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ô bằng cách sử dụng zk-rollups hoặc bằng chứng gian lận lạc quan. Với nghiên cứu về tính khả thi của việc mở rộng quy mô zk-rollup được áp dụng cho Bitcoin, Wall đã chuyển sang hỗ trợ Tài chính phi tập trung trên Ethereum. Nhưng cuối cùng, anh ấy đang cố gắng mang lại hệ thống này và những lợi thế công nghệ này cho Bitcoin.

Ngoài ra, trong một chủ đề thảo luận về OP CAT trong diễn đàn bitcointalk, Carter Feldman (@cmpeq), người sáng lập dự án QED, đã được hỏi làm thế nào ông dự định tận dụng Mã hoạt động này trong các tập lệnh Bitcoin và nếu ông tính toán số byte trung bình của ngăn xếp nhân chứng và các khoản phí có thể phát sinh.

Carter Feldman cho biết ông nhận ra 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 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 tin cậy như một phần của lớp zk hai trên Bitcoin. Hệ thống này nhằm mục đích chứng minh rằng một lượng Bitcoin nhất định có thể được rút về một Địa chỉ cụ thể với gốc của cây rút tiền (như một đầu vào công khai cho Bằng chứng không có kiến thức).

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

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

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

Thành viên nhóm TaprootWizards Rijndael (@rot 13 maxi) đã lên phương tiện truyền thông xã hội để chia sẻ 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. Để đạ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 ký trước, mật mã đối xứng và quản lý tải phía máy khách. Trong quá trình tạo ra 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 các hoạt động, chỉ ra cách gửi trước hàm băm của giao dịch bằng hợp đồng thông minh như OP_CAT hoặc CTV.

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

OP_CAT được coi là một mã hoạt động đơn giản và dễ hiểu, và người ta đã lập luận rằng nó có thể làm cho Bitcoin “an toàn lượng tử” bằng cách ký chữ ký ECDSA. Ý tưởng này đã được một số người ủng hộ và truyền cảm hứng cho Taproot Wizard khởi động chiến dịch Quantum Cats Non-fungible Token để nâng cao nhận thức về OP_CAT.

Tuy nhiên, không chỉ OP CAT sử dụng văn hóa memetic để xây dựng động lực cho tiến bộ công nghệ.

Lấy cảm hứng từ Quantum Cats 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 một meme bánh sandwich có tên #rubinsreubens để quảng bá công nghệ của OP _CTV.

Meme bánh sandwich này ban đầu được dự định là một phản ứng hài hước đối với con mèo lượng tử và các meme của nó. Tuy nhiên, nó thực sự rất hiệu quả bởi vì, giống như CTV, nó 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. Memes rất hài hước và có thể được sử dụng để thể hiện sự ủng hộ cho một cái gì đó, nhưng điều quan trọng là phải hiểu ý nghĩa đằng sau nó. Mục đích của #rubinsreubens là cải thiện sự hiểu biết về các đề xuất OP_ctv, LNHANCE và Soft Fork cho Mã hoạt động BTC mới và kích hoạt Hợp đồng thông minh.

Nguyên nhân tiềm ẩn của lỗi OP_CAT

Quay trở lại OP__CAT, mọi người có thể phản đối việc giới thiệu các tính năng như OP__CAT vì một số lý do. Đầu tiên, việc thêm Mã hoạt động mới hoặc các tính năng như OP__CAT có thể làm tăng độ phức tạp của Bitcoin, khiến nó khó hiểu và an toàn hơn khi sử dụng, làm tăng rủi ro. Thứ hai, các vấn đề bảo mật khi giới thiệu các tính năng mới không nên bị bỏ qua và các tính năng chưa được kiểm tra đầy đủ có thể chứa các lỗ hổng làm tổn hại đến bảo mật tổng thể của Bitcoin. Ngoài ra, nếu việc nâng cấp soft fork không được tất cả các node 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 đạt được sự đồ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 đề tương thích, đặc biệt nếu chúng không hỗ trợ các nút cũ hơn, có khả năng loại trừ một số Node khỏi mạng, tác động tiêu cực đến hệ sinh thái của Bitcoin. Đặc biệt đối với những người dùng chưa nâng cấp, họ có thể thấy mình không thể tiếp tục tham gia mạng. Ngoài ra, một số người có thể thấy việc giới thiệu các tính năng mới là một quyết định vội vàng mà không ưu tiên giải quyết các vấn đề cấp bách trong giao thức cốt lõi của Bitcoin. 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à: nỗi sợ Hợp đồng thông minh trong cộng đồng Bitcoin và thiếu “tính hợp pháp” trong 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 BitcoinSmart có thể là một trở ngại đáng kể khác để đạt được OP CAT. Là một thành phần cốt lõi của công nghệ Blockchain, Hợp đồng thông minh đóng một 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, trong cộng đồng Bitcoin, việc chấp nhận các hợp đồng thông minh là 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à hợp đồng thông minh 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, chẳng hạn 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 các giá trị này đều có thể bị phản đối.

Một mối quan tâm lớn với Hợp đồng thông minh là chúng có thể làm tăng sự phức tạp và rủi ro bảo mật trên mạng. Hợp đồng thông minh thường liên quan đến logic và mã phức tạp, và bất kỳ lỗi hoặc lỗ hổng 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í mất tiền lớn, như đã xảy ra trong một số dự án Blockchain trong quá khứ. Ngoài ra, việc giới thiệu các 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, làm tăng khả năng xảy ra lỗi.

Ngoài ra, cộng đồng Bitcoin luôn chú trọng đến việc duy trì sự ổn định và bảo mật của mạng. Triết lý thiết kế của Bitcoin nghiêng về sự đơn giản và bảo thủ, ưu tiên bảo mật và phân cấp của mạng. Do đó, bất kỳ thay đổi đáng kể nào có thể gây ra mối đe dọa đối với sự ổn định mạng đều phải chịu sự giám sát chặt chẽ và tranh luận rộng rãi. Việc giới thiệu OP CAT và Hợp đồng thông minh, trong khi có khả năng mang lại các tính năng và khả năng mới cho Bitcoin, cũng có thể được coi là trái ngược với tầm nhìn và triết lý thiết kế ban đầu của Bitcoin.

Satoshi Nakamoto có “sai” không?

Khôi phục OP_CAT Operation Code đã gây ra một cuộc thảo luận sâu sắc trong cộng đồng, một phần vì nó chạm vào một chủ đề nhạy cảm: Điều này có nghĩa là Satoshi Nakamoto đã sai?

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à hướng dẫn trung tâm 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 quyết định của Satoshi Nakamoto có thể được coi là thiếu tôn trọng di sản của ông hoặc rời khỏi các nguyên tắc cốt lõi của Bitcoin. Xét cho cùng, trong ngành công nghiệp Blockchain, tính hợp pháp luôn là một chủ đề không thể tránh khỏi.

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

Tuy nhiên, lĩnh vực kỹ thuật luôn tiến bộ và thay đổi, và Bitcoin, như một sự đổi mới công nghệ, không thể hoàn toàn thoát khỏi luật này, và rõ ràng nhóm Taproot Wizard hỗ trợ khôi phục OP CAT nghĩ như vậy. Rốt cuộc, họ đã cố tình thiết kế BitcoinBlock lớn nhất từ trước đến nay, ngay dưới giới hạn Bitcoin 4 MB, để phát hành Non-fungible Token Taproot Wizards.

Udi Wertheimer, người sáng lập Taproot Wizard, cho biết ô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 trong Bitcoin nên chậm, thận trọng và có chủ ý. Ông lập luận rằng Bitcoin còn quá trẻ để củng cố hoàn toàn, lưu ý rằng quá trình quản trị bằng cách nào đó đã bị phá vỡ. Mặc dù cộng đồng kỹ thuật nói chung đồng ý rằng sẽ có nhiều nâng cấp hơn cho Bitcoin, nhưng thực sự rất khó để xác định chính xác nâng cấp nào sẽ được. Tuy nhiên, Wertheimer nhấn mạnh rằng sự thay đổi là cần thiết vì Bitcoin hiện tại vẫn chưa thể phục vụ hàng tỷ người.

Tất nhiên, những thay đổi như vậy cũng đi kèm với 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ể dự đoán, trong tương lai, để đảm bảo rằng 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 Testnet là một bước quan trọng cho phép các nhà phát triển xác định và giải quyết các vấn đề mà không ảnh hưởng đến Mainnet.

Đồng thời, để thực sự nhận ra 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í trong nhiều năm, bởi 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à cân nhắc về tính bảo mật và ổn định 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.