Sebagian besar ZKP termasuk dalam dua kategori: zk-SNARK zk-STARK Kami menggunakan zk-STARK karena lebih aman dan memiliki asumsi keamanan minimum. Dalam artikel ini, kami akan menjelaskan cara kami menggunakan zk-STARK untuk melindungi privasi pengguna sambil membuktikan solvabilitas kami.Sebelum melanjutkan, penting untuk memahami beberapa istilah dasar ZKP, seperti Sirkuit, Pohon Merkle, dan Komitmen. Ada banyak sumber daya yang tersedia untuk membantu pemula memulai.

Apa itu zk-STARK? Sistem Proof of Reserves (PoR) zk-STARK memanfaatkan teori STARK, yaitu sebuah solusi matematis yang kompleks. zk-STARK adalah singkatan dari: Zero-Knowledge Transparent Argument of Knowledge, yaitu teknologi bukti kriptografi yang didasarkan pada ide Vitalik untuk menegakkan integritas dan privasi komputasi pada blockchain. Di sini kami akan memperkenalkan cara kerja dan menjelaskan konsep matematikanya secara umum.