The thought
prompt
answer
Pick a slice to re-execute
final position · real weights · real inputsVerification
choose a slice above
Your browser checks one slice of a real answer the way the ICP referee does, then re-executes it with the same integer-exact engine (pinned by hash). It derives the model from the committed file's own header, fetches the weights straight from Hugging Face, proves every input byte and weight chunk against the committed roots, and compares its result with the hash the executor committed. The data host is not trusted: bad data can stop a check, not pass one.