Giới thiệu

Bạn có thể đã nghe nói về việc kích hoạt lại OP_CAT như một bản nâng cấp tiềm năng cho ngôn ngữ tập lệnh của bitcoin. Tùy thuộc vào nơi bạn nhận được tin tức, OP_CAT được gọi là “chỉ 10 dòng mã”, “cách tốt nhất để kích hoạt thử nghiệm với các giao ước”, “quá mạnh”, “nguy hiểm và dẫn đến việc tập trung hóa thợ mỏ” hoặc “được đảm bảo sẽ dẫn đến một soft fork gây tranh cãi”. Tôi sẽ chứng minh rằng tất cả những quan điểm này đều sai lầm. OP_CAT rất hữu ích, có thể được sử dụng như một giao ước chứ không phải (riêng) bước đi tiếp theo tốt nhất cho bitcoin. Không hơn không kém.

Để giải quyết trường hợp đó, tôi sẽ khám phá một số chủ đề (dường như rời rạc), một số chủ đề còn mới đối với tôi cách đây vài tháng. Tôi sẽ cố gắng sắp xếp việc này theo cách cung cấp thông tin cơ bản cần thiết ở một nơi.

OP_CAT làm như thế nào và làm gì

Hướng nội với CAT

Hãy giải quyết câu hỏi hóc búa mà nhiều người gặp phải khi lần đầu tiên tiếp xúc với OP_CAT. Làm thế nào một vài dòng mã kết hợp hai mục từ ngăn xếp thành một (A B CAT -> AB) có thể kích hoạt bất kỳ điều gì thú vị? Andrew Poelstra đã giải thích một cách hùng hồn trong các cuộc phỏng vấn gần đây và tôi đã đăng một lời giải thích ngắn gọn và ngớ ngẩn:

Bitcoin hơi kỳ lạ nên nó cũng có thể chia rẽ mọi thứ. Sau đó SHA256 cho phép chúng tôi hoàn tác các giá trị băm. Sau đó, vì mật mã chỉ là toán học và chúng tôi biết cách nghiền nát nên CAT cho phép chúng tôi trích xuất hàm băm từ quá trình xác minh chữ ký. Và kết quả là chúng tôi có thể kiểm tra mọi thứ được băm bên trong chữ ký…

- Phía sau | ôm lấy nĩa (@reardencode) Ngày 17 tháng 5 năm 2024

Bởi vì tập lệnh bitcoin hoàn toàn là một ngôn ngữ xác minh nên mỗi opcode có thể được sử dụng theo chiều xuôi hoặc ngược. Một tập lệnh có thể được cung cấp một hàm băm và yêu cầu tiền ảnh hoặc được cung cấp một tiền ảnh và yêu cầu hàm băm bằng cách sử dụng OP_SHA256. Thông tin chi tiết này cung cấp cho chúng tôi hai phần đầu tiên về cách hoạt động của giao ước OP_CAT.

Nếu một tập lệnh bitcoin có thể có quyền truy cập vào hàm băm của giao dịch mà nó đang xác minh, thì nó có thể yêu cầu ngăn xếp chi tiêu cung cấp tiền hình ảnh băm, phân chia theo bất kỳ cách nào mà tập lệnh yêu cầu và sau đó xác thực bất kỳ phần cụ thể nào của tiền hình ảnh đó. Đây chính xác là ý nghĩa của một giao ước – xác nhận một phần của giao dịch chi tiêu một số bitcoin.

Điều đó thật tuyệt, nhưng bitcoin không có mã hoạt động như OP_TXHASH để cấp cho tập lệnh quyền truy cập vào hàm băm của giao dịch. Ở đây, chúng tôi tận dụng phương trình xác minh chữ ký BIP340 Schnorr để yêu cầu người dùng cung cấp hàm băm. Nếu người dùng cung cấp một giá trị sẽ là hàm băm giao dịch hợp lệ nếu tập lệnh nối byte 0x00 vào cuối byte đó thì giá trị đó cũng sẽ là một phần của chữ ký BIP340 hợp lệ (với một số tham số nhất định được cố định) nếu tập lệnh nối byte byte 0x01 cho nó.

Việc kết hợp các kỹ thuật này cho phép OP_CAT kiểm tra bất kỳ phần nào trong giao dịch chi tiêu có thể được ký và thậm chí xem lại các giao dịch gốc của nó theo một số cách hạn chế. Với một số kỹ thuật mã hóa cẩn thận, người ta có thể xây dựng Purrfect Vaults, CatVM, v.v.

