A ZK-SNARK based Proof of Assets Protocol for Bitcoin Exchanges.

B. Swaroopa Reddy

Published in: CoRR (2022)

Keyphrases

pac learning
black box
trusted third party
formal proof
lightweight
uniform distribution
theorem prover
credit card
lower bound
learning problems
cryptographic protocols
computational complexity
sample size
theorem proving
privacy protection
financial markets