A verifier that checks Starknet STARK proofs on Solana, letting a non-EVM, non-Cairo chain trust Starknet-side execution without a bridge operator in the middle.