Users donate compute through workers. Each verified theorem carries the contributor's pseudonym, forever.
No contributors have registered workers yet. Run a node to be the first.