Institutional Invariants & Verification
Designed for high-net-worth liquidity providers and algorithmic traders who require ironclad assurances and mathematical safety proofs on Solana.
Hardcoded Invariants
Autonomous agents cannot trade arbitrarily. If a rebalance would violate the 20% Cash Floor or the 60% Single-Asset Cap, the transaction reverts on-chain automatically via Anchor constraints.
- Automated revert on invariant breach
- Solana Sealevel memory safety
Zero Address Linkage
Deposits and redemptions utilize zk-SNARK cryptographic notes. Solscan and block explorers see transactions originating from an aggregated vault pool, not your personal Solana wallet.
- Poseidon hash state anonymity
- Stealth fee payers for gas abstraction
Trustless In-Kind Escape
Even if frontends, relayers, or the operator go offline, Solana vault programs feature an immutable, non-custodial redemption escape hatch.
- Direct program-level share burn
- Immediate delivery of SPL US stock tokens
Verified Solana Programs & Audit Directory
ANCHOR_VERIFIED_V2.4| Program / Module | Network | Program ID / Address | Audit Status | Formal Spec |
|---|---|---|---|---|
| Piro7VaultInvariants | Solana Mainnet-Beta | 7xKXtg2CW87d97TXJSDpbD5jBkheTqA83TZRuJosgAsU |
OtterSec · Verified Anchor | Inspect Rust ↗ |
| PoseidonTreeRelayer | Solana Mainnet-Beta | P1R07vaU1tXyZ9aBcDeFgHiJkLmNoPqRsTuVwXyZ123 |
Sec3 (Soteria) · Passed | Solscan ↗ |
| InKindEscapeVault | Solana Mainnet-Beta | Es9vMFrzaCERmJfrF4H2FYD4KCoNkY11McCe8BenwNYB |
Neodyme · 99.8 Security | Solscan ↗ |
| Bug Bounty Program | Global | Immunefi Active Solana Bounty |
Max Payout $250,000 | Submit Report ↗ |