KZG CEX Solvency
An arkworks implementation of V. Buterin's proposed protocol in "Having a safe CEX: proof of solvency and beyond" (https://vitalik.ca/general/2022/11/19/proof_of_solvency.html)
About
The problem it solves Proof of solvency protocols allow centralized exchanges (cex) to provide users with cryptographic guarantees of their solvency. It targets both cex and users alike, allowing the former to switch from "don't do evil" to "can't do evil" and the latter to ensure the actual inclusion of their deposits into the cex balance sheet. Being not aware of any existing implementation of this protocol, we believe that a working example will help spur additional research in this space.
How it's made
Challenges we ran into One of the main challenge we faced was correctly manipulating the arkworks api. We also spent some time to ensure our correct understanding of V. B. idea.