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

by rot256 | View on Hacker News