Tiến triển nghiên cứu mới nhất về ZK/FHE (cũng liên quan đến một số dự án tiền điện tử) Tập podcast mới nhất, Anna đã có cuộc trò chuyện với giáo sư Dan Boneh của Đại học Stanford về tiến triển nghiên cứu zk. Tóm tắt cuộc phỏng vấn: Một số kịch bản tiềm năng của ZK: 1) ZKML, vấn đề ZKML là chứng minh mô hình thực thi đúng trên dữ liệu đã cho, đây cũng là hướng nghiên cứu mà đội ngũ boundless @boundless_xyz @boundless_cn (@risczero) đã bắt đầu từ hai năm trước. 2) Truy xuất nguồn gốc và tính xác thực: Tiêu chuẩn C2PA (truy xuất nguồn gốc và tính xác thực) cho phép máy ảnh ký hình ảnh thông qua khóa nhúng, chứng minh nguồn gốc, thời gian và cấu hình của hình ảnh. Hiện nay, AI sinh (như DALL·E) cũng bắt đầu gán chứng nhận C2PA cho hình ảnh, chỉ ra rằng nó được tạo ra bởi AI. Dựa trên lưới, SNARK, FHE: - SNARK được xây dựng dựa trên lưới (lattice) (lợi thế của lưới là có tính an toàn sau lượng tử). - Bài báo của Greyhound đã đề xuất một phương án cam kết đa thức (PCS) dựa trên lưới. - Nghiên cứu đã phát hiện ra rằng lưới hoạt động rất tốt trong các phương án gập, hợp tác với Binyi Chen (người sáng lập/nhà nghiên cứu Espresso @EspressoSys) phát triển LatticeFold: phương án gập dựa trên lưới. - Lĩnh vực FHE đang phát triển chip ASIC chuyên dụng, dự kiến sẽ nâng cao hiệu suất FHE đáng kể vào năm 2025 (có thể nhanh hơn từ 10 đến 100 lần). - Công ty Zama @zama_fhe đang khám phá việc chạy SNARK trên tính toán FHE, trong khi cấu trúc vòng của LatticeFold tương thích với FHE, phù hợp cho kịch bản này. Phiên bản tiếng Trung của nội dung phỏng vấn: Bản gốc podcast: