Aiken
Native smart contract language for Cardano — adopted by 75%+ of devs
What is Aiken?
Aiken is Cardano's native smart contract programming language, adopted by over 75% of active Cardano developers. Designed specifically for Cardano's eUTXO model, Aiken offers a modern, developer-friendly syntax with fast compilation, excellent tooling, and formal verification support — replacing Plutus Haskell as the dominant smart contract language.
Key Features
Purpose-Built for Cardano
Aiken is designed from the ground up for Cardano's eUTXO model, producing efficient on-chain validators that minimize script execution costs (ExUnits).
Modern Syntax
Aiken features a clean, functional syntax inspired by Rust and Elm — far more accessible than Plutus Haskell for developers coming from mainstream programming backgrounds.
Integrated Testing Framework
Aiken includes a built-in property-based testing framework that lets developers write and run tests directly alongside their validator code, catching bugs before deployment.
Fast Compilation
Aiken compiles to Untyped Plutus Core (UPLC) rapidly, with a development feedback loop that feels modern compared to the lengthy Haskell compilation cycles of early Cardano development.
How to Use Aiken
- 1
Install Aiken: curl -sSfL https://install.aiken-lang.org | bash
- 2
Create a new project: aiken new my_project
- 3
Write validators in .ak files using Aiken's functional syntax
- 4
Run tests: aiken check
- 5
Build for deployment: aiken build — produces the compiled Plutus scripts
Frequently Asked Questions
Do I need to know Haskell to use Aiken?
No. Aiken has its own syntax inspired by Rust and Elm. Most developers with experience in any functional or modern language can pick it up without Haskell knowledge.
Is Aiken replacing Plutus?
Aiken compiles to Untyped Plutus Core — the same target as Plutus Haskell. It is not replacing the on-chain format, but it has largely replaced Haskell as the preferred language for writing that code.
Is Aiken audited / production-ready?
Yes. Aiken is used in production by major Cardano protocols including Minswap, Liqwid, and others. The language and standard library have been extensively reviewed.
Where can I learn Aiken?
The official Aiken documentation at aiken-lang.org includes a comprehensive language guide, standard library reference, and tutorials for building common smart contract patterns.