Skip to main content
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.

​
How they connect

When a creator launches a collection from the Launchpad:
  1. A new Xcollection is provisioned with the creator’s configuration
  2. A bound Xlist is provisioned alongside it for whitelist management
  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. The provisioning is handled by a platform factory so the steps are atomic and consistent; the creator never has to wire contracts together by hand.

​
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.

Xcollection

Minting, phases, reveals, royalties, holder index

Xlist

Whitelist management per collection

Xmarket

Listings, offers, proceeds

XNS-1 Standard

The interface every collection implements

Xpectra

The founding 222-piece collection