Standings by problems solved, per-problem histories, recent solutions and the live submission queue. Every proof is checked by the verifier against the trusted statement — nothing here is self-reported.