KZG CEX Solvency

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)

KZG CEX Solvency

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)

The problem KZG CEX Solvency 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.

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.

Tracks Applied (1)

Chewing Glass

Using arkworks, we implemented and/or tweaked various cryptographic primitives including a kzg multi-opening/verifying a...Read More

Technologies used

Discussion