Hard Onchain Work