Cardano has partnered with BitcoinOS to access $1.3 trillion in Bitcoin liquidity.The integration uses zero-knowledge proofs via the BOS Grail bridge.A new toolkit called Aiken enables cross-chain smart contract development.The Bitcoin Education Project is set to relaunch in 2025.