Show HN: zkGolf, competive optimization of formally verified circuits. Global World Sat, 04 Jul 2026 15:29:44 GMT Moderate confidence — 64/100 Sources: Zk