Система підтвердження резервів (PoR) zk-STARK використовує теорію STARK, складне математичне рішення. zk-STARK означає: Zero-Knowledge Scalable Transparent Argument of Knowledge — технологія криптографічного підтвердження, заснована на [ідеї] Віталіка (https://vitalik.eth.limo/general/2022/11/19/proof_of_solvency.html) стосовно забезпечення цілісності та конфіденційності обчислень на блокчейні.

Більшість ZKP підпадає під дві категорії: zk-SNARK zk-STARK Ми використовуємо zk-STARK, тому що він є безпечнішим і має мінімальний ризик. У цій статті ми пояснимо, як ми використовуємо zk-STARK для захисту конфіденційності користувачів, при цьому доводимо нашу платоспроможність.Перед тим, як продовжити, корисно зрозуміти деякі основні терміни ZKP, такі як схема, дерево Меркла та зобов'язання. Для початківців є багато ресурсів, які допоможуть вам з початковим розумінням.