PUBLIC SECURITY ASSESSMENTS BY XORS SOFTWARE — SLOPLESS AUTOMATED ANALYSIS COMBINED WITH MANUAL REVIEW AND FOUNDRY PROOF-OF-CONCEPT EXPLOITS. PUBLISHED WITH CLIENT CONSENT.
$O CROSS-CHAIN BRIDGE (OFT ADAPTER) — o1.exchange
ABSTRACT
Security assessment of the $O cross-chain bridge — the LayerZero OFT Adapter (lockbox) on Base and the BSC↔Base mint/release solvency path.
METHODOLOGY — Slopless automated analysis + manual review + Foundry proof-of-concept exploits.
$O TOKEN CONTRACT — o1.exchange
ABSTRACT
Security assessment of the $O token contract: airdrop pool, vesting pool, stake pool, factory, and timelock surfaces.
METHODOLOGY — Slopless automated analysis + manual review + Foundry proof-of-concept exploits.