Vitalik Buterin: ý tưởng quyền lực nhất của tiền mã hóa vẫn chưa sẵn sàng để ứng dụng

Vitalik Buterin nói gì về obfuscation

Nhà đồng sáng lập Ethereum, Vitalik Buterin, vừa công bố phần đầu tiên của một chuỗi bài kỹ thuật chuyên sâu về obfuscation. Ông mô tả đây là ý tưởng mạnh nhất trong mật mã học, nhưng đồng thời nhấn mạnh rằng công nghệ này vẫn chưa đủ trưởng thành để bước vào triển khai thực tế.

Theo Buterin, obfuscation là cách biến một chương trình thành dạng đã được “che” đi, nhưng vẫn giữ nguyên kết quả đầu ra. Điểm khác biệt nằm ở chỗ người quan sát có thể chạy chương trình, song khó hoặc không thể hiểu cách nó vận hành bên trong.

iO là gì và vì sao được quan tâm

Mục tiêu chính mà giới nghiên cứu hướng tới là indistinguishability obfuscation, thường được viết tắt là iO. Về mặt lý thuyết, nếu có hai chương trình đã được làm rối theo cách khác nhau nhưng thực hiện cùng một nhiệm vụ, thì không ai có thể phân biệt đâu là bản nào.

Nói ngắn gọn theo cách của Buterin, kỹ thuật này che giấu mã nguồn, chứ không che giấu dữ liệu. Chính đặc điểm đó khiến obfuscation được xem là một công cụ rất đặc biệt trong mật mã học hiện đại.

Vì sao crypto quan tâm đến công nghệ này

Buterin nhìn obfuscation như một dạng gần với khái niệm “bên thứ ba đáng tin cậy nhưng không cần tin cậy”. Đây là hình dung về một trung gian trung lập mà nhiều hệ thống thường phải dựa vào, dù bản thân người dùng không thực sự muốn đặt niềm tin vào họ.

Nếu kết hợp với blockchain, obfuscation có thể hỗ trợ các ứng dụng như bỏ phiếu riêng tư, hạn chế thông đồng giữa các bên tham gia và giảm tối đa yêu cầu phải tin vào một hội đồng quản trị hay một nhóm trung gian nào đó.

Tuy nhiên, có một giới hạn quan trọng. Một chương trình obfuscated không thể tự ngăn việc bị sao chép, vì vậy nó không phù hợp để xử lý các tác vụ có trạng thái như tiền hay số dư tài khoản. Việc theo dõi trạng thái đó chính là lý do blockchain trở nên cần thiết.

Vì sao obfuscation vẫn còn xa thực tiễn

Làm ra một cơ chế obfuscation an toàn từ lâu đã là bài toán cực khó. Năm 2001, giới nghiên cứu chứng minh rằng một phiên bản lý tưởng là bất khả thi, buộc họ phải chuyển sang theo đuổi mục tiêu yếu hơn là iO. Từ đó đến nay, lĩnh vực này đã trải qua khoảng hai thập kỷ với rất nhiều hướng tiếp cận bị phá vỡ hoặc thất bại.

Điểm tích cực gần đây là iO đã có thể được xây dựng dưới những giả định bảo mật hợp lý. Dù vậy, nhược điểm lớn là tốc độ xử lý hiện nay quá chậm. Buterin mô tả hiệu năng của nó là “galactic”, nghĩa là nghe có vẻ khả thi trên lý thuyết nhưng gần như không dùng được trong thực tế.

So sánh với hành trình của SNARKs

Buterin đặt obfuscation vào bối cảnh giống như SNARKs vào khoảng năm 2010, khi công nghệ chứng minh không tiết lộ này vẫn còn là một ý tưởng học thuật hơn là hạ tầng thực chiến. Sau nhiều năm tối ưu, SNARKs mới dần trở thành một phần quan trọng của hệ sinh thái Ethereum.

Ông ngụ ý rằng obfuscation cũng có thể đi theo quỹ đạo tương tự, từ một đột phá mang tính lý thuyết đến công cụ hữu ích trong dài hạn. Nhưng ở thời điểm hiện tại, một lần chạy thực thi có lẽ vẫn quá đắt đỏ để coi là khả thi.

Monero đã làm được gì và khác ở đâu

Một câu hỏi tự nhiên là, nếu các đồng coin riêng tư như Monero đã che giấu thông tin trên blockchain, thì vì sao Buterin vẫn nói obfuscation là bài toán chưa giải xong.

Câu trả lời là Monero và obfuscation che những thứ khác nhau. Monero tập trung vào quyền riêng tư của giao dịch, che các dữ liệu như ai trả cho ai và số tiền là bao nhiêu, thông qua ring signatures, stealth addresses và confidential amounts.

Trong khi đó, obfuscation theo cách Buterin nói đến lại che đi logic của chương trình. Tức là nó giấu mã, không phải dữ liệu chảy qua mã đó.

Monero đã vận hành quyền riêng tư giao dịch hơn 10 năm, còn obfuscation chương trình thì chưa từng được triển khai trong môi trường sản xuất nào. Theo Buterin, chính khoảng cách đó cho thấy vì sao công nghệ này vẫn đang ở trạng thái nghiên cứu hơn là sản phẩm.

Kết luận

Buterin không nói obfuscation đã sẵn sàng để sử dụng ngay, mà đang nhấn mạnh tiềm năng dài hạn của nó trong bộ công cụ mật mã của crypto. Với ông, đây có thể là một trong những ý tưởng mạnh nhất từng được đề xuất, nhưng con đường từ phòng thí nghiệm ra thực tế vẫn còn rất dài.