xete-programs

The on-chain Solana programs behind xete. Each ships a reproducible, verifiable build — what runs on mainnet is byte-identical to the source in this repo. Verify any of them yourself with solana-verify; no trust required.

Programs

Program	Mainnet program ID	Source	Crate
Swap / OTC	AXTSWAPVuUPivum39Fh2N6AS6SsktpABDpBLePknyvUD	swap/	xete-swap
Settlement	GPCsJ6kvrQ61wDG8bpP8315ge7AHfmsUHdxTD7LQ6CoJ	program/lean/	xete-tab

Verify it yourself

# Swap / OTC program
solana-verify verify-from-repo -um \
  --program-id AXTSWAPVuUPivum39Fh2N6AS6SsktpABDpBLePknyvUD \
  --mount-path swap --library-name xete_swap \
  https://github.com/xetenet/xete-programs

# Settlement program
solana-verify verify-from-repo -um \
  --program-id GPCsJ6kvrQ61wDG8bpP8315ge7AHfmsUHdxTD7LQ6CoJ \
  --mount-path program/lean --library-name xete_tab \
  https://github.com/xetenet/xete-programs

Add --remote to also submit the result to the public OtterSec verified-builds registry.

Toolchain. The mainnet programs were built with Agave solana-cli 4.0.0, cargo 1.96, platform-tools v1.53 (rustc 1.89). A byte-identical solana-verify build needs a base image carrying that toolchain — pass --base-image if your solana-verify default is older (its stock image predates Agave 4.0 and can't parse the edition2024 transitive dependency). Every program commits its Cargo.lock, so the dependency graph is pinned.

Layout

• swap/ — the OTC / sealed-order program (upgradeable). Specs: swap/THREAT_MODEL.md, swap/EVENTS.md.
• program/ — the settlement program: lean/ is the deployed build, readable/ an annotated reference. See SPEC.md and SETTLEMENT.md.

Scope

This repo is the on-chain program source — the part solana-verify can prove byte-for-byte. The relay / message server and the client apps are separate systems and are not required to verify these programs.

License

See LICENSE.