Các ứng dụng khác của CAT

Nhưng chúng ta không nên làm vậy. Việc xây dựng những thứ này bằng OP_CAT dẫn đến khó duy trì sự ghê tởm. Thay vào đó, chúng ta nên sử dụng OP_CAT vì những lợi ích của nó và có rất nhiều lợi ích: Nó cho phép tương đương với OP_CHECKSEPARATESIG, kiểm tra bằng chứng bao gồm Merkle, kết hợp dữ liệu để xác minh chữ ký với OP_CHECKSIGFROMSTACK, v.v.

Sự cố với CAT

Bây giờ chúng ta đã biết CAT làm gì, vấn đề là gì? Tại sao mọi người (bao gồm cả tôi) lại nói rằng đó là một con thú nguy hiểm? Bằng cách sử dụng kỹ thuật xem xét nội tâm được mô tả ở trên, CAT cho phép thực hiện hai cấu trúc cụ thể: ký quỹ Hashrate và (được cho là) ​​các nhà tạo lập thị trường tự động (AMM). Cho đến gần đây, cả hai điều này đều được coi là rủi ro đáng kể trong việc đưa MEV tập trung vào bitcoin.

Tập trung MEV, MEVil và khai thác mỏ

Thuật ngữ MEV (Giá trị có thể trích xuất của công cụ khai thác) hơi khó hiểu. Theo cách giải thích đơn giản nhất, nó sẽ bao gồm phí giao dịch, tất nhiên là chúng tôi muốn trả cho những người khai thác để giúp đảm bảo tính bảo mật của bitcoin lâu dài trong tương lai. MEV thường được sử dụng để chỉ giá trị bổ sung mà thợ mỏ có thể trích xuất từ ​​các khối của họ ngoài mức phí hiển thị trên mạng chuyển tiếp công cộng. Điều này có thể xảy ra dưới hình thức thanh toán ngoài phạm vi, người khai thác tham gia hợp đồng và sắp xếp lại các giao dịch theo cách có lợi cho bản thân hoặc thậm chí là trộm cắp hoàn toàn hàng hóa và dịch vụ bởi các khối khai thác của người khai thác để tổ chức lại và chi tiêu gấp đôi khoản thanh toán đã được xác nhận cho người bán. Tất cả các dạng MEV này nhìn chung có thể được coi là không tốt đối với những người tham gia mạng vì những người khai thác đang sử dụng vị trí của họ trong mạng để thu lợi riêng và gây thiệt hại cho những người tham gia mạng khác. Tuy nhiên, riêng MEV không gây ra vấn đề mang tính hệ thống bằng cách thúc đẩy việc tập trung hóa máy khai thác, mà chỉ là vấn đề cục bộ đối với những người tham gia bị ảnh hưởng cụ thể.

MEVil là một thuật ngữ đôi khi được sử dụng cho MEV nhằm thúc đẩy việc tập trung hóa công cụ khai thác – Tôi thích thuật ngữ MEV tập trung hơn và sẽ sử dụng nó trong tương lai. Một số điều cần thiết để chuyển MEV thành MEV tập trung:

1. Nó phải đủ khó để giải nén đến mức trình tạo mẫu khối nguồn mở không thể giải nén nó một cách hợp lý

2. Tổng giá trị có thể trích xuất phải tăng theo tốc độ băm bitcoin của người khai thác

3. Giá trị có thể trích xuất phải phù hợp với chi phí khai thác

Nếu tất cả các yêu cầu này được đáp ứng thì chỉ có thợ đào đủ lớn mới có động lực để bắt đầu khai thác MEV. Một khi làm được điều đó, họ sẽ có thể vượt qua tốc độ tăng trưởng của các công ty cùng ngành nhỏ hơn nhờ vào doanh thu bổ sung được chiết xuất. Việc khai thác MEV càng tốn kém (đến mức không còn giá trị đối với bất kỳ thợ mỏ nào) thì áp lực tập trung mà nó tạo ra càng tệ.

Việc tránh tập trung MEV khi đó (theo một nghĩa nào đó) rất đơn giản: Đảm bảo rằng bất kỳ cơ hội nào cho MEV tồn tại trên bitcoin đều dễ dàng khai thác đến mức mọi người đều thực hiện hoặc tốn nhiều chi phí để khai thác hơn giá trị của chúng (vì chúng quá nhỏ hoặc vì chúng rất tốn kém).

