zkExchange
An 3rd party accounting software that scrapes data through csv balance sheets and proves assets, liabilities and ongoing debts without revealing any data at all to the verifier, using zero-knowledge
Project Description
zkExchange is a 3rd party verification software that solves the challenge of Proof of Solvency, or rather proves a companies ongoing, balances, assets and debts to a verifier without revealing them any data of the company. This project is mainly broken down into 3 parts - the data prep part, the prover and the verifier.
How it's Made
This project uses Typescript with Jest and Circomlibjs to construct a Merkle Sum Tree that stores the overall balances of the company ingested from a CSV file.
Then the Zk circuits written in Circom verifies whether the integrity of the Merkle Sum Tree and generates a Proof using Powers of Tau
Finally the circuit gets verified using the verification Keys.
