Tháng trước, tôi audit một hợp đồng thông minh cho một dự án Layer 2. Trong quá trình kiểm tra hàm withdraw, tôi phát hiện một lỗi reentrancy cổ điển. Điều thú vị là đội ngũ phát triển đã viết hàng trăm dòng code cho cơ chế chống front-running, nhưng lại quên mất lớp bảo vệ cơ bản nhất. Họ quá tập trung vào câu chuyện thị trường, vào việc làm sao để token của họ trông "sexy" hơn, mà quên mất rằng nền tảng của mọi thứ vẫn là code chạy đúng.
Tuần này, khi đọc tin về việc Ủy ban Ngân hàng Thượng viện Hoa Kỳ trì hoãn cuộc bỏ phiếu cho Đạo luật CLARITY, tôi có cùng một cảm giác. Toàn bộ thị trường đang nhìn vào câu chuyện chính trị, vào những cuộc chiến giữa hai đảng, vào "điều khoản đạo đức" gây tranh cãi. Nhưng giống như lỗi reentrancy trong hợp đồng kia, có một lớp vấn đề kỹ thuật sâu hơn mà hầu như không ai nhắc đến. Và lớp vấn đề đó, theo tôi, mới thực sự quyết định tương lai của ngành này.
Tin tức rất rõ ràng: Đạo luật CLARITY, được kỳ vọng sẽ mang lại một khuôn khổ pháp lý rõ ràng cho tài sản kỹ thuật số tại Mỹ, đã bị hoãn lại. Lý do chính thức được đưa ra là tranh cãi xung quanh "điều khoản đạo đức" (moral clause) liên quan đến tiền điện tử. Các thượng nghị sĩ không thể thống nhất về việc liệu có nên hạn chế các khoản đóng góp chính trị từ ngành công nghiệp crypto hay không, và liệu các nhà lập pháp có cần công khai danh mục đầu tư tiền điện tử của họ.
Có rất nhiều bài phân tích tập trung vào khía cạnh chính trị của sự kiện này. Họ nói về việc nó cho thấy "tiền điện tử đã trở thành một vấn đề chính trị". Họ bàn luận về "sự thất vọng của thị trường" và khả năng "các công ty sẽ rời khỏi Mỹ". Tất cả đều đúng, nhưng tất cả đều chỉ là bề mặt.
Hãy nhìn vào vấn đề từ góc nhìn của một người đã từng viết hàng trăm nghìn dòng code Solidity và Vyper. Một "khuôn khổ pháp lý rõ ràng" là gì? Nó là một bộ quy tắc. Nhưng blockchain là một cỗ máy không tin cậy (trustless). Bản chất của nó là phi tập trung và không có biên giới. Sự mâu thuẫn cốt lõi nằm ở đây: Làm thế nào để áp dụng một bộ quy tắc cục bộ (luật pháp Mỹ) lên một bộ máy toàn cầu?
Câu trả lời mà phần lớn thị trường đang theo đuổi – và cũng là lỗi mà dự án Layer 2 kia đã mắc phải – là tập trung hóa ở tầng ứng dụng. Họ đặt mọi thứ vào một hợp đồng thông minh proxy duy nhất, hoặc dựa vào một multisig được kiểm soát bởi một vài thực thể. Làm điều này giúp họ dễ dàng tuân thủ pháp luật: chỉ cần thay đổi logic trong hợp đồng proxy hoặc chặn một địa chỉ từ một quốc gia là xong.
Nhưng đó là một sự đánh đổi. Một sự đánh đổi về bảo mật và tính phi tập trung. Khi bạn dùng proxy, bạn tạo ra một điểm lỗi duy nhất. Khi bạn có thể chặn địa chỉ, bạn đang phá vỡ tính chất "không cần cấp phép". Và cái giá của sự đánh đổi này, như chúng ta đã thấy qua vô số vụ hack, là cực kỳ đắt.
Điều này đưa tôi đến một góc nhìn phản trực giác: Việc Đạo luật CLARITY bị trì hoãn, trên thực tế, là một tín hiệu tích cực cho sự phát triển kỹ thuật thuần túy của blockchain. Tôi biết điều này nghe có vẻ điên rồ. Nhưng hãy suy nghĩ một chút.
Nếu một khuôn khổ pháp lý rõ ràng, dù được xây dựng với ý định tốt, được thông qua, nó sẽ tạo ra một làn sóng "tuân thủ hóa" (compliance-washing). Các dự án sẽ lao vào việc thêm các tính năng KYC/AML trực tiếp vào hợp đồng thông minh của họ, làm xói mòn tính phi tập trung và tạo ra vô số lỗ hổng bảo mật mới. Chúng ta đã thấy điều này xảy ra với các giao thức cho vay, nơi việc thêm các danh sách trắng (whitelist) và cơ chế đóng băng (freeze mechanism) đã tạo ra các vector tấn công mới.
Việc CLARITY bị trì hoãn cho chúng ta thêm thời gian. Thời gian để các nhà phát triển xây dựng những giải pháp thực sự tinh vi hơn. Thời gian để hoàn thiện các bằng chứng không kiến thức (ZK-proofs) cho việc xác minh danh tính mà không tiết lộ dữ liệu. Thời gian để xây dựng các lớp trừu tượng hóa (abstraction layers) cho phép các hợp đồng thông minh tương tác với các quy tắc pháp lý khác nhau mà không làm ảnh hưởng đến logic cốt lõi của chúng.
Khi tôi fork Uniswap V2 vào năm 2020, tôi đã mất rất nhiều thời gian để tối ưu hóa gas. Tôi nhận ra rằng việc thêm một biến boolean đơn giản để kiểm tra whitelist có thể làm tăng chi phí giao dịch lên đến 5%. Và đó là một layer đơn giản. Hãy tưởng tượng một tương lai nơi mỗi lần swap, mỗi lần chuyển token đều phải trải qua một loạt các kiểm tra tuân thủ phức tạp. Chi phí gas sẽ tăng vọt, và trải nghiệm người dùng sẽ trở nên tồi tệ.
Câu chuyện của tôi với dự án AI oracle vào năm 2023 càng làm tôi tin chắc hơn vào điều này. Chúng tôi đã phát triển một hệ thống chứng minh không kiến thức (ZK-proof) để xác thực đầu ra của mô hình học máy mà không tiết lộ dữ liệu đầu vào. Đó là một giải pháp kỹ thuật khả thi, nhưng nó rất phức tạp và chưa đủ hiệu quả để triển khai trên quy mô lớn. Tuy nhiên, nó chỉ ra một hướng đi đúng đắn: thay vì buộc blockchain phải tuân theo các quy tắc pháp lý một cách cứng nhắc, hãy xây dựng các "cầu nối" mật mã học cho phép chúng chứng minh sự tuân thủ một cách riêng tư và hiệu quả.
Các cuộc tranh luận về "điều khoản đạo đức" tại Thượng viện Mỹ cũng vậy. Nó không chỉ là về việc liệu một thượng nghị sĩ có nên sở hữu Bitcoin hay không. Nó là về một cuộc khủng hoảng niềm tin sâu sắc hơn. Và trên blockchain, khủng hoảng niềm tin được giải quyết bằng code, không phải bằng chính trị. Một hợp đồng thông minh minh bạch, có thể kiểm toán, và không có admin key là một tuyên bố mạnh mẽ hơn bất kỳ lời hứa chính trị nào.
Vì vậy, khi thị trường đang tập trung vào việc liệu CLARITY có được thông qua hay không, tôi nhìn vào một thứ khác. Tôi nhìn vào số lượng các dự án đang xây dựng các giải pháp ZK cho danh tính (identity). Tôi nhìn vào sự phát triển của các cơ chế "hộp đen" (blackbox) trên các sàn giao dịch phi tập trung, cho phép tuân thủ mà không cần tiết lộ toàn bộ dữ liệu giao dịch. Tôi nhìn vào các nghiên cứu về cách tách biệt logic kinh doanh khỏi logic tuân thủ trong thiết kế hợp đồng thông minh.
Kết luận của tôi có thể không giống với số đông: Sự trì hoãn của CLARITY không phải là một thảm họa. Nó là một cơ hội. Một cơ hội để ngành công nghiệp này chứng tỏ rằng chúng ta có thể tự xây dựng các giải pháp kỹ thuật cho các vấn đề quản trị và tuân thủ, thay vì trông chờ vào các chính trị gia. Nếu chúng ta làm tốt, khi một khuôn khổ pháp lý cuối cùng được thông qua, nó sẽ không phải là một chiếc áo bó buộc, mà là một sự công nhận cho những nỗ lực kỹ thuật đã được thực hiện. Nếu chúng ta thất bại, và cứ tiếp tục lao vào những giải pháp tuân thủ tạm bợ, thì lịch sử sẽ lặp lại: chúng ta sẽ lại audit những hợp đồng thông minh có lỗi reentrancy, còn thị trường thì lại đổ lỗi cho sự thiếu rõ ràng về mặt pháp lý.