Contracts
Stylus/Rust smart contracts and formal verification.
Plinth margin engine · Vigil liquidations · Sigil mandates · Coffer vault · Kani proofs
Atrium is built by a small team shipping in public on Arbitrum Sepolia. Code, commits, audits, and incident post-mortems all live in the open repository; the work is the credential. The founders are named in person at the Arbitrum Founder House.
Contracts
Stylus/Rust smart contracts and formal verification.
Plinth margin engine · Vigil liquidations · Sigil mandates · Coffer vault · Kani proofs
Product
Full-stack engineering, DeFi frontend, and data pipelines.
apps/verify · Verifier Mode · Lantern dashboard · brand and design system
Operations
DevOps, protocol operations, security and compliance.
Cohort programme · runbooks · ResearchAttestation · audit cadence · partnerships
Security disclosure: security@useatrium.me (PGP key linked from /security).
Partnerships and integrations are scoped through the Cohort programme, see /cohort.