🎯 DAgent Contract- Cardano

Decentralized Agent Registration & Staking Platform

Smart contracts for decentralized agent registration and staking on the Cardano blockchain

---

📋 Table of Contents

• Overview
• Features
• Architecture
• Getting Started
• Contract Specifications
• Development
• Testing
• Deployment
• Contributing
• Resources

---

🌟 Overview

DAgent Contractor is a decentralized platform built on Cardano that enables secure agent registration and stake management. Written in Aiken, these smart contracts provide a robust foundation for managing agent relationships and token staking with full on-chain validation.

Why DAgent?

• ✅ Trustless Operations: All transactions validated on-chain
• ✅ Flexible Staking: Support for multiple stake operations (create, transfer, pull)
• ✅ Agent Registry: Decentralized agent registration and management
• ✅ Plutus V3: Built with the latest Cardano smart contract platform
• ✅ Type Safety: Written in Aiken for compile-time guarantees

---

✨ Features

🔐 Staking System

• Create Stakes: Add new stakes linking clients to providers
• Transfer Stakes: Move stakes between users atomically
• Pull Stakes: Withdraw specific amounts from stake positions
• Batch Operations: Pull all stakes for a user in one transaction
• Real-time Tracking: Automatic total stake and count calculations
• State Validation: Built-in invariant checking for data integrity

👥 Agent Registration

• Decentralized Registry: On-chain agent registration
• Immutable Records: Tamper-proof agent information storage
• Query Support: Retrieve agent details and stakes on-chain

---

🏗️ Architecture

dagent-contractor-cardano/
├── validators/           # Smart contract validators
│   ├── stake/           # Staking contract
│   │   ├── stake.ak     # Main stake validator
│   │   └── stake_test.ak # Test suite
│   └── agents/          # Agent registration
│       └── agents.ak    # Agent validator
├── lib/                 # Supporting libraries
│   └── stake/
│       ├── types.ak     # Data type definitions
│       ├── transition.ak # State transition logic
│       └── check.ak     # Validation helpers
└── build/               # Compiled artifacts

Contract Overview

Stake Contract (validators/stake/stake.ak)

The staking contract manages stake relationships between clients and providers:

pub type Stake {
  client: ByteArray,      // Client address
  provider: ByteArray,    // Provider address
  amount: Int,            // Staked amount
  user_id: ByteArray,     // Unique user identifier
}

Supported Actions:

• CreateStake - Add new stake entry
• TransferStake - Move stake between users
• PullStake - Withdraw partial stake
• PullAllStake - Withdraw all user stakes
• GetAddressStake - Query stake by address
• GetTotalStake - Get total staked amount
• GetTotalStakeCount - Get total stake count

---

🚀 Getting Started

Prerequisites

• Aiken v1.1.19 or later
• Cardano Node (for deployment)
• Git

Installation

1. Clone the repository

   git clone https://github.com/d-agent/dagent-contract-cardano.git
   cd dagent-contract-cardano

2. Build the contracts

   aiken build

3. Verify installation

   aiken check

---

📖 Contract Specifications

Stake Datum Structure

pub type StakeDatum {
  stakes: List<Stake>,     // All stake records
  total_stake: Int,        // Sum of all stakes
  total_count: Int,        // Number of stakes
}

State Transitions

All state transitions enforce invariants:

• Amounts must be positive
• Total stake must equal sum of individual stakes
• Total count must match list length
• Stakes cannot be duplicated

Example Usage

Creating a Stake:

CreateStake {
  client: "addr_client...",
  provider: "addr_provider...",
  amount: 1000000,  // 1 ADA (in lovelace)
  user_id: "user_123"
}

Transferring Stakes:

TransferStake {
  from_user_id: "user_123",
  to_user_id: "user_456",
  amount: 500000  // 0.5 ADA
}

---

💻 Development

Project Structure

Write validators in the validators/ folder and supporting functions in the lib/ folder using .ak as a file extension.

Configuration

Edit aiken.toml for network configuration:

[config.default]
network_id = 41  # Testnet: 41, Mainnet: 1

Building

Compile all contracts:

aiken build

Build artifacts will be generated in the build/ directory.

---

🧪 Testing

Running Tests

Execute all test suites:

aiken check

Run specific test modules:

aiken check -m stake

Run tests matching a pattern:

aiken check -m transfer

Writing Tests

Tests are written inline using the test keyword:

use stake/transition

test create_stake_increases_count() {
  let initial = StakeDatum { stakes: [], total_stake: 0, total_count: 0 }
  let result = transition.create_stake(
    initial,
    CreateStake { client: "c1", provider: "p1", amount: 100, user_id: "u1" }
  )
  result.total_count == 1
}

---

🚢 Deployment

Generate Documentation

Create HTML documentation for the contracts:

aiken docs

Blueprint Generation

After building, contract blueprints are available in:

build/packages/dagent-dagent-contractor-cardano/

Network Deployment

1. Build for target network (configure aiken.toml)
2. Generate blueprint with aiken build
3. Submit using Cardano CLI or transaction builder
4. Reference contract hash in transactions

---

🤝 Contributing

We welcome contributions! Please follow these steps:

1. Fork the repository
2. Create a feature branch (git checkout -b feature/amazing-feature)
3. Write tests for your changes
4. Ensure all tests pass (aiken check)
5. Commit your changes (git commit -m 'Add amazing feature')
6. Push to the branch (git push origin feature/amazing-feature)
7. Open a Pull Request

Code Standards

• Follow Aiken style guidelines
• Add tests for new functionality
• Document public functions
• Keep validators focused and minimal

---

📚 Resources

• Aiken Documentation - Learn Aiken language
• Cardano Developers - Cardano development resources
• Plutus - Plutus platform documentation
• Aiken Standard Library - Built-in functions reference

---

Built with ❤️ using Aiken on Cardano

Report Bug · Request Feature