On March 20, 2025, at an office in London, the BitcoinOS development team officially announced the open-source BitSNARK – a specialized protocol implementing zero-knowledge verification on Bitcoin. This move is expected to 'unlock programming capabilities' for the world's largest crypto network, promising to bring Bitcoin back to its 'original promise' of flexibility and decentralization. But what is BitSNARK, and why is it controversial?