papers Efficient One-out-of-Many Proofs Using Gray Codes Solving Avalanche's Multi-coloring Problem via Ordering Constraint Graphs