Documentation

Daml contract source - OpenZeppelin/canton-contracts/test/scoped-authorization-grant-v1-test/daml/OpenZeppelin/ScopedAuthorizationGrantV1CheckTest.daml module OpenZeppelin.ScopedAuthorizationGrantV1CheckTest where import DA.Assert ((===)) import qualified DA.Fail as Fail import DA.Foldable (

Daml contract source - OpenZeppelin/canton-contracts/test/scoped-authorization-grant-v1-test/daml/OpenZeppelin/ScopedAuthorizationGrantV1PolicyTest.daml module OpenZeppelin.ScopedAuthorizationGrantV1PolicyTest where import DA.Assert ((===)) import DA.Foldable (forA_) import DA.Time (addRelTi

Daml contract source - OpenZeppelin/canton-contracts/test/scoped-authorization-grant-v1-test/daml/OpenZeppelin/ScopedAuthorizationGrantV1SandboxTest.daml module OpenZeppelin.ScopedAuthorizationGrantV1SandboxTest where import DA.Time (addRelTime, days) import Daml.Script (Script, script) impo

Daml contract source - OpenZeppelin/canton-contracts/test/scoped-authorization-grant-v1-test/daml/OpenZeppelin/ScopedAuthorizationGrantV1Test.daml module OpenZeppelin.ScopedAuthorizationGrantV1Test where import DA.Date (Month(Jan), date) import qualified DA.Fail as Fail import DA.Foldable (f

Daml contract source - OpenZeppelin/canton-contracts/test/scoped-authorization-grant-v1-test/daml/OpenZeppelin/ScopedAuthorizationGrantV1UseTest.daml module OpenZeppelin.ScopedAuthorizationGrantV1UseTest where import DA.Action (when) import DA.Exception (GeneralError(..), throw) import DA.Fo

Authorization tests Tests import the compiled library DAR. The licensing and treasury suites also import their consumer DARs, so application code is checked across the same package boundary used by an integrator. Coverage | Area | Checks | |---|---| | Issuance and authority | Issuer-only creati

Daml contract source - OpenZeppelin/canton-contracts/test/token-cip112-types-v1-test/daml/OpenZeppelin/Token/Cip112/TypesV1/Test.daml -- | Tests for the types package on its own: a template stores every record, -- and the ledger returns each one unchanged. The functions that read and -- retu

Daml contract source - OpenZeppelin/canton-contracts/test/token-cip112-utils-test/daml/OpenZeppelin/Token/Cip112/Utils/Test.daml -- | Unit tests for the utils package on its own: the pure predicates and -- bounds, the event-observer merge, and the two pinning builders, each run -- against a

Daml contract source - OpenZeppelin/canton-contracts/test/token-cip112-v1-test/daml/OpenZeppelin/Token/Cip112/V1/Test.daml -- | Tests for the CIP-0112 token package (packages/token/token-cip112-v1), -- driven through the standard interfaces. Scenario setup and -- interface-driving helpers li

Daml contract source - OpenZeppelin/canton-contracts/test/token-cip112-v1-test/daml/OpenZeppelin/Token/Cip112/V1/Test/Fixtures.daml -- | Shared fixtures for the token package tests: the scenario record, its -- setup, and the helpers that drive the registry through the standard -- interfaces.

Daml contract source - OpenZeppelin/canton-contracts/test/token-cip112-v1-test/daml/OpenZeppelin/Token/Cip112/V1/Test/ForeignAllocation.daml -- | Tests for the two review findings on TokenRules about contracts that -- implement AllocationV2.Allocation but are not TokenAllocations: -- -

Daml contract source - OpenZeppelin/canton-contracts/test/token-cip112-v1-test/daml/OpenZeppelin/Token/Cip112/V1/Test/ForeignHolding.daml -- | The holding-side counterpart of the foreign-allocation tests. Once -- holdings are addressed by interface id, a template that implements -- HoldingV

Verification Report: Canton Network Token Standard Three open-source verification tools and manual code review by the author were used to analyze this codebase. All findings have been patched or acknowledged. Summary | Metric | Value | |--------|-------| | Tools used | 3 (daml-lint, daml-props,

PLAN: CIP-056 Simple Token Implementation Status: on-ledger implementation complete (36/36 tests passing) Scope: see SCOPE.md for authoritative scope boundaries, out-of-scope items, and post-MVP backlog. Goal Deliver a minimal, secure, readable Canton token-standard implementation i

SCOPE: Canton Network Token Standard (CIP-056) 1. Mission This project delivers a minimal, correct DAML/Haskell implementation of the 6 CIP-056 on-ledger interfaces (splice-api-token-*-v1 version 1.0.0). It proves a non-Splice registry can implement the standard and interoperate with standard

Verification Report: Stablecoin CDP System Three open-source verification tools and manual code review were used to analyze this codebase. All findings have been patched or acknowledged. Summary | Metric | Value | |--------|-------| | Tools used | 3 (daml-lint, daml-props, daml-verify) | | Find

Plan: MakerDAO-esque Stablecoin CDP System Context The simple-token module is a minimal CIP-056 token standard implementation with 7 templates, 36 passing tests, and 24 security invariants. It handles UTXO token holdings, transfers (3-way dispatch), allocations (DvP), and all 6 CIP-056 interf

SCOPE: Stablecoin CDP System 1. Mission This module delivers a minimal MakerDAO-esque Collateralized Debt Position (CDP) system built on the simple-token CIP-056 implementation. Users lock CIP-056-compliant collateral tokens to mint stablecoins. Stablecoins are SimpleHolding contracts with a

canton-stablecoin > [!WARNING] > This software is experimental and not intended for production use. Use at your own risk. A DAML template for building CIP-056 token registries and Ma

DAML Patterns for Stablecoins and Payment Infrastructure Patterns extracted from five FOSS reference projects for building DAML stablecoins and infrastructure corresponding to existing payment systems used by US financial institutions. Source projects: - [canton-dex-platform](https://github.co

Security Policy Security vulnerabilities should be disclosed to the project maintainers, or alternatively by email to <security@openzeppelin.com>. Reporting a Vulnerability We're extremely grateful for security researchers and users that report vuln

Daml contract source - OpenZeppelin/canton-stablecoin/simple-token-test/daml/SimpleToken/Test/Allocation.daml -- | Allocation lifecycle tests (5 tests) including DvP. module SimpleToken.Test.Allocation where import Splice.Api.Token.MetadataV1 import Splice.Api.Token.HoldingV1 import Splice.A

Daml contract source - OpenZeppelin/canton-stablecoin/simple-token-test/daml/SimpleToken/Test/Defragmentation.daml -- | Defragmentation and multi-instrument tests (2 tests). module SimpleToken.Test.Defragmentation where import DA.TextMap qualified as TextMap import Splice.Api.Token.MetadataV

Daml contract source - OpenZeppelin/canton-stablecoin/simple-token-test/daml/SimpleToken/Test/Negative.daml -- | Security and negative tests (20 tests). module SimpleToken.Test.Negative where import DA.Date import DA.Time import DA.TextMap qualified as TextMap import Splice.Api.Token.Metadat

Daml contract source - OpenZeppelin/canton-stablecoin/simple-token-test/daml/SimpleToken/Test/Props/Model.daml -- | Pure state-machine model of canton-network-token-standard simple-token. -- Models the transfer logic from SimpleToken/Rules.daml without Script effects. -- Parties are represen

Daml contract source - OpenZeppelin/canton-stablecoin/simple-token-test/daml/SimpleToken/Test/Props/Properties.daml -- | Property-based tests for the simple-token model. -- Each test_ function is discovered by dpm test. module SimpleToken.Test.Props.Properties where import Daml.Script import

Daml contract source - OpenZeppelin/canton-stablecoin/simple-token-test/daml/SimpleToken/Test/Setup.daml -- | Common test setup: party allocation, registry init, initial holdings. module SimpleToken.Test.Setup where import DA.Date import DA.Time import Splice.Api.Token.MetadataV1 import Spli

Daml contract source - OpenZeppelin/canton-stablecoin/simple-token-test/daml/SimpleToken/Test/Transfer.daml -- | Transfer lifecycle tests (9 tests). module SimpleToken.Test.Transfer where import DA.Date import DA.Time import DA.Optional (fromSome) import DA.TextMap qualified as TextMap impor

Daml contract source - OpenZeppelin/canton-stablecoin/simple-token-test/daml/SimpleToken/Testing/SimpleRegistry.daml -- | SimpleRegistry: off-ledger API simulation for tests. -- Mirrors Splice's AmuletRegistry pattern but much simpler (no mining rounds, no fees). module SimpleToken.Testing.S

Daml contract source - OpenZeppelin/canton-stablecoin/simple-token-test/daml/SimpleToken/Testing/WalletClient.daml -- | Test wallet helpers: list holdings, check balances, list transfer offers. module SimpleToken.Testing.WalletClient where import DA.Action (unless) import DA.Optional (isSome