Show HN：zkGolf – 正式验证电路的竞争性优化 · HackerLangs