Canton changes the unit of security analysis. Reviewers must reason about Daml workflows, selective visibility, participant infrastructure, and multi-application outcomes as one system.
Canton Is a Network of Connected Applications
Canton Network is a public blockchain designed for privacy-preserving, multi-party transactions. Its architecture is often described as a network of networks because applications and organizations can operate their own infrastructure and governance boundaries while using a common protocol to coordinate transactions. The Global Synchronizer provides shared ordering and synchronization for connected activity, but it does not turn every transaction into globally visible state. Only the participants entitled to a transaction view receive and validate the data needed for their part of that transaction.
That combination matters for financial workflows. A tokenized asset register, cash application, trading venue, custodian, and collateral platform can remain independently operated while participating in an atomic transaction. The parties do not need to expose every commercial term or position to every other network participant. Canton therefore approaches interoperability differently from a public chain where a single replicated state machine normally makes contract storage, calls, events, and balances broadly observable.
Canton should not be reduced to a private database or a single permissioned consortium. The network can include open infrastructure and independently governed applications, while each application defines its own access, privacy, and participation policies. Security analysis must identify which part of that system is open, which part is controlled, who operates each participant, and what the relevant synchronizer guarantees. Those are properties of the actual deployment, not assumptions that follow from the Canton name alone.
Why Institutional Finance Cares About the Architecture
Financial institutions need shared execution and settlement without broadcasting positions, counterparties, client data, or trading intent. They also need explicit responsibility for asset issuance, custody, approvals, and lifecycle events. Canton is relevant because privacy and authorization are part of the application and protocol model rather than an overlay that simply hides a globally replicated transaction after execution.
Consider a delivery-versus-payment workflow. A securities registrar may need evidence that ownership changed, while a cash provider needs the payment leg and a compliance function may require a defined view of both. None of those roles necessarily needs every field visible to every other participant. Canton can compose the legs atomically while distributing transaction subviews according to the stakeholders encoded in the workflow. The security objective is therefore not maximum secrecy. It is correct disclosure: every required party sees enough to authorize and verify its obligations, and no unintended party receives sensitive data.
Institutional relevance also expands the consequence model. A software defect can produce direct asset loss, but it can also break settlement, misstate ownership, bypass a required approval, expose confidential data, or leave two operational systems with inconsistent records. Security work must evaluate financial, operational, legal, and reputational effects without pretending that the code alone determines every compliance outcome.
Daml Is a Workflow and Authorization Model
Daml applications are organized around templates that define contract data, stakeholders, and choices. A created contract is an instance of a template. Signatories authorize its creation and remain stakeholders; observers receive visibility without authorizing creation; controllers are the parties authorized to exercise a particular choice. Choices encode the actions available under the agreement and can create, fetch, or exercise other contracts as part of a transaction.
This is not equivalent to replacing Solidity keywords with Daml syntax. A Solidity review often starts from externally callable functions, storage mutations, modifiers, token flows, and EVM call behavior. A Daml review starts from rights and obligations: who must consent to a contract, who can see it, who may exercise each choice, which authority is delegated through nested exercises, and what transaction subtrees each party learns. The application model and the authorization proof are closely connected.
Daml contracts are immutable. State changes normally consume an existing contract and create one or more successor contracts. Choices are consuming by default, which archives the exercised contract; a nonconsuming choice leaves it active. This lifecycle makes contract IDs, active-contract-set behavior, stale references, repeated actions, and the visibility differences between consuming and nonconsuming workflows material review questions. A reviewer must follow the entire create-exercise-archive graph rather than inspect a single object as mutable database state.
The ledger model also does not remove conventional application risk. Users and services reach the ledger through participant nodes and APIs. Identity providers, user-to-party rights, act-as and read-as permissions, command submission, event processing, databases, key management, and reconciliation services can all affect the real security boundary. Correct Daml code can still be undermined by a service that submits with excessive authority or maps an authenticated user to the wrong party.
Why Canton Security Requires a Different Review Model
A Canton Network audit should treat authorization and visibility as separate properties. A party may be entitled to see a contract but not authorize an action; another may authorize a choice only when a specific multi-party submission or delegation path is present. Reviewers need to test positive and negative cases: required actors can complete the workflow, unauthorized actors cannot, and the transaction does not accidentally demand authority that a legitimate participant cannot provide.
Privacy deserves the same precision. Selective disclosure depends on stakeholders, choice observers, nested transaction structure, and the deployment topology. A workflow can be functionally correct while revealing a counterparty, amount, asset identifier, or business relationship to an unnecessary party. Conversely, hiding too much may prevent a custodian, operator, or compliance process from reconciling the transaction. The review question is whether actual information flow matches the documented business need at each step.
Synchronization and interoperability introduce another layer. Applications can compose across participant and application boundaries, but that does not make every external dependency trustworthy. Reviewers should establish which synchronizer is used, which participant nodes validate each view, how parties are hosted, what connectivity and onboarding assumptions apply, and how retries, timeouts, deduplication, reassignment, or unavailable dependencies affect the workflow. Those questions must be tied to the deployed architecture and Canton version rather than inferred from a generic diagram.
- Authorization: signatories, observers, controllers, delegation, multi-party submissions, and user rights.
- Privacy: stakeholder visibility, transaction subviews, metadata exposure, and unintended disclosure through APIs or logs.
- Lifecycle: consuming and nonconsuming choices, successor contracts, stale references, replayed business actions, and active-contract-set assumptions.
- Composition: atomic multi-application workflows, dependency availability, participant placement, and synchronization assumptions.
- Operations: keys, identity, API credentials, deployment configuration, monitoring, upgrades, backups, and incident procedures.
Institutions Change the Threat Model
An institutional workflow rarely has one undifferentiated administrator. Issuers, registrars, custodians, brokers, settlement agents, operators, and compliance teams may each have distinct authority. Separation of duties is therefore a security invariant. A convenient role that can issue an asset, approve a transfer, change eligibility, and override settlement may collapse controls that were intentionally separate in the off-ledger process.
Asset ownership and settlement guarantees also require more than balance conservation. A reviewer may need to establish that an asset cannot be transferred while pledged, that a cash leg and delivery leg settle together, that cancellation cannot race with acceptance, that rounding and currency units remain consistent, and that a failed downstream integration does not leave an external book of record ahead of the ledger. Time windows, market calendars, cutoffs, and reference data can be part of the security model when they influence whether an action is permitted.
Privacy failures can be commercially serious even when no asset moves. Transaction timing, participant identifiers, instrument references, or repeated access patterns may reveal positions and relationships. Logs, analytics exports, support tools, and API responses can undo ledger-level confidentiality. The review should follow sensitive data from submission through participant storage, event consumption, observability systems, and downstream integrations.
Canton vs EVM: Security Assumptions Change
The comparison below describes common starting points, not universal rules. EVM systems can add privacy layers and permissioned controls; Canton deployments can expose public interfaces and assets. The useful distinction is which properties the base programming and network models make explicit, and where reviewers must look for exceptions.
| Area | EVM / public-chain starting point | Canton starting point |
|---|---|---|
| Application model | Solidity contracts, shared storage, calls, and events | Daml contracts, choices, rights, obligations, and multi-party workflows |
| Visibility | State and transaction data are usually broadly public | Transaction views are selectively disclosed to entitled parties |
| Authorization | Addresses, signatures, roles, modifiers, and call context | Parties, signatories, observers, controllers, delegation, and submission rights |
| State transition | Mutable contract storage within EVM execution | Immutable contracts changed through create, exercise, archive, and successor contracts |
| Execution context | A shared chain and consensus domain | Participant nodes and synchronizers coordinating privacy-aware transaction views |
| Primary review focus | Contract, protocol, integration, and economic behavior | Workflow, authorization, privacy, lifecycle, integration, and operational behavior |
A Locally Correct Contract Can Belong to an Unsafe Workflow
Suppose an issuance template correctly requires the issuer's signature, a transfer choice correctly requires the owner's authority, and a settlement application correctly exchanges cash for an asset. The combined process can still fail if eligibility is checked against stale data, a custodian service submits for the wrong party, cancellation can occur after an external reservation, or a successor contract omits an observer who must receive future events. Every component can satisfy its local type and authorization rules while the end-to-end business outcome violates intent.
This is why a Canton protocol security review needs a system model, not only package-level code inspection. Reviewers should trace representative success, rejection, cancellation, timeout, reassignment, and recovery paths across applications. They should define invariants at the workflow boundary, then test whether each component preserves those invariants under adversarial ordering and partial operational failure.
Formal methods can help where the property is precise enough to model, especially for conservation, exclusivity, authorization, and lifecycle claims. They do not replace architecture review. A proof about a Daml model cannot establish that an identity service assigns parties correctly or that an off-chain adapter faithfully implements the modeled assumptions.
What a Canton Security Review Should Cover
A practical scope begins with the Daml packages and the workflows they implement, then expands to every component that can change authority, visibility, accounting, or settlement. The team should provide the intended parties and roles, deployment topology, participant and synchronizer assumptions, API clients, identity model, external services, and the invariants the system is expected to preserve.
Testing should include actors with insufficient rights, unexpected party combinations, repeated submissions, stale contract IDs, partial workflow completion, boundary amounts, invalid reference data, and service interruption. Privacy tests should compare the transaction views and application outputs available to each role, not merely confirm that a nominal transaction succeeds. Operational review should cover privileged administration, package and configuration changes, key custody, monitoring, and recovery.
- Daml templates, choices, interfaces, authorization chains, and contract lifecycle behavior.
- Party allocation, user rights, identity integration, command submission, and Ledger API boundaries.
- Selective disclosure, stakeholder sets, logs, exports, and downstream data handling.
- Business and financial invariants across assets, cash, fees, rounding, and multi-party settlement.
- Participant, synchronizer, package, connectivity, upgrade, and recovery configuration.
- Off-chain services, integrations, event consumers, databases, reconciliation, and privileged controls.
Canton Security Is an Architecture Property
Canton gives builders unusually expressive tools for privacy-aware, multi-party applications. That expressiveness moves important security decisions into the workflow itself. Who knows, who consents, who acts, which applications compose, and which infrastructure coordinates them are all part of the specification reviewers must challenge.
For teams preparing a Canton Network audit, the most valuable starting point is an explicit architecture and threat model. Map the parties, obligations, views, lifecycle transitions, integration boundaries, and operational owners before choosing test techniques. Kann Audits can assess Daml and supporting components within an Expert Security Audit, and use formal verification where a critical property is sufficiently precise to prove against a scoped model.
Primary references