Timelock Contract - Clarity Typing CST Test
Loading…
Timelock Contract — Clarity Code
Locks a value until a given block height.
(define-data-var unlock-height uint u0)
(define-data-var locked-value uint u0)
(define-public (lock value height)
(begin
(var-set locked-value value)
(var-set unlock-height height)
(ok true)))
(define-public (withdraw)
(if (>= block-height (var-get unlock-height))
(ok (var-get locked-value))
(err u10)))Clarity Language Guide
Clarity is a decidable smart contract language used on the Stacks blockchain. It enables predictable and secure smart contracts without gas estimation or unpredictable behavior.
Primary Use Cases
- ▸Building secure DeFi protocols on Stacks
- ▸NFT minting and trading
- ▸On-chain governance contracts
- ▸Bitcoin-integrated smart contracts
- ▸Deterministic financial applications
Notable Features
- ▸Decidable language - predictable execution
- ▸No gas estimation needed
- ▸Strong static typing
- ▸Direct Bitcoin integration
- ▸Lisp-like syntax with functional constructs
Origin & Creator
Clarity was created by Blockstack PBC (now Hiro Systems) around 2018 to provide secure, predictable smart contracts that integrate with Bitcoin.
Industrial Note
Clarity is used in projects where security and predictability are paramount, such as DeFi protocols on Bitcoin, NFT platforms, and on-chain governance solutions.