A hybrid UTXO and Account model, a Poseidon commitment tree, a nullifier SMT, account state, AMM pool state and gas / block headers.
Shielded state is represented by commitments in a Poseidon tree.
Nullifiers prevent double-spend without revealing inputs.
Some state is public; shielded state stays private by design.