Kakarot on Bitcoin enables Ethereum-compatible ZK-rollups secured by Bitcoin using OP_CAT and other opcodes. It allows the verification of ZK proofs directly on Bitcoin, enabling trust-minimized bridging of BTC to rollups and unlocking native DeFi capabilities while maintaining Bitcoin's security guarantees.