Hầu hết ZKP thuộc hai loại: zk-SNARK zk-STARK Chúng tôi sử dụng zk-STARK vì loại này an toàn hơn và có giả định bảo mật tối thiểu. Trong bài viết này, chúng tôi sẽ giải thích cách sử dụng zk-STARK để bảo vệ quyền riêng tư của người dùng đồng thời chứng minh khả năng thanh toán của mình.Trước khi tiếp tục, sẽ rất hữu ích nếu bạn hiểu một số thuật ngữ ZKP cơ bản, như Mạch, Cây Merkle và Cam kết. Đối với người mới, có rất nhiều tài nguyên khả dụng để giúp bạn bắt đầu.

Hệ thống Bằng chứng dự trữ (PoR) zk-STARK thúc đẩy lý thuyết STARK – một giải pháp toán học phức tạp. zk-STARK là viết tắt của: Đối số kiến thức minh bạch có thể mở rộng Zero-Knowledge, một công nghệ bằng chứng mật mã dựa trên [ý tưởng] của Vitalik (https://vitalik.eth.limo/general/2022/11/19/proof_of_solvency.html) giúp thực thi tính toàn vẹn và quyền riêng tư của các tính toán trên blockchain.