Chúng tôi đang giải quyết vấn đề niềm tin lớn nhất trên internet. 4.8 tỷ người phụ thuộc vào các thuật toán gợi ý hàng ngày. Nhưng không ai có thể xác minh liệu các nền tảng *thực sự* chạy mã mà họ tuyên bố hay không. Đây là cách chúng tôi xây dựng các gợi ý nội dung có thể xác minh được bằng mật mã đầu tiên với @RektHQ:
Vấn đề với các hệ thống gợi ý hiện tại không chỉ dừng lại ở sự không minh bạch. Thực sự không có cách nào để chứng minh một nền tảng đang chạy thuật toán mà họ đã công bố. Khi Twitter mã nguồn mở mã gợi ý của họ vào năm 2023, người dùng vẫn không thể xác minh liệu các nguồn cấp dữ liệu thực tế của họ có khớp với mã đó hay không.
Bạn chỉ cần tin tưởng họ. Nhưng lòng tin không thể mở rộng khi các thuật toán định hình diễn ngôn công cộng, ảnh hưởng đến các cuộc bầu cử và xác định thông tin nào đến được hàng triệu người trong thời kỳ khủng hoảng. Giải pháp: Bằng chứng không kiến thức cho các gợi ý nội dung.
Làm việc với Rekt News, chúng tôi đã xây dựng hệ thống đầu tiên mà người dùng có thể xác minh một cách mật mã rằng mỗi khuyến nghị thực sự xuất phát từ thuật toán đã công bố. Bằng chứng toán học thay thế niềm tin mù quáng. Dưới đây là cách thức hoạt động của các khuyến nghị có thể xác minh:
Bước 1: Xử lý nội dung Hệ thống của chúng tôi trích xuất các đặc điểm từ các bài viết bằng cách sử dụng xử lý ngôn ngữ tự nhiên, tạo ra các vector TF-IDF đại diện cho từng phần nội dung theo cách toán học.
Bước 2: Tính toán độ tương đồng Thuật toán tính toán độ tương đồng cosine giữa các vector nội dung để xác định các gợi ý - tất cả các hoạt động được ghi lại trong một dấu vết tính toán.
Bước 3: Tạo Chứng Thực Mật Mã Sử dụng LuminAIR (khung ZKML của chúng tôi) và trình chứng S-two của Starkware, chúng tôi tạo ra một chứng thực khoảng ~32KB rằng phép toán đã diễn ra chính xác.
Bước 4: Xác minh Trình duyệt Người dùng xác minh chứng cứ ngay lập tức trong trình duyệt của họ thông qua WebAssembly - không cần dịch vụ bên ngoài. Huy hiệu xác minh hoạt động giống như HTTPS cho các thuật toán.
Khi người dùng thấy dấu tích xanh bên cạnh một đề xuất, họ biết rằng nó được tạo ra bằng cách sử dụng thuật toán mã nguồn mở chính xác. Không phải là một hệ thống ẩn giấu nào đó tối ưu hóa cho sự tương tác hoặc thiên kiến chính trị. Nhấp vào huy hiệu → xác minh ngay lập tức chạy cục bộ trong trình duyệt của bạn.
Nhưng điều này không chỉ dành cho việc gợi ý nội dung. Chúng tôi đã triển khai tính toán có thể xác minh trên nhiều lĩnh vực khác nhau:
2/ Giải pháp: Tự động hóa tạo lập thị trường ZKML với @haikoxyz
Giza
Giza5 thg 2, 2025
Giới thiệu The Solver Agent: Một tác nhân có thể xác minh được hỗ trợ bởi ZKML mang lại tự động hóa thông minh cho việc tạo lập thị trường DeFi. Với @haikoxyz, chúng tôi đang xây dựng cơ sở hạ tầng chuyển đổi quản lý thanh khoản thông qua tính toán thông minh có thể xác minh.
Mỗi cái chứng minh rằng các phép toán quan trọng diễn ra chính xác như đã quảng cáo. Những hệ quả là rất lớn. Khi AI ngày càng kiểm soát những gì chúng ta thấy, mua và tin tưởng trực tuyến, khả năng xác minh tính toàn vẹn của phép toán trở nên thiết yếu.
Các thuật toán tìm kiếm, mô hình tài chính, khuyến nghị chăm sóc sức khỏe, v.v. - tất cả đều có thể hưởng lợi từ việc xác minh bằng mật mã. Các trường hợp sử dụng tiềm năng là vô hạn. Chúng tôi đang xây dựng cơ sở hạ tầng cho một internet không cần tin tưởng, nơi người dùng có thể xác minh thay vì phải tin tưởng.
Nơi mà các thuật toán phục vụ người dùng thay vì các chương trình ẩn giấu của các tập đoàn. Nơi mà "mã nguồn mở" thực sự có nghĩa là bạn có thể xác minh mã đã được công bố là những gì đang chạy. Điều này đại diện cho một sự chuyển mình nơi các hệ thống chứng minh độ tin cậy của chúng một cách toán học.
24,14K