La mayoría de los ZKP se pueden clasificar en dos categorías: zk-SNARK zk-STARK Usamos zk-STARK porque es más seguro y tiene un nivel mínimo de suposición de seguridad. En este artículo explicaremos cómo usamos zk-STARK para proteger la privacidad de los usuarios y para probar nuestra solvencia. Antes de continuar, conviene entender algunos términos básicos de ZKP, como circuit, árbol de Merkle y commitments. Para principiantes, hay muchos recursos disponibles que te ayudarán en tus comienzos.

El sistema de Proof of Reserves (PoR) zk-STARK emplea la teoría STARK, una solución matemática compleja. zk-STARK significa: Zero-Knowledge Scalable Transparent Argument of Knowledge, una tecnología de prueba cripto basada en la [idea] de Vitalik(https://vitalik.eth.limo/general/2022/11/19/proof_of_solvency.html) para hacer cumplir la integridad y la privacidad de los cálculos en blockchains.