Blockchain developer ZeroSync has deployed the first ZK client system based on Stark proof for the Bitcoin network, enabling Bitcoin light clients (i.e. wallets) to use block headers and Simple Payment Verification (SPV) mechanisms to verify transactions . The project aims to help Bitcoin users verify the state of the network without downloading the entire blockchain. (TheBlock)