Zero-knowledge SAT validation engine | Hacker News Reader