Project

Aiken

Aiken is a modern and accessible programming language, specifically created to both simplify and enhance the development of smart contracts on Cardano. It comes in an easy to learn syntax, designed for effortless integration with other tools and languages, plus includes various state-of-the-art features that meet the current expectations of developers.

Goal

Foster growth in the Cardano ecosystem.

In true Open Source fashion, Aiken arose from the dedicated efforts of various individuals. After the original kickoff with the support of TxPipe on the foundational tooling, the Cardano Foundation helped in materialising the ideas behind a smart contract programming language. Both saw the potential of Aiken and how it could foster growth in the Cardano ecosystem. Over the course of its development, Aiken has rapidly grown to become one of the most loved frameworks for building smart-contracts on Cardano with many of the largest dApps migrating to it.

While Aiken-the-language has been mostly stable for a while, its ecosystem of tools keeps evolving and reshaping to ensure the best developer experience possible to its users. This is only truly achievable as a collaborative effort, with more than 40 code contributors and even more contributors providing feedback and ideas constantly. So it is only natural for Aiken to become one of the first projects hosted under PRAGMA as it already embodies the very core principles behind PRAGMA.

Maintainers

Project maintainers can come from PRAGMA member organizations or the broader community.

Matthias Benkort Technical Director @ Cardano Foundation

Lucas Rosa Software Engineer @ IOG

Kasey White Software Engineer @ IOG

Riley Kilgore Software Engineer @ IOG

Roadmap

Recently

Important milestone recently completed.

Aiken v1.1.23

The latest release refreshed UPLC execution support with protocol-aware builtin semantics, Plutus V3 PV11 cost-model parsing, updated cost models and several compiler correctness fixes.

Aiken v1.1.22

Aiken added blueprint export controls, a test alias for check, clearer benchmark output and projected maximum-size reporting for benches.

Compiler and tooling fixes

Recent releases continued improving generated documentation, custom error traces, blueprint encoding, LSP diagnostics and edge-case compiler behavior.

Currently

Items currently being worked on.

Compiler and runtime robustness

Current work is focused on hardening parser, compiler and UPLC behavior, including fixes for constant folding, deeply nested expressions, EOF diagnostics and other edge cases surfaced by real users.

Blueprint and export improvements

Open work continues around CIP-57 blueprint generation, dependency export behavior and source-map support so compiled contracts are easier to inspect, debug and integrate.

Toolchain maintenance

Maintainers and contributors are keeping the Rust, cryptography, Nix and example-project dependency stack current so Aiken remains reliable across supported development environments.

Upcoming priorities.

Hard-fork and Plutus readiness

Keep Aiken reliable through upcoming Cardano protocol changes, including new Plutus builtins, script-context changes, compatibility tests, migration notes and release support for developers.