Grofty Labs LogoGrofty

DAML Infrastructure

How Grofty uses DAML for Canton-aware transaction settlement and fee handling.

What is DAML?

DAML (Digital Asset Modeling Language) is a smart contract language designed for building distributed applications with strong privacy and correctness guarantees. Canton Network uses DAML for smart contract execution.

Grofty uses DAML-based infrastructure for normal CC fee-aware transfer settlement. This allows the fee flow to be enforced at the transaction layer — not just as front-end display logic.

Strong Typing

Compile-time type checking prevents common smart contract bugs and vulnerabilities.

Privacy by Design

Transactions are only visible to participants, with selective disclosure of data.

Formal Verification

Mathematical proof of correctness reduces security vulnerabilities in contract logic.

DAML Fee Settlement

Grofty uses DAML-based infrastructure for normal CC fee-aware transfer settlement. The fee flow is enforced at the transaction layer via DAML contract logic, not only in front-end display.

Why This Matters

Fee enforcement at the DAML layer means the correct receiver amount and fee deduction are part of the transaction contract itself — not just display values that could differ from what actually settles.

WalletUserProxy Contract

The WalletUserProxy is the main DAML contract for user wallet operations on Canton Network. Grofty's backend ensures this contract exists before executing transactions.

template WalletUserProxy
  with
    operator : Party
    user : Party
    walletAddress : Text
  where
    signatory operator, user
UTXO Model

Canton uses the UTXO (Unspent Transaction Output) model for asset management. Grofty's backend handles UTXO selection during transaction preparation.

Account Model (e.g. Ethereum)

Account: 0x123...
Balance: 100 ETH

UTXO Model (Canton)

Coin 1: 50 CC
Coin 2: 30 CC
Coin 3: 20 CC
Total: 100 CC
  • Better privacy — each coin is a separate contract
  • Parallelization — multiple coins processed simultaneously
  • Clear auditability — explicit transaction history

Learn More

Full DAML documentation available at docs.daml.com