Boundless has introduced cross-chain ZK proof verification from Ethereum and Base to Bitcoin, using BitVM to bring verifiable off-chain computation into production. This launch marks a turning point for Bitcoin as a settlement and verification layer, unlocking a new class of cross-chain ZK workflows with minimal trust assumptions. The system is supported by early ecosystem partners like Citrea, and aims to expand to additional chains soon.