Overview

Xpectrum is a set of independently deployed AML contracts that cover the full NFT lifecycle, from drop deployment through secondary trading. Each is formally verified before deployment; a verification certificate exists for every one. Versions follow the contract changelog, which records what changed for callers and when.

​

How they connect

When a creator launches a collection from Xpectrum Creators:

1. XuperFactory provisions a new Xcollection with the creator’s configuration, in one transaction
2. A bound Xlist is deployed alongside it from bytecode embedded in the factory
3. A Circle is provisioned to hold the collection’s assets on-chain
4. After minting, holders approve Xmarket as an operator to settle trades
5. Xmarket reads ownership and royalty data from Xcollection via the XNS-1 interface

The creator signs the deployment and owns all of it. XuperFactory does the wiring so the steps are atomic and consistent, and the creator never has to connect contracts by hand. The factory charges a 1 OCT launch fee, readable on-chain with get_launch_fee(), and holds no key over what it deploys.

​

Verification

Every contract is compiled to OCTB bytecode and run through Octra’s formal verifier before deployment. The verifier enforces a strict dialect: checked arithmetic on value-like storage, guarded subtraction, and checked native transfers.