Zero-knowledge SAT validation engine | Dark Hacker News