A Rust operator that shards onchain game sessions across isolated AMD SEV-SNP TEEs, proves execution with SP1, and merges results back to Starknet with CRDTs — so no shard operator can forge state