Skip to main content

Addresses

Per-environment contract addresses + Blockscout links.

CTFExchange

Signed-order matching with quadratic taker fee.

Vaults

Per-user custody, dual-sig withdrawals, emergency path.

Conditional Tokens

Gnosis-based ERC-1155 position tokens.

Neg-Risk Adapter

Multi-outcome markets + convertPositions.

Oracle

Outcome proposal, challenge, finalise.

​
Key invariants

  1. Non-upgradeable vault logic. Each user’s vault is a standalone contract deployed by VaultFactory from bytecode pinned at factory deploy time; no admin can change it.
  2. Dual-signature custody. Withdrawals, splits, merges, neg-risk conversions all require user + backend EIP-712 signatures.
  3. Emergency withdraw timelock. Users can unilaterally drain their vault after a 7-day on-chain delay.
  4. No unbounded admin power. onlyAdmin is restricted to pause / register / configure actions.
  5. Digest-based replay protection. Every signed operation is single-use.

​
Blockscout

Testnet contracts can be browsed on blockscout.ab.testnet.adifoundation.ai (transactions, events, state). They are not source-verified there, so request ABIs from your onboarding contact.