BitcoinOS Launches BitSNARK for Enhanced Privacy Using zk-SNARKs on Bitcoin BitcoinOS, a Bitcoin rollup protocol, has launched BitSNARK, an open-source zero-knowledge (ZK) verification.