Published weights.
Verified witnesses.
Transaction history supplies the weight bytes. Your browser retrieves the relevant publication transactions, checks their Merkle proofs, and resubmits the required chunks to the contracts. Tokenization and proof assembly happen locally; model computation happens onchain.
Historical calldata needs an accessible archive RPC. Cached witnesses reduce repeat downloads, but the calldata is still submitted for each execution step.