The final code commit for BitSNARK, a protocol enabling zero-knowledge verification on Bitcoin, was open-sourced by BitcoinOS ...