Để biết thêm thông tin, hãy xem bài đăng gần đây của @TheBlueMatt.

Ký quỹ Hashrate (nhũ danh Drivechains)

Nhiều năm trước (trước Lightning Network hoặc các ý tưởng như Ark, Timeout Trees, roll-up, BitVM hoặc CatVM), sidechain được coi là giải pháp mở rộng quy mô tối ưu cho bitcoin. Ý tưởng này rất đơn giản về mặt khái niệm: các khối bitcoin phải có kích thước giới hạn vì tất cả các lý do phân cấp thông thường, nhưng chúng ta có thể gắn chuỗi bên vào bitcoin và chúng có thể có khối nhanh hơn, khối lớn hơn, tính toán nhiều hơn hoặc bất cứ điều gì. Tuy nhiên, trên thực tế, việc triển khai sidechain không dễ dàng như vậy. Việc thanh toán cuối cùng của Bitcoin về cơ bản gắn liền với bằng chứng công việc, một chi phí không thể xác thực để sắp xếp lại các giao dịch, làm thế nào một sidechain kế thừa điều đó? Ngoài ra, làm thế nào bitcoin có thể được chuyển đến và đi từ sidechain? Đề xuất nổi tiếng nhất để trả lời hai câu hỏi này được gọi là Drivechains (BIPs 300 và 301). Tôi sẽ không làm bạn nhàm chán với các chi tiết về Drivechains, nhưng chỉ cần nói rằng, chỉ có hai kết quả của các hệ thống sidechain như vậy: Hoặc chúng tương đối không được sử dụng (và do đó vô dụng) hoặc chúng được sử dụng rộng rãi và trở thành kích thước khối trên thực tế. tăng cho bitcoin. Việc tăng kích thước khối trên thực tế thuộc loại này là một hình thức tập trung MEV, nơi chỉ những người khai thác lớn hơn mới có thể tham gia một cách hiệu quả về mặt chi phí vào các cơ hội doanh thu bổ sung do các khối sidechain tiềm năng lớn và phức tạp mang lại.

Ký quỹ băm, có thể được xây dựng bằng OP_CAT, là một phần nhỏ trong đề xuất Drivechains. Đây là một hệ thống hạn chế việc rút tiền từ chuỗi bên bằng cách sử dụng bộ đếm có giá trị chỉ có thể được thay đổi bởi người khai thác, bắt đầu ở giá trị cao và phải đạt đến 0 trước khi việc rút tiền từ chuỗi bên có thể được xử lý. Đây được cho là một hoạt động chuyển tiền “không cần sự tin cậy” từ một chuỗi bên, nhưng thực tế tạo ra một liên đoàn gồm những người khai thác có quyền kiểm soát tất cả bitcoin được giữ trong các chuỗi bên.

Kể từ khi phát triển các đề xuất Drivechains, việc đề cập đến bất kỳ đề xuất nào có thể được sử dụng để tạo ra một khoản rút tiền dựa trên bộ đếm do thợ mỏ kiểm soát đã trở nên phổ biến (gây bất lợi cho chúng tôi) với tên gọi “Drivechains”. Hy vọng tại thời điểm này, chúng ta có thể hiểu rõ tại sao cách viết tắt không phù hợp này lại không hữu ích – Drivechains vô giá trị hoặc nguy hiểm, nhưng ký quỹ hashrate chỉ đơn thuần là một cách để chuyển quyền kiểm soát kết quả của một số giao dịch cho liên đoàn ngầm của những người khai thác.

Token và AMM

Mã thông báo

Vì những lý do mà tôi sẽ không bao giờ hoàn toàn rõ ràng, con người yêu thích một mã thông báo tốt (hoặc một mã thông báo xấu hoặc thực sự chỉ là các mã thông báo). Gần như ngay từ khi bitcoin bắt đầu xuất hiện, người ta đã thảo luận về cách nhúng các mã thông báo khác vào giao thức, từ Đồng xu màu và Đối tác, cho đến Tài sản Taproot và Rune gần đây hơn. Tất cả các giao thức này đều có một điểm chung: Chúng yêu cầu chỉ mục bên ngoài về các giao dịch bitcoin có kiến ​​thức về dữ liệu bên ngoài hoặc xử lý dữ liệu từ chuỗi giao dịch bitcoin để xác định sự chuyển đổi của mã thông báo trong giao thức. Điểm nổi bật của bài viết này là các tập lệnh khóa bitcoin hoàn toàn không biết về sự tồn tại của mã thông báo và ngay cả các nút bitcoin xác thực giao dịch cũng không biết về mã thông báo (tức là ngay cả khi tập lệnh khóa bitcoin có toàn quyền truy cập vào bộ UTXO bitcoin hoàn chỉnh , nó không thể khám phá trạng thái của bất kỳ mã thông báo nào trong số này).

