Show HN: zkGolf – Competitive optimization of formally verified circuits

 (zk.golf)

69 points | by rot256 3 days ago

12 comments