ZeroSync, which aims to bring zero-knowledge proofs to Bitcoin, said that Bitcoin and blockchain infrastructure company Blockstream CEO Adam Back has agreed to cooperate with ZeroSync to broadcast ZK chain proofs via Blockstream Satellite (satellite). ZeroSync previously stated that it will take the lead in developing the Bitcoin proof system to build a future with Bitcoin privacy, interoperability and scalability. ZeroSync is based on STARK proofs, and to implement Bitcoin proofs, the Cairo language created by StarkWare is used.