Tác giả: Quintus Kilbourn, Georgios Konstantopoulos, Paradigm Bản dịch: Golden Finance 0xxz;
giới thiệu
Gần đây, các cuộc thảo luận xung quanh “ý định” và ứng dụng của chúng đã trở thành chủ đề nóng trong cộng đồng Ethereum.
Nếu các giao dịch đề cập rõ ràng đến "cách" một hành động nên được thực hiện, thì ý định đề cập đến "kết quả mong đợi của hành động đó là gì". Nếu một giao dịch nói "Đầu tiên làm A, sau đó làm B, trả đầy đủ C để nhận X", thì ý định sẽ nói "Tôi muốn X, tôi sẵn sàng trả tới C".
Mô hình khai báo này mở ra những cải tiến hiệu quả và trải nghiệm thú vị cho người dùng. Thông qua ý định, người dùng có thể đơn giản thể hiện kết quả mong muốn trong khi giao các nhiệm vụ tốt nhất để đạt được kết quả đó cho bên thứ ba có kinh nghiệm. Khái niệm về ý định trái ngược với mô hình giao dịch bắt buộc ngày nay, trong đó mọi tham số đều được người dùng chỉ định rõ ràng.
Mặc dù lời hứa về những cải tiến này mang lại một bước đi rất cần thiết cho hệ sinh thái, nhưng thiết kế dựa trên mục đích trên Ethereum cũng có thể có tác động đáng kể đến cơ sở hạ tầng ngoài chuỗi. Đặc biệt, có những mối liên hệ quan trọng với các hoạt động liên quan đến MEV và kiểm soát thị trường. Bài viết này nhằm mục đích cung cấp một định nghĩa ngắn gọn về các ý định và lợi ích của chúng, tìm hiểu những rủi ro liên quan đến việc thực hiện chúng và một số thảo luận về các biện pháp giảm thiểu tiềm năng.
Ý định là gì?
Cách tiêu chuẩn hiện tại để người dùng tương tác với Ethereum là thực hiện và ký các giao dịch, một thông báo được định dạng cụ thể cung cấp tất cả thông tin cần thiết để Máy ảo Ethereum (EVM) thực hiện chuyển đổi trạng thái. Tuy nhiên, việc tạo một giao dịch có thể là một vấn đề phức tạp. Việc tạo giao dịch đòi hỏi phải suy luận về các chi tiết như mạng lưới hợp đồng thông minh rộng lớn và quản lý số ngẫu nhiên, đồng thời nắm giữ các tài sản cụ thể để trả phí gas. Sự phức tạp này dẫn đến trải nghiệm người dùng dưới mức tối ưu và giảm hiệu quả do người dùng buộc phải đưa ra quyết định mà không có quyền truy cập đầy đủ vào thông tin hoặc các chiến lược thực hiện phức tạp.
Ý định được thiết kế để giảm bớt những gánh nặng này cho người dùng. Một cách không chính thức, các ý định ký một tập hợp các ràng buộc khai báo cho phép người dùng giao việc tạo giao dịch cho bên thứ ba mà không từ bỏ toàn quyền kiểm soát của các bên giao dịch.
Trong quy trình dựa trên giao dịch tiêu chuẩn, chữ ký giao dịch cho phép người xác thực đi theo chính xác một đường dẫn tính toán cho một trạng thái cụ thể và gợi ý khuyến khích người xác thực làm như vậy. Mặt khác, ý định không chỉ định rõ ràng đường dẫn tính toán phải được thực hiện nhưng cho phép bất kỳ đường dẫn tính toán nào thỏa mãn các ràng buộc nhất định. Bằng cách ký và chia sẻ ý định, người dùng cấp cho người nhận quyền thay mặt họ chọn đường dẫn tính toán một cách hiệu quả (xem hình ảnh bên dưới). Sự khác biệt này cho phép các ý định được xác định chặt chẽ hơn một chút dưới dạng các thông báo đã ký, cho phép một tập hợp các chuyển đổi trạng thái từ một trạng thái bắt đầu nhất định, một trường hợp đặc biệt là các giao dịch cho phép chuyển đổi duy nhất. Nói như vậy, chúng ta sẽ tiếp tục phân biệt "ý định" với các giao dịch.
Hình 1: Khi gửi giao dịch, người dùng chỉ định đường dẫn tính toán chính xác. Khi gửi ý định, người dùng chỉ định mục tiêu và một số ràng buộc, đồng thời quy trình so khớp sẽ xác định đường dẫn tính toán sẽ được thực hiện.
Điều quan trọng là nhiều ý định có thể được đưa vào một giao dịch duy nhất, cho phép kết hợp các ý định chồng chéo, tăng lượng khí đốt và hiệu quả kinh tế, ví dụ: trong sổ đặt hàng do người xây dựng duy trì, hai lệnh có thể được khớp với nhau trước khi tham gia thị trường bù trừ. Các ứng dụng khác bao gồm ý định tên miền chéo - ký một tin nhắn thay vì nhiều giao dịch trên các tên miền khác nhau - sử dụng các sơ đồ chống lặp lại khác nhau và thanh toán gas người dùng linh hoạt hơn, chẳng hạn như cho phép 3 bên thứ hai tài trợ gas hoặc thanh toán bằng các mã thông báo khác nhau.
Quá khứ và tương lai của ý định
Các ý định đã được tạo ra để giải quyết sự phức tạp của việc tương tác với chuỗi khối, đồng thời cho phép người dùng duy trì quyền giám sát tài sản và danh tính mật mã của họ.
Bạn có thể nhận thấy rằng nhiều ý tưởng trong số này tương ứng với các hệ thống đã hoạt động trong nhiều năm:
Lệnh giới hạn: Nếu tôi nhận được ít nhất 200 Y, 100 X có thể bị rút khỏi tài khoản của tôi.
Đấu giá theo kiểu CowSwap: Tương tự như trên, nhưng dựa vào bên thứ ba hoặc cơ chế để khớp nhiều lệnh nhằm tối đa hóa chất lượng khớp lệnh.
Tài trợ gas: Trả gas bằng USDC thay vì ETH. Ý định chỉ có thể được thực hiện bằng cách phù hợp với ý định, với phí được trả bằng ETH.
Ủy quyền: Chỉ cho phép tương tác với một số tài khoản nhất định theo những cách được ủy quyền trước nhất định. Ý định chỉ được thực hiện nếu giao dịch cuối cùng tuân thủ danh sách kiểm soát truy cập được chỉ định trong ý định.
Giao dịch hàng loạt: Cho phép xử lý hàng loạt ý định để cải thiện hiệu quả sử dụng gas.
Công cụ tổng hợp: Chỉ hoạt động bằng cách sử dụng giá/lợi nhuận "tốt nhất". Mục đích này có thể đạt được bằng cách chứng minh rằng việc tổng hợp nhiều vị trí đã được thực hiện và đường dẫn tốt nhất đã được thực hiện.
Nhìn về tương lai, ý định của mọi người đang được hồi sinh trong bối cảnh MEV chuỗi chéo (chẳng hạn như SUAVE), trừu tượng hóa tài khoản kiểu ERC4337 và thậm chí cả các đơn đặt hàng tại Cảng biển! Trong khi ERC4337 đang tiến lên phía trước, các ứng dụng mới khác như ý định tên miền chéo vẫn cần được nghiên cứu thêm.
Điều quan trọng là trong tất cả các ứng dụng dựa trên ý định, cũ và mới, cần có ít nhất một bên khác hiểu được ý định, có động lực thực hiện ý định và có thể thực hiện chúng một cách kịp thời. Các câu hỏi như các bên này là ai, họ hoạt động như thế nào và động cơ của họ là gì phải được đặt ra để xác định tính hiệu quả, các giả định về độ tin cậy và tác động rộng hơn của các hệ thống hướng đến mục đích.
Người trung gian và nhóm bộ nhớ của nó
Kênh rõ ràng nhất để lọt vào tay các bên trung gian là mempool Ethereum. Thật không may, thiết kế hiện tại không hỗ trợ việc truyền bá ý định. Những lo ngại về các cuộc tấn công DoS có thể có nghĩa là việc hỗ trợ phổ quát cho các ý định hoàn toàn phổ quát trong bộ nhớ Ethereum khó có thể xảy ra ngay cả về lâu dài. Như chúng ta sẽ thấy bên dưới, tính chất mở và không cần cấp phép của mempool của Ethereum tạo ra các rào cản bổ sung đối với việc áp dụng các ý định.
Trong trường hợp không có mempool Ethereum, các nhà thiết kế hệ thống ý định hiện phải đối mặt với một số vấn đề về thiết kế. Một quyết định cấp cao được đưa ra về việc truyền bá ý định đến một bộ quyền hay cung cấp chúng theo cách không cần cấp phép để bất kỳ bên nào cũng có thể thực hiện ý định đó.
Hình 2: Ý định chuyển từ người dùng đến nhóm ý định được phép/không được phép và công khai/riêng tư, được chuyển đổi thành giao dịch bởi các bên trung gian và cuối cùng thành nhóm bộ nhớ công cộng hoặc trực tiếp lên chuỗi thông qua đấu giá kiểu MEV Boost
Nhóm bộ nhớ không được phép
Một thiết kế mà người ta có thể phấn đấu là một API phi tập trung cho phép truyền bá ý định giữa các nút khác nhau trong hệ thống, cung cấp quyền truy cập không cần cấp phép cho các tác nhân. Việc này đã được làm từ trước. Ví dụ: buôn lậu các lệnh giới hạn giữa các bộ chuyển tiếp giao thức 0x và đặt chúng trên chuỗi khi khớp. Ý tưởng này cũng đang được khám phá trong bối cảnh nhóm bộ nhớ ERC4337 được chia sẻ để chống lại các rủi ro về tập trung và kiểm duyệt. Tuy nhiên, việc thiết kế một nhóm ý định không được phép như vậy phải đối mặt với một số thách thức đáng kể:
Chống DoS: Chức năng của ý định có thể phải bị hạn chế để tránh bị tấn công.
Lan truyền khuyến khích: Đối với nhiều ứng dụng, việc thực hiện ý định là một hoạt động mang lại lợi nhuận. Do đó, các nút vận hành một nhóm ý định có động cơ không lan truyền để giảm sự tranh chấp khi thực hiện các ý định.
MEV: Ý định dựa vào hành vi tốt của những người tham gia ngoài chuỗi để cải thiện chất lượng thực thi và có thể gặp khó khăn khi sử dụng nhóm ý định công khai, không cần cấp phép. Nếu việc thực thi kém mang lại lợi nhuận thì việc tập hợp các ý định không được phép có thể dẫn đến kết quả này. Điều này tương tự như những gì được ghi nhận trong mempool Ethereum ngày nay và được dự đoán sẽ trở thành một vấn đề phổ biến đối với các ý định liên quan đến DeFi. Một con đường khả thi phía trước có thể là các nhóm ý định không được phép nhưng được mã hóa.
"Bộ nhớ" được phép
Các API tập trung đáng tin cậy có khả năng chống DoS tốt hơn và không yêu cầu truyền bá ý định. Các mô hình đáng tin cậy cũng cung cấp một số cơ sở cho vấn đề MEV. Miễn là giả định về sự tin cậy được giữ vững thì chất lượng thực hiện sẽ được đảm bảo. Một bên trung gian đáng tin cậy cũng có thể có danh tiếng gắn liền với nó, mang lại một số động lực để thực hiện tốt. Do đó, nhóm mục đích được cấp phép sẽ hấp dẫn các nhà phát triển ứng dụng dựa trên mục đích trong thời gian ngắn. Tuy nhiên, như tất cả chúng ta đều biết rõ, giả định về niềm tin mạnh mẽ là sai lầm và có phần trái ngược với phần lớn các đặc tính của blockchain. Những vấn đề này sẽ được giải quyết dưới đây.
Giải pháp lai
Một số giải pháp là sự kết hợp của các giải pháp trên. Ví dụ: có thể truyền bá khi có sự cho phép nhưng thực thi mà không được phép (giả sử giả định về độ tin cậy được giữ nguyên) hoặc ngược lại. Một ví dụ phổ biến về giải pháp kết hợp là đấu giá luồng đơn hàng.
Ý tưởng cấp cao đằng sau những thiết kế này là người dùng cần đối tác có thể cần phân biệt giữa đối tác tốt hơn và đối tác kém hơn (ví dụ: bên kia chấp nhận giao dịch ở mức giá thuận lợi). Quá trình thiết kế thường bao gồm một bên đáng tin cậy tiếp nhận ý định (hoặc giao dịch) của người dùng và thay mặt họ tạo điều kiện thuận lợi cho cuộc đấu giá. Việc tham gia đấu giá (đôi khi) là trái phép.
Những loại thiết kế này có những nhược điểm riêng và có thể phải chịu nhiều lo ngại xung quanh việc tổng hợp mục đích được cấp phép, nhưng có một số khác biệt quan trọng sẽ trở nên rõ ràng sau này.
Điểm mấu chốt: các ứng dụng dựa trên mục đích không chỉ liên quan đến các định dạng tin nhắn mới để tương tác với hợp đồng thông minh, mà còn liên quan đến các cơ chế phát hiện đối tác và truyền bá kiểu mempool thay thế. Thiết kế một cơ chế phù hợp và khám phá ý định tương thích với động lực và đồng thời phi tập trung hóa không phải là một nhiệm vụ dễ dàng.
Điều gì có thể xảy ra?
Mặc dù ý định là một mô hình giao dịch mới thú vị, nhưng việc áp dụng rộng rãi chúng có thể đồng nghĩa với việc xu hướng hoạt động lớn hơn của người dùng đối với các mempool thay thế đang tăng tốc. Nếu không được quản lý đúng cách, sự thay đổi này có thể dẫn đến sự tập trung hóa và cố thủ của những người trung gian trục lợi.
dòng lệnh
Nếu ý định được phép thực thi nhưng tập hợp quyền không được chọn cẩn thận, việc di chuyển khỏi nhóm bộ nhớ công cộng có thể dẫn đến việc tập trung sản xuất khối Ethereum.
Phần lớn việc sản xuất khối trên Ethereum hiện đang diễn ra thông qua MEV-Boost, một triển khai ngoài giao thức của Phân tách người đề xuất-người xây dựng (PBS) và lộ trình hiện tại không đưa ra dấu hiệu nào cho thấy giao diện này sẽ sớm được triển khai Thay đổi. PBS dựa vào sự tồn tại của một thị trường cạnh tranh để các nhà xây dựng khối hướng MEV đến bộ trình xác nhận. Một vấn đề lớn trong PBS là những người xây dựng khối có thể có quyền truy cập độc quyền vào các nguyên liệu thô cần thiết để tạo ra các khối có giá trị - các giao dịch và ý định, còn được gọi là "luồng đơn hàng". Trong ngôn ngữ của PBS, quyền truy cập được phép vào ý định sẽ được gọi là "Luồng đặt hàng độc quyền" (EOF). Như đã thảo luận trong bài viết này, EOF nằm trong tay kẻ xấu đe dọa cấu trúc thị trường mà PBS dựa vào, vì tính độc quyền của dòng lệnh có nghĩa là một con hào chống lại các lực lượng cạnh tranh.
Những người xây dựng khối (hoặc các tổ chức hợp tác), những người kiểm soát phần lớn luồng đơn hàng của Ethereum sẽ có thể tạo ra phần lớn các khối mạng chính, do đó mở ra một vectơ kiểm duyệt. Vì mạng dựa vào sự cạnh tranh giữa các nhà xây dựng để cung cấp giá trị cho người xác nhận (hoặc bị phá hủy trong tương lai), nên sự thống trị của một nhà xây dựng duy nhất sẽ tạo thành sự chuyển giao giá trị từ Ethereum sang nhà xây dựng. Tìm kiếm đặc lợi và kiểm duyệt chắc chắn là những mối đe dọa quan trọng đối với thỏa thuận.
lòng tin
Vì nhiều giải pháp đòi hỏi sự tin tưởng vào các bên trung gian nên việc phát triển các kiến trúc dựa trên mục đích mới bị cản trở bởi các rào cản gia nhập cao, đồng nghĩa với việc tỷ lệ đổi mới và cạnh tranh để đảm bảo chất lượng thực hiện thấp hơn.
Trong trường hợp xấu nhất, người dùng có thể rơi vào tình thế chỉ có một bên thực hiện ý định, chẳng hạn như nhà độc quyền xây dựng khối ở phần trước. Trong một thế giới như vậy, các công ty độc quyền xây dựng khối sẽ có thể thu được tiền thuê và bất kỳ đề xuất mới nào về cách xử lý các ý định sẽ bị từ chối nếu các nhà xây dựng không áp dụng chúng. Người dùng cá nhân mất quyền đàm phán khi đối mặt với sự độc quyền—hiệu ứng này càng trở nên trầm trọng hơn khi người dùng có ý định cung cấp cho người trung gian mức độ tự do bổ sung.
Thật không may, sự trì trệ của thị trường do cơ sở hạ tầng tập trung không bao gồm những lo ngại về thị trường xây dựng. Ngay cả đối với các doanh nghiệp không xây dựng khối, rào cản gia nhập cao hơn khiến người trung gian có lợi thế vì họ gặp ít cạnh tranh. Ví dụ: hãy xem xét trạng thái hiện tại của thị trường đấu giá dòng lệnh. Một số thực thể như Flashbots và CoWswap nhận được phần lớn luồng đơn hàng đến OFA. Sự phân bổ luồng đơn hàng phần lớn là do các thực thể này đã tồn tại trong nhiều năm hoặc được liên kết với các thực thể có uy tín, nghĩa là họ đã đạt được mức độ tin cậy nhất định của công chúng. Nếu một thiết kế OFA mới cố gắng thâm nhập thị trường, bất kỳ ai đang điều hành OFA mới sẽ phải mất nhiều thời gian để thuyết phục người dùng và ví rằng họ có uy tín và sẽ không lạm dụng quyền lực của mình. Sự cần thiết của chiến dịch tạo dựng niềm tin này chắc chắn tạo thành một rào cản đáng kể cho việc gia nhập.
Thị trường đấu giá dòng lệnh gần đây mới bắt đầu thu hút được sự chú ý và vẫn còn phải xem sự cạnh tranh sẽ phát triển như thế nào, nhưng thị trường này cung cấp một ví dụ minh họa trong đó một mempool đáng tin cậy, được cấp phép có thể phục vụ một số lượng nhỏ người tham gia có quyền lực, do đó gây hại lợi ích tốt nhất của người dùng.
Định dạng mục đích EIP4337 cung cấp một ví dụ khác về cơ chế khả thi. Hãy xem xét một thế giới nơi có kiến trúc đáng tin cậy để hỗ trợ 4337 ý định. Điều gì sẽ xảy ra nếu một định dạng ý định khác được đề xuất - có thể phục vụ các trường hợp sử dụng bổ sung chẳng hạn như chức năng trên nhiều miền - nhưng các bên trung gian đáng tin cậy đã thiết lập không áp dụng định dạng mới này (xét cho cùng, nó không được áp dụng nhiều và không liên quan đến hoạt động kinh doanh của họ) cạnh tranh theo mô hình), việc triển khai định dạng mới đòi hỏi phải thiết lập niềm tin vào thực thể mới. Tương tự như vậy, chúng ta thấy mình ở trong những tình huống mà chúng ta đổi mới và thách thức hiện trạng, nhưng lại gặp phải những rào cản gia nhập dựa trên niềm tin.
Độ mờ
Vì nhiều cấu trúc ý định yêu cầu người dùng từ bỏ một số quyền kiểm soát đối với tài sản trên chuỗi của họ và các mempool được cấp phép hàm ý mức độ không thể xuyên thủng từ bên ngoài, nên chúng tôi gặp rủi ro khi xây dựng một hệ thống không rõ ràng trong đó không biết làm thế nào hoặc liệu kỳ vọng của người dùng có được đáp ứng hay không và mối đe dọa đối với hệ sinh thái vẫn chưa được khám phá.
Phần trên đề cập đến những rủi ro do mất cân bằng quyền lực trong thị trường dòng lệnh gây ra cho người dùng và giao thức. Một vấn đề liên quan là hệ sinh thái của phần mềm trung gian và bộ nhớ phát triển giữa người dùng và blockchain đã trở nên không rõ ràng, ngay cả đối với những người quan sát tinh tường. Mối lo ngại này đặc biệt liên quan đến các ứng dụng dựa trên mục đích tìm cách cho phép người dùng đưa ra các quyết định quan trọng bên ngoài như định tuyến đơn hàng.
Các trường hợp MEV tác động tiêu cực đến việc thực hiện của người dùng thường là do người thực thi từ bỏ các giao dịch có tính tự do cao (ví dụ: giới hạn trượt giá). Do đó, không phải là một bước nhảy vọt lớn về mặt logic khi khẳng định rằng các ứng dụng dựa trên mục đích có nhiều quyền tự do hơn nên thiết kế hệ thống thực thi của chúng một cách cẩn thận hơn. Kết quả tồi tệ nhất trong vấn đề này là một thế giới trong đó việc sử dụng các ứng dụng dựa trên mục đích yêu cầu phải ký một ý định biến mất (một khu rừng tối, nếu bạn muốn) và sau đó bằng cách nào đó được thực hiện dưới dạng giao dịch, nhưng không rõ ai đã tạo ra giao dịch đó hoặc bằng cách nào. Tất nhiên, khả năng giám sát các hệ sinh thái như vậy cũng liên quan đến mối lo ngại về EOF và các biện pháp phòng vệ dựa trên sự tin cậy.
Giảm thiểu rủi ro
Nhóm bộ nhớ Ethereum bị hạn chế. Đối với một số ứng dụng, điều này là do chúng thiếu quyền riêng tư (tay cầm bánh sandwich), trong khi đối với những ứng dụng khác, đó là do chúng không thể hỗ trợ nhiều định dạng tin nhắn hơn. Điều này đặt các nhà phát triển ví và ứng dụng vào tình thế khó khăn, vì họ phải tìm cách nào đó để kết nối người dùng với blockchain đồng thời tránh những nguy hiểm nêu trên.
Khi xem xét các câu hỏi trên, chúng ta có thể suy ra một số tính chất của một hệ thống lý tưởng. Một hệ thống như vậy phải không được cấp phép để bất kỳ ai cũng có thể khớp và thực thi các ý định mà không phải hy sinh quá nhiều chất lượng thực thi phổ quát để việc triển khai các ứng dụng mới không yêu cầu tạo nhóm bộ nhớ mới và minh bạch để nó được công khai. mục đích và cung cấp dữ liệu để thực hiện kiểm tra chất lượng khi đảm bảo quyền riêng tư cho phép.
Trong khi các nhóm như Flashbots và Anoma đang nghiên cứu các giải pháp chung đáp ứng các yêu cầu trên bằng cách kết hợp quyền riêng tư và không cần cấp phép, thì hệ thống lý tưởng có thể chưa sẵn sàng sớm. Do đó, các giải pháp khác nhau có thể phục vụ tốt nhất cho các ứng dụng khác nhau với sự cân bằng riêng của chúng. Mặc dù các cơ chế như crlists, xuất hiện để giải quyết nhiều vấn đề tương tự xung quanh các ứng dụng dựa trên giao dịch, có thể không hoạt động tốt với ý định, nhưng các tiện ích cho phép người dùng quay lại giao dịch khi có thể có thể hoạt động tốt. Cải thiện tình huống xấu nhất. , một ứng dụng muốn khởi chạy một nhóm ý định sẽ tốt hơn nếu tìm kiếm tính tổng quát mà không được phép và chọn người trung gian một cách cẩn thận khi được phép.
Nói rộng hơn, chúng tôi yêu cầu các nhà thiết kế ứng dụng dựa trên mục đích xem xét kỹ lưỡng tác động ngoài chuỗi của ứng dụng của họ, vì những ứng dụng này có thể chạm đến cộng đồng rộng hơn chứ không chỉ cơ sở người dùng của họ.
Tóm lại là
Việc áp dụng các ý định thể hiện sự chuyển đổi từ mô hình mệnh lệnh sang mô hình khai báo, dự kiến sẽ cải thiện đáng kể trải nghiệm người dùng và những tổn thất về hiệu quả do MEV. Nhu cầu về các ứng dụng này rất rõ ràng và nhiều ứng dụng dựa trên mục đích đã được sử dụng rộng rãi trong nhiều năm.
Việc tăng cường áp dụng các ý định, do ERC4337 thúc đẩy, có thể đẩy nhanh quá trình di chuyển từ nhóm Ethereum đến các địa điểm mới. Mặc dù động thái này là hợp lý và không thể tránh khỏi, nhưng các nhà thiết kế ứng dụng dựa trên mục đích có lý do chính đáng để thiết kế cẩn thận các thành phần ngoài chuỗi trong hệ thống của họ đồng thời phát triển cơ sở hạ tầng mạnh mẽ.
Vẫn còn rất nhiều nghiên cứu và kỹ thuật cần được thực hiện trong mô hình giao dịch non trẻ này và trong các lĩnh vực mà chúng tôi chưa đề cập đến trong bài viết này, chẳng hạn như thiết kế ngôn ngữ biểu đạt ý định cho phép quyền riêng tư.
Xin gửi lời cảm ơn chân thành đến Dan Robinson, Charlie Noyes, Matt Huang, John Guibas, Xinyuan Sun và Elijah Fox vì phản hồi của họ về bài viết này và cảm ơn Achal Srinivasan về thiết kế của ông.
