Một số người thông minh nhất mà tôi biết đang ở đây trên X, vì vậy tôi nghĩ đã đến lúc tôi tham gia. Tôi là Carmit, và hầu hết công việc của tôi liên quan đến việc đưa công nghệ bảo mật ra khỏi lý thuyết và làm cho nó hoạt động trong thế giới thực. Tôi đã dành nhiều năm làm giáo sư tại Đại học Bar-Ilan làm việc về mật mã — loại toán học chứng minh điều gì đó là đúng mà không tiết lộ bất kỳ điều gì khác. Nó thanh lịch, mạnh mẽ… và quá thường xuyên, nó không vượt ra ngoài các trang của một bài báo nghiên cứu. Trong suốt thời gian đó, tôi đã thấy các chứng minh không biết (zero-knowledge proofs) phát triển từ một ý tưởng học thuật hẹp thành một trong những công nghệ hứa hẹn nhất cho tương lai của internet. Nhưng đây là vấn đề: nếu nó cần các máy chủ khổng lồ và cơ sở hạ tầng đặc biệt để hoạt động, nó sẽ không bao giờ đến được hàng tỷ người. Nếu không có quy mô, quyền riêng tư vẫn là một đặc quyền — không phải là một quyền. Đó là lý do tại sao tôi đồng sáng lập @ligero_inc — để đưa ZK từ lý thuyết vào thực tiễn và làm cho các chứng minh quyền riêng tư hàng tỷ cổng có thể hoạt động ở bất kỳ đâu, ngay cả trên các thiết bị di động. Chúng tôi đang xây dựng công nghệ chứng minh phía khách hàng độc lập, để bạn có thể xác minh sự tuân thủ, đủ điều kiện hoặc tính toàn vẹn mà không cần tiết lộ dữ liệu cá nhân của bạn. Không có trung gian. Không có rò rỉ. Chỉ có toán học, hoạt động nơi bạn đang ở. Tôi ở đây để chia sẻ những gì chúng tôi đang xây dựng, học hỏi từ người khác và kết nối với những người tin rằng quyền riêng tư nên là tiêu chuẩn, không phải là một món xa xỉ. Nếu bạn là người như vậy, tôi rất muốn kết nối.