Nhà tạo lập thị trường tự động (AMM)

Trên các hệ thống blockchain khác, thông thường các hợp đồng được gọi là AMM được sử dụng để (ví dụ) chốt tỷ lệ giữa hai mã thông báo bằng cách mua và bán ở một mức giá cố định. Các quy tắc có thể được mã hóa trong AMM nằm ngoài phạm vi của bài viết này. Chỉ cần nói rằng AMM tạo ra cơ hội lớn cho MEV và do các mối quan hệ trao đổi riêng tư cần thiết để tối đa hóa lợi nhuận trên MEV đó cũng tập trung MEV. Điều này thường được sử dụng như một lập luận chống lại việc xây dựng các tập lệnh bitcoin mang tính biểu cảm hơn - chúng tôi thực sự muốn tránh để mạng bitcoin gặp phải những thay đổi mơ hồ trong việc tập trung MEV. Tuy nhiên, như tôi đã mô tả ở trên, đơn giản là không có cách thực tế nào để các tập lệnh bitcoin, cho dù có biểu cảm đến đâu, để đánh giá trạng thái của bất kỳ mã thông báo nào ngoài bitcoin. Các tập lệnh bitcoin không thể định vị được sat hiếm. Họ không thể tìm thấy sự cân bằng Rune. Họ không thể xác định Tài sản Taproot.

Nếu không có quyền truy cập vào bất kỳ thông tin nào về việc xử lý các tài sản không phải bitcoin, toàn bộ khái niệm về AMM dựa trên tập lệnh bitcoin sẽ không còn ý nghĩa nữa. Vị trí mã thông báo có thể được chứng thực bằng chữ ký từ oracle, nhưng chứng thực oracle không tạo nên AMM. Chúng có thể được sử dụng để tạo thuận lợi cho các giao dịch thủ công cụ thể, nhưng không phải là một hệ thống tự động lâu bền. Hơn nữa, một hệ thống dựa trên oracle như vậy có thể được xây dựng ngày nay mà không có thay đổi nào đối với bitcoin.

Phần kết luận

Như bạn có thể hy vọng thấy, CAT không phải là một con thú đáng sợ đến thế. Nó thực sự không giống một con thú chút nào. Nó không có khả năng vô hạn cũng như sức mạnh ma thuật. Đó chỉ là một chút opcode có thể rất hữu ích. Một điều chúng tôi có thể muốn tránh là kích hoạt OP_CAT mà không có cách nào khác để thực hiện việc xem xét nội tâm giao dịch, chẳng hạn như OP_TXHASH, OP_TX hoặc cả hai. Ngay cả việc kích hoạt nó bằng LNHANCE cũng là một cải tiến đối với riêng OP_CAT vì nó làm giảm kích thước và độ phức tạp của các tập lệnh cần thiết để đạt được nhiều giao thức xem xét nội bộ OP_CAT.

Tôi nghĩ tại thời điểm này, "CAT giới thiệu mọi thứ vô hạn" đã giảm xuống gần như không có gì.

Nó giới thiệu sự xem xét nội tâm hữu ích theo một cách tệ hại mà không ai nên sử dụng. Để giúp mọi người không sử dụng nó, chúng ta nên kích hoạt CAT cùng với TXHASH hoặc tương tự.https://t.co/nvnxYn66Um https://t.co/1Ag5TwjuUw

- Phía sau | ôm lấy nĩa (@reardencode) Ngày 17 tháng 5 năm 2024

Đây là một bài viết của khách Brandon Black. Các ý kiến ​​được bày tỏ hoàn toàn là của riêng họ và không nhất thiết phản ánh quan điểm của BTC Inc hoặc Bitcoin Magazine.

Nguồn: Tạp chí Bitcoin

Bài đăng OP_CAT và Infinite Nothing xuất hiện đầu tiên trên Crypto Breaking News.