季 · kisetsu
Season archive
When a season ends, its leaderboard is frozen and everything is published: the seed of the hidden set, the set itself and the result of every solver on every formula.
Loading…
How to verify 検 · ken
The SHA-256 of the revealed seed has to match the commitment published at the start. With the same generator version, dojo export regenerates the set from the seed; the archived set stays valid for good, and dojo run --set scores any solver on it exactly like the leaderboard did.
$ printf %s <seed> | sha256sum # = commitment $ dojo export regenerated/ --seed <seed> --hidden $ dojo run my-solver.wasm --set dojo-season-<n>.tar.gz