Simple Counter Contract - Clarity Typing CST Test
Loading…
Simple Counter Contract — Clarity Code
A minimal Clarity contract defining a counter with increment and reset functionality.
(define-data-var counter int 0)
(define-public (increment)
(begin
(var-set counter (+ (var-get counter) 1))
(ok (var-get counter))))
(define-public (reset)
(begin
(var-set counter 0)
(ok (var-get counter))))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.