Show HN: zkGolf – Competitive optimization of formally verified circuits