One-time programs made practical