Giới thiệu về zk-SNARKs động—một bước đột phá từ nhóm nghiên cứu Lagrange Weijie Wang, @chbpap, @s_shravan, và @dipapadopo zk-SNARKs động đánh dấu một bước tiến lớn trong việc biến các chứng minh mật mã có thể cập nhật theo thời gian thực thành hiện thực Đây là ý nghĩa của điều đó và tại sao nó quan trọng 🧵

2/ zk-SNARKs truyền thống bị giới hạn bởi tính tĩnh của chúng - nếu dữ liệu của bạn thay đổi, bạn phải xây dựng lại toàn bộ bằng chứng từ đầu (còn gọi là chậm, tốn kém và không thực tế cho các ứng dụng cần nhiều dữ liệu). zk-SNARKs động loại bỏ những hạn chế này.

3/ Tóm lại, Dynamic zk-SNARKs cho phép bạn cập nhật một bằng chứng khi dữ liệu của bạn thay đổi—không cần phải bắt đầu lại từ đầu. Hãy tưởng tượng việc cập nhật một biên lai thay vì in một cái mới mỗi khi khách hàng thêm một món hàng (nhanh hơn, rẻ hơn và thông minh hơn—thực tiễn cho các ứng dụng cần nhiều dữ liệu).

4/ Nghiên cứu này mang lại lợi ích to lớn cho các trường hợp sử dụng trong thế giới thực. Ví dụ: – AI liên tục học hỏi – Trò chơi với logic thời gian thực – Blockchain theo dõi dữ liệu trực tiếp – Hợp đồng thông minh điều chỉnh khi các đầu vào thay đổi zk-SNARKs động làm cho những trường hợp sử dụng này có thể xác minh mà không lãng phí tài nguyên tính toán.

5/ Hãy tưởng tượng điều này… 💭 - Một AI đưa ra câu trả lời - Một zk-SNARK động chứng minh rằng nó đúng. - Bạn cung cấp cho AI một đầu vào mới, xây dựng dựa trên đầu vào trước đó của bạn. - Với zk-SNARK động, một AI có thể cập nhật chứng minh cho câu trả lời mới trong vài giây (không cần tính toán lại mọi thứ).

6/ Chúc mừng đội ngũ nghiên cứu của chúng tôi vì đã định nghĩa lại những gì chúng tôi có thể đạt được với công nghệ ZK Mỗi bước đột phá, chúng tôi đang tiên phong trong AI an toàn, có thể xác minh và đáng tin cậy Hãy theo dõi buổi nói chuyện tại SBC ‘25: Đọc toàn bộ tài liệu ở đây: