Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) là gì?

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) là một hệ thống bằng chứng cho phép ai đó chứng minh một phép tính đã được thực hiện đúng mà không tiết lộ dữ liệu đầu vào hoặc toàn bộ quá trình tính toán. Nó có khả năng mở rộng và minh bạch vì không cần buổi cài đặt tin cậy và dựa trên các phép toán băm đơn giản, điều này cũng phù hợp với ý tưởng hậu lượng tử. Hãy nghĩ về nó như một biên lai nhỏ có thể xác minh, nói rằng bài tập đã được làm, nhưng không cho thấy nội dung bài tập.

Hiểu lầm

“zk-STARK is just the same thing as a SNARK.” Chưa hẳn. Nó là một dạng của Zero Knowledge Proof (ZKP), nhưng tránh việc cài đặt tin cậy, hướng đến khả năng kháng lượng tử, và đánh đổi bằng chứng hơi lớn hơn để đổi lấy việc xác minh nhanh và công khai.

Cách Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) hoạt động

Hãy tưởng tượng một rollup chứng minh hàng nghìn giao dịch đã được xử lý đúng. Với Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK), chuỗi không chạy lại mọi thứ. Nó chỉ kiểm tra một bằng chứng cô đọng rồi tiếp tục.

Bước 1: Người chứng minh chọn một khẳng định để chứng minh, ví dụ “lô giao dịch này tuân theo quy tắc.”
Bước 2: Phép tính được chuyển thành một bản ghi cấu trúc. Người chứng minh cam kết bản ghi đó bằng các hàm băm để không thể thay đổi sau này.
Bước 3: Phần toán học phức tạp, được ẩn sau mã thân thiện. Người chứng minh xây dựng một bằng chứng nhỏ rất khó làm giả.
Bước 4: Bằng chứng được gửi tới bên xác minh, thường là một hợp đồng thông minh. Bên xác minh chạy các kiểm tra nhẹ.
Bước 5: Nếu vượt qua, kết quả được chấp nhận trên chuỗi và trạng thái được cập nhật. Hiệu quả cuối cùng: thông lượng và hiệu năng tốt hơn với ít byte dữ liệu hơn.

Đó là kịch bản, không có bụi phấn.

Tại sao Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) quan trọng

Bạn quan tâm vì điều này thay đổi cách blockchain trở nên nhanh và riêng tư mà không đánh mất tính tin cậy.

Lợi ích: Các phép tính lớn trở thành kiểm tra nhỏ, giúp tiết kiệm phí và thời gian.
Góc nhìn: Bạn có thể chứng minh tính đúng đắn trong khi giữ quyền riêng tư cho các đầu vào. Chia sẻ bằng chứng, không chia sẻ bí mật.
Sự liên quan: Bạn sẽ thấy nó trong rollup, game, NFT, và thanh toán, nơi tốc độ và độ chắc chắn quan trọng.

Mẹo

Khi thấy dự án sử dụng zk-STARK, kiểm tra hai điều: nó có tránh cài đặt tin cậy không, và có giữ calldata nhỏ qua đệ quy hoặc cách sắp xếp dữ liệu thông minh không. Những lựa chọn đó ảnh hưởng đến phí và trải nghiệm người dùng.

Đặc điểm chính của Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)

Đây là những điểm giúp nó nổi bật:

Minh bạch: Không có buổi cài đặt tin cậy, vậy không có nhóm đặc biệt nào bạn phải tin.
Có khả năng mở rộng: Được thiết kế cho khả năng mở rộng lớn, gom các khối lượng công việc lớn thành các bằng chứng nhỏ.
Hậu lượng tử: Dựa trên các hàm băm, được xem là an toàn hơn trước các thủ thuật lượng tử trong tương lai.

Các biến thể

Những dạng liên quan mà bạn có thể nghe về:

SNARKs: Bằng chứng nhỏ hơn và xác minh nhanh, nhưng thường cần cài đặt tin cậy. Các đánh đổi khác với zk-STARK.
Bằng chứng hợp lệ: Thuật ngữ chung bao gồm SNARKs và STARKs. Chúng chứng minh cập nhật trạng thái là chính xác.
Bằng chứng gian lận: Được sử dụng bởi optimistic rollups. Giả định là đúng cho đến khi có người chứng minh sai, rồi thách thức.

Nhắc nhở

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) chứng minh tính đúng đắn, không phải tính hợp pháp hay công bằng. Nó có thể che các đầu vào, nhưng mặc định không ẩn mọi phần siêu dữ liệu trừ khi ứng dụng được xây dựng để làm vậy.

Ví dụ

Một DeFi exchange trên Starknet gom các giao dịch lại và đăng một bằng chứng zk-STARK lên Ethereum để chuỗi xác minh cả lô với gas tối thiểu.

Thông tin thú vị

Từ viết tắt này được đặt bởi các nhà nghiên cứu gồm Eli Ben Sasson, và vâng, STARK cũng có nghĩa là "mạnh" trong tiếng Đức. Điều này phù hợp, vì thiết kế dựa vào các hàm băm vững chắc hơn là các buổi cài đặt khóa công khai phức tạp.

Tóm tắt

Phiên bản ngắn: zk-STARK cung cấp các bằng chứng nhỏ cho thấy công việc lớn đã được thực hiện, nên bạn có thể tin kết quả mà không cần xem dữ liệu.

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)