Read news on ZkGolf with our app.
Read more in the app
Show HN: zkGolf – Competitive optimization of formally verified circuits
