Giải thích zk-SNARK và zk-STARK

Ẩn danh rất quan trọng trong crypto. Thực sự. Nó giúp với tính khả dụng—một điều cần thiết cho bất kỳ loại tiền tệ nào nghiêm túc. Hầu hết mọi người giữ tài sản crypto không hề vui vẻ khi tài chính của họ bị công khai. Trong số các công nghệ bảo mật cho blockchain, zk-SNARK và zk-STARK dường như rất đặc biệt.

zk-SNARK có nghĩa là Zero-Knowledge Succinct Non-Interactive Argument of Knowledge. Nghe có vẻ khó nói. zk-STARK? Đó là Zero-Knowledge Scalable Transparent Argument of Knowledge. Zcash sử dụng zk-SNARKs. JP Morgan Chase cũng vậy trong một số dự án. Chúng hiện diện khắp nơi. zk-STARKs là người mới trong lĩnh vực này, được cho là sửa chữa những gì sai sót với giao thức cũ.

Câu Chuyện Trong Hang

Về năm 1990, một nhà mật mã học tên là Jean-Jacques Quisquater đã kể một câu chuyện về hang động của Alibaba để giải thích các chứng minh không kiến thức. Mọi người rất thích kể lại câu chuyện này.

Hãy tưởng tượng một cái hang tròn. Một lối vào. Cánh cửa ma thuật bên trong. Cần một mật khẩu cho cánh cửa đó.

Alice muốn chứng minh với Bob rằng cô ấy biết mật khẩu này. Nhưng cô ấy sẽ không chỉ nói cho anh ấy. Không có cách nào.

Bob chờ bên ngoài. Alice đi vào. Đi theo lối 1.

Sau đó, Bob xuất hiện và hét lên, "Ra ngoài đường 2!"

Nếu Alice biết từ bí mật, cô ấy sẽ mở cánh cửa ma thuật và xuất hiện nơi Bob đã yêu cầu. Ma thuật.

Làm điều này vài lần. Không chỉ là may mắn.

Câu chuyện nhỏ này cho thấy các chứng minh không biết (zero-knowledge proofs) là gì. Chứng minh rằng bạn biết điều gì đó mà không tiết lộ chi tiết về nó.

zk-SNARK Gần Gũi

Zcash đã tiên phong zk-SNARKs ở quy mô lớn. Monero thực hiện quyền riêng tư theo cách khác—khói và gương với chữ ký vòng. Nhưng zk-SNARKs? Chúng hoàn toàn thay đổi cuộc chơi. Giao dịch được mã hóa vẫn được xác minh. Thật đáng kinh ngạc. Các xác thực viên mạng không cần tất cả các chi tiết hấp dẫn. Chỉ cần bằng chứng. Dù kỳ lạ, các tính năng quyền riêng tư của Zcash thậm chí còn không được bật theo mặc định. Bạn phải tự tay bật công tắc đó.

Bằng chứng không biết là cho phép một người chứng minh điều gì đó là đúng mà không tiết lộ thông tin bổ sung. Bạn có một người chứng minh và một người xác minh. Một số bằng chứng được giữ bí mật. Mục đích chính? Chia sẻ dữ liệu ít hơn. Rất ít.

Phần "ngắn gọn" có nghĩa là những bằng chứng này nhanh chóng được kiểm tra. "Không tương tác" có nghĩa là tối thiểu sự trao đổi qua lại. Những thứ zero-knowledge cổ điển cần có cuộc trò chuyện. Không phải như vậy.

Đến năm 2025 (rõ ràng), zk-SNARK nghiền nát nó cho các phép toán đơn giản. Chứng minh nhanh. Kích thước chứng minh nhỏ. Chúng đang thắng trong cuộc đua chấp nhận nhờ vào tất cả các công cụ và hỗ trợ Ethereum.

Tuy nhiên, có một điều cần lưu ý. Những bằng chứng này cần một "cài đặt tin cậy"—các tham số công khai được thiết lập trước. Nó giống như việc thiết lập quy tắc cho trò chơi. Vấn đề? Không có nhiều người tham gia vào việc tạo ra các tham số này. Rủi ro tập trung. Thật nguy hiểm.

Các nhà nghiên cứu đang cố gắng khắc phục vấn đề tin cậy này. Giai đoạn thiết lập rất quan trọng vì bất kỳ ai biết các giá trị ngẫu nhiên được sử dụng có thể giả mạo các chứng minh trông hợp lệ. Điều đó thật tệ.

Về phần "Arguments"—zk-SNARK chủ yếu là an toàn trừ khi bạn có sức mạnh tính toán khổng lồ. Điều này khiến một số người cảm thấy lo lắng về máy tính lượng tử. Tương lai trông có vẻ không chắc chắn ở đó.

"Kiến thức" có nghĩa là người chứng minh thực sự cần phải biết điều mà họ đang chứng minh. Không được giả mạo.

Những chứng minh này xác minh nhanh chóng và không tốn nhiều không gian dữ liệu. Tốt cho sự riêng tư VÀ mở rộng. Không tệ.

Khóa học nhanh về zk-STARKs

zk-STARKs xuất hiện như một lựa chọn mát mẻ và nhanh hơn. Không cần thiết lập đáng tin cậy! Đó chính là ý nghĩa của "T" trong tính minh bạch.

Họ sử dụng mã hóa đối xứng đơn giản hơn thông qua các va chạm hàm băm. Cách tiếp cận này loại bỏ những giả định toán học phức tạp của zk-SNARK—mà có thể bị tấn công lượng tử bất kỳ.

Một lợi thế lớn? Giao tiếp giữa người chứng minh và người xác minh vẫn giữ nguyên không đổi bất kể phép toán phức tạp đến đâu. Với zk-SNARK, nhiều phép toán có nghĩa là nhiều thông điệp được trao đổi qua lại. Dữ liệu tổng thể nhiều hơn.

Nghiên cứu từ năm 2025 cho thấy zk-STARK có kích thước chứng minh lớn hơn nhưng xử lý các phép toán lớn tốt hơn. Chúng dường như đại diện cho tương lai của công nghệ này—có thể mở rộng, minh bạch, chống lượng tử. Tuy nhiên, zk-SNARK vẫn chiếm ưu thế ngày nay nhờ vào cơ sở hạ tầng đã được thiết lập.

Cả hai công nghệ đang thu hút sự chú ý trong thế giới bảo mật. Trong crypto, chúng có thể là những thay đổi lớn. Cách mạng, thậm chí. Chúng ta sẽ thấy.