Vừa mới đọc xong bài phân tích sâu về bằng chứng không kiến thức với Eli Ben-Sasson và thành thật mà nói, nó đã định hình lại rất nhiều điều tôi nghĩ mình đã hiểu về công nghệ này.

Điều nổi bật là: quan niệm sai lầm rằng bằng chứng không kiến thức bị khóa sau một rào cản phức tạp không thể vượt qua? Rõ ràng điều đó đã bắt đầu thay đổi. Với các công cụ như Cairo và mạng lưới như Starknet, các nhà phát triển giờ có thể xây dựng với công nghệ này rồi. Nó không còn chỉ là lý thuyết nữa.

Nhưng phần thực sự thu hút sự chú ý của tôi là quan điểm của ông về Bitcoin và các mối đe dọa từ lượng tử. Mọi người đều nói về 'thu hoạch ngay bây giờ, giải mã sau này' như một mối quan tâm xa vời, nhưng ông ấy nói rằng các chuỗi khối về cơ bản đang đứng trước nguy cơ bị tấn công vì chúng giữ hồ sơ công khai vĩnh viễn. Khi máy tính lượng tử xuất hiện, các đồng coin không được bảo vệ có thể bị đánh cắp và làm sụp đổ toàn bộ giá trị hệ thống. Đó không chỉ là một vấn đề kỹ thuật - mà còn là một vấn đề sinh tồn. Tin tốt là gì? Một Bitcoin chống lượng tử thực sự sẽ cảm thấy khá bình thường đối với người dùng. Chỉ cần nhấn một nút, cập nhật phần mềm. Rào cản thực sự không phải là công nghệ - mà là việc đạt được sự đồng thuận của cộng đồng Bitcoin, điều này còn khó hơn nhiều.

Điều thực sự khiến tôi đồng cảm là cách ông diễn đạt về quyền riêng tư. Ông không cho rằng quyền riêng tư là một tính năng xa xỉ - ông nói rằng nó là điều không thể thương lượng nếu tiền mã hóa thực sự trở thành hạ tầng cho tài chính toàn cầu. Hãy hỏi bất kỳ CFO nào xem họ có muốn tất cả các khoản thanh toán nhà cung cấp và lương nhân viên của họ công khai không, và bạn sẽ thấy ngay lý do tại sao. Bằng chứng không kiến thức thậm chí còn có thể làm cho việc tuân thủ tốt hơn, chứ không phải tệ hơn. Thay vì các tổ chức thực hiện giám sát cho các cơ quan quản lý, cá nhân có thể gửi các bằng chứng ZK cho thấy họ chưa từng giao dịch với các thực thể bị cấm vận. Nhiều quyền riêng tư hơn, nhiều quyền lực hơn cho cá nhân, kết quả tuân thủ tốt hơn.

Phần hấp dẫn nhất? Ông đề cập đến một thứ gọi là 'ZK threads' - về cơ bản cho phép mọi người chạy các chuỗi khối đầy đủ từ nhà để xe của họ trong khi chứng minh họ hành xử trung thực. Đó là một lớp các trường hợp sử dụng mà chúng ta còn chưa bắt đầu khám phá.

Tổng kết lại: bằng chứng không kiến thức không còn chỉ là về mở rộng quy mô hay quyền riêng tư nữa. Chúng đang hướng tới việc tái tưởng tượng cách mà niềm tin thực sự hoạt động. Thay vì hàng đàn kế toán và kiểm toán viên kiểm tra mọi thứ thủ công, bạn chuyển gánh nặng đó sang toán học. Đó là một bước chuyển căn bản cho cách hoạt động của tài chính.