Show HN: zkGolf, competitive optimization of formally verified circuits.zk.golf
24 points by rot256 2 hours ago | 1 comment