Show HN: zkGolf – Competitive optimization of formally verified circuits · HackerLangs