← Back to home

zkExchange

TypeScript

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

GitHubLive Demo

Screenshots

zkExchange screenshot 1
zkExchange screenshot 2
zkExchange screenshot 3

Problem Statement

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.

Solution

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 TauFinally the circuit gets verified using the verification Keys.

Hackathon

Scaling Ethereum 2023

2023

Contributors