zk-STARKs on Bitcoin: Exploring Zero-Knowledge Applications with BitVM
Yusuf OzmiΕ, from Yildiz Technical University, proposes several zero-knowledge applications on Bitcoin using zk-STARKs and BitVM.
eprint.iacr.org
π
Applications Of Zero-Knowledge Proofs On Bitcoin
This paper explores how zero-knowledge proofs can enhance Bitcoin's functionality and privacy. First, we consider Proof-of-Reserve schemes: by using zk-STARKs, a custodian can prove its Bitcoin holdings are more than a predefined threshold X, without revealing addresses or actual balances. We outline a STARK-based protocol for Bitcoin UTXOs and discuss its efficiency.