Trái ngược với giả định phổ biến, hầu hết các hệ thống "zero-knowledge" ngày nay không thực sự riêng tư. Dựa trên hàng thập kỷ nghiên cứu, @mvenkita (Giám đốc điều hành của @ligero_inc) phân tích trong buổi thảo luận @WPReadingClub lý do tại sao phần lớn các hệ thống chứng minh đang được sử dụng - bao gồm nhiều zkVM dựa trên STARK - cung cấp tính toán có thể xác minh nhưng không đạt được sự riêng tư mật mã thực sự. Muthu giải thích cách mà Ligero và Ligetron thay đổi phương trình đó: • Được thiết kế để tiết kiệm thời gian và bộ nhớ, chúng có thể tạo ra các chứng minh ngay cả trên các thiết bị hạn chế bộ nhớ như điện thoại di động. • Được xây dựng trên các cấu trúc MPC-in-the-head, chúng đảm bảo tính riêng tư có thể chứng minh trong khi nhiều hệ thống hiện tại không làm được điều đó. • Đã được @googlecloud áp dụng cho xác minh danh tính di động, cho thấy tính khả thi trong thế giới thực. Cuộc thảo luận bao trùm các nền tảng học thuật của ZK, sự tiến hóa từ lý thuyết đến thực thi, và nhu cầu cấp bách về các chứng minh bảo vệ dữ liệu nhạy cảm trong khi vẫn đáp ứng các yêu cầu tuân thủ. Muthu nhấn mạnh các ứng dụng mới nổi - các bể riêng tư, zk-validiums, và các chứng minh danh tính trên thiết bị - có thể định hình tương lai của việc áp dụng doanh nghiệp và quy định, và đề cập đến các thí nghiệm chứng minh các mô hình ML lớn (như LLaMA) với ZK, chỉ ra những gì sẽ đến tiếp theo cho AI bảo vệ quyền riêng tư. Đây là cái nhìn trực tiếp vào khoảng cách giữa những gì chúng ta nghĩ rằng ZK làm ngày nay, và những gì cần thiết cho một thế giới mà quyền riêng tư, tuân thủ và khả năng mở rộng thực sự đồng tồn tại. Cũng có sẵn trên YouTube: