zk-STARK
zk-STARK (Zero-Knowledge Scalable Transparent Argument of Knowledge) là một hệ thống chứng minh mật mã cho phép bên chứng minh thuyết phục bên xác minh về tính đúng đắn của một phép tính mà không cần thiết lập tin cậy hay tiết lộ chi tiết tính toán. Được giới thiệu bởi Ben-Sasson và các đồng nghiệp vào năm 2018, zk-STARK giải quyết một hạn chế chính của zk-SNARK: chúng không yêu cầu giai đoạn tiền xử lý dễ bị tổn thương bởi sự hỏng hóc. Thay vào đó, STARK chỉ dựa vào các hàm băm mật mã, làm cho chúng đơn giản hơn, minh bạch hơn và được cho là an toàn hậu lượng tử.
Đọc toàn bộ phương pháp
Đăng nhập bằng tài khoản miễn phí để đọc phần này.
Method map
The neighbourhood of related methods — select a node to explore.
Nguồn tài liệu
- Ben-Sasson, E., Bentov, I., Horesh, Y., & Riabzev, M. (2019). Scalable, transparent, and post-quantum secure computational integrity. In IACR Cryptology ePrint Archive, Report 2018/046. link ↗
- Ben-Sasson, E., Riabzev, M., Rozenkraut, M., Shacham, H., & Stemen, M. (2021). Aurora: Transparent Succinct Non-Interactive Zero-Knowledge Proofs. In IACR Cryptology ePrint Archive, Report 2018/828. link ↗
Cách trích dẫn trang này
ScholarGate. (2026, June 3). Zero-Knowledge Scalable Transparent Argument of Knowledge. ScholarGate. https://scholargate.app/vi/cryptography/zk-stark
Which method?
Set this method beside its closest kin and read them side by side — the library lays the books on the table; the choice is yours.
- Mật mã dựa trên lướiMật mã học↔ compare
- Mật mã hậu lượng tử (Kyber)Mật mã học↔ compare
- zk-SNARKMật mã học↔ compare
Được tham chiếu bởi
Phát hiện lỗi trên trang này? Báo cáo hoặc đề xuất chỉnh sửa →