Show HN: zkGolf, competitive optimization of formally verified circuits.

23 points | by rot256 2 hours ago

1 comments