Thời gian của ZK-STARKs: Bản trắng về ZK-STARKs được công bố năm 2018 (cùng với một thành phần chính gọi là FRI). Vào thời điểm đó, chúng tôi đã nhận thấy rằng các ZK-SNARKs dựa trên đường cong elliptic có thể giải quyết vấn đề bảo mật cho blockchain, và dường như đó là tất cả những gì thế giới kỳ vọng. Vậy thì tại sao lại cần một cấu trúc hoàn toàn mới? Điều gì đang nằm trong tâm trí chúng tôi? Những lợi thế chính của ZK-STARKs là: • Minh bạch (chữ T trong STARK) — Điều này có nghĩa là không cần thiết lập "chất thải độc hại" như trong nghi lễ của SNARKs. Điều này rất quan trọng đối với sự tin tưởng. Giải thích — Không có thiết lập đáng tin cậy, do đó ZK-STARKs minh bạch có thể được tin tưởng ngay cả khi được sử dụng bởi Darth Vader. • An toàn sau lượng tử — Năm 2018, không nhiều người nói về mối đe dọa lượng tử và cách nó có thể phá hủy mật mã đường cong elliptic. Nhưng ZK-STARKs an toàn sau lượng tử và thực tế chỉ yêu cầu sự tồn tại của một hàm băm an toàn. Điều này trở nên quan trọng trong thời đại ngày nay của trí tuệ siêu việt và mối đe dọa đối với các giả định độ khó tiêu chuẩn như những nền tảng của RSA, DH, ECDSA, các cấu trúc dựa trên lưới, v.v. • Không phụ thuộc trường — ZK-SNARKs của Zcash yêu cầu các cấu trúc đại số rất cụ thể (trường hữu hạn) và lớn. Ngược lại, STARKs hoạt động trên hầu hết mọi trường hữu hạn, bao gồm cả trường nhị phân và các trường nguyên tố nhỏ, điều này tốt hơn cho thời gian tính toán hiệu quả. Đối với những người không phải là nhà toán học, điều này có nghĩa là tốc độ và quy mô lớn hơn nhiều. Ví dụ, chúng tôi đo được phép tính trên trường M31 (được sử dụng bởi nhà chứng minh STARK mới nhất và mạnh nhất của chúng tôi, S-two) nhanh hơn 100 lần so với phép tính mà chúng tôi sử dụng cho nhà chứng minh thế hệ đầu tiên, vốn yêu cầu trường 256-bit (!). • Khả năng mở rộng — Việc chúng hoạt động trên bất kỳ trường nào, cộng với việc không cần thiết lập đáng tin cậy, có nghĩa là chúng tôi không cần thay đổi bất cứ điều gì trong trình xác minh trên chuỗi, ngay cả khi chúng tôi liên tục mở rộng kích thước các phép tính mà mình xử lý. Tóm lại — minh bạch, bảo mật sau lượng tử, hiệu quả và khả năng mở rộng là những lợi ích lớn mà ZK-STARKs mang lại cho thế giới vào năm 2018. Đến nay, chúng đã trở thành tiêu chuẩn vàng cho quy mô và bảo mật ZK an toàn. HẾT