ZK-proofs unlock trillions in Bitcoin for DeFi — BitcoinOS and Starknet

BitcoinOS and Starknet are on the verge of adding smart contract functionality to Bitcoin — with, or without, the controversial OP_CAT fork.