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

Polymarket-compatible ERC-1155 position tokens.

Neg-Risk Adapter

Multi-outcome markets + convertPositions.

PredictStreet Oracle

Outcome proposal, challenge, finalise.

​
Key invariants

  1. Non-upgradeable vault logic. Each user’s vault is an EIP-1167 clone pointing at an immutable implementation.
  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.

​
Verified on Blockscout

Every testnet deployment is source-verified on blockscout.ab.testnet.adifoundation.ai.