Halborn Secures Tradecraft's First-of-Its-Kind Liquidity Layer on Canton Network

- ▸
Halborn completed a security assessment of Tradecraft's Daml application on the Canton Network, evaluating authorization boundaries and settlement semantics.
- ▸
100% of identified findings were remediated and independently re-verified within 10 days of engagement close.
- ▸
Tradecraft is an always-on automated liquidity layer with an automated market maker for regulated financial markets, incubated by Obsidian Systems.
- ▸
Halborn established a repeatable review workflow for Canton applications and encoded additional security properties into the contracts.
Strategic guidance for secure AI adoption
Reviewing blockchain designs for security and resilience
Aligning controls to evolving regulatory mandates
Securing digital asset custody and key systems
Clarity on your cybersecurity risk posture
Validating security before third-party commitments
Building blockchain and security skills enterprise-wide
Adversarial testing against real-world AI threats
Identifying vulnerabilities in AI models and pipelines
Protocol-level security review of L1 networks
Uncovering vulnerabilities in your source code
Exposing exploitable flaws in web applications
Cloud Infrastructure Penetration Testing
Finding weaknesses across cloud environments
Full-scope adversarial simulation of your defenses
Code security testing for blockchain-powered applications and systems.
The best security engineers in the world
The trusted security advisor for blockchain and financial services industries
Access official logos, fonts, and guidelines
In-depth evaluations of smart contracts and blockchain infrastructures
All the latest vulnerabilities discovered by Halborn
How Halborn’s solutions have empowered clients to overcome security issues
We use cookies to personalise content and ads, to provide social media features and to analyse our traffic. We also share information about your use of our site with our social media, advertising and analytics partners who may combine it with other information that you've provided to them or that they've collected from your use of their services. You consent to our cookies if you continue to use our website. Learn More.
Case Study: Securing a First-of-Its-Kind Liquidity Layer on the Canton Network for Tradecraft
Tradecraft is an always-on, automated liquidity layer for asset issuers and builders on the Canton Network. Incubated by Obsidian Systems, Tradecraft gives institutions, protocols, and market participants access to on-chain liquidity through a purpose-built automated market maker designed for regulated financial markets.
The platform combines atomic settlement, institutional-grade infrastructure, and activity-driven rewards to make liquidity more accessible, more productive, and better aligned with the needs of modern financial markets, operating as a decentralized exchange and liquidity infrastructure provider within the Canton ecosystem.
Tradecraft is building on an emerging network using Daml, a novel smart contract language with a first-of-its-kind implementation and little established audit precedent. The team needed a partner capable of reasoning natively about that model rather than reviewing it by analogy to more familiar blockchain ecosystems.
As a liquidity protocol, Tradecraft's risk surface spans authorization boundaries and settlement semantics across multiple parties, not a single contract in isolation. The team needed a reviewer who would assess how components such as pool state, fee logic, and settlement windows interact, rather than evaluating each in isolation and calling the sum secure.
Smart Contract Assessment : a full review of Tradecraft's Daml application conducted within Daml's actual execution model, evaluating authorization boundaries and settlement semantics across the protocol's interacting components.
Code Security Audit : a systematic review of the codebase's pool state, fee logic, and settlement windows as an interconnected system rather than a set of isolated modules.
Daml smart contracts deployed on the Canton Network
Automated market maker logic, including pool state and fee calculation
Settlement windows and atomic settlement mechanics
Authorization boundaries governing multi-party interactions
100% of identified findings remediated and independently re-verified, with every fix closed within 10 days of engagement close.
A hardened automated market maker with authorization and settlement logic validated against Daml's actual execution model rather than patterns borrowed from other chains.
Design intent translated into enforced code: additional properties identified during the engagement were encoded directly into the contracts, a lasting improvement to the codebase rather than a one-time fix.
Halborn reviewed Tradecraft's application in Daml's actual execution model, not a translated one. Because Canton and Daml have a small body of prior security work to draw on, many firms would default to mapping familiar patterns from other networks onto unfamiliar syntax. Halborn's findings instead reflected the real constraints and failure modes of the Daml model itself, giving Tradecraft confidence that the review was grounded in how the system actually behaves.
That same rigor carried into remediation. Halborn re-verified and dated each finding individually, treating fix verification as part of the engagement rather than an afterthought to the report. Precise scoping at the outset meant Tradecraft's engineers and Halborn's team shared the same understanding of what was being reviewed throughout, which kept remediation focused and efficient.
“Halborn set the standard for security assessments on Canton. Daml had little audit precedent, so we needed a partner who could rapidly move into a new model and work within it directly. They did, and they verified every fix before the engagement concluded.”
More than delivering a point-in-time audit, Halborn stayed with Tradecraft through remediation. Every fix was independently re-verified across separate commits and individually dated before closure, so the engagement concluded only once fixes were confirmed, not simply reported. That commitment carried into a repeatable review workflow for Canton applications: a tested pattern for scoping, remediating, and re-verifying a Daml codebase against an external auditor. That pattern is reusable for Tradecraft's future work on Canton and for a wider ecosystem where this kind of process is not yet well established, reinforced by Halborn's Security Solutions Center interface throughout the engagement.
This positions Tradecraft to scale its liquidity layer across the Canton Network with a well-established security baseline already in place, and it elevated confidence across Tradecraft's engineering team that the protocol's core settlement and authorization logic had been tested on its own terms, not on borrowed assumptions.
As Canton adoption grows among institutions and asset issuers, Tradecraft is positioned to expand its automated liquidity infrastructure with a security foundation built for the model it actually runs on.
A deep security test of smart contracts to detect logic errors, coding flaws, and vulnerabilities that could compromise blockchain-powered applications and systems.
A comprehensive source code review that identifies vulnerabilities, insecure practices, and exploitable weaknesses within software applications.
Case Study: Securing a DeFi Stablecoin Platform from Critical Vulnerabilities
Case Study: Fortifying Core Infrastructure for a Leading Stablecoin Issuer
Case Study: Fortifying Core Infrastructure for a Leading Stablecoin Issuer
Securing Next-Generation Financial Infrastructure for a Global Banking Institution
Securing Next-Generation Financial Infrastructure for a Global Banking Institution
Case Study: Securing a First-of-Its-Kind Liquidity Layer on the Canton Network for Tradecraft