[nexa] Designing Proof of Human-work Puzzles, for Cryptocurrency and Beyond