Challenges

Every challenge below is a real problem with committed capital and a named verifier.