Smart Contracts
Clarity
Bitcoin's native smart contract language, designed for security and predictability. Interpreted and decidable — no compiler bugs, full static analysis, complete runtime cost prediction. Contracts read Bitcoin state directly and settle on Bitcoin. Powers DeFi, NFTs, DAOs, and the BNS naming system on the Stacks layer.