This proposal adds two core features to Atlas PAB:

1. Aiken Integration Module Parse Aiken Blueprint interface files (contract metadata, datum/redeemer types, endpoints).

Generate Haskell bindings automatically from Aiken types.

Allow loading and interacting with Aiken validators in Atlas test environments and production deployments.

Improve developer experience by avoiding manual duplication of types across languages.

2. Governance Transaction Support (CIP-1694) Add support for Governance Action creation: constitutional committee actions, treasury proposals, DRep votes.

Add helper APIs to build governance metadata, submit governance transactions, and sign using wallet delegation credentials.

Provide example contracts for governance voting or DAO integrations.

All features will include:

Emulator and testnet test cases

Public documentation

Examples and usage guides for developers

Atlas PAB is a Haskell-native application backend for Cardano smart contracts, supporting transaction construction, simulation, and endpoint orchestration. However, two ecosystem-critical capabilities are currently missing:

Aiken Integration – Aiken is a rapidly growing Plutus smart contract language with a modern developer experience and wide adoption. Atlas lacks native support for ingesting Aiken’s Blueprint interface definitions, making off-chain and on-chain integration harder for developers using both tools.

Governance Action Support – Cardano’s on-chain governance (CIP-1694) introduces new transaction types for proposing, voting, and enacting governance decisions. Atlas currently lacks abstractions and helpers for creating governance actions and submitting them from dApps.

This proposal ensures that Atlas remains the most capable backend tool in the Cardano ecosystem by supporting its two most impactful upgrades:

Aiken developers will gain first-class off-chain integration through Atlas, improving testability, endpoint exposure, and Plutus validator interaction without boilerplate.

Governance tools and dApps will benefit from Atlas-native support for building and submitting governance actions, making it easy to integrate on-chain decision-making flows into dApps.

This improves developer experience, aligns with ecosystem upgrades (CIP-1694 + Aiken), and reduces fragmentation between tooling stacks.

Aiken Integration Module Aiken parser, Haskell type generator, validator loader, test suite Aiken contracts loadable in Atlas emulator + usage example dApp published

Governance Support (CIP-1694) TX builders for governance actions, metadata helpers, sample flows (e.g., proposal submit) Submit governance action to testnet via Atlas; verified in emulator; documented module

Docs & Examples Developer guides for both modules Hosted in Atlas documentation portal

Aiken Integration (Blueprint parser, emulator bridge, multi-contract support): 220 hrs = $38,000 Governance Support (CIP-1694 transaction builder, metadata registry, multisig logic): 220 hrs= $38,000 Developer Documentation, Tooling Examples, Workshops: 80 hrs = $14,000 Community, Feedback, Auditing (10%): $10,500 Total — $105,000

Duration 6/7 Months Aiken Integration (Blueprint parser, emulator bridge, multi-contract support) : 220 hrs Governance Support (CIP-1694 transaction builder, metadata registry, multisig logic) : 220 hrs Developer Documentation, Tooling Examples, Workshops : 80 hrs

The Genius Yield team is the original creator and maintainer of Atlas PAB, one of the most advanced open-source Plutus application backends for Cardano. Our engineering team has deep expertise in architecting and delivering high-assurance infrastructure for both open-source libraries and production DeFi protocols.

Our experience includes:

Building and maintaining open-source projects like Atlas and Genius Yield, which are used across the Cardano ecosystem to power real-world decentralized applications.

On-chain/off-chain integration across multiple production DeFi dApps, ensuring robust transaction management, validator interaction, and UTXO coordination.

The Genius Yield team maintains Atlas PAB. These features will be supported as part of the core repo on Github, tested against Cardano upgrades, and improved with community feedback. We will maintain type compatibility as Aiken evolves and as CIP-1694 is adopted.

Aiken is increasingly the language of choice for Cardano smart contract developers due to its simplicity, tooling, and compile speed. Over 100 GitHub repos and tutorials rely on it.

CIP-1694 is the foundation of Cardano's upcoming Voltaire governance era. Community members, SPOs, and dApp developers are already preparing for integration.

Atlas is the production backend used by Genius Yield, World Mobile, Clarity Kwarx, open-sourced for the community. Several teams use Atlas or plan to integrate it with Aiken smart contracts and on-chain voting flows.

Stable Aiken Blueprint specification (TxPipe published)

CIP-1694 finalized specification (expected Q2 2025)

Cardano node versions supporting governance action submission

Integration with Kupo or Blockfrost for datum retrieval (existing in Atlas)